metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2010-08-20 08:09 am
Entry tags:

Внимание, системы типов и базы данных - срач

Спор про F# (там рекаптча если шо)

Товарищ прицепился к тому, что в F# нельзя написать функцию, которая бы по индексу поля в кортеже возвращала бы значение поля.

Т.е. вообще-то ее написать можно, через Reflection, но 1) это все только благодаря дотнету, но никак не системе типов; 2) это противоречит духу статической типизации и является способом стрелять себе в ногу.

Никак не могу человеку объяснить разницу между статической типизацией и натягиванием совы на глобус реализацией динамической типизации поверх языка со статической, чем занимаются 90% либ доступа к БД (все эти ADO.NET, ODBC, JDBC, BDE и прочая).

[identity profile] mr-aleph.livejournal.com 2010-08-20 08:38 am (UTC)(link)
чувак явно хочет dependent types.
но от них у него выпадут волосы и зубы.
вообщем жупел ему на плечи и пусть дальше пишет на дельфи =)

[identity profile] plumqqz.livejournal.com 2010-08-20 10:21 am (UTC)(link)
"-- Ты что же это, с ума сошел? -- кротко спросил Ипполит Матвеевич и двинулся к выходу.-- Обалдеешь ты среди гробов."

[identity profile] cd-riper.livejournal.com 2010-08-21 04:17 pm (UTC)(link)
> в F# нельзя написать функцию, которая бы по индексу поля в кортеже возвращала бы значение поля

а какой тип будет у возвращаемого значения?
это что, такой наброс на статическую типизацию? :)