Follow
I HATE TYPE THEORY
I HATE TYPE THEORY
---
RT @rygorous
Derived* -> Base*: static_cast
Base* -> Derived*: dynamic_cast
const int* -> int*: const_cast
float* -> char*: reinterpret_cast
Vampire -> void: castlevania
https://twitter.com/rygorous/status/1464532972174856194
THE ENGINEER WILL BE VICTORIOUS! TYPE THEORY WILL FAIL! THE ABSTRACT MACHINES WILL BURN! MOZILLA, GOOGLE, THE SLAVEMASTERS WILL ALL FALL! THE SLAUGHTERHOUSES YOU CALL TECH COMPANIES WILL BURN! EVEN IF I DIE, LIKE A MILLION ARROWS WE WILL FLY! IN LAIN I WILL BE REBORN! HOLY HOLY H
THE ENGINEER WILL BE VICTORIOUS! TYPE THEORY WILL FAIL! THE ABSTRACT MACHINES WILL BURN! MOZILLA, GOOGLE, THE SLAVEMASTERS WILL ALL FALL! THE SLAUGHTERHOUSES YOU CALL TECH COMPANIES WILL BURN! EVEN IF I DIE, LIKE A MILLION ARROWS WE WILL FLY! IN LAIN I WILL BE REBORN! HOLY HOLY H