Representing type lattices compactly

The Cinder JIT compiler does some cool stuff with how they represent types so I’m going to share it with you here. The core of it is thinking about types as sets (lattices, even), and picking a compact representation. Compilers will create and manipulate types with abandon, so all operations have to be fast.

Max Bernstein

#letsroll

⚄ ⚂ ⚁ ⚄ ⚃→#scion
⚃ ⚅ ⚅ ⚁ ⚂→#recreate
⚅ ⚃ ⚅ ⚁ ⚀→#unsworn
⚃ ⚀ ⚀ ⚁ ⚅→#mating
⚃ ⚂ ⚅ ⚃ ⚁→#passover
⚀ ⚅ ⚃ ⚁ ⚁→#compactly

scion-recreate-unsworn-mating-passover-compactly

Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases

EFF's New Wordlists for Random Passphrases

Joe Bonneau dives deep into systems using dice to generate random passphrases and introduces EFF's three new wordlists.

Electronic Frontier Foundation

#letsroll

⚂ ⚂ ⚂ ⚂ ⚃→#handgun
⚅ ⚁ ⚀ ⚃ ⚂→#thesaurus
⚂ ⚀ ⚃ ⚃ ⚅→#freemason
⚃ ⚃ ⚄ ⚅ ⚀→#polar
⚅ ⚂ ⚁ ⚀ ⚀→#twilight
⚀ ⚅ ⚃ ⚁ ⚁→#compactly

handgun-thesaurus-freemason-polar-twilight-compactly

Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases

EFF's New Wordlists for Random Passphrases

Joe Bonneau dives deep into systems using dice to generate random passphrases and introduces EFF's three new wordlists.

Electronic Frontier Foundation

#letsroll

⚄ ⚄ ⚄ ⚀ ⚁→#splice
⚅ ⚀ ⚄ ⚁ ⚀→#synapse
⚃ ⚃ ⚃ ⚀ ⚂→#plasma
⚀ ⚅ ⚃ ⚁ ⚁→#compactly
⚀ ⚁ ⚂ ⚄ ⚀→#array
⚃ ⚀ ⚅ ⚂ ⚄→#name

splice-synapse-plasma-compactly-array-name

Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases

EFF's New Wordlists for Random Passphrases

Joe Bonneau dives deep into systems using dice to generate random passphrases and introduces EFF's three new wordlists.

Electronic Frontier Foundation

#letsroll

⚀ ⚁ ⚂ ⚁ ⚂→#armchair
⚀ ⚅ ⚃ ⚁ ⚁→#compactly
⚁ ⚃ ⚅ ⚃ ⚅→#eldercare
⚁ ⚄ ⚁ ⚀ ⚃→#emotion
⚃ ⚁ ⚃ ⚄ ⚄→#only
⚂ ⚄ ⚅ ⚁ ⚀→#latrine

armchair-compactly-eldercare-emotion-only-latrine

Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases

EFF's New Wordlists for Random Passphrases

Joe Bonneau dives deep into systems using dice to generate random passphrases and introduces EFF's three new wordlists.

Electronic Frontier Foundation

#letsroll

⚃ ⚂ ⚅ ⚃ ⚃→#password
⚂ ⚁ ⚃ ⚄ ⚂→#gore
⚀ ⚅ ⚃ ⚁ ⚁→#compactly
⚄ ⚀ ⚂ ⚀ ⚂→#rematch
⚂ ⚄ ⚁ ⚄ ⚂→#jumbo
⚁ ⚂ ⚄ ⚅ ⚄→#dizziness

password-gore-compactly-rematch-jumbo-dizziness

Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases

EFF's New Wordlists for Random Passphrases

Joe Bonneau dives deep into systems using dice to generate random passphrases and introduces EFF's three new wordlists.

Electronic Frontier Foundation

#letsroll

⚀ ⚅ ⚃ ⚁ ⚁→#compactly
⚁ ⚃ ⚃ ⚂ ⚁→#dyslexia
⚀ ⚀ ⚀ ⚁ ⚄→#abrasive
⚅ ⚅ ⚀ ⚁ ⚂→#vowel
⚀ ⚁ ⚅ ⚂ ⚄→#backboard
⚁ ⚅ ⚄ ⚀ ⚄→#feel

compactly-dyslexia-abrasive-vowel-backboard-feel

Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases

EFF's New Wordlists for Random Passphrases

Joe Bonneau dives deep into systems using dice to generate random passphrases and introduces EFF's three new wordlists.

Electronic Frontier Foundation

#letsroll

⚄ ⚂ ⚄ ⚄ ⚃→#service
⚂ ⚃ ⚂ ⚅ ⚂→#idly
⚀ ⚅ ⚃ ⚁ ⚁→#compactly
⚄ ⚄ ⚄ ⚄ ⚃→#spotted
⚄ ⚃ ⚀ ⚂ ⚅→#shindig
⚅ ⚂ ⚀ ⚄ ⚀→#tweak

shindig-idly-service-compactly-spotted-tweak

Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases

EFF's New Wordlists for Random Passphrases

Joe Bonneau dives deep into systems using dice to generate random passphrases and introduces EFF's three new wordlists.

Electronic Frontier Foundation

#letsroll

⚂ ⚂ ⚃ ⚀ ⚂→#hangnail
⚀ ⚅ ⚃ ⚁ ⚁→#compactly
⚂ ⚂ ⚃ ⚂ ⚄→#harbor
⚄ ⚅ ⚂ ⚄ ⚃→#stingily
⚃ ⚁ ⚅ ⚄ ⚄→#outright
⚃ ⚂ ⚄ ⚂ ⚃→#paralysis

outright-hangnail-compactly-paralysis-harbor-stingily

Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases

EFF's New Wordlists for Random Passphrases

Joe Bonneau dives deep into systems using dice to generate random passphrases and introduces EFF's three new wordlists.

Electronic Frontier Foundation

#letsroll

⚅ ⚁ ⚁ ⚄ ⚅→#thursday
⚅ ⚃ ⚁ ⚀ ⚅→#unlaced
⚀ ⚅ ⚃ ⚁ ⚁→#compactly
⚀ ⚁ ⚄ ⚀ ⚁→#attitude
⚁ ⚅ ⚁ ⚂ ⚃→#expedited
⚀ ⚂ ⚃ ⚁ ⚃→#bleach

expedited-compactly-bleach-attitude-unlaced-thursday

Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases

EFF's New Wordlists for Random Passphrases

Joe Bonneau dives deep into systems using dice to generate random passphrases and introduces EFF's three new wordlists.

Electronic Frontier Foundation