corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a087c6-1aa9-73f7-8ded-7a3dde17376e

Modeling state machines with dependent types in Haskell: Part 1

poberezkin.com · published undated

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 poberezkin.com Wayback capture
1blogs citing
First cited
19 Oct 2025
Most recent
19 Oct 2025
Rank this month
not ranked
Links from this post
13
Words captured
5,060

Cited by

Blog
In the post
Date
Abhinav Sarkar
Notes for the Week #42 (2025) Read at the source ↗
19 Oct 2025

Links from this post

Link
Host
https://github.com/sol/markdown-unlit
github.com
https://en.wikipedia.org/wiki/Finite-state_machine
en.wikipedia.org
https://en.wikipedia.org/wiki/Dependent_type
en.wikipedia.org
https://hackage.haskell.org/package/singletons
hackage.haskell.org
https://en.wikipedia.org/wiki/Elevator
en.wikipedia.org
https://github.com/epoberezkin/poberezkin.com/tree/master/dot/elevator.gv
github.com
https://blog.jle.im/entry/introduction-to-singletons-1.html
blog.jle.im
https://hackage.haskell.org/package/interact
hackage.haskell.org
https://github.com/epoberezkin/poberezkin.com
github.com
https://github.com/epoberezkin/elevator-state-machine
github.com
https://github.com/epoberezkin/elevator-state-machine/blob/master/src/Problems.hs
github.com
https://www.reddit.com/r/haskell/comments/hkg9q8/modeling_state_machines_with_dependent_types_in/
reddit.com
https://twitter.com/intent/tweet?via=epoberezkin&text=Modeling%20state%20machines%20with%20dependent%20types%20in%20Haskell%3A%20Part%201&hashtags=haskell%2Cexecutable%2Ccoding&original_referer=https%3A%2F%2Fwww.poberezkin.com%2Fposts%2F2020-06-29-modeling-state-machine-dependent-types-haskell-1.html&url=https%3A%2F%2Fwww.poberezkin.com%2Fposts%2F2020-06-29-modeling-state-machine-dependent-types-haskell-1.html
twitter.com