Hacker News with Generative AI: Haskell

Silly job interview questions in Haskell (chrispenner.ca)
Today I thought it'd be fun to take a look at a few common & simple "interview questions" in Haskell. These sorts of questions are often used to establish whether someone has programming and problem solving skills, and I thought it might be useful for folks to see how they play out in Haskell since our beloved language's solutions tend to follow a different paradigm than most other languages do.
Programming, Haskell, Job Interviews
90 points by behnamoh 165 days ago | 70 comments
Violating memory safety with Haskell's value restriction (welltypedwit.ch)
A common issue in impure ML-style languages with polymorphism and mutable references is the possibility of polymorphic references.
Programming Languages, Haskell, Functional Programming, Memory Safety, Value Restriction
64 points by fanf2 166 days ago | 15 comments
Haskell's killer app is maintainability (fausak.me)
I asked the following question on the 2019 State of Haskell Survey: “If you wanted to convince someone to use Haskell, what would you say?” My answer to that question involves long term maintainability and low risk refactoring. I looked through the survey responses and found many other people express the same sentiment. I collected some of them here as testimonials for Haskell.
Programming Languages, Haskell, Software Development, Maintainability
10 points by romes 180 days ago | 0 comments
Prompt chaining reimagined with type inference (haskellforall.com)
At work I’ve been researching how to improve the ergonomics of prompt engineering and I wanted to share and open source some of what I’ve done. This initial post is about how I’ve been experimenting with using bidirectional type inference to streamline prompt chaining.
Programming, Haskell, Generative AI, Artificial Intelligence
10 points by todsacerdoti 186 days ago | 0 comments
Packed Data Support in Haskell (arthi-chaud.github.io)
This blog post aims to be a short and accessible summary of a paper that will be published at ECOOP 2025, titled Type-safe and portable support for packed data.
Haskell, Programming Languages, Data Structures, Software Engineering
77 points by matt_d 190 days ago | 12 comments
Implementing Unsure Calculator in 100 lines of Haskell (alt-romes.github.io)
The recently trendy Unsure Calculator makes reasoning about numbers with some uncertainty just as easy as calculating with specific numbers.
Programming, Haskell, Functional Programming, Mathematics, Uncertainty
8 points by romes 194 days ago | 0 comments
Parcom: CL Parser Combinators (github.com/fosskers)
parcom is a consise Parser Combinator library in the style of Haskell’s parsec and Rust’s nom.
Programming, Haskell, Rust, Parsing, Libraries
44 points by todsacerdoti 196 days ago | 0 comments
Hell: Shell Scripting Haskell Dialect (chrisdone.github.io)
This is a copy of the script that generates my blog.
Shell Scripting, Haskell, Programming Languages, Blogging, Software
12 points by behnamoh 196 days ago | 0 comments
Falsify: Hypothesis-Inspired Shrinking for Haskell (2023) (well-typed.com)
Consider this falsify property test that tries to verify the (obviously false) property that all elements of all lists of up to 10 binary digits are the same (we will explain the details below; hopefully the intent is clear):
Programming Languages, Haskell, Software Testing, Functional Programming
90 points by birdculture 198 days ago | 17 comments
Haskelling My Python (unnamed.website)
Reimplementing Haskell lazy infinite lists using Python generators
Programming, Haskell, Python
172 points by barrenko 200 days ago | 70 comments
Test Spies in Haskell (jezenthomas.com)
When testing a web application, you often want to make sure that a certain email would be sent — without actually sending it. How do you test that?
Testing, Haskell, Web Development
11 points by yakshaving_jgt 200 days ago | 4 comments
Concurrency in Haskell: Fast, Simple, Correct (bitbashing.io)
After nearly a decade of building embedded systems in C, C++, and Rust, I’ve somehow ended up writing Haskell for a living.
Concurrency, Haskell, Programming Languages, Functional Programming
193 points by ingve 204 days ago | 125 comments
Parser Combinators Beat Regexes (entropicthoughts.com)
Someone online was solving Advent of Code problems, and had a question about last years’ day 3. They had a working solution using regular expressions (regexes) on String values, but they wanted to use ByteString values instead for performance reasons. They were surprised, however, that there seems to be a lack of community cohesion around regex libraries in Haskell.
Programming, Haskell, Regular Expressions, Parser Combinators
122 points by mooreds 209 days ago | 93 comments
Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013) (strath.ac.uk)
Programming Languages, Haskell, Functional Programming, Type Theory
94 points by fanf2 211 days ago | 13 comments
Functors: Identity, Composition, and fmap (codehakase.com)
In writing software, we often encounter scenarios where a value resides within a context, a container of sorts. Standard function application, so straightforward with simple values, presents a challenge in these situations. Consider the Maybe data type in Haskell, which encapsulates the possibility of a value’s absence. Applying functions to values wrapped in Maybe requires a different approach, as direct function application results in a type error.
Functional Programming, Haskell, Software Development
23 points by codehakase 216 days ago | 21 comments
Functors, Applicatives, and Monads (thecoder.cafe)
Hello! Today, we will explore functional programming with the concepts of functors, applicatives, and monads. We will discuss what they are and why they matter one step at a time. Note that all the examples will be in Haskell, but you’re not required to know Haskell to read this post.
Functional Programming, Haskell, Programming Concepts
84 points by abhi9u 221 days ago | 87 comments
Non-Obvious Haskell Idiom: Guard-Sequence (entropicthoughts.com)
Reading production Haskell code, we sometimes stumble over idioms that look confusing at first, but which show up frequently enough that they are worth learning. This is one of those examples, where we optionally return something with guard-sequence.
Haskell, Programming, Code Idioms, Functional Programming
38 points by todsacerdoti 229 days ago | 3 comments
Making a multiplayer action game in Haskell (gitlab.com)
You are about to add 0 people to the discussion. Proceed with caution.
Game Development, Haskell, Programming Languages
36 points by vortex_ape 233 days ago | 2 comments
(Haskell in Haskell) 2. Lexing – Cronokirby (cronokirby.com)
This is the second post in the Haskell in Haskell series.
Programming, Haskell, Computer Science
5 points by todsacerdoti 246 days ago | 0 comments
Show HN: Generating Random Art in Haskell (github.com/jamesma100)
Implementation of RandomArt based on the algorithm described in Hash Visualization: a New Technique to improve Real-World Security and Andrej Bauer's original program.
Programming, Haskell, Art, Security, Visualization
5 points by battle-racket 246 days ago | 0 comments
Understanding Yoneda (bartoszmilewski.com)
You don’t need to know anything about category theory to use Haskell as a programming language. But if you want to understand the theory behind Haskell or contribute to its development, some familiarity with category theory is a prerequisite.
Programming Languages, Category Theory, Haskell
5 points by thunderbong 260 days ago | 0 comments
Hyperbole: Haskell interactive serverside web framework inspired by Htmx, Elm (github.com/seanhess)
Create interactive HTML applications with type-safe serverside Haskell. Inspired by HTMX, Elm, and Phoenix LiveView
Haskell, Web Frameworks, Server-Side Programming, Functional Programming, Web Development
32 points by todsacerdoti 287 days ago | 0 comments
A Proper x86 Assembler in Haskell Using the Escardó-Oliva Functional (vmchale.com)
Writing an assembler turns out to be an interesting example: one needs to calculate distances between jumps and their target labels, and the target may appear after the label. It turns out that one can write a one-pass assembler using the tardis monad or in Curry, using logic programming.
Programming Languages, Haskell, Assemblers, Functional Programming
90 points by Smaug123 288 days ago | 19 comments
Haskell: A Great Procedural Language (entropicthoughts.com)
There are many catchphrases about Haskell.
Haskell, Programming Languages, Procedural Programming
280 points by kqr 289 days ago | 204 comments
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 295 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 302 days ago | 1 comments
Overloading the lambda abstraction in Haskell (2022) (acatalepsie.fr)
Functional Programming, Haskell, Programming Languages
69 points by 082349872349872 311 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 322 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 327 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 336 days ago | 277 comments