sir-wabbit/Scalanomicon.md

Last active January 31, 2021 10:55

Star (8) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/sir-wabbit/9bdb99029c9af8e4f9a0118713cfb8e0.js"></script>
Save sir-wabbit/9bdb99029c9af8e4f9a0118713cfb8e0 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

Scalanomicon.md

Scalanomicon

the most asInstanceOf per line in Scalazzi-compliant code (efficient Nat and Fin types)

nonEmpty without boolean blindness and older version and another one

Scala having too many features resulting in unsoundness

Why cheating LEM in is not safe

newtype union

safe collections

Scala2 Int :: String :: HNil to (Int, String) without macros (VERY EVIL)

F-bounded leibnizian equality

Immutable array as newtype without boxing

Type inference actually works with enough variance

Type level computations with natural numbers (and Lists!)

Manual variance and more

Going in between existential covariance and Covariant

with (AnyRef {}) magic, don't ask

encoding laws as data idea

abstraction of type terms

"Cata is all you need" at type-level and value-level

What to do once @fommil disables asInstanceOf

Dotty Church Nats

weird "dependent type" encoding with efficient runtime representations

Eureka moment when I discovered a way to move between A <: B and A <~< B in both directions

Future L10n plan

IO monad in Python

Polynomial functors

Another "dependent type" system

Type in type mindf*ck that didn't work out

iotaz basically

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment