Boyd Stephen Smith Jr.

Born 1980-05-15 in Mena, AR
Cis White Male He/him
Liberal Democratic Socialist Idealist
Professional Haskell Programmer
Lives in Cove, AR
(24 years resident of Fayetteville, AR)

Please use Wire (or Signal) for private messaging.

  • 0 Posts
  • 8 Comments
Joined 2 years ago
cake
Cake day: December 12th, 2022

help-circle

  • @jaror I never liked it; I think if you can’t be bothered to assign a name, point-free combinators are what you should be using.

    I also think it gets much uglier or complicated (or both) once you have arguments (unlike getLine, but like most subroutines).

    That said, I wouldn’t take it away from anyone. I think the desugaring is unsurprising and, at least in a strict language, semantics preserving.

    I haven’t really spent the necessary time to think clearly through the non-strict case.





  • @jaror @dpwiz@qoto.org I think without the type of polymorphism that Haskell uses type classes for, the language can never be more than a toy.

    But, that doesn’t mean it can’t be didactically useful. A “Haskell–” with a JS-style Number for all numeric literals and replacing all numeric type classes with top-level operators on that type could be useful, for a bit.

    Once you want to do indexing (e.g. Array) you need to distinguish between numbers like sqrt 5 and suitable indexes, tho. Enter polymorphism