гайды, как разобраться в его компиляторе на достаточном уровне, чтобы написать своё расширение такого типа?
(как-то написал это и самому страшно стало, может всё-таки есть более простое решение для тестирования идей?)
Есть книжка write you a haskell.
если это то, что я видел там тоже как раз до монад не дошли... или я не то видел. Там то, что я читал, больше уделяется разработке именно нормального языка, а мне достаточно, чтоб генерацию можно было прочекать, но монады нужны. Хотя, может быть, тут действительно ничем простым не обойтись
А она разве закончена?
А как связаны кодогенерация и монады?
В моём случае просто речь шла об автоматической генерации функции, работающей с монадой по чистой функции. Некоторый аналог Functor/Applicative/Monad, который я не представляю себе, как чисто на typeclass'ах выразить
А как не чисто на тайпклассах выразить? Какой тип у генерируемой функции должен получиться?
Обсуждают сегодня