@lil5 how awesome you want to dive deeper into purely #functional #programming 🤟 I think even if you don't plan to use #haskell for a great good, this is a great mind expanding experience. I would suggest to try to build something real with the language as you go, for me it is the best way to learn. This book is awesome, I also bought it btw. I think everyone struggles mostly with function composition (my fav) and the laziness, and of course do notation (monadic), but it will click, trust me.

Just bought the book “Learn you a Haskell for great good”

Jo did you have many pain points of the language? @jjba23

#haskell

I haven't been touching #Haskell for years. I'm setting up a fresh environment on my Mac. Didn't know about GHCup, nice! Seems to be something that I missed back then

A simple AI chatbot (ChatGPT clone) built entirely in Haskell. ~ Tushar Adhatrao. https://github.com/tusharad/ai-chatbot-hs #Haskell #FunctionalProgramming #LLMs

Readings shared July 12, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/13-readings_shared_07-12-25 #ASP #ATP #CLP #CategoryTheory #CoqProver #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #ProofTheory #Prover9

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

28% #Python
21% #Rust
20% #Vala
17% #C
06% #C++ #Cplusplus
06% #gjs #Javascript #Typescript
03% Other: #Csharp #Go #Lua #Haskell #Swift #Crystal #Swift #D #Perl

65% use GTK4 (90% of them use #libadwaita), while still 35% use GTK3

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

[1] https://github.com/valpackett/awesome-gtk

#GTK #FLOSS #Linux #Programming #Gnome

@GTK @gnome

Maybe I'm weird but I have noticed that function wise I like how #Haskell does it the most, to my brain saying for example

`add :: Int -> Int -> Int
add x y = x + y`

makes more sense to my brain than for example in #Go

`func add(x int, y int) int {
return x + y
}`

Categorical semantics in Haskell. ~ Mohamed Amine Ayari. https://kondylidou.github.io/assets/pdf/BA-mohamed.pdf #Haskell #FunctionalProgramming #CategoryTheory

Generic second-order matching, higher-order preunification and pattern unification - Implementations in Haskell. ~ Nikolai Kudasov et als. https://hal.science/hal-05148806/document #Haskell #FunctionalProgramming

SBV v12.0 "much enhanced interface and support for semi-automated theorem proving"

https://discourse.haskell.org/t/formally-verify-haskell-code/7301/18

https://www.reddit.com/r/haskell/comments/1lrk600/announce_a_new_release_of_sbv_v120_is_released_on/

https://hackage.haskell.org/package/sbv

#Haskell

Kinda cool example of how #haskell ContT helps:

instead of:
bracket (open a) close $ \h ->
bracket (open b) close $ \h2 ->
doSomething h h2

you write:
do
h <- ContT . bracket (open a) close
h2 <- ContT . bracket (open b) close
pure $ doSomething h h2

and then squish to a version that easily extends to any number of brackets:
do
[h, h2] <- for [a, b] $
ContT . flip bracket close . open
pure $ doSomething h h2

#functionalProgramming

If you were to write a #compiler in #Haskell, would you use a lens library to transform the data structures? #poll #compilers #pldev

Readings shared July 10, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/11-readings_shared_07-10-25 #FunctionalProgramming #Haskell #ITP #IsabelleHOL

Leanpub book LAUNCH 🚀 Unwrapping Monads & Friends: Shining Light on Functional Programming's Scariest Concepts by Kyle Simpson https://youtu.be/gcNHDun3Gg0X #books #leanpublishing #selfpublishing #booklaunch #haskell #programming #functionalprogramming #JavaScript

Packaging #Haskell code for easy Swift interoperability: easy thanks to these tips: https://alt-romes.github.io/posts/2025-07-05-packaging-a-haskell-library-as-a-swift-binary-xcframework.html @haskell

This next week starts the winter vacations for me. Now I have two weeks to perform a functional programming training, in a new operative system and environment, NixOS and Xmonad tiling WM. It was a mind opening and learning experience, even I was choose it for the trends, I don't regret for it. But now I want to relearn and return to a tiling window manager, is time to say goodbye. Sayonara Arch Linux!

#linux #archlinux #nixos #nix #xmonad #haskell #WM #tiling #software #programming #code #OS

We have a relatively big code base in #haskell and the rate of bugs per release is quite low. I consider it as my failure as a team lead.

At some point we hadn't reverted releases for more then a year! Apparently managements though we don't have the technical ability to revert releases at all :)

For me it means that we were focusing on correctness too much neglecting issues that are more important for the company.

Correctness Doesn’t Matter

It's an intentionally catchy title, but the point is still there. I think it's an important lesson many #haskell and FP enthusiasts failed to learn.

https://www.galois.com/articles/what-works-and-doesnt-selling-formal-methods

[Перевод] Пишем код, который можно бегло просматривать

Писать код, который достаточно бегло просмотреть — не менее важно, чем писать код, который в принципе можно прочитать. Давайте немного поговорим о «форме» кода — такой, чтобы по структуре кода можно было быстро понять, для чего он, и сократить время работы с кодовой базой.

https://habr.com/ru/companies/netologyru/articles/925598/

#haskell #applicative #просмотр_кода #plumbing #контекст #лёгкий_код #идентификаторы #аппликативные_функторы #математическая_нотация #хороший_код

@blami @graves501 I think I won't be able to enjoy myself writing code in a language lacking tagged union anymore.

Yes I'm spoiled, but it's not #rust 's fault, it's #haskell .

It's just that when came the moment to make a choice between learning Go or Rust, the choice was quite easy.