Ml-family languages (and frankly, all natively functional languages) are just incredibly terse and information-dense second only to stuff like APL. And yet when written idiomatically and with good object and type naming they are surprisingly readable and writeable.
'Twas a bad idea to train LLMs on the corpus of leaky, verbose C and C++ first instead of on these strict, strongly-typed, highly structural languages.
Ml-family languages (and frankly, all natively functional languages) are just incredibly terse and information-dense second only to stuff like APL. And yet when written idiomatically and with good object and type naming they are surprisingly readable and writeable.
'Twas a bad idea to train LLMs on the corpus of leaky, verbose C and C++ first instead of on these strict, strongly-typed, highly structural languages.
Care to explain? Pattern matching, type inference, etc.?
Various investigations have found it to be one of the most token efficient statically typed programming languages
https://martinalderson.com/posts/which-programming-languages...
It's all about the goddamned machines.. since F# is terse, they figure agent-generated F# code is cheaper.
I like to think of F# as concise.