Boyd Stephen Smith Jr. @hachyderm.io 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.
@cybersandwich Works fine for me. Can you be more specific?
Also, just to clarify, that was my opinion, and I'm not actually here to yuck anyone's yum. If you prefer GNU Screen, go for it, and more power to you. I know people that _need_ the features in screen that tmux doesn't have, and I hope both remain excellent choices.
@testeronious Straight to the blog, without Lemmy comments: http://jackkelly.name/blog/archives/2024/04/13/why_streaming_is_my_favourite_haskell_streaming_library/index.html
@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 @[email protected] Your first proposal is to sacrifice type safety. I reject that option; avoid success at all costs.
Your second actually increases complexity through semantic bifurcation . I reject that as a way to make a simpler language, even for didactic purposes.
No, discarding type classes without adopting something else worse (interface inheritance) is not easy, and may actually be impossible.
@jaror @[email protected] 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
@jaror Haskell 2010 is pretty simple. What do you imagine is the simpler starting point, if any? If Haskell 2010 is a good starting point, aren't language pragmas / extensions effectively the same as your "language levels"?