Пользователь 61925

Вынос в отдельный файл выделенного участка или оно предоставляет тебе выбрать объявления из списка? Перетаскивание неймспейсов? В хаскелле-то это как работает? Что за using-и?...

Выдохся человек, видимо. Не может так долго подряд ненавидеть ФП. Где он в Котлине-то ФП нашёл?

Как они решили вопрос с отсутствием HKT?

1) Придется делать dup параметра, перед тем как сделать prepend к замыканию. После этого, правда, можно сделать dup самому замыканию, если оно не становится unduppable. 2) Ээ...

1) Зачем? 2) я думаю, что лучше было бы в обоих свёртках иметь (a -> x -> x).

Ой, а на js можно сделать чтоб было лениво и не в 100 раз медленнее? Пока в webassembly call/cc не добавят и STG не реализуют, все под веб так и будут писать не-лениво.

Что такое continuation - я знаю, при чём оно тут? Call/cc в js так и не добавили. Это у них что, типа, треды с передачей управления руками?

Что же это он лишний-то? Читаемость повышает, можно рассказать, как let "работает"

Потому что современная физика это "проблемы? добавь полей/размерностей/переформулируй через тензоры"

Есть у кого интресных ресурсов по аппликативным языкам (статей, например) - т.е., по Forth, Joy, Factor?

https://twitter.com/backendsecret/status/969282312285442048 - чо, может поднажмём?

Насчёт map(f, y) возвращающего объект, из которого при чтении удаляются элементы не хейтили ещё?

Результат перестает быть линейным, или его линейность встроена в -о?

@qnikst , там линейных типов в комплекте нету?

При всём желании не сделаешь - парсить-то как?

program = sequence <$> many token?

Кто какие функции использует в IDE?

Хмм. А Idris с какого перепугу ленивым стал?

А Set1 тоже нельзя матчить?

J?