@mvexel yess. I really like them for piping in #julialang with a dedicated Julia Mono font. #haskell also looks cool but if I see a ligature in haskell code that means I don’t understand it.

Maybe I should rewrite everything using Servant. #haskell

Some Haskell idioms we like. ~ Jack Kelly. https://exploring-better-ways.bellroy.com/some-haskell-idioms-we-like.html #Haskell #FunctionalProgramming

Logic programming with extensible types. ~ Ivan Perez, Angel Herranz. https://arxiv.org/abs/2601.03836v1 #Haskell #FunctionalProgramming #Prolog #LogicProgramming

We have to start collecting these explanations:

"#haskell provides indexable arrays, which may be thought of as functions whose domains are isomorphic to contiguous subsets of the integers."

#Exercitium: Posición del primer falso en un vector. https://jaalonso.github.io/exercitium/posts/2015/01/29-posicion_del_primer_falso_en_un_vector/ #Haskell #FunctionalProgramming

@someodd

Very interesting ... looks at you from behind a leaf.

#coding #gopher #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 an MMORPG where the README is the executable.

The game world is The Internet Gopher Protocol itself.

The game is written as literate Haskell.

Source: https://github.com/someodd/grpg

🧠📄⚙️🐹

#programming #haskell #literateprogramming #retrocomputing #gopher #gamedev #opensource

This is so niche and yet so relevant to my interests: "Kip is an experimental programming language that combines Turkish grammar rules with a type system. Case endings, vowel harmony, and other Turkish morphological features are an integral part of Kip's type-checking process."

https://github.com/kip-dili/kip/wiki/Tutorial

#programming #haskell #turkish #grammar

#fsharp #rust #cpp #scala #haskell https://speakez.tech/blog/why-lazy-is-hard/

Aztecs v0.15: A functional, archetypal ECS for #Haskell game engines

https://discourse.haskell.org/t/aztecs-v0-15-a-functional-archetypal-ecs-for-haskell-game-engines/13554

#Exercitium: División según una propiedad. https://jaalonso.github.io/exercitium/posts/2015/01/28-division_segun_una_propiedad/ #Haskell #FunctionalProgramming

Property based testing for parser https://parkerlandon.com/posts/testing-parsers-thoroughly-with-property-based-testing

#pbt #test #haskell #ast

Implementing Co, a Small Language With Coroutines #5: Adding Sleep by @abnv https://lobste.rs/s/taxbgk #haskell #plt
https://abhinavsarkar.net/posts/implementing-co-5/

Until #UnisonLang takes over, #Nix is amazing.

I just converted my non-deterministic build system from ‘cabal build’ and ‘spago build’ to ‘nix build ‘in like three hours. Now, I can deploy this anywhere as a self-contained VM. I’m still brainstorming the ramifications of this.

Thanks to #pursnix and #IOG #IOHK #HaskellNix

#Haskell #Purescript #Deku #Hyrule #FRP #postgres

https://github.com/harryprayiv/cheeblr/commit/2dda5b2939914ea97ca1878b96c1db48a706ba49

Ergonomic abstractions for numerical computing: My story so far https://lobste.rs/s/nkss2q #a11y #haskell #practices #science
http://ocramz.github.io/posts/2026-01-16-ergonomics-numerical.html

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

#Exercitium: Particiones en listas de segmentos. https://jaalonso.github.io/exercitium/posts/2015/01/27-particiones_en_listas_de_segmentos/ #Haskell #FunctionalProgramming