News for hackers. Stuff that matters.
Re:Kind: A Modern Proof Language by LangMakers on Wednesday August 11, 2021 @03:28PM (#28146562)
They are only used in case-of and monadic blocks, and allow avoiding commas and semicolons everywhere else without having the annoying issues with meaningful spaces! I totally understand your initial impression, but consider reading my thoughts below before judging prematurely. (Guess I'll end up adding a bracket-less version of case-of to satisfy the hyper demanding crowd of HackerNews...)
Re:Kind: A Modern Proof Language by lincolnq on Thursday August 12, 2021 @12:51PM (#28158619)
Nooo don't compromise your vision for hacker news commenters!

Great product design is a mix of flexibility and opinionatedness. You have to find your "users" and then build the thing they want. If HN commenters give you crap about it they're not your users, at least not yet, and that's ok. Your product doesn't have to appeal to everyone at the outset.

Re:Kind: A Modern Proof Language by girishso on Wednesday August 11, 2021 @10:23PM (#28150944)
I read your comment elsewhere here defending the curlys and it does make sense, I was judging it prematurely.

> Guess I'll end up adding a bracket-less version

Don't make a decision just by listening to some random strangers like me!