Anonymous

Ща заканчиваю читать Хаттона + курс на степике)

Alexander

а даввайте пятничный flamewar?

Alexander

не важно что сегодня вторник

Alexander

или среда?

Anonymous

must read книга

Верю, затем и купил.

Andrei

Еще раз вброшу, теоркат кто-нибудь помнит\знает?

Alexander

как вы относитесь к функциям полиморфным по монадке, т.е. MonadIO m => ... -> m a, а не ... -> IO a

Anonymous

Немного да. Есть знакомый, который знает неплохо

Alexander

@AndreiKr на gitter больше народу активных кто знает

Alexander

я не знаю, на уровне трети брошюрки пирса и курсов бартоша

Anonymous

я не знаю, на уровне трети брошюрки пирса и курсов бартоша

На самом деле примерно также :-)

Vasiliy

ну не знаю async конечно помогает во многом, но использовать только его это странно

я в том смысле, что async по-умолчанию, а дальше уже смотреть

Зигохистоморфный

я где-то также

Andrei

Не, ну Бартош это очень мало.

Зигохистоморфный

К Максиму Сохацкому обратись) там еще какие-то кубические категории

Andrei

Мне скорее теоркат пополам с математикой.

Alexander

у сохацкого не bluff какой-то?

Alexander

я то из-за blurb парадокса не могу понять, там чушь всякая или что-то толковое

Alexander

а про ТК проще вопрос сразу

Alexander

если кто знает то ответит

Зигохистоморфный

http://conal.net/papers/compiling-to-categories/compiling-to-categories.pdf

Евгений

Еще раз вброшу, теоркат кто-нибудь помнит\знает?

А чего надо-то? На уровне середины маклейна я его помню

Евгений

Если тебе не гомологии в триангулированных категориях считать надо, то может подсоблю

Andrei

Есть X — пространство с топологией. Есть два непрерывных в точке x функционала f,g. Доказать что их сумма — непрерывна в точке x. Я прекрасно понимаю, как это доказать классически, анализом первого курса. Но мне интересно доказательство с другой стороны, с высокой. Например, если бы удалось доказать, что C(x) — это группа по операции +, то замкнутость следовала бы автоматом. А то,что это группа можно было доказать посотроением какой-нибудь хитрой цепочки вложения, какого-нибудь хитрого функтора, может быть можно было бы показать, что C(x) — это предельный объект где-то, что даёт ему необходимые свойства.

Зигохистоморфный

не знаю что но у Макса яд какой-то https://github.com/verimath

Andrei

Есть X — пространство с топологией. Есть два непрерывных в точке x функционала f,g. Доказать что их сумма — непрерывна в точке x. Я прекрасно понимаю, как это доказать классически, анализом первого курса. Но мне интересно доказательство с другой стороны, с высокой. Например, если бы удалось доказать, что C(x) — это группа по операции +, то замкнутость следовала бы автоматом. А то,что это группа можно было доказать посотроением какой-нибудь хитрой цепочки вложения, какого-нибудь хитрого функтора, может быть можно было бы показать, что C(x) — это предельный объект где-то, что даёт ему необходимые свойства.

И прочие страшные слова. Окольцованное пространство, C-расслоения etc.

Andrei

Хотелось бы конечно, какой-то более общий результат доказать, не когда f и g непрерывные функционалы, а когда это непрерывные отображения в произвольную топологическую группу.

Зигохистоморфный

1. topology — общая топология + лемма Цорна 2. co — первый коиндуктивный репл-шелл на коке 3. real — действительные числа, как коиндуктивные стримы цифр 4. termination — терминальная категорная семантика коиндуктивных стримов 5. set — теория множеств Тарского-Гротендика 6. interpreter — интерпретатор гомотопической теории 7. ftc — основная теорема анализа по предложению риалити хакера 8. lambda — нетипизированное лямбда исчисление как инициальный объект категории экспоненциальных монад

Евгений

Хитро, тут думать надо

Andrei

Ага, но примерно понятно, чего я хочу?

Евгений

В принципе да

Andrei

Евгений, а вы чисто так случайно не родственник Александра Омельченко? :D

доня.

блин, редакторосрач пропустил

Arseniy

vim тащит

доня.

Ага, а я всем рассказываю, что читаю почту только маттом. Ну это ж смешно, сириусли. От вима прок очевидный -- по сути это графический интерфейс к седу. Быстренько на сервере 40 переменных по регэкспу поменять -- самое то. Но то, что кто-то пользуется визувиг редактором в консоле на устаревшем недоязыке, который тормознутей чем nodejs... В это я поверить не могу. А в интернете можно что угодно рассказывать.

лол пользуюсь только вимом

доня.

ну neovim точнее

доня.

IDEA всякие железо все равно не тащит

доня.

ну для крестов Qt Creator иногда включаю, но на них я сейчас мало пишу, а для Python, JS, Haskell, Rust, Clojure (что-то для работы, что-то по фану) - только neovim

Евгений

А в чём преимущество неовима над вимом?

Евгений

Евгений, а вы чисто так случайно не родственник Александра Омельченко? :D

Нет

доня.

А в чём преимущество неовима над вимом?

встроенный эмулятор терминала

Anonymous

А в чём преимущество неовима над вимом?

Тем, что несчастные больше не должны писать на вимскрипте.

доня.