Als «type-theory» getaggte Fragen

Richtige Terminologie in der Typentheorie: Typen, Typkonstruktoren, Arten / Sorten und Werte

Bei der Beantwortung einer früheren Frage begann eine kleine Debatte über die korrekte Terminologie für bestimmte Konstrukte. Da ich keine andere Frage (außer diese oder jene , die nicht ganz die richtige ist) gefunden habe, um dies klar anzusprechen, mache ich diese neue. Die fraglichen Begriffe und ihre Beziehungen sind: …

14 type-systems data-types type-theory

Was sind die praktischen Auswirkungen der Homotopietypentheorie auf die Programmierung?

Ich fange gerade an, Haskell zu lernen, nachdem ich aus den JavaScript / Ruby-Welten gekommen bin. Ich bin auf https://github.com/HoTT und das Buch Homotopy Type Theory gestoßen , das ich sehr gerne lese. Im Laufe der Zeit werde ich jedoch die Konzepte der Mathematik und der Typentheorie lernen. Es scheint …

11 type-theory

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.

Licensed under cc by-sa 3.0 with attribution required.