LINUX.ORG.RU

Intermediate Haskell

 , ,


4

4

Что можно почитать хорошего на тему приемов среднего уровня и best practices при создании реальных неэзотерических программ на Haskell? Новичковые туториалы и теоркатовая наркомания не нать. Интересуют, например, обзоры современных прикладных библиотек, советы по проектированию и т.д.

★★★

Последнее исправление: ovk48 (всего исправлений: 1)
Ответ на: комментарий от anonymous

Судя по рекомендации инсталлировать его brew, pacman или choco (wtf choco?), оно игрушка для яумамыхипсторов. Хотя статическая типизация и все дела, да...

tailgunner ★★★★★
()
Ответ на: комментарий от tailgunner

Ну я его Nix'ом собираю, так что ты прав, видимо.

anonymous
()
Ответ на: комментарий от tailgunner

https://github.com/purescript/purescript/wiki/Differences-from-Haskell

Если коротко, то не считая отсутствия современных плюшек типа type families, главных отличия два: «Eager evaluation» и «Named instances».

Первое правильно читать как «нам лень(нет времени?) делать strictness analyser». А вот второму я было обрадовался, но тут же увидел краткое описание:

Overlapping instances are still disallowed, like in Haskell. The instance names are used to help the readability of compiled JavaScript.

Авторы могли получить ништяков этим решением, но вместо этого не получили от него ничего(может есть в планах?). Так что важное отличие только одно остаётся.

Как итог, purescript — haskell с кастрированной ленью и без современных расширений. Что уже очень-очень неплохо, кстати.

nezamudich ★★
()
Ответ на: комментарий от tailgunner

Отсутствием ленивости и row-полиморфной IO-монадой. Первое помогает императивным программистам оценивать производительность написанного ими кода, второе - понимать, что этот код не делает.

anonymous
()
Ответ на: комментарий от nezamudich

ништяков

Авторы знакомы со Скалой достаточно близко, чтобы понимать, чем заканчивается отсутствие когерентности инстансов, так что вряд ли.

anonymous
()
Ответ на: комментарий от nezamudich

Как итог, purescript — haskell с кастрированной ленью и без современных расширений. Что уже очень-очень неплохо, кстати.

Да это просто щастье. Эх, если бы он еще в Python компилировался...

tailgunner ★★★★★
()
Ответ на: комментарий от tailgunner

Кстати, подобие haskell с энергичным порядком вычислений и зависимыми типами называется idris. Даже гуглится какая-то поделка, которая компилирует его в python. Но, увы, это лишь поделка.

nezamudich ★★
()
Ответ на: комментарий от tailgunner

purescript — haskell

еще в Python

Даже и лень спрашивать зачем это все. Просто предельная концентрация ненужно.

anonymous
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.