Хм, я вот что скажу. Ваш Майкрософт на 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}
Ну его к аллаху
Re: Ну его к аллаху
Re: Ну его к аллаху
Re: Ну его к аллаху
Re: Ну его к аллаху
Re: Ну его к аллаху
Ок, разговор окончен.
Re: Ну его к аллаху
no subject
no subject
no subject
Не уверен, что эти люди всегда понимают о чём говорят; они вот тут открыли для себя комонаду, но слова такого не знают. Но всё равно, классно! Визитора изобрели, путём взятия оп-категории.
Кто эти люди? Почему они пытаются понять, шо це за параша covariance? Сельские механизаторы, а-ля Стиви Еге.
Особенно трогательно как они вспоминают тензоры и чешут репу, та ли же самая ковариантность?
Та, та. Взять моноидальные категории, там это будет совершенно одно и то же, и тензоры ваши, и наши монады. Или, для механизаторов, пространства Чу.
Жаль, дослушать не удалось. Каждый раз, когда я перемещаюсь из сети в сеть, этот зильберлихт хочет всё читать с самого начала. И зависает постоянно.
А ты что, уже монадами и хаскелем занимаешься?
no subject
Вова, ну ей-богу, не надо пальцы веером, а? они прекрасно знают и про комонады, и про теорию категорий, и даже по неосторожности прямо в этом видео употребляют эти слова несколько раз.
но задача ролика - привлечь девелоперов, а не распугать, поэтому количество умных слов минимизировано, и поэтому же и примеры они пытаются на сишарпе писать, где возможно.
а зачем ты перемещаешься из сети в сеть? в зильберлихт можно мышкой ткнуть в любое место, и он с этого места начнёт показывать. там на 42-й минуте интересное.
за пространства Чу спасибо, почитаю, если смогу.
> монадами и хаскелем занимаешься?
I wish. какой хуетой я сейчас занимаюсь, это пером не описать. ты, кстати, говорил, что над big table какая-то транзакционная фигня построена. она полноценная, или как в xtable (только внутри того же partition key)?
no subject
А что на сишарпе, это я особо ценю. Нет никакого такого закона чтобы писать всё на Хаскеле. Сишарп вполне приличный язык... мне кажется. Там вариантность есть? Должна ж быть.
Зачем я перемещаюсь из сети в сеть? Жизнь такая.
Когда я был в Гугле, транзакции над бигтейблом были очень несерьёзные. Забыл как называется, но несерьёзно было. Типа "ну вот вам транзакция, только мы не гарантируем". Не знаю, как сейчас.
no subject
Дальше смотреть не стал.