Lmst

Curso "Lógica matemática y fundamentos (2013-14)". https://jaalonso.github.io/cursos/lmf-13 #Lógica #Haskell #ProgramaciónFuncional #IsabelleHOL

@glocq #Haskell has some cool toys like trifecta, liquid-haskell, and quickcheck, and afaik, there are no equivalents in OCaml. I wouldn't think that outdated #LLVM bindings would bother you so much, as they're pretty easy to generate mechanically: just write a Perl script; it shouldn't take more than a week of work. If the idea is to have fun and keep the compiler small, why not use Haskell? The #OCaml ecosystem is healthier in general, as it is actually used to build real software (by say, Jane Street or the #Rocq community). If ecosystem is so important to you, why not pick #Rust, which has high-quality packages like chumsky/ariadne? Would you be having fun though?

Of Course ML Has Monads! (2011) https://lobste.rs/s/urjnnp #haskell #ml #plt
https://existentialtype.wordpress.com/2011/05/01/of-course-ml-has-monads/

Property-based testing of attribute grammars. ~ José Nuno Macedo, Marcos Viera, João Saraiva. https://dl.acm.org/doi/pdf/10.1145/3732771.3742710 #Haskell #FunctionalProgramming

Freer arrows and why you need them in Haskell. ~ Grant VanDomelen, Gan Shen, Lindsey Kuper, Yao Li. https://arxiv.org/abs/2506.12212v1 #Haskell #FunctionalProgramming

https://magnus.therning.org/2025-06-20-finding-a-type-for-redis-commands.html

#haskell #redis

I've surprised myself how fun it is to write this pure #haskell #hdf5 parser. It's, in a way, gruesome, fiddling with raw bytes, guessing some details, getting new files with features still unsupported, and I have no clue how exciting it will be to implement all the common filters. But the language is delightful and I'm making constant glacial progress. That accounts for a lot I suppose...

Looks like I have finally found a way to make Contravariants ergonomic…!!!

#haskell

bar ::
( HasField "foo" a Text,
HasField "bar" a Natural,
HasField "baz" a Natural
) =>
p ->
TextBuilder a
bar _ =
field #foo textT
<> "foo"
<> (field #bar naturalDecimalT)
<> "x"
<> (field #baz naturalDecimalT)

Every time I use a language other than #haskell I wonder how they get by without some type system feature. Haskell is under adopted so the ecosystem kind of sucks but on the other hand I looked at how #rust emulates higher-kinded types and it ruined my day.

Introduction to competitive programming in Haskell https://lobste.rs/s/ibk13a #haskell
https://byorgey.github.io/blog/posts/2025/06/10/comprog-hs-intro.html

"I believe that effect libraries are good for actual effects (IO, State, Reader, Non-determinism, etc...) but not for creating software components"
https://www.reddit.com/r/haskell/comments/1lek8ch/comment/myhffsm/

Do we need effects to get abstraction? (2019) https://medium.com/barely-functional/do-we-need-effects-to-get-abstraction-7d5dc0edfbef

#Haskell

I am using one tool implemented in Haskell. Cost: my #ArchLinux updates about 100 #Haskell packages every 2 days on average. Seriously? I am starting to think that even though I am a #functional programmer, programming in Haskell would not be for me - and not for the ferocious purity and laziness, but for the stability of the environment!

Disclaimer: I know nothing about the Haskell ecosystem. It may well be that these updates are just as innocuous as they are irritating.

Yay! My PR¹ for building static executables for #Haskell projects with #Nix has been merged in my favourite Nix-for-haskell framework Nixkell.

¹ https://github.com/pwm/nixkell/pull/50

Stream is on tonight, working on tigerbeetle-hs at 8:10pm EST https://twitch.tv/agentultra

#haskell

#Haskell #opinion #poll:

Check all that you consider functions in Haskell. (The question is not whether you believe these exist in Haskell (all 4 do), but rather which ones (according to your opinion / your terminology use) are to be considered to be "functions".)

#functionalProgramming #opinionPoll #concept #mentalModel