Integrating Effectful and Persistent

https://exploring-better-ways.bellroy.com/integrating-effectful-and-persistent.html

Discussions: https://discu.eu/q/https://exploring-better-ways.bellroy.com/integrating-effectful-and-persistent.html

#haskell question

given a list [Either String Int]

I want to return Right (sum of all the ints) or Left "no data" if there are no Rights

my solution is not too bad but I initially wanted to use some of kind foldr with a default value of type Left which is "overwritten" by Right if there are any

is this possible?

-----

sumSuccess :: [Either String Int] -> Either String Int
sumSuccess el
| length rl == 0 = Left "no data"
| otherwise = Right (sum rl)
where rl = Data.Either.rights el

Save the date: Munihac • 2025-09-[12..14] • Munich

https://munihac.de/2025.html

Discussions: https://discu.eu/q/https://munihac.de/2025.html

Concurrency in Haskell: Fast, Simple, Correct https://lobste.rs/s/hbevmo #haskell
https://bitbashing.io/haskell-concurrency.html

#haskell advice needed

what is going on here? the question is asking what type x must be

x (&&) y

--

my thinking

if it were `x && y` then I would say both x and y have to be of type Bool because that is what is expected by &&

but (&&) must be something else. I tried

True (&&) True

in the ghci and it complains

I only know about "sections" which are partially applied operators eg (2*) and (+1)

so it (&&) is partially applied AND then it must be equivalent to && but I know I am wrong!

Integrating Effectful and Persistent https://lobste.rs/s/x4xlid #haskell
https://exploring-better-ways.bellroy.com/integrating-effectful-and-persistent.html

Issue 468 :: Haskell Weekly newsletter

https://programming.dev/post/28767799

Frontend live-coding via ghci

https://www.tweag.io/blog/2025-04-17-wasm-ghci-browser

Discussions: https://discu.eu/q/https://www.tweag.io/blog/2025-04-17-wasm-ghci-browser

#Exercitium: Emparejamiento de árboles. https://jaalonso.github.io/exercitium/posts/2014/06/10-emparejamiento_de_arboles/ #Haskell #ProgramaciónFuncional

The Haskell Unfolder Episode 42: logic programming with typedKanren

https://programming.dev/post/28761043

Frontend live-coding via ghci

https://programming.dev/post/28761041

Concurrency in Haskell: Fast, Simple, Correct

https://bitbashing.io/haskell-concurrency.html

Discussions: https://discu.eu/q/https://bitbashing.io/haskell-concurrency.html

The Haskell Unfolder Episode 42: Logic programming with typedKanren. ~ Edsko de Vries, Andres Löh. https://www.youtube.com/live/ukk5JDRYQSc #Haskell #FunctionalProgramming

When I was coding professionally, I found it frustrating when people talk about how #haskell isn't used in production.

Now I found it plain baffling. Why is "used in production" perceived as some kind of indicator for quality? As if we haven't seen the most horrendous/inefficient/wrong code and languages used in production.
#programming

Concurrency in Haskell: Fast, Simple, Correct

Link: https://bitbashing.io/haskell-concurrency.html
Discussion: https://news.ycombinator.com/item?id=43679906

Here's a thrilling odyssey of a C/C++/Rust acolyte discovering that Haskell—yes, #HASKELL —can do concurrency! Who knew that "self-indulgent academic baloney" could also be "fast, simple, correct"? Get ready for groundbreaking insights that will inevitably make you reconsider every life choice you've ever made about #concurrency.
https://bitbashing.io/haskell-concurrency.html #Cplusplus #Rust #ProgrammingInsights #TechOdyssey #HackerNews #ngated

The Haskell Unfolder Episode 42: logic programming with typedKanren

https://www.youtube.com/watch?index=42&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&v=ukk5JDRYQSc

Discussions: https://discu.eu/q/https://www.youtube.com/watch?index=42&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&v=ukk5JDRYQSc

Stream is on tonight, starting in about 10 mins. Working on tigerbeetle-hs! https://twitch.tv/agentultra

Automating VGAPlanets using Free Monad

https://github.com/drshade/planets

Discussions: https://discu.eu/q/https://github.com/drshade/planets