https://res.infoq.com/presentations/fsharp-code-keynote-2019/en/slides/sl46-1564935932302.jpg

Приятно, что Сайм не упоротый

Почему-то я тут вижу хангыль, а не F# 😂

Да ну, где там хангыль

Это же из the code I love? Или как там доклад

Да, решил глянуть

если только 스 повёрнутое на 90 градусов, и то надо воображение

если только 스 повёрнутое на 90 градусов, и то надо воображение

Во-во, я тут и ханыгль увидел, и письмена Шумеров со 2 тысячелетия до н.э.😂

Во-во, я тут и ханыгль увидел, и письмена Шумеров со 2 тысячелетия до н.э.😂

Я бы рекомендовал найти себе якорь в реальной жизни

Во-во, я тут и ханыгль увидел, и письмена Шумеров со 2 тысячелетия до н.э.😂

вот в клинопись я поверю, да

Не похоже?)

Это код на хаскеле

Или на скале

Это код на хаскеле

мммм, с лигатурками:)

вкуснотища

Хороший анекдот, смеялся

Хороший анекдот, смеялся

переведи нам

Там непереводимая игра слов

Хороший анекдот, смеялся

мне не нравится, что это симерийский.

мне не нравится, что это симерийский.

Ты что, расист?

Ты что, расист?

нет. но я против клинописи в каком-либо виде

Почему?

нет. но я против клинописи в каком-либо виде

предпочитаешь тушью на рисовой бумаге?

Там непереводимая игра слов

:Ddddd

Приятно, что Сайм не упоротый

Ну он же и является противником pure fp фич а языке. Потому что он не упоротый

И это правильно

поэтому у нас нет hkt?

поэтому у нас нет hkt?

Ну нет, но Сайм против введения их любой ценой

А тайпклассы?

потому что сложно?

Попробую пруф откопать

Тайпклассы-то не сложно!

Тцапалис HKT впилил, когда ему понадобилось в TypeShape. Точнее, эмуляцию

Тайпклассы-то не сложно!

Ну вот щас он делает экстеншны на типы чтобы были видимы в других сборках. Это ли не чудо. Другое дело что там только инлайн и сртп, что несёт немного боли

предпочитаешь тушью на рисовой бумаге?

да :) Там хотя бы картинки красивые)

Вот, на сишарпе тайпклассы пилятся через структуры на генериках. Не хватает маленько сахарку. На F# с теми же вводными сахару надо меньше, так как вывод типов не кастрированный.

Так и запишем - Бонарт болеет структурами на генериках

Так и запишем - Бонарт болеет структурами на генериках

Вот не надо! Я ими не болею, а наслаждаюсь :)

Вот не надо! Я ими не болею, а наслаждаюсь :)

Наркоманы тоже так говорят. Я когда-то наслаждался CE

Наркоманы тоже так говорят. Я когда-то наслаждался CE

Так то наркоманы, а то я :)

Так то наркоманы, а то я :)

Вот и биполярочка подъехала (с)

Наркоманы тоже так говорят. Я когда-то наслаждался CE

так. я начал недавно читать про гопак и там написано что они используют 2 стиля: CE и монадный. Я так понимаю, теперь монадами наслаждаешься?

Вот и биполярочка подъехала (с)

Доктор, это вы мне сплошь развратные картинки показываете!

так. я начал недавно читать про гопак и там написано что они используют 2 стиля: CE и монадный. Я так понимаю, теперь монадами наслаждаешься?

Гопак не использую

У меня свои развлечения

СВязанные с мобилками

СВязанные с мобилками

Уж лучше бы гопак

Уж лучше бы гопак

Не знаю, не знаю

Мобилки интересная область

Ну он же и является противником pure fp фич а языке. Потому что он не упоротый

Но он в этом отношении не такой радикальный как Гвидо

а гопак кто-то использует? Даже если он мега крут и т.д. но все библиотеки используют таски а не гопаковские джобы!

Вот нашел. https://github.com/fsharp/fslang-suggestions/issues/243#issuecomment-260790271 Сайм тут говорит что сделать как в Скалке, наговнякав импилисты - не ок

Но он в этом отношении не такой радикальный как Гвидо

Гвидо как раз упоротый

То есть, он в целом за ХКТ и ТП, но не похуй абы как

а гопак кто-то использует? Даже если он мега крут и т.д. но все библиотеки используют таски а не гопаковские джобы!

Ну я вот подумываю, возможно, мейлбоксы гопаковские заюзать. Возможно, будет выигрыш по памяти по сравнению со стандартными

Но это так пока

На будущее

я так понимаю все эти тайпклассы без поддержки в рантайме не сделать? именно поэтому srtp возможно только inline

я так понимаю все эти тайпклассы без поддержки в рантайме не сделать? именно поэтому srtp возможно только inline

можно сделать, надо просто все типы обмазывать тонной мета информации

Короче, это костыльный способ, но работать будет.

а скале как сделано? implicit - это тоже как inline?

Этот способ похож на борбу с налами в C# - добавим тонну атрибутов тут и там и call it a day

а скале как сделано? implicit - это тоже как inline?

я не уверен что они инлайнятся

но я плохой скалист пока что

Не инлайнятся

Там по имени ищется нужный имплисит

По типу вроде, не?

Имя+ тип по идее

короче, похуй. Я б за хкт как в хаскеле, но там сабтайпинга нет.

В общем, имплиситы по идее можно рассматривать как замыкания в определенных сценариях

Как в скале не хочу - очень много бойлерплейта. Постоянно надо руками типы прописывать, из-за убогого тайп инфиренса

Я так и в сишарпе могу

я так понимаю все эти тайпклассы без поддержки в рантайме не сделать? именно поэтому srtp возможно только inline

Сделать. Сахарку просто нужно.

можно сделать, надо просто все типы обмазывать тонной мета информации

Нет, можно обмазать генериками на структурах без всякой мета

Нет, можно обмазать генериками на структурах без всякой мета

И тут Остапа понесло!

Я б хотел пример посмотреть

на каком-нибудь банальном моноиде к инту

https://github.com/Kirill-Maurin/Sample.Struct/tree/master/Sample.Struct/Summators - сорри, тут полугруппа, т.е. моноид без нуля

на каком-нибудь банальном моноиде к инту

Смотри выше :)

https://github.com/Kirill-Maurin/Sample.Struct/tree/master/Sample.Struct/Summators - сорри, тут полугруппа, т.е. моноид без нуля

Не,ну это бан