A new F# compiler feature: graph-based type-checking

Post by FrustratedMonky » Sun, Nov 05, 2023, 5:44 PM UTC

arrow7000 wrote: post #19

anonzzzies wrote: post #7

F# is so good, such a shame so few companies use it. I have to touch C# and it's always a little bit painful after a few weeks of F# work.

F# is my go-to language for new backend projects and console apps. You can be as functional as you like, with imperative/mutable/OOP escape hatches available for those rare but unavoidable times you need them

Post by DarkNova6 » Sun, Nov 05, 2023, 5:52 PM UTC

carapace wrote: post #25

DarkNova6 wrote: post #18

Earlier quoted context omitted.

this sounds exciting, but I wonder. How closely linked is Elmish to Elm? In theory Elm is just such a fascinating project... if it was not held back by the people developing it.

Please PLEASE enough with the character assassination of the Elm guy. He wants to run his own project his own way. There's a small but dedicated residue of people who just can't stand being told "no" and go around crapping on the kid whenever they get a chance. I get it. You don't like Evan's project management style. Move on already. - - - - The fact of the matter is that he's a person who took his thesis, made it i…

Post by durable_queue » Sun, Nov 05, 2023, 5:54 PM UTC

Capricorn2481 wrote: post #38

obeavs wrote: post #16

Great addition to a great language. We've been building a very technical product in F# + Rust for the last three years or so (think R lang + R Studio or Replit but for DSLs we built for finance and contracts). While most folks tend to see F# as a .NET-oriented/back-end kind of language, they'd be missing some incredibly unique web technologies such as the Fable compiler (F# -> JS, Python, Dart, etc) and Elmish (Elm,…

I looked at Fable and the resulting code just looked way more complicated than anything Javascript could write. I'm interested in F# still on the backend, but I don't think people "haven't discovered" Fable, it's just not a great alternative.

Post by threatofrain » Sun, Nov 05, 2023, 5:57 PM UTC

FrustratedMonky wrote: post #50

_svoh wrote: post #29

Earlier quoted context omitted.

Eh, it doesn't seem like character assassination. Dude chose his management style. That makes his project unfit for purpose for certain people. Those people are allowed to make that determination and state as such. I remember when the Elm team first decided to lock down the Elm compiler, so that only the team in charge had special privileged access to modify it. I thought, "wow, this looks like a bunch of people who…

From outside, with no knowledge of this "ELM Controversy", this is all very confusing. I love the ELM Architecture. Why is there a problem if it is implemented in another language? I'd think any functional language could implement the ELM Architecture, and thus be 'native', or more integrated into that particular languages ecosystem, and this would offer benefits beyond trying to integrate ELM into each individual ec…

Post by eddythompson80 » Sun, Nov 05, 2023, 6:00 PM UTC

Smaug123 wrote: post #46

eddythompson80 wrote: post #32

Earlier quoted context omitted.

I got downvoted on the typescript subreddit when I mentioned how Type providers work in F# because "nah, it can't be working that way. The compiler can't be making http requests to make up types for an API" smh.

In fairness it is rather terrifying :P personally I pull all necessary information into some form of version-controlled storage, and then have a test to assert that the remote information is consistent with the stored version. Life's too short to have nondeterministic builds.