After putting the kids to bed tonight, I stepped out to get some groceries. On my way out, a stranger walking in called, "excuse me, maam, there is something flapping on your back."
I am feeling some what despondent about it after 6 weeks (ish) attempting to use it.
It doesn't seem to be the type driven Nirvana I was lead to believe - It largely appears to be exception driven development Java style, but with a terser syntax.
Also, the usual alpha males beating their chests and being fuckwits.
I am wondering if Idris or Agda are the promised lands?
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!
Language, umm language & OT
@SusanPotter Hey!
So Haskell, are you using it for work?
I am feeling some what despondent about it after 6 weeks (ish) attempting to use it.
It doesn't seem to be the type driven Nirvana I was lead to believe - It largely appears to be exception driven development Java style, but with a terser syntax.
Also, the usual alpha males beating their chests and being fuckwits.
I am wondering if Idris or Agda are the promised lands?
Hope you are well.