Swooping
This is really cool and useful! I’ll be using this! Thank you
Why would they crack down specifically when it’s open sourced? I could see why they would do it before it goes open source though. Once it’s out there it’ll be hard to prevent the continuation of the project
Matrix or IRC are popular. Can also be XMPP or any other open protocol. Bridge to proprietary networks if necessary but a FOSS project should never rely on Discord. https://drewdevault.com/2021/12/28/Dont-use-Discord-for-FOSS.html
MIT license is a great way of making sure corporations will take this and run away with it
Edit: and yet another supposedly open project using Discord
class Struggle f where
abolish :: f a -> a
I’d like to write my motivations but I’d just obsess over it for hours, so I’m only listing the items.
Show:
Books:
Films:
There are others I enjoy despite (or regardless of) their quality, for reasons such as nostalgia, certain characters or unique atmosphere. They’re too subjective to be of much interest to anyone else though, probably.
In addition to my other comment (which is more about paradigms than Haskell in particular), I think the main draws of Haskell is that it’s the most well-known statically typed and pure functional language out there. It’s mature, has a reasonably large community and an OK ecosystem. (I say OK rather than good because it’s rather lacking in some areas like GUI bindings and gamedev but sort of makes up for it with solid “backend”-oriented libraries.)
It strikes a nice balance of type safety, convenience and readability compared to other languages that feature more expressive type systems and safety guarantees, or impure and untyped functional languages which may be more “straight forward” to use but may bite you in more complex projects with hard to find IO- and type-related bugs.
The syntax is clean and terse, reducing boilerplate and visual noise for reading and writing, letting you allocate your mental energy to the concepts and semantics more than the details of implementation and technicalities. You spend more time thinking than looking when reading source code, or typing while writing it.
The type system is expressive enough to act as documentation in their own right (not to say they replace comments and actual documentation!), while also offering escapes for when you think yourself cleverer than the type checker, such as when an edge case really isn’t much of a problem, or when you know something makes sense but don’t wish to prove it.
It’s lazily evaluated, which enables you to think less about the operational semantics and more about the concept you’re trying to encode. You can compose and chain operations on very large lists or sets without having to worry about the programme iterating over all of it and evaluating everything; it will only evaluate exactly what you need and no more than that.
I would write more but I’ve procrastinated enough for today…
Lots of Chinese stuff that lack subs. Often it’s only available on bilibili, too.