Вот скажите, в хаскеле же есть средства против DRY?
Я практически не знаю хаскель, учил только Standart ML слегка. Решил почитать исходники GHC. Как это понимать https://github.com/ghc/ghc/blob/master/compiler/codeGen/CgUtils.hs#L27 https://github.com/ghc/ghc/blob/master/compiler/codeGen/StgCmmArgRep.hs#L120 ? Это что, нельзя сделать короче? Или это сгенерированные исходники?
Может сгенерированные. or-pattern'ов нет, вот их реально не хватает иногда.
#8TPSY1/MI4
/ @ap
/ 4238 дней назад
@ap Если сгенерированные, ткните местом на генератор этой фигни
#8TPSY1/SHK
/ @j123123
-->
#8TPSY1/MI4
/ 4238 дней назад
https://github.com/ghc/ghc/commit/33bfc6a700eaab9bc06974d6f71a80e61d9177c9#compiler/codeGen/CgUtils.hs они всю эту парашу ручками перебирают, судя по коммитам
#8TPSY1/L2D
/ @j123123
/ 4238 дней назад
TemplateHaskell есть.
#8TPSY1/5J8
/ @anonymous
/ 4238 дней назад
@kagami Почему тогда они не используют его там? Даже сами разработчики GHC не умеют нормально программировать на этом своем хаскеле?
И еще http://www.haskell.org/haskellwiki/Template_Haskell тут я вижу какую-то ссылку на документ Microsoft Research. Какой смысл майкрософту поддерживать опенсорсный, не приносящий никакой прибыли проект. Видимо они во всякие свои F# и С# тырят какие-то фичи, потому что BSD лицензия. Будь там какой-нибудь GPL LGPL, никакой поддержки от них не было бы.
У меня еще такая мысль. Надо бы сделать нечто вроде особого способа редактирования кода, порожденного шаблоном. Все шаблоны развернуты как накопипащеный текст, если редактируется часть этого текста, автоматически изменяется и шаблон, порождающий его, т.е. при этом программист сразу видит изменения в других кусках кода, которые этим самым шаблоном сгенерированы. Что-то вроде http://www.youtube.com/watch?v=jNa3axo40qM
#8TPSY1/1WN
/ @j123123
-->
#8TPSY1/5J8
/ 4238 дней назад
@j123123 > Почему тогда они не используют его там?
Потому что написали и забыли. Дрочить на эту копипасту что ли.
> И еще
http://fprog.ru/2010/issue6/interview-simon-peyton-jones/
> У меня еще такая мысль
Мысль хорошая, но так просто ничего не получится, поскольку функции для шаблонов не обязаны быть биективными. Если только на каком-то ограниченном подмножестве.
#8TPSY1/3SG
/ @ap
-->
#8TPSY1/1WN
/ 4238 дней назад
@ap >Потому что написали и забыли. Дрочить на эту копипасту что ли.
Выкинуть ее нафиг, заменив на какой-нибудь кодогенератор или шаблоны. Если компилятор некоторого языка X написан на самом себе, его код должен быть образцом для подражания, а не копипащеным говном. http://www.eecs.harvard.edu/~mainland/projects/metahaskell/ вот еще нашел.
А по поводу сделок с майкрософтом и прочими мразями я потом отдельный пост напишу
#8TPSY1/BGO
/ @j123123
-->
#8TPSY1/3SG
/ 4237 дней назад
Цоперайт © 2010-2016 @stiletto.