alt Hacker NewsFearmonger? Me? Well I never.
Also
> if you've worked with other proof oriented languages.
That's doing a lot of heavy lifting.
Fearmonger? Me? Well I never.
Also
> if you've worked with other proof oriented languages.
That's doing a lot of heavy lifting.
Fearmonger is a little heavy handed but the comparison to Dwarf Fortress is probably too strong.
I don't find F* syntax anymore intimidating than Haskell, Scala, Mercury, Prolog, etc. aka the hard languages. I love Ruby and I didn't find it intuitive when I first began learning it (specifically, the block/lambda passing mechanism).