Hacker News with Generative AI: Haskell

An "oh fuck" moment in time (ghuntley.com)
Then took my kids down to the local pool. When I got back, I had a fully functional Haskell library with autogenerated C bindings, FFI to CoreAudio and my jaw was on the ground. Literally an "oh fuck" moment in time... This wasn't something that existed, it wasn't regurgitating knowledge from Stackoverflow. It was inventing/creating something new.

Programming, Artificial Intelligence, Haskell

88 points by ghuntley 4 days ago | 150 comments

GHC 9.12 and Cabal 3.14 releases (haskell.org)
To conclude the year 2024, the GHC and Cabal teams are happy to announce the releases of GHC 9.12 and cabal 3.14.

New Releases, Haskell, Software, Programming Languages

5 points by Vosporos 12 days ago | 1 comments

Overloading the lambda abstraction in Haskell (2022) (acatalepsie.fr)

Functional Programming, Haskell, Programming Languages

69 points by 082349872349872 21 days ago | 15 comments

Effectful – Build Fast and Reliable Haskell Applications (haskell-effectful.github.io)
Build Fast & Reliable Haskell Applications

Haskell, Programming Languages, Libraries, Software Development

12 points by todsacerdoti 32 days ago | 2 comments

Compiler Bootstrapping: Ben Lynn on "MacGyver's Haskell Compiler" [video] (youtube.com)

Compiler Bootstrapping, Programming Languages, Haskell, Computer Science, Videos

4 points by transpute 37 days ago | 0 comments

8 months of OCaml after 8 years of Haskell in production (2023) (chshersh.com)
I’ve been using Haskell in production for 8 years. I’ve been using OCaml in production for 8 months.

Programming Languages, Haskell, OCaml

264 points by droideqa 46 days ago | 277 comments

Eventually consistent plain text accounting (tylercipriani.com)
Over the past six months, I’ve tracked my money with hledger—a plain text double-entry accounting system written in Haskell. It’s been surprisingly painless.

Accounting, Finance, Software, Haskell

74 points by thcipriani 66 days ago | 28 comments

Functors to Monads: A Story of Shapes (jle.im)
For many years now I’ve been using a mental model and intuition that has guided me well for understanding and teaching and using functors, applicatives, monads, and other related Haskell abstractions, as well as for approaching learning new ones.

Functional Programming, Haskell, Software Development

41 points by JNRowe 74 days ago | 7 comments

Unix core utilities implemented in Haskell (github.com/Gandalf-)
Unix core utilities implemented in Haskell.

Programming, Haskell, Unix

243 points by ocean_moist 80 days ago | 95 comments

Namespaced De Bruijn Indices (haskellforall.com)
In this post I share a trick I use for dealing with bound variables in Dhall that I thought might be useful for other interpreted programming languages.

Programming, Haskell, Functional Programming, Dhall

8 points by fanf2 84 days ago | 0 comments

A dictionary of single-letter variable names (jackkelly.name)
Haskell’s expressive type system means that type signatures can carry a lot of information. Haskell’s polymorphism means that you sometime write a function that works across an enormous range of types, and are often left wondering “what do I actually call my variables?”. It is often the case that there’s nothing to say beyond “this variable is a Functor”, or “this variable is a monadic action”, and so a single-letter variable name is appropriate.

Haskell, Programming Languages, Type Systems, Variable Names, Best Practices

110 points by todsacerdoti 98 days ago | 91 comments

Fast Haskell: Competing with C at parsing XML (2017) (chrisdone.com)
In this post we’re going to look at parsing XML in Haskell, how it compares with an efficient C parser, and steps you can take in Haskell to build a fast library from the ground up. We’re going to get fairly detailed and get our hands dirty.

Programming Languages, Haskell, Performance, XML, C

5 points by hyperbrainer 100 days ago | 0 comments

Gleam Is Pragmatic (drewolson.org)
I’ve spent the past several years working with functional programming languages in my free time – primarily Haskell and OCaml. I love both languages but also find aspects of each frustrating.

Functional Programming, Programming Languages, Haskell, OCaml

250 points by crowdhailer 103 days ago | 174 comments

Unicode shenanigans: Martine Ã©crit en UTF-8 (poisson.chat)
On my feed aggregator haskell.pl-a.net, I occasionally saw posts with broken titles like this (from ezyang’s blog):

Unicode, Encoding, Programming, Haskell, Blogging

58 points by 082349872349872 104 days ago | 26 comments

Contributing to Haskell GHC (2023) [pdf] (ryanglscott.github.io)

Haskell, Programming Languages, Open Source, Software Development, Contributions

12 points by transpute 106 days ago | 0 comments

A Tour of Hell – Shell scripting Haskell dialect (chrisdone.com)
This set of slides sketches out the implementation of Hell, in technical detail. I do tend to switch between the slides, old code, and the present code, so bear with me. It's more about the ideas. If you want to see a complete implementation, the complete implementation of Hell is one file, which you can look through easily.

Programming, Haskell, Shell Scripting

139 points by kreyenborgi 110 days ago | 23 comments

Reflecting away from definitions in Liquid Haskell (tweag.io)
We’ve all been there: wasting a couple of days on a silly bug. Good news for you: formal methods have never been easier to leverage.

Programming, Haskell, Formal Methods

4 points by JNRowe 127 days ago | 0 comments

Why Haskell? (gtf.io)

Programming Languages, Haskell

433 points by mesaoptimizer 128 days ago | 591 comments

Haskell Postgres Stored Procedures (github.com/ed-o-saurus)
This project is a "procedural language" extension of PostgreSQL allowing the execution of code in Haskell within SQL code.

Haskell, PostgreSQL, Databases, Programming Languages, Extensions

57 points by runeks 130 days ago | 12 comments

Competitive Programming in Haskell: tree path decomposition (byorgey.github.io)

Competitive Programming, Haskell, Algorithms

7 points by JNRowe 162 days ago | 0 comments

Haskell MOOC (mooc.fi)

Haskell, Programming Languages, Education, Online Courses

6 points by LamarDavis 165 days ago | 1 comments

Why does everyone hate Haskell, jazz, and pure math? (adueck.github.io)

Haskell, Music, Mathematics, Programming Languages

70 points by ColinWright 166 days ago | 128 comments

Discovering algorithms by enumerating terms in Haskell (twitter.com)