?

Log in

Дневник одного математика ;)
 
[Most Recent Entries] [Calendar View] [Friends]

Below are the 6 most recent journal entries recorded in Dmytro Mitin's LiveJournal:

Friday, March 31st, 2017
11:47 pm
Introduction to programming with dependent types in Scala
All videos are online. Totally 8 hours of video, 130 slides, and 50 programming exercises (in pure Scala and in Scala + ProvingGround library).
https://stepik.org/2294
1 Theory
1.1 Installing software https://goo.gl/ZmIdzy
1.2 Dependent types https://goo.gl/6AhLf7
1.3 Path-dependent types https://goo.gl/bWgUCr
1.4 Type classes https://goo.gl/zqx1ra
1.5 Product type https://goo.gl/KAdaSD
1.6 Co-product type (sum type) https://goo.gl/qogGSF
1.7 Function type https://goo.gl/j1fRio
1.8 Dependent pair type (Σ-type) https://goo.gl/h8cmDG
1.9 Dependent function type (Π-type) https://goo.gl/6hGcq3
1.10 Empty and unit types https://goo.gl/e9JTD7
1.11 Boolean type https://goo.gl/vlR833
1.12 Type of natural numbers https://goo.gl/lBnbh8
1.13 List type https://goo.gl/H64rOg
1.14 Type of fixed-length vectors https://goo.gl/9p5KwO
1.15 Identity type. Curry–Howard correspondence https://goo.gl/15EDMw
1.16 Eliminators into dependent types (induction) https://goo.gl/C2Mrd7
1.17 Type-level programming https://goo.gl/5XPk4K
2 Practice
Thursday, March 23rd, 2017
2:12 pm
Introduction to programming with dependent types in Scala
https://stepik.org/course/ThCS-Introduction-to-programming-with-dependent-types-in-Scala-2294/

This course is an introduction to type theory, homotopy type theory (HoTT), dependent-type programming, type-level programming, and theorem proving using Scala.

Till 31 March the course is in beta. Slides and exercices are mostly ready, some videos will be added soon.
Wednesday, November 25th, 2009
5:33 pm
Интервью
По приколу дал интервью студентам для мехматовской газеты:

страница 1

страница 2
Tuesday, July 8th, 2008
8:37 pm
Попиарим научный форум dxdy.ru

Буду благодарен, если попиарите форум среди знакомых.

Приглашаю посетить научный форум dxdy.ru. Более 100'000 сообщений, более 10'000 пользователей, около 15'000 тем по



Кроме высококвалифицированных участников форум от аналогов отличает давно и успешно реализованная возможность оформлять математические формулы в нотации \LaTeX. Например, в теме Проверка на простоту без такого наглядного и всемирно используемого инструмента просто не обойтись.

В общем, добро пожаловать! Помните, что за вас задачи у нас не решают, у нас помогут решить и разобраться, но основную работу должны проделать вы сами.


Если будете размещать у себя эту рекламку, то вот удобное окошко, чтобы скопипастить html-код:


Спасибо!

(c) cepesh
Tuesday, March 18th, 2008
5:18 pm
Sunday, January 6th, 2008
12:05 am
About LiveJournal.com