corpus.blog
43,317 blogs · 5,519,570 posts Claim your blog
Record · corpus.blog/posts/01a087db-2309-7131-8e5f-774d365ebe55

Variance in type systems

samyak.me · published 13 April 2025

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 samyak.me Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
11
Words captured
6,311

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://realpython.com/python-type-checking/
realpython.com
https://github.com/python/mypy
github.com
https://github.com/microsoft/pyright
github.com
https://pyright-play.net/?code=CYUwZgBAzg9gtiA%2BmArgOwMYAoCWaAOKALgFwQA2OURA2nkRAD7REBOAugJQkBQE-EfK3pYARDghEAhgGsQEehBisWrUQBoFBYpx496iStTJHa9dhAC8EGgEZNAJk0Bmdj1gJk6bAdOcgA
pyright-play.net
https://www.typescriptlang.org/docs/handbook/type-compatibility.html
typescriptlang.org
https://doc.rust-lang.org/nomicon/subtyping.html
doc.rust-lang.org
https://blog.rust-lang.org/2025/04/03/Rust-1.86.0.html
blog.rust-lang.org
https://doc.rust-lang.org/book/ch20-02-advanced-traits.html
doc.rust-lang.org
https://internals.rust-lang.org/t/why-are-fn-types-not-contravariant-in-their-argument-types/22700/2
internals.rust-lang.org
https://x.com/fenil_jain_
x.com
https://github.com/ishbosamiya
github.com
Elsewhere on samyak.me (5)