Start / Iowa Type Theory Commute / Functional programming and concise code type inference

Iowa Type Theory Commute

Functional Programming and Concise Code: Type Inference

9 min • 12 december 2019

Start of discussion of some of technology and culture that lead to more concise code in functional programming languages.  Type inference to avoid writing types for local and input variables.  Some basics of static and dynamic typing.

Senaste avsnitt

Correction: the Correct Author of the Proof from Last Episode, and an AI flop

12 maj | 7 min

Krivine's Proof of FD, Using Intersection Types

5 maj | 22 min

A Measure-Based Proof of Finite Developments

16 april | 23 min

Introduction to the Finite Developments Theorem

27 mars | 16 min

Nominal Isabelle/HOL

31 januari | 16 min
Vad är en podd?

En liten tjänst av I'm With Friends. Finns även på engelska.

Podcastbild

00:00 -00:00
00:00 -00:00