IT
Скалистов достаточно много приходит. Я бы даже сказал, что больше, чем хаскеллистов и кложуристов.
Size: a a a
2018 March 30
IT
Но точных цифр нет.
IT
Кое кто на Coq
A🚀
OCaml конечно же
IT
Ну так и F# можно посчитать. Люди есть, даже доклад делали.
IT
OCaml конечно же
Вы пишите?
A🚀
Вы пишите?
Да
IT
А что?
IZ
А какая аудитория у вас в основном? Видел, много кложуристов и хаскеллистов, а есть функциональщики других языков?
Да разные есть... ErLang ещё.
IT
Ну да, он ещё.
IZ
И Common lisp
A🚀
А что?
esy (пакетный менеджер + workflow для разработки на OCaml/Reason) и реализация языка для запросов к БД, построения UI для BI (пока закрытый проект)
A🚀
когда используешь OCaml все задачи решаются созданием языка какого-нибудь :)
A🚀
и щас сижу разбираюсь с Coq — хочу формализовать язык запросов и его трансляцию в SQL
IT
Интересно.
A🚀
математика за языком вот тут — https://arxiv.org/abs/1702.08409 — от коллег бумага
RN
Звучит оч интересно
RN
давай докладик
RN
я что то подобное сейчас на clj делаю