Conversation

Charlotte 🦝 therian

bottoms when they find out they can’t be represented in a purely algebraic type system

1
1
6

passing ! into a T: ?Sized is yuri

1
1
7

@charlotte Better watch out, in an algebraic type system bottoms can be used as top

1
0
0

@smol_entity in sound algebraic type systems bottoms are uninhabited

1
0
1

@charlotte Proof that every model has inconsistencies with the real world

0
0
0