corpus.blog
41,948 blogs · 5,239,565 posts Claim your blog
Record · corpus.blog/posts/01a08c58-7231-711c-a29f-591f5d98590a

The Mathematics of Types

TrebledJ's Pages - TrebledJ's personal blog on programming, cybersecurity, music, and memes. · published 24 April 2023

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 trebledj.me Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
13
Words captured
4,525

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://doc.rust-lang.org/std/option/enum.Option.html
doc.rust-lang.org
https://doc.rust-lang.org/std/result/enum.Result.html
doc.rust-lang.org
https://www.scala-lang.org/api/2.13.3/scala/Option.html
scala-lang.org
https://www.scala-lang.org/api/2.13.6/scala/util/Either.html
scala-lang.org
https://en.cppreference.com/w/cpp/utility/optional
en.cppreference.com
https://github.com/TartanLlama/expected
github.com
https://hackage.haskell.org/package/megaparsec
hackage.haskell.org
https://gist.github.com/gregberns/5e9da0c95a9a8d2b6338afe69310b945
gist.github.com
https://kseo.github.io/posts/2016-12-25-type-isomorphism.html
kseo.github.io
https://web.archive.org/web/20140122164049/http://chris-taylor.github.io/blog/2013/02/11/the-algebra-of-algebraic-data-types-part-ii/
web.archive.org
https://theboostcpplibraries.com/boost.variant
theboostcpplibraries.com
https://en.cppreference.com/w/cpp/utility/variant
en.cppreference.com
https://en.wikipedia.org/wiki/Bijection
en.wikipedia.org
Elsewhere on trebledj.me (2)