Conversation
buherator
buherator
[RSS] Souls without bodies, phantom types shenanigans
https://www.synacktiv.com/en/publications/souls-without-bodies-phantom-types-shenanigans
"In this article, we will present strange data types that only exists in the realm of types, called phantom types. We will also briefly introduce GADTs, and how to emulate some of their safety guarantees in languages where they are not available."
https://www.synacktiv.com/en/publications/souls-without-bodies-phantom-types-shenanigans
"In this article, we will present strange data types that only exists in the realm of types, called phantom types. We will also briefly introduce GADTs, and how to emulate some of their safety guarantees in languages where they are not available."
0
0
1