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.

Tiny C Compiler

SectorC: A C Compiler in 512 bytes

Speed up responses with fast mode

Show HN: LocalGPT – A local-first AI assistant in Rust with persistent memory

Brookhaven Lab's RHIC concludes 25-year run with final collisions

Software factories and the agentic moment

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

Stories from 25 Years of Software Development

Hoot: Scheme on WebAssembly

FDA intends to take action against non-FDA-approved GLP-1 drugs

First Proof

Vocal Guide – belt sing without killing yourself

Show HN: I saw this cool navigation reveal, so I made a simple HTML+CSS version

Show HN: A luma dependent chroma compression algorithm (image compression)

Show HN: Craftplan – Elixir-based micro-ERP for small-scale manufacturers

Eigen: Building a Workspace

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

The F Word

Start all of your commands with a comma (2009)

Microsoft account bugs locked me out of Notepad – Are thin clients ruining PCs?

I write games in C (yes, C) (2016)

The AI boom is causing shortages everywhere else

Selection rather than prediction

Reinforcement Learning from Human Feedback

Unseen Footage of Atari Battlezone Arcade Cabinet Production

Learning from context is harder than we thought

Where did all the starships go?

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

Hackers (1995) Animated Experience

72M Points of Interest

Tiny C Compiler

SectorC: A C Compiler in 512 bytes

Speed up responses with fast mode

Show HN: LocalGPT – A local-first AI assistant in Rust with persistent memory

Brookhaven Lab's RHIC concludes 25-year run with final collisions

Software factories and the agentic moment

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

Stories from 25 Years of Software Development

Hoot: Scheme on WebAssembly

FDA intends to take action against non-FDA-approved GLP-1 drugs

First Proof

Vocal Guide – belt sing without killing yourself

Show HN: I saw this cool navigation reveal, so I made a simple HTML+CSS version

Show HN: A luma dependent chroma compression algorithm (image compression)

Show HN: Craftplan – Elixir-based micro-ERP for small-scale manufacturers

Eigen: Building a Workspace

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

The F Word

Start all of your commands with a comma (2009)

Microsoft account bugs locked me out of Notepad – Are thin clients ruining PCs?

I write games in C (yes, C) (2016)

The AI boom is causing shortages everywhere else

Selection rather than prediction

Reinforcement Learning from Human Feedback

Unseen Footage of Atari Battlezone Arcade Cabinet Production

Learning from context is harder than we thought

Where did all the starships go?

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

Hackers (1995) Animated Experience

72M Points of Interest

Elm Test Distributions

Comments