corpus.blog
41,554 blogs · 4,981,167 posts Claim your blog
Record · corpus.blog/posts/01a08793-7d83-701b-aa3b-146a7d093f8f

Sets, types and type checking

kaleidawave.blog · published 30 October 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 kaleidawave.blog Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
51
Words captured
24,108

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://doc.rust-lang.org/stable/std/
doc.rust-lang.org
https://docs.rs/ezno-parser/latest/ezno_parser/
docs.rs
https://en.wikipedia.org/wiki/Property_(programming
en.wikipedia.org
https://doc.rust-lang.org/stable/std/fmt/trait.Display.html
doc.rust-lang.org
https://doc.rust-lang.org/std/primitive.u64.html
doc.rust-lang.org
https://www.wolframalpha.com/input?i=2%5E64+*+8+bytes+as+terabytes
wolframalpha.com
https://en.wikipedia.org/wiki/Vacuous_truth
en.wikipedia.org
https://doc.rust-lang.org/std/any/trait.Any.html
doc.rust-lang.org
https://doc.rust-lang.org/std/primitive.never.html
doc.rust-lang.org
https://doc.rust-lang.org/reference/items/unions.html
doc.rust-lang.org
https://doc.rust-lang.org/reference/items/enumerations.html
doc.rust-lang.org
https://doc.rust-lang.org/stable/std/mem/fn.discriminant.html
doc.rust-lang.org
https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=f422553e049465b220d48b486f2ff514
play.rust-lang.org
https://doc.rust-lang.org/stable/std/option/enum.Option.html
doc.rust-lang.org
https://doc.rust-lang.org/stable/std/result/enum.Result.html
doc.rust-lang.org
https://docs.rs/ezno-checker/latest/ezno_checker/types/struct.PartiallyAppliedGenerics.html
docs.rs
https://en.wikipedia.org/wiki/Cartesian_product
en.wikipedia.org
https://rust-lang.github.io/rust-clippy/master/index.html
rust-lang.github.io
https://en.wikipedia.org/wiki/Haskell_Curry
en.wikipedia.org
https://en.wikipedia.org/wiki/Curry
en.wikipedia.org
https://en.wikipedia.org/wiki/Free_variables_and_bound_variables
en.wikipedia.org
https://play.rust-lang.org/?version=nightly&mode=debug&edition=2021&gist=2ea33373e65671f1621a0d91099866ad
play.rust-lang.org
https://github.com/kaleidawave/ezno/blob/925cec9bd1cf03a7b845b84629c3b6f54b77fe5f/checker/src/features/variables.rs
github.com
https://github.com/kaleidawave/ezno/blob/925cec9bd1cf03a7b845b84629c3b6f54b77fe5f/checker/src/features/functions.rs
github.com
https://github.com/kaleidawave/ezno/blob/925cec9bd1cf03a7b845b84629c3b6f54b77fe5f/checker/src/context/environment.rs
github.com
https://github.com/kaleidawave/ezno/blob/925cec9bd1cf03a7b845b84629c3b6f54b77fe5f/checker/src/types/properties/assignment.rs
github.com
https://github.com/kaleidawave/ezno/blob/925cec9bd1cf03a7b845b84629c3b6f54b77fe5f/checker/src/features/mod.rs
github.com
https://github.com/kaleidawave/ezno/blob/925cec9bd1cf03a7b845b84629c3b6f54b77fe5f/checker/src/features/exceptions.rs
github.com
https://github.com/kaleidawave/ezno/blob/925cec9bd1cf03a7b845b84629c3b6f54b77fe5f/checker/src/synthesis/functions.rs
github.com
https://github.com/kaleidawave/ezno/blob/925cec9bd1cf03a7b845b84629c3b6f54b77fe5f/checker/src/synthesis/type_annotations.rs
github.com
https://github.com/kaleidawave/ezno/blob/925cec9bd1cf03a7b845b84629c3b6f54b77fe5f/checker/src/types/calling.rs
github.com
https://github.com/kaleidawave/ezno/blob/925cec9bd1cf03a7b845b84629c3b6f54b77fe5f/checker/src/types/properties/mod.rs
github.com
https://github.com/kaleidawave/ezno/blob/925cec9bd1cf03a7b845b84629c3b6f54b77fe5f/checker/src/features/operations.rs
github.com
https://github.com/kaleidawave/ezno/blob/8ce921e39c3d4e947063f206347b2932cee456ec/checker/src/types/subtyping.rs
github.com
https://github.com/kaleidawave/ezno/issues/167
github.com
https://kaleidawave.github.io/ezno/comparison/
kaleidawave.github.io
https://github.com/kaleidawave/ezno/blob/925cec9bd1cf03a7b845b84629c3b6f54b77fe5f/checker/src/types/disjoint.rs
github.com
https://github.com/kaleidawave/ezno/issues/212
github.com
https://kaleidawave.github.io/ezno/playground/?id=9zlky
kaleidawave.github.io
https://github.com/kaleidawave/ezno/blob/8ce921e39c3d4e947063f206347b2932cee456ec/checker/src/context/environment.rs
github.com
https://kaleidawave.github.io/ezno/playground/?id=tysci
kaleidawave.github.io
https://github.com/kaleidawave/ezno/issues/211
github.com
https://bloomberg.github.io/ts-blank-space
bloomberg.github.io
https://www.felixcloutier.com/x86/addsd
felixcloutier.com
https://hegel.js.org/docs/type-inference
hegel.js.org
https://github.com/kaleidawave/ezno/pull/197
github.com
https://kaleidawave.github.io/ezno/playground/?id=am2o2
kaleidawave.github.io
https://github.com/kaleidawave/ezno/blob/8ce921e39c3d4e947063f206347b2932cee456ec/checker/src/types/store.rs
github.com
https://github.com/kaleidawave/ezno/blob/main/checker/specification/specification.md
github.com
https://github.com/sponsors/kaleidawave
github.com
https://bsky.app/profile/kaleidawave.bsky.social
bsky.app