если хочется рассказать соседям-джаваскриптерам в коворкинге (или даже зашедшим туда школьникам) про формальную верификацию и зависимые типы, но так, чтобы в двух словах на полчаса, а не годичный академический курс, то реально ли это сделать, по Вашему мнению?
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2016-06-24 12:08 pm (UTC)если хочется рассказать соседям-джаваскриптерам в коворкинге (или даже зашедшим туда школьникам) про формальную верификацию и зависимые типы, но так, чтобы в двух словах на полчаса, а не годичный академический курс, то реально ли это сделать, по Вашему мнению?