X
Идрис, агда, кок
Size: a a a
2021 May 07
AN
Монады чуть чуть проебалии да
[
Ну, они есть в хачкеле вроде
H
или ты думаешь, что алг. эффекты сложнее афинной типизации, которая в расте с самого начала?
AN
Спецификация. Нафига?
AN
Применения есть вполне и интеграция с сишкой
[
RankNTypes давайте запилим
X
В чате по хаскелю есть правило, которое запрещает пугать новичков фримонадами
p
Да
[
FlexibleContexts
H
чтобы понимать кто ошибся — разработчик или компилятор
чтобы опираться на неё при неоднозначных ситуациях
чтобы дать возможность альтернативных реализаций
...
чтобы опираться на неё при неоднозначных ситуациях
чтобы дать возможность альтернативных реализаций
...
H
мне сейчас объяснять зачем нужна спецификация, серьёзно?
[
[minBound..maxBound] :: [HaskellExtensions]
AN
Так и что. Ну придумаешь ты её а потом окажется что ее реализовать нельзя
p
Че
H
ну сори, у меня нет времени тут рассказывать весь процесс реализяции япов
AN
Посмотри на си или си++ спецификация это просто декларация о намерениях.
AN
Компиляторы спать на нее хотели
p
Любой компилятор там выполняет спеку
p
Не надо