ADT как панацея
Dec. 13th, 2012 03:56 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
metaclasshttp://juick.com/dmz/2163653
Алгебраические типы данных и сопоставление с образцом - то, чего дичайше не хватает в "мейнстримных языках".
В принципе, ничто не мешает закатить солнце вручную - например, написать мелкий кодогенератор, который будет из описания типа генерить код класса-типа и его наследников-вариантов и паттерн-матчинг на дельфи-C#-жабе-прочем. Но это элемент зла, проще уж F# использовать.
Алгебраические типы данных и сопоставление с образцом - то, чего дичайше не хватает в "мейнстримных языках".
В принципе, ничто не мешает закатить солнце вручную - например, написать мелкий кодогенератор, который будет из описания типа генерить код класса-типа и его наследников-вариантов и паттерн-матчинг на дельфи-C#-жабе-прочем. Но это элемент зла, проще уж F# использовать.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2012-12-13 01:18 pm (UTC)no subject
Date: 2012-12-13 01:53 pm (UTC)no subject
Date: 2012-12-13 02:04 pm (UTC)А про "мелкий кодогенератор" - идея хорошая.
Вот только потом будет постоянно хотется его (мелкого) раскормить до размеров Слона, запихать туда тайпчекер, оптимизатор посредством rewrite-rules, deforestation на их основе и т.д.
P.S. Когда смотрю на Хаскель, SQL Server (с его оптимизацией плана исполнения), DataFlow/MapReduce у современных вычислительных гридов, то понимаю, что в центре - одна и та же идея...
no subject
Date: 2012-12-13 03:19 pm (UTC)"алгебраические" типы легко эмулировать например обычными классами (или например в Яве енум-классами),
а "сопоставление" -- обычные if(x instanceof X).
Вот прямо сейчас у меня куча кода, которая именно так и работает. Это конечно не самый хороший и красивый код, правильно бы юзать визиторов, но принципиальной "нехватки" не наблюдается -- так, эстетическая некрасивость.
no subject
Date: 2012-12-13 03:29 pm (UTC)no subject
Date: 2012-12-14 08:28 am (UTC)void Print(int n) { Console.Write(n.ToString()); }
void Print(string s) { Console.Write(s); }
Print((dynamic) something)
Но это все неудобно и не совсем то.
no subject
Date: 2012-12-14 08:29 pm (UTC)это как раз то самое, но место выполнение case оператора выносится в отдельный метод (к тому же с именем, которое надо придумывать и писать)
однако в явке уже с 6 можно писать свои классы (со своими методами) прямо посреди блока кода, так что можно далеко не ходить
но зачем это всё, если уже есть скала и там всё хорошо
no subject
Date: 2012-12-13 04:18 pm (UTC)no subject
Date: 2012-12-13 05:56 pm (UTC)no subject
Date: 2012-12-17 11:11 am (UTC)1. jADT (Java Algebraic DataTypes)
2. FunctionalJava - fj.data
3. ohl (Project ohl - Охламон на googlecode)