ага

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

жалко что 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, или что-то похожее на них. Но не помню названия. Никто не помнит?

a la carte это что, напомните?

http://www.cs.ru.nl/~wouters/Publications/DataTypesALaCarte.pdf

Я гуглить умею, спасибо. Ответ ожидаю такой: композиция функторов + тайпклассики для интерпретатора.