#Haskell is actually the simplest language to *use and understand for practical purposes,* yet the developer ecosystem is filled with clever devs refusing to KISS handing newbies footguns for the uninitiated.

#Haskell is actually the simplest language to *use and understand for practical purposes,* yet the developer ecosystem is filled with clever devs refusing to KISS handing newbies footguns for the uninitiated.

🐹 I built an MMO RPG where live Gopherspace itself is the game world.

You can:

🗺️ explore real Gopher servers
🔍 discover files → get loot 💎
💬 leave comments on files, like on my RFC (pic)
⚔️ attack players and steal their loot

▶️ Play instantly (web):
https://gopher.someodd.zip/1/gateway/games/grpg/look/

▶️ Native Gopher link:
gopher://gopher.someodd.zip/1/gateway/games/grpg/look/

📄 The game is a README file.
The README *is* the executable.
https://github.com/someodd/grpg

#gopher #retrocomputing #haskell

🐹 I built an MMO RPG where live Gopherspace itself is the game world.

You can:

🗺️ explore real Gopher servers
🔍 discover files → get loot 💎
💬 leave comments on files, like on my RFC (pic)
⚔️ attack players and steal their loot

▶️ Play instantly (web):
https://gopher.someodd.zip/1/gateway/games/grpg/look/

▶️ Native Gopher link:
gopher://gopher.someodd.zip/1/gateway/games/grpg/look/

📄 The game is a README file.
The README *is* the executable.
https://github.com/someodd/grpg

#gopher #retrocomputing #haskell

I wrote the fifth part of my #blog series “Implementing Co, a small programming language with #coroutines”. This time, we add support for sleep in #Co for time-based executions. https://abhinavsarkar.net/posts/implementing-co-5/

#Programming #PLT #ProgrammingLanguages #Compilers #Haskell #concurrency

I wrote the fifth part of my #blog series “Implementing Co, a small programming language with #coroutines”. This time, we add support for sleep in #Co for time-based executions. https://abhinavsarkar.net/posts/implementing-co-5/

#Programming #PLT #ProgrammingLanguages #Compilers #Haskell #concurrency

Selective Applicative Functors

https://blog.veritates.love/selective_applicatives_theoretical_basis.html

#HackerNews #Selective #Applicative #Functors #Functional #Programming #Haskell #Type #Theory #Coding #Concepts

impurepics - #Haskell Extensions
https://impurepics.com/posts/2019-08-01-haskell-extensions.html

A collection of short descriptions and examples of #GHC extensions

#PL #FP

impurepics - #Haskell Extensions
https://impurepics.com/posts/2019-08-01-haskell-extensions.html

A collection of short descriptions and examples of #GHC extensions

#PL #FP

New article on the #Haskell Blog: "A Comment-Preserving Cabal Parser" by Léana Jiang

https://blog.haskell.org/a-comment-preserving-cabal-parser/

New article on the #Haskell Blog: "A Comment-Preserving Cabal Parser" by Léana Jiang

https://blog.haskell.org/a-comment-preserving-cabal-parser/

a lot of this 'doing' is going to be learning.

I want to get through the Wikibooks #Haskell tutorial, "Write Yourself a Scheme in 48 Hours" (h/t https://mathstodon.xyz/@AmenZwa/115812071776992831)

and then modernize an old implementation of #KernelLang in Haskell, with the intent of adding Liquid Haskell refinement types to it.

We really need a good, complete implementation of Kernel #LISP.

in 2026 I'll be doing more #Haskell, #Agda, and #SPARK.

got my Haskell and Agda dev environment setup in #FreeBSD, but Ada/SPARK is like pulling teeth, as usual.

"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