https://github.com/jsmonk/hegel-literature
https://github.com/jsmonk/hegel-literature
Last synced: 24 days ago
JSON representation
- Host: GitHub
- URL: https://github.com/jsmonk/hegel-literature
- Owner: JSMonk
- Created: 2019-04-25T19:47:46.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2019-05-16T18:50:17.000Z (about 6 years ago)
- Last Synced: 2025-03-30T15:07:08.887Z (about 2 months ago)
- Language: JavaScript
- Size: 1.07 MB
- Stars: 62
- Watchers: 7
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Hegel Literature and Demos
| Тема | Ссылки |
| ----------------------------- | ----------------------------------------------------------------- |
| There is a bluebird in my talk that wants to get out | https://www.youtube.com/watch?v=NCf5nthB1tA |
| AST в JavaScript | https://www.youtube.com/watch?v=ILSpvViUlPU |
| Системы типов в двух словах | https://www.youtube.com/watch?v=nFtO6419A5k |
| Б.Пирс Типы в ЯП | https://www.ozon.ru/context/detail/id/7410082 |
| TDD with Idris | https://www.manning.com/books/type-driven-development-with-idris |
| Структура и Интерпретация Компьютерных Программ | https://www.ozon.ru/context/detail/id/5322055 |
| Dragon Book | https://www.ozon.ru/context/detail/id/3829076 |
| Sea of Nodes | https://darksi.de/d.sea-of-nodes |
| Variances | https://habr.com/ru/post/218753/ |
| Don't use cast | https://gustedt.wordpress.com/2014/04/02/dont-use-casts-i/ |
| Лекции по выводу типов в GHC 8.8 | https://www.youtube.com/watch?v=_HYI7zjkrEs |