"Как чистая функциональщина императивных мутантов побила"

[thedeemon]

Похоже, не все еще знакомы с этими классическими историями:
http://swannodette.github.io/2013/12/17/the-future-of-javascript-mvcs/
http://elm-lang.org/blog/blazing-fast-html

Comments

[deni-ok.livejournal.com]

type Fix f
    =  Mu (f (Fix f))

SYNTAX PROBLEM
I ran into something unexpected when parsing your code!

Не, ну так неинтересно.

[maxim.livejournal.com]

Можно ризонить!

[swizard.livejournal.com]

Можно грабить корованы.

На самом деле там даже нормальных тайпклассов нет.

[maxim.livejournal.com]

Они не нужны, если есть полноценные коиндуктивные рекорды, или хотябы сигма тип.
А можно и на индуктивном нарисовать монаду, одноконструкторном.

[deni-ok.livejournal.com]

fix : (a -> a) -> a
fix f = f (fix f)

id : a -> a
id x = x

f = fix id

Maximum call stack size exceeded

Open the developer console for more details.

[maxim.livejournal.com]

Я всегда говорил, что рекурсии не реальны, а правый фолд!

[thedeemon.livejournal.com]

Если хочется шоб как Elm, но с продвинутыми типами, для этого есть PureScript. Но смысла никакого: за те же деньги функциональность типы неоправданно сложнее, а компиляция на два порядка дольше.

[deni-ok.livejournal.com]

Не, я так, с целью классификации.

[avnik.livejournal.com]

Еще есть haste, у которого вроде полноценные типы.
Я правда дальше helloworld'а из коробки не заходил -- что у него с производительностью и объемом кода на выходе?