Scala by Programming - Dailymotion

Name: 01 - Scala. Installing software. Part 1
Uploaded: 2019-10-19T15:53:02+00:00
Duration: 7 min 38 s
Channel: Programming
Description: Lector: Dmytro Mitin<br /><br />ProvingGround github https://github.com/siddhartha-gadgil/ProvingGround

Programming

This course is an introduction to type theory, homotopy type theory (HoTT), dependent-type programming, type-level programming, and theorem proving using Scala. It covers such topics as dependent types (including path dependent types), type families, sum and product types, functions, dependent Σ- and Π-type, inductive types, identity type, type classes, eliminators (recursion and induction), β-reduction, η-conversion, Curry–Howard isomorphism, programming at type level.

01 - Scala. Installing software. Part 1

Category

Recommended