Matteo Di Pirro I am an enthusiastic young software engineer who specialized in the theory of programming languages and type safety. I enjoy learning and experimenting with new technologies and languages, looking for effective ways to employ them. Assertion functions in TypeScript are a very expressive type of function whose signature states that a given condition is verified if the function itsel