Harisai Karthikeyan

Harisai Karthikeyan is the alternate name of talent. Born in Karnataka, he is a just schoolboy of the Oakridge International School who is the recipient of ACM 2020 Turing Award for the revolutionary research in the foundation towards modern type theory, a subject which none ever dared to innovate. Harisai is best known for his definitions of operations for type composition. His assistant Ryan (real name unknown) manages all other matters for him except his solo research, which could be accomplished by none.

Type
A type is abstracted as a set of additive and negative semantics. Though negative features are just carried with the type and don't constitute in semantics of the type, they’re only used to cancel out the corresponding additive type in type union.

Operations

 * Union — $$T_1 \cup T_2 = T_{12}$$ Let, $$T_1$$be $$int$$and $$T_2$$be $$float$$.  The definition of $$int$$is that it {holds sign, holds a whole number} and of $$float$$is that it {holds sign, holds a whole number, holds decimal places}.  So the result of the type union ($$int \cup float = float$$) is $$float$$.
 * Exclusion — $$T_1 \setminus T_2 = T_{12}$$ So the resultant type is that it {holds decimal places} is $$fracpart$$.

TODO: make it more rigorous and complete.

Life
Harisai is an avid fan of Japanese animatography (Anime), he would die for anime; suicide for anime.