Hacker News Reader

F# is one of the biggest 'What could have beens'. Great language, that just didn't hit the right time, or reach critical mass of the gestalt of the community.

View on HN

I convinced one boss to let me spike out a project with it. I was in love with OCaml at the time. OCaml's docs are... I'm just going to say it, they're terrible. F# on the other hand, has fantastic docs. In the end, the only real gripe I had was the significant whitespace. I'm just not a fan.

It uses far less tokens than C#, so watch this space...

Care to explain? Pattern matching, type inference, etc.?

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.

Various investigations have found it to be one of the most token efficient statically typed programming languages

https://martinalderson.com/posts/which-programming-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.

Reply on news.ycombinator.com