да, не так прочитал

Меня сейчас больше интересует кодогенерация сторонних ЯП на Haskell. И я хз, где найти под это какой-нибудь тутор для уже начавших, но ещё не особо шарящих.

fun n = "public static void main() { return " <> show n <> "; }" - кодогенерация на хаскеле

да, не так прочитал

а в чём проблема, собственно?

Меня сейчас больше интересует кодогенерация сторонних ЯП на Haskell. И я хз, где найти под это какой-нибудь тутор для уже начавших, но ещё не особо шарящих.

нет тутора. есть несколько разных частичных решений, в том числе я использую и лениво пилю такие

определись — либо переметнулись, либо остались и таскают

Я думаю, это непринципиально.

нет тутора. есть несколько разных частичных решений, в том числе я использую и лениво пилю такие

Есть они где-то в открытом доступе?

Есть они где-то в открытом доступе?

мой обзор некоторых решений для кодогенерации С https://ruhaskell.org/posts/talks/2016/08/18/ivory-high-performance-code-for-haskell.html

Спасибо, гляну.

@qnikst может рассказать про всякие inline-*, впрочем, это не совсем то

Ну пусть расскажет, если ему не лень.

расскажет скоро, в Питере

Очередная встреча сообщества пройдет 19 апреля в офисе JetBrains, На повестке дня: «eDSL для дерева переходов на free-монадах и экзистенциальных типах» Александр Гранин, в прошлом сотрудник "Лаборатории Касперского" и “2ГИС”, а ныне Haskell-разработчик в компании Restaumatic, основатель сообщества LambdaNsk в Новосибирске, расскажет о том, как спроектировать статически типизированное дерево переходов с возможностью ходить по нему вперед и назад и почему не стоит писать такой умный код. «Теория и практика встраивания внешних языков программирования в Haskell» Александр Вершилов, разработчик в Tweag I/O, рассмотрит в докладе подход, позволяющий встраивать языки без дополнительного бойлерплейта и использующий сильные стороны гостевого и основного языка, на примере Haskell, Java и R. «Возможности использования формальных верификаций на Coq для простейших моделей смарт-контрактов» (Андрей Ляшин) Андрей Ляшин, участник стартапа FinProof и популяризатор теории категорий в программировании, рассмотрит реализацию основных функций стандартного токена ERC20 с демонстрацией доказуемости и недоказуемости свойств для корректной и, соответвенно, некорректной реализаций рекурсивных функций переводов, лежащих, в частности, в основе атаки на the DAO. —--- Встречаемся 19.04 в 19:00 в офисе JetBrains: Университетская наб., 7-9-11, корп. 5 (вход с Кадетской линии), БЦ «Universe». Вход бесплатный, но необходимо зарегистрироваться (проход в БЦ по спискам): https://spb-fp-meetup.timepad.ru/event/696867

Доклад какой-то будет?

будет

но это не кодогенерация - кодогеренация это ivory и т.п.

как-то было дело, я вообще руками код генерил только с pretty-printer-ом

Встреча всё равно интересная, зарегаюсь.

возможно этот код даже все ещё работает где-то (cc @voidlizard )

что где?

если ты про сишный трие - то он работает, да

и генерация db для матчинга отпечатков трафика (в роутер) тоже работает

ага

про эти, прикольно

жалко что emufat больше не работает, вот он был эпичен

до сих пор приятно вспомнить

что прикольно - сами эти псевдофлешки до сих пор валяются по квартире

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

угу, вообще достаточно интересная штука

правда возможность тупо подключить телефон подкосило это

ну, когда делали с телефонами не так дела обстояли. опять же, это был заказ заказчика

ответственность за анализ технологических решений и перспектив был на нём

ага

вообще согласен, прикольный был проект

в то время если бы у меня была машина я бы такую штуку купил :)

ага

вообще обидно, что провал был по большей части юридически-административный.

техологически норм отожгли

хотя конечно лучше было б внедрить это в прошивку самого модема

да вообще многие проекты не по техническим причинам фейлятся

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

"прям щас" пишу прототип проги на лиспе, которую потом буду переделывать на раст.

Это весьма неплохой подход - лисп очень хорош для прототипов.

(но это не точно)

(но (не (точно это)))

насколько приветствуется использовать линзовый-mtl <~? (<~) :: MonadState s m => ASetter s s a b -> m b -> m () очень удобный, но возможно некоторые проблемы при чтении кода (из-за путаницы с <-)

Точки разлепить попробуй, а то выглядит как ООП какое-то или, извините, Ruby

так и задумано же

это "официальное" соглашение для lens (я ему не следую, правда)

выглядит как (memory.at) (address._Just). Так и задумано?

да, что-то они не додумались рекомендовать memory.at(address)._Just

такие кейсы иногда заворачиваю в скобки, но все лучше пробелов, которые заметно ухудшают читаемость

такие кейсы иногда заворачиваю в скобки, но все лучше пробелов, которые заметно ухудшают читаемость

ты слишком мало Хаскеля читал, наверное

да достаточно, ваше предположение не верно мало того, оно тут мало интересно, на вопрос мой не ответили

вот пришёл кана и сразу стало как-то токсично

Жалоба была по читаемость. Ответ про читаемость. Не надо бояться whitespace, whitespace is your friend.

Спроси любого фронтендера.

да достаточно, ваше предположение не верно мало того, оно тут мало интересно, на вопрос мой не ответили

так и задумано же, чтоб было похоже на <- в чем проблема-то?

Жалоба была по читаемость. Ответ про читаемость. Не надо бояться whitespace, whitespace is your friend.

можем обобщить еще, что вопрос был про хаскель, или что про программирование, или что про глаза вопрос был про читаемость конкретного оператора

вопрос был в интеренете, значит надо к и б е р в ц е п и т ь с я в к и б е р г о р л о собеседника

можем обобщить еще, что вопрос был про хаскель, или что про программирование, или что про глаза вопрос был про читаемость конкретного оператора

Точка в линзокоде требует пробелов. Ибо всё равно всё очень быстро перестаёт выглядеть, "как ООП".

И вообще бесточечный код в стиле init.drop 5.reverse выглядит погано, хоть некоторыми такое и практикуется

Так а для чего нужен этот ваш Ivory? Почитал доки, но так и не понял сути.

Какой-то язык внутри хачкеля.

Который что?

> Using GHC type-system extensions, enforces safe low-level programming, while maintaining expressiveness. (из описания пакета)

> The Ivory Language is an eDSL for safe systems programming. You can think of Ivory as a safer C, embedded in Haskell.

Не знаю уж, что тут непонятно...

Так это сишная кодогенерация?

eDSL

Точка в линзокоде требует пробелов. Ибо всё равно всё очень быстро перестаёт выглядеть, "как ООП".

напоминаю, что "без пробелов" - это рекомендация авторов

eDSL

Для какой предметной области?

напоминаю, что "без пробелов" - это рекомендация авторов

да я помню, но выражаю несогласие :)

Когда это к рекомендациям авторов прислушивались?

Для какой предметной области?

> for safe system programming

Ладно, видимо, не поюзавши, не пойму.

Английским языком же написано, "eDSL для безопасного системного программирования". Что тут непонятно то? :)

Короче, я немного затрахался писать одну и ту же сущность по три раза с разными аннотациями и ещё какими-то минорными отличиями, а мне говорят, что надо, потому что ко-ко-ко архитектура и ко-ко-ко энтерпрайз. Какие сторонние либы мне стоит глянуть, что бы написать тулзу на Haskell, которая будет просто генерить все три класса, каждый с нужными аннотациями?

Сторонние либы, генерирующие произвольный язык отсутствуют.

В каждом конкретном случае генерация пишется отдельно

Ну логично. Под кодогенерацию котлина я нашёл только тот кусок из серванта, который вчера кидал.

Примеры можно посмотреть в либах с именами вида language-smth

Ну я смотрел language-java

Нашёл там парсеры и вот это всё.

Ткните, пожалуйста, носом в кодогенерацию хотя бы той же Java.

http://hackage.haskell.org/package/language-java

(я правда такой тупой, я не пытаюсь троллить)

а что Language.Java.Pretty что-то не то выдает?

Ну насколько я понимаю, pretty-printing - это когда из хрен пойми как отформатированного кода делается красиво отформатированный.

в данном случае из АСТ

т.е. вы, к примеру, генерите разные варианты явовского класса. 1) парсите явовский класс 2) обрабатываете его, с помощью дженериков, если нужно 3) претти-принтите полученные классы

Так, тут уже интереснее, спасибо!

а в телеграмме можно делать как-то конфиги нотификаций, чтобы типа с 3-х до 7 по каким-то каналам только хайлайты показывало?

и outline нотификаций как в irc клиентах?

Маловероятно, как мне кажется.

так, нашел в коде у себя loop, теперь хочу его на fix переписать

let loop = ... in loop тоже можно оставлять

у меня там именно рекурсивный вызов пока не выполнится условие

Я смутно помню, что было какое-то развитие идей data types a la carte, или что-то похожее на них. Но не помню названия. Никто не помнит?