Сап, программач. Хочу познать функциональные ЯПы. С чего посоветуете начать новичку?
>>880242 (OP)> функциональные ЯПГовно без задач, хайп ради хайпа, все изи делается даже на простом СИ.
>>880244>все изи делается даже на простом СИЖивотное, что ты там собрался на C делать?
>>880247Все что нужно, в конечном итоге все было написано на СИ.
>>880244блять, я си итак знаю. Мне счас интересны функциональные ЯПы, т.к. никогда с ними не работал.
>>880262И не надо, лучше архитектуру Винды изучи.
Ну, как, просто берешь и учишь без задней мысли, лол. Что-то непонятно - пиздуй спрашивай в фп тред.Хочешь динамики и скобочек интерактивного процесса разработки - лиспы.Хочешь динамики и логики - пролог, с сообщениями и хуйлоадом - эрланг.Хочешь типов и все все все самое навороченное - хаскель.Хочешь самое шизанутой на типах - идрис.Хочешь типов но чтобы быстро работало и позволяло писать в любом стиле - окамел.Хочешь нескучной жявы с системой типов больной раком - скала.Хочешь выебываться на академических тусовках - агда, кок, идрис.
>>880268Забыл добавить - хочешь писать программы - СИ.
>>880269>писать программыЭто для нищего быдла только.Ненужно.
>>880269> хочешь писать драйверы - СИ.Поправил тебя. Все остальное системное уже давно пишут на C++
>>880269Ну а чем тебе другие япы не угодили?
>>880242 (OP)Начинай с жабаскрипта.Откажись от мутабельности и явных циклов, добавляй типов с помощью Flow — станешь ближе к ФП.
>>880276а после жабаскрипта к чему приступать? Я знаю только си и питон, на третьем курсе еще жабу буду изучать.
>>880292Если хочешь практичности — на нем можешь и остановиться. Если хочешь хардкора — изучай PureScript. Его можно в связке с жабаскриптом использовать.
>>880276>>880294Ебать ты практик.С удовольствием сломал бы тебе кадык, няша.Хотя ты прав, конечно.
>>880242 (OP)СИ, СИ, СИ И ТОЛЬКО СИ
>>880316Каким боком С функциональный? С процедурныйОП, если совсем новичок в программировании - не начинай с функциональщины.Если новичок именно в ФП - смотри F# и Scala
>>880325"Функциональный ЯП" это просто высокоуровневая обертка над СИ.
>>880242 (OP)Если вэб, например, интересен, то Elixir (серверная часть) + Elm (клиентская часть). Но это не general purpose языки. Если хочешь general purpose язык, то F# - официальная поддержка Майкрософта, лучшая IDE VisualStudio, можно писать программы, а не только факториалы на типах.
>>880268>агда, идрис. Пердольные хачкелепараши.>кок,Самозашквар.Пикрелейтед - годнота с зависимыми типами https://leanprover.github.io/ первый прувер с ядром на гомотопической теории типов (помимо CiC). Есть вариант в браузере https://leanprover.github.io/tutorial/
а лисп чё не в моде что ли?
>>880464А он разве подходит для новичка в ФП?
>>880464Всё что в нём есть функционального - это функции высшего порядка. Но они сейчас везде практически есть. Ни алгебраических типов данных (да и вообще нормальной системы типов), ни паттерн матчинга в нём нет.
SML советую, сам с него начинал. С лиспа не найчинай. Можешь с хаскеля.
>>880517Но SML же не используется нигде. Почему не F# сразу?
>>880536как будто F# используется)
>>880517Есть какая-нибудь годная IDE для хаскелля?
>>880570Для Intellij Idea плагин есть.
>>880242 (OP)Комб. логика, лямбда-счисление, теория типов. Публикации на тему черча, клини, туринга, кари
>>880242 (OP)https://www.youtube.com/playlist?list=PLbgaMIhjbmEm_51-HWv9BQUXcmHYtl4sw отсюда начни. На "Parallel and Concurrent" не обращай внимания, там про это только в последней лекции. А остальное это введение в Haskell для незнакомых с ним совсем.
>>880242 (OP)Хачкиль, чего еще то>>880422Никак не могу понять нахуя эта поебень нужна когда есть Coq? MS опять высрало "уникальную технологию" чтобы быть никаквсе
А мне кажется, что вместо хаскеля лучше изучать скала. Скала более адекватный функциональный язык (если функциональный язык вообще можно назвать адекватным). И да, в отличии от хаскеля, на скале существуют настоящие крупные проекты.
>>881333> выбирать язык по наличию проектовТы не в тот тред пришёл, тебе к 1C-никам.
бамп
