Juan-Carlos Gandhi (
juan_gandhi
) wrote
2019
-
05
-
20
06:39 pm
Entry tags:
logic
,
scala
,
topos
сегодня праздник у девчат
Закончил свою логику. (Ну там тесты еще всю ночь побегут, но это фигня, мираж.)
Flat
|
Top-Level Comments Only
no subject
thedeemon
2019-05-21 10:32 pm (UTC)
(
link
)
А видели Rydeheard, Burstall "Computational Category Theory"?
http://www.cs.man.ac.uk/~david/categories/book/book.pdf
У них там код на ML, может быть интересно сравнить подходы, наверняка все иначе сделано.
...
no subject
juan_gandhi
2019-05-22 12:20 am (UTC)
(
link
)
О, красиво! Черт, и как компактно!
no subject
thedeemon
2020-05-17 06:56 pm (UTC)
(
link
)
Young-il Choo сегодня ее же вспомнил, занятно. Спасибо за митап!
no subject
juan_gandhi
2020-05-17 09:26 pm (UTC)
(
link
)
Да, надо почитать будет; жаль, ML для меня как канджи немножко.
19 comments
Post a new comment
Flat
|
Top-Level Comments Only
[
Home
|
Post Entry
|
Log in
|
Search
|
Browse Options
|
Site Map
]
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
juan_gandhi) wrote2019-05-20 06:39 pmjuan_gandhi) wrote2019-05-20 06:39 pmjuan_gandhi) wrote2019-05-20 06:39 pm
no subject
http://www.cs.man.ac.uk/~david/categories/book/book.pdf
У них там код на ML, может быть интересно сравнить подходы, наверняка все иначе сделано.
...
no subject
no subject
no subject