Elm Test Distributions

https://martin.janiczek.cz/2025/05/01/elm-test-distributions.html

38•todsacerdoti•9mo ago

Comments

tybug•9mo ago

Nice! "testing your test code" is particularly important when dealing with PBT distributions, especially when your generator gets more complicated.

Tyche [0] is another cool tool for addressing the same problem, visualizing the PBT distribution but not making assertions about it.

[0] https://github.com/tyche-pbt/tyche-extension

ibizaman•9mo ago

That’s really cool. I learned to love (stateful) property testing through a project at work to migrate drivers for MongoDB. https://blog.tiserbox.com/posts/2024-02-27-stateful-property...

jiehong•9mo ago

How Elm doing? Still v0.19.1 at first glance.

Anybody has an accurate view of the current status?

ch4s3•9mo ago

Basically dead. The core hasn’t been touched publicly since 2022, and the package ecosystem is closed. People will argue that it’s still usable but the fork ROC has more traction.

https://www.roc-lang.org/

terminatornet•9mo ago

roc isn't a fork of elm, it's more inspired by the language and run by a former elm core team member.

ch4s3•9mo ago

Yeah I was mistaken, the fork is gren.

frfl•9mo ago

The actual fork is https://gren-lang.org/

ch4s3•9mo ago

You are correct.

k_bx•9mo ago

Isn't ROC back-end language?

tasuki•9mo ago

Roc introduced the concepts of "platforms"[0]. I wanted to explain here, but gave up after three tries: just go read the linked page please!

[0]: https://www.roc-lang.org/platforms

k_bx•9mo ago

It looks more like "conceptually solved" thing, but I would wait and see a number of real-world web apps to compare it with Elm before I'd understand how good it is.

tasuki•9mo ago

You could say "dead", or you could say it's done, complete.

I'm a backend developer by trade. Because of Elm, I take every opportunity to do frontend. Elm made me love frontend.

Yes, there are things that are missing. Web sockets? Tough luck, it's ports! Or maybe you don't need web sockets.

I'd take Elm over the alternatives (cough React cough) anytime without hesitation.

ch4s3•9mo ago

Elm has a bunch of known bugs that the BDFL isn’t fixing, and he totally fucked js interop with the promise that more packages were on their way then he stopped approving new packages.

Evan abandoned an unfinished project and rug pulled a lot of people with the 0.19 release.

jweir•9mo ago

There is the Lamdera compiler

https://github.com/lamdera/compiler

We don’t use it though. Elm 0.19.1 just works. New packages and plenty of support. It’s difficult to comprehend in a world of endless updates that maybe something doesn’t need updates.

tasuki•9mo ago

I don't have an accurate view, but I understand Evan is up to something. He likes to take his time.

Al Lowe on model trains, funny deaths and working with Disney

Hoot: Scheme on WebAssembly

Stories from 25 Years of Software Development

OpenCiv3: Open-source, cross-platform reimagining of Civilization III

Reinforcement Learning from Human Feedback

The AI boom is causing shortages everywhere else

The Waymo World Model

Start all of your commands with a comma (2009)

Selection Rather Than Prediction

Speed up responses with fast mode

Vocal Guide – belt sing without killing yourself

France's homegrown open source online office suite

U.S. Jobs Disappear at Fastest January Pace Since Great Recession

Coding agents have replaced every framework I used

A Fresh Look at IBM 3270 Information Display System

72M Points of Interest

Software factories and the agentic moment

Unseen Footage of Atari Battlezone Arcade Cabinet Production

Where did all the starships go?

Show HN: Kappal – CLI to Run Docker Compose YML on Kubernetes for Local Dev

Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox

Learning from context is harder than we thought

Monty: A minimal, secure Python interpreter written in Rust for use by AI

Making geo joins faster with H3 indexes

Hackers (1995) Animated Experience

Sheldon Brown's Bicycle Technical Info

Ga68, a GNU Algol 68 Compiler

Show HN: If you lose your memory, how to regain access to your computer?

Show HN: I spent 4 years building a UI design tool with only the features I use

An Update on Heroku

Al Lowe on model trains, funny deaths and working with Disney

Hoot: Scheme on WebAssembly

Stories from 25 Years of Software Development

OpenCiv3: Open-source, cross-platform reimagining of Civilization III

Reinforcement Learning from Human Feedback

The AI boom is causing shortages everywhere else

The Waymo World Model

Start all of your commands with a comma (2009)

Selection Rather Than Prediction

Speed up responses with fast mode

Vocal Guide – belt sing without killing yourself

France's homegrown open source online office suite

U.S. Jobs Disappear at Fastest January Pace Since Great Recession

Coding agents have replaced every framework I used

A Fresh Look at IBM 3270 Information Display System

72M Points of Interest

Software factories and the agentic moment

Unseen Footage of Atari Battlezone Arcade Cabinet Production

Where did all the starships go?

Show HN: Kappal – CLI to Run Docker Compose YML on Kubernetes for Local Dev

Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox

Learning from context is harder than we thought

Monty: A minimal, secure Python interpreter written in Rust for use by AI

Making geo joins faster with H3 indexes

Hackers (1995) Animated Experience

Sheldon Brown's Bicycle Technical Info

Ga68, a GNU Algol 68 Compiler

Show HN: If you lose your memory, how to regain access to your computer?

Show HN: I spent 4 years building a UI design tool with only the features I use

An Update on Heroku

Elm Test Distributions

Comments