Хм, я вот что скажу. Ваш Майкрософт на 10 лет впереди Гугла в смысле уровня программирования.
Не уверен, что эти люди всегда понимают о чём говорят; они вот тут открыли для себя комонаду, но слова такого не знают. Но всё равно, классно! Визитора изобрели, путём взятия оп-категории.
Кто эти люди? Почему они пытаются понять, шо це за параша covariance? Сельские механизаторы, а-ля Стиви Еге.
Особенно трогательно как они вспоминают тензоры и чешут репу, та ли же самая ковариантность?
Та, та. Взять моноидальные категории, там это будет совершенно одно и то же, и тензоры ваши, и наши монады. Или, для механизаторов, пространства Чу.
Жаль, дослушать не удалось. Каждый раз, когда я перемещаюсь из сети в сеть, этот зильберлихт хочет всё читать с самого начала. И зависает постоянно.
Вова, ну ей-богу, не надо пальцы веером, а? они прекрасно знают и про комонады, и про теорию категорий, и даже по неосторожности прямо в этом видео употребляют эти слова несколько раз.
но задача ролика - привлечь девелоперов, а не распугать, поэтому количество умных слов минимизировано, и поэтому же и примеры они пытаются на сишарпе писать, где возможно.
а зачем ты перемещаешься из сети в сеть? в зильберлихт можно мышкой ткнуть в любое место, и он с этого места начнёт показывать. там на 42-й минуте интересное.
за пространства Чу спасибо, почитаю, если смогу.
> монадами и хаскелем занимаешься?
I wish. какой хуетой я сейчас занимаюсь, это пером не описать. ты, кстати, говорил, что над big table какая-то транзакционная фигня построена. она полноценная, или как в xtable (только внутри того же partition key)?
А, классно. Прикидываются, то есть. Типа тсс, контингент распугаем. Ценю.
А что на сишарпе, это я особо ценю. Нет никакого такого закона чтобы писать всё на Хаскеле. Сишарп вполне приличный язык... мне кажется. Там вариантность есть? Должна ж быть.
Зачем я перемещаюсь из сети в сеть? Жизнь такая.
Когда я был в Гугле, транзакции над бигтейблом были очень несерьёзные. Забыл как называется, но несерьёзно было. Типа "ну вот вам транзакция, только мы не гарантируем". Не знаю, как сейчас.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif){kind=small}
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
(no subject)
Date: 2009-11-02 12:01 am (UTC)Не уверен, что эти люди всегда понимают о чём говорят; они вот тут открыли для себя комонаду, но слова такого не знают. Но всё равно, классно! Визитора изобрели, путём взятия оп-категории.
Кто эти люди? Почему они пытаются понять, шо це за параша covariance? Сельские механизаторы, а-ля Стиви Еге.
Особенно трогательно как они вспоминают тензоры и чешут репу, та ли же самая ковариантность?
Та, та. Взять моноидальные категории, там это будет совершенно одно и то же, и тензоры ваши, и наши монады. Или, для механизаторов, пространства Чу.
Жаль, дослушать не удалось. Каждый раз, когда я перемещаюсь из сети в сеть, этот зильберлихт хочет всё читать с самого начала. И зависает постоянно.
А ты что, уже монадами и хаскелем занимаешься?
(no subject)
Date: 2009-11-02 01:48 am (UTC)Вова, ну ей-богу, не надо пальцы веером, а? они прекрасно знают и про комонады, и про теорию категорий, и даже по неосторожности прямо в этом видео употребляют эти слова несколько раз.
но задача ролика - привлечь девелоперов, а не распугать, поэтому количество умных слов минимизировано, и поэтому же и примеры они пытаются на сишарпе писать, где возможно.
а зачем ты перемещаешься из сети в сеть? в зильберлихт можно мышкой ткнуть в любое место, и он с этого места начнёт показывать. там на 42-й минуте интересное.
за пространства Чу спасибо, почитаю, если смогу.
> монадами и хаскелем занимаешься?
I wish. какой хуетой я сейчас занимаюсь, это пером не описать. ты, кстати, говорил, что над big table какая-то транзакционная фигня построена. она полноценная, или как в xtable (только внутри того же partition key)?
(no subject)
Date: 2009-11-04 05:20 am (UTC)А что на сишарпе, это я особо ценю. Нет никакого такого закона чтобы писать всё на Хаскеле. Сишарп вполне приличный язык... мне кажется. Там вариантность есть? Должна ж быть.
Зачем я перемещаюсь из сети в сеть? Жизнь такая.
Когда я был в Гугле, транзакции над бигтейблом были очень несерьёзные. Забыл как называется, но несерьёзно было. Типа "ну вот вам транзакция, только мы не гарантируем". Не знаю, как сейчас.
(no subject)
Date: 2009-11-04 09:59 pm (UTC)Дальше смотреть не стал.