Павел Аргентов - Multicore: прекрасный OCaml будущего

[@megasuperlexa2]

Окамль более экзотический чем Хаскель? 🤔непонятная мысль, а как же jane street, а как же docker for windows?

[@KirillKhalitov]

Кому нужен параллелизм давно взяли F#.

[@diglan78]

Из этой штуки другая штука, потом из другой штуки... выключил на 10 минуте из-за бедности речи, слушать невозможно

[@rustonelove]

Мда. Уровень. Это, кстати, до сих пор меня не перестаёт удивлять. Каждый адепт ФП тебе расскажет о том, какое там всё чистое и параллельное, но сами адепты до сих пор не могут реализовать хоть какую-то параллельность в языке с супер-параллельным дизайном. Особенно меня посмешило то, что замедление в тысячи раз не удивляет автора. И то, что они считает реализацию подобной херни сложной. Насколько же наивен этот мир. Я даже не знаю как это нужно было реализовать, что-бы получить настолько сильную деградацию.

[@freyrnjordrson1418]

>что замедление в тысячи раз не удивляет автора Замедление в тысячи раз чего? Рантайма с мультикором и без? Нет там таких отклонений, максимум раза в полтора, причем иногда в пользу мультикора (в среднем в пределах доверительного интервала, 1.5 раза только в сгенерированных менгиром парсерах). >но сами адепты до сих пор не могут реализовать хоть какую-то параллельность >И то, что они считает реализацию подобной херни сложной. В каких языках, кроме OCaml, есть smp, алгебраические эффекты + fibers, low-latency GC и формализованный memory model? С каких пор "подобная херня" - это легко?

[@rustonelove]

@@freyrnjordrson1418 >>Замедление в тысячи раз чего? Это из инфы предоставляемом автором. >>В каких языках, кроме OCaml, есть smp, алгебраические эффекты + fibers, low-latency GC и формализованный memory model? В школу с этой методичкой - там тебя похвалят закидывание базвордов. Есть факт - в говне нету мт никакого, вообще. >>алгебраические эффекты За парту, никого за рамками твоей мусорной секты базворды локальные твоей секты не интересуют. >>fibers Это примитивная херня. К тому же, ты опять обделался. fibers в принципе не могут существовать в ФП т.к. предполагают управление потоком исполнения. Что даже теоретически в этом говне не описано. >>low-latency GC Эти потуги вообще ничего не стоят, т.к. это говно не обладает какого-либо low. Поэтому со всей этой хернёй в школу, опять же. Говно не обладает какой-либо производительностью и к нему не применяются критерии сильнее, нежели для сдачи мусорной лабы, для чего это говно и существует. >>формализованный memory model? С эти, опять же, в школу. Формализовать примитивную маня-модель может любой идиот. Практически никому это ненужно и именно поэтому практика применения этого говна заканчивается лабой и мусорной запартой. >>С каких пор "подобная херня" - это легко? Всегда было. Это даже зафиксировано автором, т.к. это говно пилит какой-то нонейм-индус(или кто там) хрен пойми как и хрен пойми на что.

[@freyrnjordrson1418]

@@rustonelove >"хуйня, говно, лабы, маня-модели, обделался, не может быть". Какой вдумчивый и аргументированный ответ, достаточно назвать что-то хуйней, и дальнейшая аргументация не нужна. Видимо, фиксация на школе и лабах неслучайна. > fibers в принципе не могут существовать в ФП т.к. предполагают управление потоком исполнения Ага, а еще IO нет и мутабильных переменных, потому хаскелисты вычисляют только простые арифметические выражения, но не могут даже вывести их ответ. call/cc, continuations и алгебраические эффекты делают именно это, вычисляют терм в контексте, например в контексте планировщика или мутабильного состояния. kzbin.info/www/bejne/sGm2emqNd9mfmaM