![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
metaclassСпор про F# (там рекаптча если шо)
Товарищ прицепился к тому, что в F# нельзя написать функцию, которая бы по индексу поля в кортеже возвращала бы значение поля.
Т.е. вообще-то ее написать можно, через Reflection, но 1) это все только благодаря дотнету, но никак не системе типов; 2) это противоречит духу статической типизации и является способом стрелять себе в ногу.
Никак не могу человеку объяснить разницу между статической типизацией инатягиванием совы на глобус реализацией динамической типизации поверх языка со статической, чем занимаются 90% либ доступа к БД (все эти ADO.NET, ODBC, JDBC, BDE и прочая).
Товарищ прицепился к тому, что в F# нельзя написать функцию, которая бы по индексу поля в кортеже возвращала бы значение поля.
Т.е. вообще-то ее написать можно, через Reflection, но 1) это все только благодаря дотнету, но никак не системе типов; 2) это противоречит духу статической типизации и является способом стрелять себе в ногу.
Никак не могу человеку объяснить разницу между статической типизацией и
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2010-08-20 10:21 am (UTC)no subject
Date: 2010-08-20 10:41 am (UTC)no subject
Date: 2010-08-20 10:47 am (UTC)no subject
Date: 2010-08-20 10:57 am (UTC)Но без метапрограммирования в любой его форме не спарятся никак.
no subject
Date: 2010-08-20 10:58 am (UTC)no subject
Date: 2010-08-20 11:16 am (UTC)no subject
Date: 2010-08-20 11:18 am (UTC)no subject
Date: 2010-08-20 11:50 am (UTC)Использовать кодогенерацию сложнее, но результат гарантированно содержит меньше ошибок и более полезен для ума :)
no subject
Date: 2010-08-20 11:51 am (UTC)no subject
Date: 2010-08-20 11:58 am (UTC)no subject
Date: 2010-08-20 12:02 pm (UTC)