История изменений
Исправление www_linux_org_ru, (текущая версия) :
Хаскели чтоле? В агде всё ок с типами «кольцо целых чисел» и «аддитивная группа целых чисел» :)
хаскели конечно, ведь никто, похоже, не пытается рекламировать агду исходя из посылки «тип это множество»
____________________________________________________
как ты оцениваешь количество строк кода на минимальную (полезную?) реализацию подмножества хаскеля внутри с++ (т.е. на шаблонах с грязными хаками внешними скриптами)
более подробно:
1. ленивые вычисления с редукцией графа (вот тут в основном вопрос)
2. кривоватый, но настоящий параметрический полиморфизм
3. создание замыканий там, где аргумент функции ленив
цель всего этого, на самом деле, учебная — получше прочувствовать рантайм хаскеля и больше узнать о неудобствах с++
Исходная версия www_linux_org_ru, :
Хаскели чтоле? В агде всё ок с типами «кольцо целых чисел» и «аддитивная группа целых чисел» :)
хаскели конечно, ведь никто, похоже, не пытается рекламировать агду исходя из посылки «тип это множество»
____________________________________________________
как ты оцениваешь количество строк кода на минимальную (полезную?) реализацию подмножества хаскеля на с++
более подробно:
1. ленивые вычисления с редукцией графа (вот тут в основном вопрос)
2. кривоватый, но настоящий параметрический полиморфизм
3. создание замыканий там, где аргумент функции ленив
цель всего этого, на самом деле, учебная — получше прочувствовать рантайм хаскеля и больше узнать о неудобствах с++