Павел Аргентов - Multicore: прекрасный OCaml будущего
HTML-код
- Опубликовано: 25 авг 2024
- Павел Аргентов на митапе Tver.io Pure Meetup 25 июля.
Многолетняя мечта поколений разработчиков и многолетний челлендж других разработчиков, Multicore OCaml манит эффективным мультиплексированием функций в многоядерных архитектурах. Обещаны изменения и в базе языка, и под капотом. Мы пробежимся по основным особенностям новой реализации и отметим, какие проблемы сдерживают наступление светлого будущего.
Слайды: github.com/arg...
Окамль более экзотический чем Хаскель? 🤔непонятная мысль, а как же jane street, а как же docker for windows?
Кому нужен параллелизм давно взяли F#.
Из этой штуки другая штука, потом из другой штуки... выключил на 10 минуте из-за бедности речи, слушать невозможно
Мда. Уровень. Это, кстати, до сих пор меня не перестаёт удивлять. Каждый адепт ФП тебе расскажет о том, какое там всё чистое и параллельное, но сами адепты до сих пор не могут реализовать хоть какую-то параллельность в языке с супер-параллельным дизайном.
Особенно меня посмешило то, что замедление в тысячи раз не удивляет автора. И то, что они считает реализацию подобной херни сложной. Насколько же наивен этот мир. Я даже не знаю как это нужно было реализовать, что-бы получить настолько сильную деградацию.
>что замедление в тысячи раз не удивляет автора
Замедление в тысячи раз чего? Рантайма с мультикором и без? Нет там таких отклонений, максимум раза в полтора, причем иногда в пользу мультикора (в среднем в пределах доверительного интервала, 1.5 раза только в сгенерированных менгиром парсерах).
>но сами адепты до сих пор не могут реализовать хоть какую-то параллельность
>И то, что они считает реализацию подобной херни сложной.
В каких языках, кроме OCaml, есть smp, алгебраические эффекты + fibers, low-latency GC и формализованный memory model? С каких пор "подобная херня" - это легко?
@@freyrnjordrson1418
>>Замедление в тысячи раз чего?
Это из инфы предоставляемом автором.
>>В каких языках, кроме OCaml, есть smp, алгебраические эффекты + fibers, low-latency GC и формализованный memory model?
В школу с этой методичкой - там тебя похвалят закидывание базвордов. Есть факт - в говне нету мт никакого, вообще.
>>алгебраические эффекты
За парту, никого за рамками твоей мусорной секты базворды локальные твоей секты не интересуют.
>>fibers
Это примитивная херня. К тому же, ты опять обделался. fibers в принципе не могут существовать в ФП т.к. предполагают управление потоком исполнения. Что даже теоретически в этом говне не описано.
>>low-latency GC
Эти потуги вообще ничего не стоят, т.к. это говно не обладает какого-либо low. Поэтому со всей этой хернёй в школу, опять же. Говно не обладает какой-либо производительностью и к нему не применяются критерии сильнее, нежели для сдачи мусорной лабы, для чего это говно и существует.
>>формализованный memory model?
С эти, опять же, в школу. Формализовать примитивную маня-модель может любой идиот. Практически никому это ненужно и именно поэтому практика применения этого говна заканчивается лабой и мусорной запартой.
>>С каких пор "подобная херня" - это легко?
Всегда было. Это даже зафиксировано автором, т.к. это говно пилит какой-то нонейм-индус(или кто там) хрен пойми как и хрен пойми на что.
@@rustonelove >"хуйня, говно, лабы, маня-модели, обделался, не может быть".
Какой вдумчивый и аргументированный ответ, достаточно назвать что-то хуйней, и дальнейшая аргументация не нужна. Видимо, фиксация на школе и лабах неслучайна.
> fibers в принципе не могут существовать в ФП т.к. предполагают управление потоком исполнения
Ага, а еще IO нет и мутабильных переменных, потому хаскелисты вычисляют только простые арифметические выражения, но не могут даже вывести их ответ.
call/cc, continuations и алгебраические эффекты делают именно это, вычисляют терм в контексте, например в контексте планировщика или мутабильного состояния.
ruclips.net/video/z8SI7WBtlcA/видео.html