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."

It was a note from the 7yo...

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.

Sign in to participate in the conversation

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!