Да, у меня норм опыта, чтобы это понимать. Начинать с чего-то надо. На этой неделе увлёкся Хаскелем. Это реально круто (несколько ночей не мог оторваться до 3-4 ночи). Пока не буду забегать вперёд, но ещё не дошёл до монад, а уже ряд прорывов в понимании. Вот начинаю главу по монадам. Хороший учебник https://www.haskell.org/tutorial/index.html Планирую также наследие Стивена Вольфрама поизучать поглубже вроде new kind of science и т.п. Потихоньку мозаика складывается, Хаскель очень помогает понять метаматематику.
Я работаю над языком для экспликации любых теорий, формализации операций мета-теоретического синтеза и трансляции полученного на реализации. Итоговый язык должен быть ужасно эргономичен, но при этом не терять средства выразительности аксиоматических теорий с логикой какого-то там порядка (пока не знаю какого, практика покажет) и родов структур. Смотрю разные языки, т.к. для разного нужны разные аспекты. Например от рефала трансляция и суперкомпиляция, паттерн матчинг, от хаскеля изучаю теорию функций и функторов (оч прикольно), от лиспа и математики беру общие идеи тулинга для математиков (на математике я немного в универе писал, читал что оно сродни лиспу), от пролога слышал что его используют для логических выражений, от агды и им подобных идеи экспликации теорий так чтобы быть совместимым с автоматическим доказательством теорем. Я только начал, пока мало знаю. Потиху читаю "Клини Введение в метаматематику" и разбираюсь как устроен portal.acconcept.ru, где построена экспликация в родах структур и мета-синтез. Идеи Эрланга больше подходят для реализации, чем для экспликации предметных областей. Поэтому я его пока вычеркнул. Для реализации я как джавист предпочитаю генерить джаву. В целом на джаве можно построить любую архитектуру, если в ней разобраться. Ну и тулинга больше для отладки и сопровождения системы. Я не думаю что в области реализаций нам сильно нужны новые языки. Языки надо изобретать на мета-теоретическом уровне, на котором работает мышление. Здесь пока всё бедно. Собираю по крупицам.
Спасибо! Отговорили изучать Erlang. Хочу познакомиться с разнообразием функциональных языков для общего развития, поэтому собираю копилку, что смотреть. Пока в планах остаются Хаскель, Агда, Рефал, Лисп, Пролог. Эрланг вычеркнул. Буду рад дополнительным советам. Цель — охватить разнообразие языковых механик для кое-каких исследований. Мой опыт — java/kotlin.
Да, у меня норм опыта, чтобы это понимать. Начинать с чего-то надо. На этой неделе увлёкся Хаскелем. Это реально круто (несколько ночей не мог оторваться до 3-4 ночи). Пока не буду забегать вперёд, но ещё не дошёл до монад, а уже ряд прорывов в понимании. Вот начинаю главу по монадам.
Хороший учебник https://www.haskell.org/tutorial/index.html
Планирую также наследие Стивена Вольфрама поизучать поглубже вроде new kind of science и т.п. Потихоньку мозаика складывается, Хаскель очень помогает понять метаматематику.
Я работаю над языком для экспликации любых теорий, формализации операций мета-теоретического синтеза и трансляции полученного на реализации. Итоговый язык должен быть ужасно эргономичен, но при этом не терять средства выразительности аксиоматических теорий с логикой какого-то там порядка (пока не знаю какого, практика покажет) и родов структур. Смотрю разные языки, т.к. для разного нужны разные аспекты. Например от рефала трансляция и суперкомпиляция, паттерн матчинг, от хаскеля изучаю теорию функций и функторов (оч прикольно), от лиспа и математики беру общие идеи тулинга для математиков (на математике я немного в универе писал, читал что оно сродни лиспу), от пролога слышал что его используют для логических выражений, от агды и им подобных идеи экспликации теорий так чтобы быть совместимым с автоматическим доказательством теорем. Я только начал, пока мало знаю. Потиху читаю "Клини Введение в метаматематику" и разбираюсь как устроен portal.acconcept.ru, где построена экспликация в родах структур и мета-синтез. Идеи Эрланга больше подходят для реализации, чем для экспликации предметных областей. Поэтому я его пока вычеркнул. Для реализации я как джавист предпочитаю генерить джаву. В целом на джаве можно построить любую архитектуру, если в ней разобраться. Ну и тулинга больше для отладки и сопровождения системы. Я не думаю что в области реализаций нам сильно нужны новые языки. Языки надо изобретать на мета-теоретическом уровне, на котором работает мышление. Здесь пока всё бедно. Собираю по крупицам.
Спасибо! Отговорили изучать Erlang.
Хочу познакомиться с разнообразием функциональных языков для общего развития, поэтому собираю копилку, что смотреть. Пока в планах остаются Хаскель, Агда, Рефал, Лисп, Пролог. Эрланг вычеркнул. Буду рад дополнительным советам. Цель — охватить разнообразие языковых механик для кое-каких исследований. Мой опыт — java/kotlin.