ruin a developer's day in 4 words:

"what about recursive types"

@jana
nobody:
de bruijn: heyyyyyyyyyyyyyy
@fasterthanlime could be worse, there's always higher ranked and higher kinded types. Getting to see a few too many de Bruijn indices working on rustc atm 😭
@jana @fasterthanlime tag urself im λf.(λx.f(x x))(λx.f(x x))
@khyperia @fasterthanlime
mrow! I'm λf.(λx.f(λv. xxv))(λx.f(λv. xxv))
@jana @khyperia I'm: happy to be included
@fasterthanlime <3 don't we all feel like a Y combinator sometimes or is that just a compiler thing
@fasterthanlime Whoa there, hold your horses!
@fasterthanlime this is a field where the jokes tend to have a very delayed punchline…