jle
"Five-Point Haskell" Part 1: Total Depravity
The Baby Paradox in Haskell
Faking ADTs and GADTs in languages that shouldn't have them
Re:Sum Types and Subtypes and Unions
on Thursday March 06, 2025 @02:25PM (#43284143)
Clearing up some common misunderstandings and easy to miss concepts
Sum Types and Subtypes and Unions
Functors to Monads: A Story of Shapes
Haskell nuggets: functional k-means with dependent types
Shuffling Things Up: Solving Advent of Code with Group Theory and Haskell
Re:Software projects written in Haskell
on Tuesday October 22, 2019 @01:42PM (#21326524)
when you think about it, not toooo surprising. Haskell's undeniable killer app is parsing and compilation, so pandoc was pretty much a project destined for Haskell if I ever saw one :)
Re:The Order of the JSON
on Thursday August 15, 2019 @11:13PM (#20711861)
you don't need an ordered JSON for this. Just make sure that your equality tests ignore ordering, or that your and hash functions will hash two JSON objects with the same key but different order to the same hash.
Re:Why is Maxwell's theory so hard to understand? (2007) [pdf]
on Sunday January 06, 2019 @07:18PM (#18841691)
GoL wasn't used here because of any value or analogy... it's used as an example of how a simple set of rules can generate complex behavior. GoL can display complex behavior, but it would be a stretch to to say that the rules governing it are complex. If you think GoL is too simplistic, you are agreeing with the original comment.
Re:Show HN: Fully-automatic image background removal tool
on Tuesday December 18, 2018 @12:30AM (#18704719)
Amazing! :D Any information on the tech behind this? :)
Solving Advent of Code Day 5 w Group Theory (free groups, group homomorphisms)
That's not necessarily the definition of division, there are many commonly used definitions in different contracts that are different.
A Purely Functional Typed Approach to Trainable Models
Hamiltonian Dynamics: Breaking Down a Haskell Project with Physics and HMatrix
Re:Ride-hailing apps may help to curb drunk driving
on Friday April 07, 2017 @05:11AM (#14058279)
Even if it's something we already knew, it's nice to see data confirming.
Re:First Class Statements
on Monday May 18, 2015 @12:35AM (#9562894)
You can programmatically put statements together, and manipulate them like real values. But that doesn't mean that pure simulated execution has to be a part of the API :)
Re:GitHub hit by DDoS attack
on Sunday March 29, 2015 @12:42AM (#9283905)
i feel like this alert should be in chinese for greatest effect
Re:IO Monad Considered Harmful
on Friday January 23, 2015 @02:55AM (#8933845)
yea, but the struggle isn't really quite with monads, but with syntax. properly understanding the syntax for do notation with use in IO does not require an understanding of monads.
Re:Inside My World – Ode to Functor and Monad
on Saturday May 24, 2014 @04:34AM (#7792936)
Thanks!
I do mention that instances of the Monad typeclass have to follow certain laws to make sure that they are "meaningful and useful"...I handwaved the actual laws away in the ambiguous interpretations of 'meaningful and useful' :) I made the choice that going into what that really meant would be beyond the scope of the article...but thanks for the comment :)
Re:Inside My World – Ode to Functor and Monad
on Monday May 19, 2014 @02:27PM (#7768961)
Hi, author here; experimenting with some ways to explain two very useful concepts that I feel don't get enough mainstream popularity, despite being applicable to many languages :) Let me know if there are any obvious mistakes, awfully written sections, or questions :)