169 похожих чатов

И если haskell — это лучший вариант, то есть какие-то

гайды, как разобраться в его компиляторе на достаточном уровне, чтобы написать своё расширение такого типа?
(как-то написал это и самому страшно стало, может всё-таки есть более простое решение для тестирования идей?)

7 ответов

15 просмотров

Есть книжка write you a haskell.

Лев-Дворкин Автор вопроса
Гриша Герасев
Есть книжка write you a haskell.

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

Лев-Дворкин Автор вопроса

В моём случае просто речь шла об автоматической генерации функции, работающей с монадой по чистой функции. Некоторый аналог Functor/Applicative/Monad, который я не представляю себе, как чисто на typeclass'ах выразить

Лев Дворкин
В моём случае просто речь шла об автоматической ге...

А как не чисто на тайпклассах выразить? Какой тип у генерируемой функции должен получиться?

Похожие вопросы

Обсуждают сегодня

Мужики и девушки, привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных...
Kraszx
14
Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
А вот это что за конструкция? Вернее, она тут нафига?
Serjone
10
Привет. Подскажите, как правильно сматчить лист фиксированного размера, чтобы компилятор не говорил мне о неполном паттерне? Допустим что-то такое [x', y'] = sort [x, y]?
Arseny
8
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
Мужики. привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных элементов...
Kraszx
2
Товарищи, кто работа с iphelper? Или может я в самой логике ошибки фигачу, не пойму.... var ifTable : PMIB_IFTABLE; size, corSize: DWORD; Buffer ...
Warfarellen
4
я так понимаю, я так подозреваю, что создание такого плагина для человека, кто умеет писать плагины для делфи потребует минут 5-10 времени. но это мое подозрение. хотелось бы ...
Kraszx
7
Карта сайта