56,966 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a0878d-b520-702e-bd4c-b892a6df20de

Single out elements using phantom types

jfmengels.net · published 4 May 2020

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at jfmengels.net Wayback capture

2blogs citing

First cited: 18 May 2020
Most recent: 18 Aug 2025
Rank this month: not ranked
Links from this post: 3
Words captured: 2,222

Cited by

Blog

In the post

Date

cekrem.github.io

Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection Read at the source ↗

18 Aug 2025

Compile-time checks on values in a list with phantom types Read at the source ↗

18 May 2020

Links from this post

Link

Host

https://github.com/jfmengels/factory-example

github.com

https://package.elm-lang.org/packages/jfmengels/elm-review/latest/Review-Rule

package.elm-lang.org

https://package.elm-lang.org/packages/elm-explorations/webgl/latest/WebGL-Texture

package.elm-lang.org