Забавненько

[metaclass]

Наткнулся в F# на то, что для строки автоматически не делается upcast до объекта, если в описании функции для этого объекта не написать что это flexible type, т.е. вместо obj - #obj.
Flexible type параметр - это пометка, что функция принимает не только значения строго этого типа, а еще и значения с типами потомков. Соответственно, чтобы передавать любой объект в функцию, нужно писать #obj
Соответственно, если этого не написать, то единственный вариант вызова вместо "fun s" будет "fun (upcast s)". Тип оператор upcast автоматически инферится при компиляции.

Причем эта падла не дает этот flexible type использовать в декларациях типов, в спецификации написано что можно использовать только в member declarations.

Comments

[zamotivator.livejournal.com]

Кстати, как тебе F#?

[metaclass.livejournal.com]

Немного создает впечатление "стащили к себе из других языков и платформ все что плохо лежало", но вообще хорошо.

[alexey-rom.livejournal.com]

Да. Интегрировали с .NET, интегрировали, да не довыинтегрировали.

[metaclass.livejournal.com]

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

[alexey-rom.livejournal.com]

Почти. Но пятна вроде этого остались.

[geniepro.livejournal.com]

А приходится ли Вам устанавливать компилятор F# (окромя .NET) на тех машинах, где эксплуатируется Ваш смешанный C#/F# код? А то у меня тут такая лажа с этим появилась после одного из обновлений компилятора -- не мог линковать F#-рантайм к dll-ке из-за конфликта с C#-кодом, юзающим эту dll-ку. Пришлось устанавливать сам F#-транслятор.

[metaclass.livejournal.com]

Нет, я пока F# код никуда не деплоил, он тут на этапе разработки используется для кодогенерации.