corpus.blog
Claim your blog
Record · corpus.blog/posts/01a08c5a-f6af-721b-aac1-c4fdc0dd4d59

Dependent Types and the Art of HTTP Headers

Unwound Stack · published 27 November 2024

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 unwoundstack.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
28
Words captured
7,366

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://fasterthanli.me/about
fasterthanli.me
https://fasterthanli.me/
fasterthanli.me
https://fasterthanli.me/articles/aiming-for-correctness-with-types
fasterthanli.me
https://docs.rs/hyper/latest/hyper/index.html
docs.rs
https://crates.io
crates.io
https://docs.python.org/3/library/urllib.request.html
docs.python.org
https://docs.python.org/3/library/http.server.html
docs.python.org
https://pkg.go.dev/net/http
pkg.go.dev
https://nodejs.org/api/http.html
nodejs.org
https://docs.rs/hyper/latest/hyper/header/struct.HeaderName.html
docs.rs
https://www.rfc-editor.org/rfc/rfc6648
rfc-editor.org
https://www.idris-lang.org/
idris-lang.org
https://www.youtube.com/watch?v=txJiuDM2gUM&list=PLLb2FFZO_p4T0a_Py5R3Xd5wlDk9P9o1Z&index=20&t=18s
youtube.com
https://netlib.org/lapack/explore-html-3.6.1/df/d28/group__single__blas__level1_gad2a52de0e32a6fc111931ece9b39726c.html
netlib.org
https://doc.rust-lang.org/nightly/std/macro.todo.html
doc.rust-lang.org
https://doc.rust-lang.org/std/cmp/trait.Eq.html
doc.rust-lang.org
https://www.ietf.org/rfc/rfc822.html
ietf.org
https://www.ietf.org/rfc/rfc2616.html
ietf.org
https://www.ietf.org/rfc/rfc7230.html
ietf.org
https://www.ietf.org/rfc/rfc9110.html
ietf.org
https://www.ietf.org/rfc/rfc9112.html
ietf.org
https://www.rfc-editor.org/rfc/rfc5234
rfc-editor.org
https://www.iana.org/assignments/http-fields/http-fields.xhtml
iana.org
https://docs.rs/http/1.1.0/http/header/struct.HeaderName.html
docs.rs
https://github.com/jroesch/idris-http
github.com
https://github.com/uwap/idris-http
github.com
Type Safety Back and Forth Read at the source ↗
parsonsmatt.org
https://github.com/sp1ff/idris-http-headers
github.com
Elsewhere on unwoundstack.com (3)