korrents

A korrentour readingWhat is a korrent?

There is one right way to build a type system, the way that gives you mathematical proofs, and every other kind of type system is simply worse and should be rejected.

Drawn from what Tim Sweeney said

Interesting
A private bookmark. Not a position, and never counted.

What Tim Sweeney actually said

Word for word, with the source under each one. They did not write this page.

  1. Tim Sweeney

    Founder and CEO of Epic Games

    But there are other parts of programming languages that are not subjective but should be fundamental. And when you look at type systems, there is a way to do type systems that gives you mathematical proofs. And every other way of type systems that doesn't give you mathematical proofs is just worse and should ultimately be rejected.

    Where this was said

    Watch from 3:11:18 plays here

    ↗Tim Sweeney: Fortnite, Unreal Engine, and the Future of Gaming | Lex Fridman Podcast #467youtube.com

    video · 4h 25m · spoken · official transcript

    All 22 korrents from this recordingthis one is 15th

Added to korrents 30 Apr 2025 · How quotes work · Something wrong? Tell us

Do you hold this korrent?Do you also believe this?

Sign in to record that you hold this, with a confidence number of your own.

Related korrents

Our reading — they may agree, disagree or merely touch the same thing. Closest first: a shared subject counts for most, then how near the wording is.

See this on the map →