February 20th, 2009

with Cat The Cat

GADT он изучать не будет.

Абстракции, кстати, я люблю, но как-то "большими шагами." То есть, специально изучать тот же SYB или GADT ради улучшения знания Хаскеля я, пожалуй, не буду, а вот разобраться с зависимыми типами - очень хочется. В них как-то все очень по-новому. Ну, и GADT придется изучить, за компанию.

вот иди, Сергей Александрович, качай ghc 6.10.x для Mac OS X 10.4/PowerPC, и начинай изучать GADT с семействами типов и всеми делами. ;)

Хотя я знаю, тебя это не удержит от подобных заявлений в будущем.

PS
Говорят, в старом английском не было будущего времени. Мужик не говорил, "я его убью", он шел, убивал, и говорил "я его убил".

Это налагает некоторые ограничения на мышление.
PPS
Программирование на типах с помощью типов классов - удивительно хрупкая вещь. Есть отдельно Mul, отдельно строгий Div (чтобы (a/b)*b=a), есть Plus (который ещё и Minus, поскольку из a+b=c можно получить b=c-a), сделать из них троих деление с остатком невозможно за обозримое время.

Нехорошо.
PPPS
Снова не смогу его поставить. Там какие-то ненормальные зависимости, да ещё XCode 3.1 (у меня 2.5).

Ну, и ладно.