The Startup
Published in

The Startup

Prove Santa Claus Is Real Using Typescript


  • Curry’s paradox allows proofs of any statement in some languages that have the ability to construct a self referential sentence.
  • This paradox allows a proof of any statement, no matter how absurd.
  • Some statically typed programming languages allow for basic logical statements to be made and subsequently proven. Typescript is one…




Get smarter at building your thing. Follow to join The Startup’s +8 million monthly readers & +756K followers.

Recommended from Medium

Managing monorepos with lerna and yarn workspaces

Angular Router: Children or LoadChildren?

How the Angular Fire Library makes Firebase feel like Magic

JS: Error Handling

Testing Your React Native App ( Part-1 )

What is “Serverless Computing”?

JavaScript Destructuring Explained in Plain English

I am getting cheaper pricing for hosting from other providers. Why is your price high?

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
Andrew Pritchard

Andrew Pritchard

The stories I write are a part of a learning journey through life, logic and programming. Share this journey with me.

More from Medium

How To Write a Custom ESLint Rule

AST of source code generated by AST Explorer

How to avoid math and profit from it

Remake — Connect your View directly with the Model

Refactoring code using algebra properties!