AA
У F# сильно больше общего с C#, чем с окамлом
сначала хотел согласиться, что мол F# и C# это примерно как окамл и ризон, но потом подумал, что НЕ ВСЕ ТАК ОДНОЗНАЧНО
Size: a a a
2020 December 13
X
сначала хотел согласиться, что мол F# и C# это примерно как окамл и ризон, но потом подумал, что НЕ ВСЕ ТАК ОДНОЗНАЧНО
C# и F# это примерно Java и Kotlin
Oℕ
C# и F# это примерно Java и Kotlin
нет, конечно
Y
Это примерно Java и Scala
AA
ООПе и АДТ + System-F?
не, там фактически два языка, обычный и инлайн-функции, у который своя система типов
Y
(__Примерно__, слышите?)
X
Это примерно Java и Scala
Нет, скала, в отличии от фшарпа страшная
Y
> сначала хотел согласиться, что мол F# и C# это примерно как окамл и ризон
Ну я так не утверждаю, это уж чересчур
Ну я так не утверждаю, это уж чересчур
Oℕ
не, там фактически два языка, обычный и инлайн-функции, у который своя система типов
инлайн функции - это метопрограммирование? связаны с тайп провайдерами?
AA
дотнетное оопе там инородное в смысле вывода типов, но эфшарповые параметрические типы это дотнетные дженерики, а у инлайн функций свои параметрические типы
AA
инлайн функции - это метопрограммирование? связаны с тайп провайдерами?
не
AA
это натурально емель в емеле, с мономорфизм рестрикшоном между ними
AA
только в одном емеле нету рекурсии и типы полностью стираются, а в другом есть и не стираются
AA
вообще конечно, во многих емелях два языка и две системы типов, но тут второй язык не язык модулей
AA
на что это похоже, так на плюсы для дотнета где есть дотнетные дженерики, а есть плюсовые темплейты
AA
вернее было бы похоже, будь плюсовые темплейты типизированными
AA
вот как это выглядит, например
> let inline foo a b = a + b;;
val inline foo :
a: ^a -> b: ^b -> ^c
when ( ^a or ^b) : (static member ( + ) : ^a * ^b -> ^c)
> let baz f a b = f a b;;
val baz : f:('a -> 'b -> 'c) -> a:'a -> b:'b -> 'c
> let bar a b = baz foo a b;;
val bar : a:int -> b:int -> int
'a это дотнетные дженерики, ^a - нет, когда код на одном емеле используется в коде на другом происходит мономорфизм рестрикшон и дефолтингDF
У F# сильно больше общего с C#, чем с окамлом
+++
DF
И то и то мусор полный