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 @programming.dev Noughtmare @programming.dev 
well-typed.com The Haskell Unfolder Episode 42: logic programming with typedKanrenFunctional 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...
-
Haskell @programming.dev Noughtmare @programming.dev 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.
-
Haskell @programming.dev Noughtmare @programming.dev 
well-typed.com The Haskell Unfolder Episode 41: generic monoidsGeneric 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.
-
Haskell @programming.dev Tiuku @sopuli.xyz Thunks, Sharing, Laziness: The Haskell Heap Visualized – Joachim Breitner
A really nice video visualizing how different data structures link together in the heap. Focus is on infinite and cyclic structures, and how to leverage them.
-
Haskell @programming.dev Noughtmare @programming.dev 
discourse.haskell.org GHC 9.6.7 is now availableThe 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...
-
Haskell @programming.dev Noughtmare @programming.dev discourse.haskell.org [ANN] GHCup 0.1.50.0 releasedHow 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 ...
-
Haskell @programming.dev Noughtmare @programming.dev www.tweag.io A hundred pull requests for Liquid HaskellAn overview of the improvements in the latest Liquid Haskell release
-
Haskell @programming.dev Noughtmare @programming.dev Haskell Interlude 63: Farhad Mehta
haskell.foundation Farhad MehtaIn 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.
-
Haskell @programming.dev Noughtmare @programming.dev discourse.haskell.org GHC 9.12.2 is now availableThe 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...
-
Haskell @programming.dev Noughtmare @programming.dev well-typed.com The Haskell Unfolder Episode 40: understanding through a modelQuickCheck 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...
