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

[metaclass]

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

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

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

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

Comments

[mr-aleph.livejournal.com]

чувак явно хочет dependent types.
но от них у него выпадут волосы и зубы.
вообщем жупел ему на плечи и пусть дальше пишет на дельфи =)

[metaclass.livejournal.com]

Угу, я ему пытался это объяснить, но поскольку я dependent types не видел, объяснить всю кошмарность ситуации я не могу :)

[nealar.livejournal.com]

Он, походу, просто лиспер. И хочет просто динамики.

[plumqqz.livejournal.com]

"-- Ты что же это, с ума сошел? -- кротко спросил Ипполит Матвеевич и двинулся к выходу.-- Обалдеешь ты среди гробов."

[metaclass.livejournal.com]

Да вот, блин - каждое утро открываешь ЖЖ, а там - то у народа функции с переменным числом параметров со статической типизацией не получаются, то вот кортеж в БД и кортеж в статической системе типов F# друг с другом не хотят спариваться без гамака и скафандра :)

[plumqqz.livejournal.com]

Так они и не спарятся. "В следующий запойный период Полесов изготовил стационарный двигатель, который был очень похож на настоящий, но не работал".

[metaclass.livejournal.com]

Не, теоретически спарить можно, я как раз сейчас чем-то подобным занимаюсь.
Но без метапрограммирования в любой его форме не спарятся никак.

[plumqqz.livejournal.com]

Вот и не лень же вам, а?

[metaclass.livejournal.com]

Вот что мне точно лень - так это писать FieldByName и ParamByName вручную, тем более что оно теоретически алгоритмизируется.

[plumqqz.livejournal.com]

Вот в данном случае вместо написания вручную требуется написание вножную лыжами стоя на голове в гамаке. В качестве циркового номера это, без сомнения, много зрелищней.

[metaclass.livejournal.com]

Вообще причина в следующем: если писать "как обычно" - это очень быстро надоедает, устаешь и начинаешь делать ошибки. Ну и вообще занятие тупой повторяющейся работой ломает мозг.

Использовать кодогенерацию сложнее, но результат гарантированно содержит меньше ошибок и более полезен для ума :)

[plumqqz.livejournal.com]

Все не нагенерируешь, увы.

[metaclass.livejournal.com]

Так все и не надо - только то, что поддается генерации без извращений.

[plumqqz.livejournal.com]

И вообще лучше быть богатым и здоровым, чем бедным и больным :-)

[cd-riper.livejournal.com]

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

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

[metaclass.livejournal.com]

Вот я там пытался объяснить насчет типов - не слушают, требуют, что "должно быть". :)
Да, там именно наброс на тему типизации.