История изменений

В целом на «острие прогресса» сейчас идрис/агда (ну и кстати раст, но он немного «другой»). Вернее на переходе из чисто исследовательской стадии в стадию реального применения. Но нельзя заранее знать закончиться ли этот переход успешно. Лично я надеюсь что да и изучаю идрис.

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

Поэтому начать можно с хаскеля, ошибки не будет. Многие приёмы те же что и в хаскеле, или те же но дополненные зависимыми типами.

Питон - это если денег рубануть здесь и сейчас. Вероятно выучить его заметно проще чем хаскель. Но вряд ли у этой технологии большое будущее. Конечно, пмсм.

По поводу установки - в целом нужно ставить хаскель платформу https://www.haskell.org/platform/ . Часто есть в дистрибутивах, но я предпочитаю скачивать. Хотя для обучения пойдёт практически любая. Обычно проблем не возникает. Если всё таки возникнут, напиши мне на pubacc050 на гмыле. Постараюсь помочь, в чате обычно удобнее. Ну или просто создай тему с описанием проблемы и тегом хаскель. Хаскелисты тут есть.

В целом на «острие прогресса» сейчас идрис/агда (ну и кстати раст, но он немного «другой»). Вернее на переходе из чисто исследовательской стадии в стадию реального применения. Но нельзя заранее знать закончиться ли этот переход успешно. Лично я надеюсь что да и изучаю идрис.

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

Поэтому начать можно с хаскеля, ошибки не будет. Многие приёмы те же что и в хаскеле, или те же но дополненные зависимыми типами.

Питон - это если денег рубануть здесь и сейчас. Вероятно выучить его заметно проще чем хаскель. Но вряд ли у этой технологии большое будущее. Конечно, пмсм.

По поводу установки - в целом нужно ставить хаскель платформу https://www.haskell.org/platform/ . Часто есть в дистрибутивах, но я предпочитаю скачивать. Хотя для обучения пойдёт практически любая. Обычно проблем не возникает. Если всё таки возникнут, напиши мне на pubacc050 на гмыле. Постараюсь помочь, в чате обычно удобнее. Ну или просто создай тему с тегом хаскель. Хаскелисты тут есть.

В целом на «острие прогресса» сейчас идрис/агда. Вернее на переходе из чисто исследовательской стадии в стадию реального применения. Но нельзя заранее знать закончиться ли этот переход успешно. Лично я надеюсь что да и изучаю идрис.

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

Поэтому начать можно с хаскеля, ошибки не будет. Многие приёмы те же что и в хаскеле, или те же но дополненные зависимыми типами.

Питон - это если денег рубануть здесь и сейчас. Вероятно выучить его заметно проще чем хаскель. Но вряд ли у этой технологии большое будущее. Конечно, пмсм.

По поводу установки - в целом нужно ставить хаскель платформу https://www.haskell.org/platform/ . Часто есть в дистрибутивах, но я предпочитаю скачивать. Хотя для обучения пойдёт практически любая. Обычно проблем не возникает. Если всё таки возникнут, напиши мне на pubacc050 на гмыле. Постараюсь помочь, в чате обычно удобнее. Ну или просто создай тему с тегом хаскель. Хаскелисты тут есть.