Panimula sa mga Type System at Typed Lambda Calculus

Alisin ang hiwaga sa mga pundasyong matematikal ng modernong functional programming. Ang kursong nakabatay sa teksto na ito ay gagabay sa iyo sa pangunahing teorya ng typed lambda calculus, ang makina sa likod ng mga matatag na type system sa mga wikang tulad ng Haskell, OCaml, at F#. Lilipat ka mula sa pagsusulat ng mga pangunahing expression patungo sa pag-unawa kung paano tinitiyak ng mga compiler ang kawastuhan ng programa. Ang iyong mga matututunan: Unawain ang pangunahing mekanika ng untyped at typed lambda calculus; Matutunan ang mga prinsipyo ng type safety, progress, at preservation; Tuklasin kung paano awtomatikong tinutukoy ng mga type inference algorithm ang mga type; Alamin ang Curry-Howard isomorphism at ang koneksyon nito sa lohika; Suriin ang mga modernong feature ng type system tulad ng generics at mga pangunahing dependent type. Nagsisimula ang kursong ito sa mga mahahalagang kahulugan ng mga termino at type, na unti-unting lumalago patungo sa disenyo ng type checker sa pamamagitan ng mga malinaw na paliwanag at nakasulat na mga ehersisyo. Dinisenyo para sa mga developer na mausisa tungkol sa teorya ng functional programming, ang kursong ito ay hindi nangangailangan ng anumang nakaraang background sa advanced na matematika. Magsimulang magbasa ngayon para makabisado ang agham ng mga type system.