Языки программирования

[akuklev]

Я тут понял удивительную вещь. Одно из тех открытий, когда вдруг понимаешь, что всю жизнь говорил прозой. Ну когда обнаруживаешь, что ты какую-то вещь считал естественной, считал что вообще все вокруг так думают, а оказывается, ровно наоборот: так не думает почти никто

Comments

[akuklev]

>> в том числе в смысле modal substructural logic

[akuklev]

Чертовски красивая идея конечно - не выбирать между фиксированным порядком do notation и условно "произвольным" чистого кода, а позволить явно определить зависимости.

Правда, подозреваю, что это позволит гипотетическому "фигаскелю", который это реализует, to avoid success ещё сильнее чем хаскелю :)

[akuklev]

Есть такое. :)