![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Entry tags:
- ado.net,
- dbms,
- f#,
- fp,
- type systems
Внимание, системы типов и базы данных - срач
Спор про F# (там рекаптча если шо)
Товарищ прицепился к тому, что в F# нельзя написать функцию, которая бы по индексу поля в кортеже возвращала бы значение поля.
Т.е. вообще-то ее написать можно, через Reflection, но 1) это все только благодаря дотнету, но никак не системе типов; 2) это противоречит духу статической типизации и является способом стрелять себе в ногу.
Никак не могу человеку объяснить разницу между статической типизацией инатягиванием совы на глобус реализацией динамической типизации поверх языка со статической, чем занимаются 90% либ доступа к БД (все эти ADO.NET, ODBC, JDBC, BDE и прочая).
Товарищ прицепился к тому, что в F# нельзя написать функцию, которая бы по индексу поля в кортеже возвращала бы значение поля.
Т.е. вообще-то ее написать можно, через Reflection, но 1) это все только благодаря дотнету, но никак не системе типов; 2) это противоречит духу статической типизации и является способом стрелять себе в ногу.
Никак не могу человеку объяснить разницу между статической типизацией и
no subject
no subject
Использовать кодогенерацию сложнее, но результат гарантированно содержит меньше ошибок и более полезен для ума :)
no subject
no subject
no subject