Noughtmare @
Noughtmare @programming.dev
Posts
51
Comments
10
Joined
7 mo. ago
well-typed.com The Haskell Unfolder Episode 42: logic programming with typedKanren
Functional programming is programming with mathematical functions, mapping inputs to outputs. By contrast, logic programming---perhaps best known from the language Prolog---is programming with mathematical relations between values, without making a distinction between inputs and outputs. In this two...
www.tweag.io Frontend live-coding via ghci
Demonstrate the GHC wasm backend ghci browser mode and how it can be used to live-code a Haskell wasm frontend app.
Haskell Language Server 2.10.0.0 release | The Haskell blog
Not only is it convenient, it also enables parallelism:
"How to Think about Parallel Programming: Not!" - Guy L. Steele Jr. (Strange Loop 2010)
I stumbled over Bart de Goede’s article on building a full-text search engine in 150 lines of Python, and was reminded of my quest to show how useful Haskell is for solving real-world problems. Python is an eminently practical language, so nobody is surprised this can be done in Python. But Haskell? The Python code spends a lot of time updating mutable dictionaries. Surely we cannot easily port this code over to Haskell.
Let’s find out.
well-typed.com The Haskell Unfolder Episode 41: generic monoids
Generic functions are a powerful tool that allows us to make more type classes derivable. In this episode, we'll look at a simple example, namely deriving Monoid instances for product types, using both GHC's built-in generics and the generics-sop library.
I'm confused. It does go straight to the discourse post when I click it.
discourse.haskell.org GHC 9.6.7 is now available
The GHC developers are very pleased to announce the availability of GHC 9.6.7. Binary distributions, source distributions, and documentation are available at https://downloads.haskell.org/ghc/9.6.7. We hope to have this release available via ghcup shortly. GHC 9.6.7 brings number of fixes, inclu...
discourse.haskell.org [ANN] GHCup 0.1.50.0 released
How to upgrade ghcup upgrade If you haven’t installed yet, follow the instructions at: GHCup ChangeLog Fix logic when guessing incomplete PVP versions, fixes #1243 Speed up metadata parsing significantly wrt #1213 Implement “install targets”, fixes #1210 Add default channel alias wrt #1196 Print ...
www.tweag.io A hundred pull requests for Liquid Haskell
An overview of the improvements in the latest Liquid Haskell release
Haskell Interlude 63: Farhad Mehta
haskell.foundation Farhad Mehta
In this episode, Andres Löh and Mike Sperber are joined by Farhad Mehta, a professor at OST Rapperswil, and one of the organizers of ZuriHac. Farhad tells us about formal methods, building tunnels, the importance of education, and the complicated relationship between academia and industry.
discourse.haskell.org GHC 9.12.2 is now available
The GHC developers are happy to announce the release of GHC 9.12.2. Binary distributions, source distributions, and documentation are available at downloads.haskell.org. We hope to have this release available via ghcup shortly. This is a small release fixing a critical code generation bug, #2565...
well-typed.com The Haskell Unfolder Episode 40: understanding through a model
QuickCheck is useful for more than just testing. Comparing the behaviour of a system to a model can be used to check if a system under construction is working correctly, but it can also be used to better understand an already existing system. In this episode we show that this does not need to be ve...
You can choose a custom donation and make most of your money go to the EFF. Then the top tier is just like a €24 donation to the EFF and you only really "pay" €10.30 for the actual books.
Een belangrijke overweging van mij is dat de partij groot genoeg is om echt het verschil te maken. Daarom ben ik recent lid geworden van Groenlinks. Ik denk dat Groenlinks-PvdA de enige fractie is die groot genoeg en ook duidelijk pro-europa is.
Or anywhere in the EU. And I don't think the USA is more lenient on piracy. But perhaps they are if a big company is the one doing it.
That's is how things used to work here in the Netherlands, until the EU forced us to change our laws in 2014:
Why? They immediately explain that the difference in performance would not be significant on such a small problem and I see no other reason to prefer arrays over maps.
Thanks, I did look at the Wikipedia page, but the Applications section is pretty difficult to read. The applications it lists are themselves quite abstract problems.
Also, I think the 'find' operation could be replaced by an operation that checks if two elements are in the same set. That way you don't have to come up with a "name".
One thing I'm missing is which problems this technique can solve. I believe one important use case is in type inference. Are there many other problems that can be solved by union-find?