"Write Yourself a Scheme in 48 Hours: An Introduction to Haskell through Example", Tang (2007)

https://upload.wikimedia.org/wikipedia/commons/a/aa/Write_Yourself_a_Scheme_in_48_Hours.pdf

I'm well and truly miffed—until this moment, I'd never come across this little jewel of a free ebook.🤦‍♂️

This book teaches practical #Haskell #programming (like monadic parsing) through an implementation of a large subset of R5RS #Scheme interpreter, all in just 138 pp. An experienced FP #programmer, even one who is unfamiliar with Haskell and Scheme, can plough through this text, in one sitting.

It's brilliant!

"Write Yourself a Scheme in 48 Hours: An Introduction to Haskell through Example", Tang (2007)

https://upload.wikimedia.org/wikipedia/commons/a/aa/Write_Yourself_a_Scheme_in_48_Hours.pdf

I'm well and truly miffed—until this moment, I'd never come across this little jewel of a free ebook.🤦‍♂️

This book teaches practical #Haskell #programming (like monadic parsing) through an implementation of a large subset of R5RS #Scheme interpreter, all in just 138 pp. An experienced FP #programmer, even one who is unfamiliar with Haskell and Scheme, can plough through this text, in one sitting.

It's brilliant!

Carnap – A formal logic framework for Haskell

https://carnap.io/

#HackerNews #Carnap #Haskell #formalLogic #programming #language #innovation

Share of programming languages used by #GTK3 / #GTK4 applications (2025-12-13):

30% #Python
20% #Rust
19% #Vala
17% #C
6% #gjs #Javascript #Typescript
5% #C++ #Cplusplus
1% #Go
1% #Csharp
2% Other: #Lua #Swift #Kotlin #Perl #Haskell #Crystal #D #Scheme #Clojurescript

71% use GTK4 (92% of them #libadwaita), still 29% GTK3

Method: Source [1] lists 800 awesome #gtk (3/4) #opensource applications and their #programminglanguage

[1] https://github.com/valpackett/awesome-gtk
#GTK #FLOSS #Linux #Gnome
@GTK @gnome

X-mas comes early this year: the ICFP 2025 talks are now on YouTube.

You can catch my talk on "Domain-specific tensor languages" below. We explore implementing tensor calculus in #Haskell, supporting both Einstein notation and Penrose diagrams to model things like General Relativity and black holes. 🕳️🚀

My talk: https://www.youtube.com/watch?v=04cxfddDwuI

Full Playlists:
🔗 ICFP papers: https://www.youtube.com/watch?v=COD4tnVtHoQ&list=PLyrlk8Xaylp4WyLpPH40RBw-kZSdkpkVs
🔗 JFP First papers: https://www.youtube.com/watch?v=oZLSDFfpHp0&list=PLyrlk8Xaylp68qJ-kEeXEPne0ePPwNGFi

https://mastodon.acm.org/@sigplanav/115667300324636252

cc @sigplanav (https://sigplan.org)

#icfpsplash25 #ProgLang #TensorCalculus #Physics #FunctionalProgramming

Liskell – Haskell Semantics with Lisp Syntax [pdf]

http://clemens.endorphin.org/ILC07-Liskell-draft.pdf

#HackerNews #Liskell #Haskell #Lisp #Semantics #Programming #PDF

The State of #Haskell 2025 survey is out! Please take ~10 minutes to fill this out and share it with friends/colleagues/coworkers, whether or not they are users of Haskell.

https://www.surveymonkey.com/r/6M3Z6NV

Share of programming languages used by #GTK3 / #GTK4 applications (2025-12-13):

30% #Python
20% #Rust
19% #Vala
17% #C
6% #gjs #Javascript #Typescript
5% #C++ #Cplusplus
1% #Go
1% #Csharp
2% Other: #Lua #Swift #Kotlin #Perl #Haskell #Crystal #D #Scheme #Clojurescript

71% use GTK4 (92% of them #libadwaita), still 29% GTK3

Method: Source [1] lists 800 awesome #gtk (3/4) #opensource applications and their #programminglanguage

[1] https://github.com/valpackett/awesome-gtk
#GTK #FLOSS #Linux #Gnome
@GTK @gnome

The State of #Haskell 2025 survey is out! Please take ~10 minutes to fill this out and share it with friends/colleagues/coworkers, whether or not they are users of Haskell.

https://www.surveymonkey.com/r/6M3Z6NV

#Unison is a really interesting programming language - one of the most novel I've seen in recent years https://www.unison-lang.org/docs/quickstart/

It's hard to describe, but to me it feels like some modern blend of ideas from #Haskell, #Erlang, #Smalltalk and #OCaml. I hope that it will manage to gain some traction and that I'll be able to play a bit more with it down the road.

hledger-1.50.4 fixes 1.50's journal include directive,
so that it no longer ignores paths containing dot files/directories,
and it no longer shows symbolic links dereferenced.

- https://github.com/simonmichael/hledger/releases/1.50.4
- https://hledger.org/relnotes.html#2025-12-04-hledger-1504
- https://hledger.org/install

#hledger is free, robust, friendly, multicurrency, double-entry,
#plaintextaccounting software for unix, mac, windows, and the web,
written in #haskell for reliability.

X-mas comes early this year: the ICFP 2025 talks are now on YouTube.

You can catch my talk on "Domain-specific tensor languages" below. We explore implementing tensor calculus in #Haskell, supporting both Einstein notation and Penrose diagrams to model things like General Relativity and black holes. 🕳️🚀

My talk: https://www.youtube.com/watch?v=04cxfddDwuI

Full Playlists:
🔗 ICFP papers: https://www.youtube.com/watch?v=COD4tnVtHoQ&list=PLyrlk8Xaylp4WyLpPH40RBw-kZSdkpkVs
🔗 JFP First papers: https://www.youtube.com/watch?v=oZLSDFfpHp0&list=PLyrlk8Xaylp68qJ-kEeXEPne0ePPwNGFi

https://mastodon.acm.org/@sigplanav/115667300324636252

cc @sigplanav (https://sigplan.org)

#icfpsplash25 #ProgLang #TensorCalculus #Physics #FunctionalProgramming

#Unison is a really interesting programming language - one of the most novel I've seen in recent years https://www.unison-lang.org/docs/quickstart/

It's hard to describe, but to me it feels like some modern blend of ideas from #Haskell, #Erlang, #Smalltalk and #OCaml. I hope that it will manage to gain some traction and that I'll be able to play a bit more with it down the road.

hledger-1.50.4 fixes 1.50's journal include directive,
so that it no longer ignores paths containing dot files/directories,
and it no longer shows symbolic links dereferenced.

- https://github.com/simonmichael/hledger/releases/1.50.4
- https://hledger.org/relnotes.html#2025-12-04-hledger-1504
- https://hledger.org/install

#hledger is free, robust, friendly, multicurrency, double-entry,
#plaintextaccounting software for unix, mac, windows, and the web,
written in #haskell for reliability.

It's cool to observe how programming languages affect each other. Recently I've learned that `Seq.unfold` in #OCaml was "inspired" by `Seq.unfold` in its sibling F#. It in turn was inspired by `unfoldr` in #Haskell.

And there's also the pretty similar `std::iter::successors` in #Rust to consider...

It's cool to observe how programming languages affect each other. Recently I've learned that `Seq.unfold` in #OCaml was "inspired" by `Seq.unfold` in its sibling F#. It in turn was inspired by `unfoldr` in #Haskell.

And there's also the pretty similar `std::iter::successors` in #Rust to consider...

Freer Monads, More Extensible Effects [pdf]

https://okmij.org/ftp/Haskell/extensible/more.pdf

#HackerNews #Freer #Monads #Extensible #Effects #Haskell #FunctionalProgramming #PDF

Pandoc allows to access and modify the Haskell runtime system (RTS) that the program runs on.

E.g., to print memory usage:

pandoc +RTS -s -RTS …

Or to limit the maximum heap size available to pandoc to 2 GB:

pandoc +RTS -M2G -RTS …

See all available options by running:

pandoc +RTS -?

This can be helpful when facing performance issues.

#pandoc #Haskell #performance