https://habr.com/ru/users/java_machine/comments/ ru editor@habr.com habr.com Mon, 25 May 2026 21:29:01 GMT https://habr.com/ru/ https://habrastorage.org/webt/ym/el/wk/ymelwk3zy1gawz4nkejl_-ammtc.png https://habr.com/ru/articles/849758/#comment_27440388 https://habr.com/ru/articles/849758/#comment_27440388 Да, у меня норм опыта, чтобы это понимать. Начинать с чего-то надо. На этой неделе увлёкся Хаскелем. Это реально круто (несколько ночей не мог оторваться до 3-4 ночи). Пока не буду забегать вперёд, но ещё не дошёл до монад, а уже ряд прорывов в понимании. Вот начинаю главу по монадам.
Хороший учебник https://www.haskell.org/tutorial/index.html
Планирую также наследие Стивена Вольфрама поизучать поглубже вроде new kind of science и т.п. Потихоньку мозаика складывается, Хаскель очень помогает понять метаматематику.

]]> Sun, 20 Oct 2024 15:51:20 GMT https://habr.com/ru/articles/849758/#comment_27422476 https://habr.com/ru/articles/849758/#comment_27422476 Я работаю над языком для экспликации любых теорий, формализации операций мета-теоретического синтеза и трансляции полученного на реализации. Итоговый язык должен быть ужасно эргономичен, но при этом не терять средства выразительности аксиоматических теорий с логикой какого-то там порядка (пока не знаю какого, практика покажет) и родов структур. Смотрю разные языки, т.к. для разного нужны разные аспекты. Например от рефала трансляция и суперкомпиляция, паттерн матчинг, от хаскеля изучаю теорию функций и функторов (оч прикольно), от лиспа и математики беру общие идеи тулинга для математиков (на математике я немного в универе писал, читал что оно сродни лиспу), от пролога слышал что его используют для логических выражений, от агды и им подобных идеи экспликации теорий так чтобы быть совместимым с автоматическим доказательством теорем. Я только начал, пока мало знаю. Потиху читаю "Клини Введение в метаматематику" и разбираюсь как устроен portal.acconcept.ru, где построена экспликация в родах структур и мета-синтез. Идеи Эрланга больше подходят для реализации, чем для экспликации предметных областей. Поэтому я его пока вычеркнул. Для реализации я как джавист предпочитаю генерить джаву. В целом на джаве можно построить любую архитектуру, если в ней разобраться. Ну и тулинга больше для отладки и сопровождения системы. Я не думаю что в области реализаций нам сильно нужны новые языки. Языки надо изобретать на мета-теоретическом уровне, на котором работает мышление. Здесь пока всё бедно. Собираю по крупицам.

]]> Wed, 16 Oct 2024 08:32:48 GMT https://habr.com/ru/articles/849758/#comment_27407704 https://habr.com/ru/articles/849758/#comment_27407704 Спасибо! Отговорили изучать Erlang.
Хочу познакомиться с разнообразием функциональных языков для общего развития, поэтому собираю копилку, что смотреть. Пока в планах остаются Хаскель, Агда, Рефал, Лисп, Пролог. Эрланг вычеркнул. Буду рад дополнительным советам. Цель — охватить разнообразие языковых механик для кое-каких исследований. Мой опыт — java/kotlin.

]]> Sat, 12 Oct 2024 07:32:52 GMT