Follow

dev silly 

I can't get this type parameter out of my type mom can you try

dev silly 

dad can you help me find the type erasure stuff mom said we still had some laying around

dev silly 

higher order generics when

dev silly 

fuck it dynamic dispatch time

dev silly 

enum Type go brrrr 😎

re: dev silly 

@riley "i need someone to open jars for me" trope but it's about generics

re: dev silly 

@riley oops I
oops
dropped my
oops
dropped all my existential quantifiers

re: dev silly 

@riley GATs mostly work on nightly and will probably be stabilized after chalk lands

re: dev silly 

@riley i did a cursed side project with as many cursed language features as i could. gratuitous const generics (with nontrivial bounds), GATs, existentials, and more
it was fun
id rather just use a PL that has a sane type system at that point though (like my own uwu)
Sign in to participate in the conversation
Tootsite

Tootsite is a general and moderated instance with a focus on your safety. We're running glitch-soc!