ачтогдекак?

http://dev.stephendiehl.com/hask/#prelude

Avoid...

@A64m_qb0 что за 1ML? https://github.com/1caml/1caml

емнип 1ML это эмель в котором язык модулей не отдельный язык, а сахар для f-ing энкодинга

но я отвечаю по памяти, без фактчека, так что

Все верно https://people.mpi-sws.org/~rossberg/1ml/

@A64m_qb0 > Recovering linearity requires augmenting ghc with the ability to reason about exceptions. I may try to hack out a proposal / prototype for that this December / winter with a few colleagues. угадаешь автора с 1 попытки?

я уже прочел этот комментарий, так что шанс угадать Картера Шонвальда упущен

: (

блин сколько же раз я уже видел этот его комментарий

удивительно, что в этот раз он начал не с того, что пообещал что-то там когда-нибудь сделать лучше, а что-то уже сделал до начала дискуссии. Но теперь все вернулось на круги своя, Картер Шонвальд опять в своем репертуаре

он где-то год назад в твиттерах хвалился что линейные типы где-то запилил

в haskell'е есть эквивалент жабовского fork join framework?

в haskell'е есть эквивалент жабовского fork join framework?

Это зачем такое?

:/

мне необходимо рекурсивно спавнить потоки

нашел это https://ghcmutterings.wordpress.com/2010/08/20/parallel-programming-in-haskell-with-explicit-futures/

fork join executor service это обвязка вокруг пула потоков, которая позволяет простаивающим потокам стилить таски у других хорошо работает для data intensive задач но не понятно как это связано с рекурсивным порождением потоков

действительно 🤔

async

а вообще вся RTS Haskell это пул потоков

которые берут задачи и выполняют их

задача это зелёный тред

а потоки это capabilities/HEC

а вообще вся RTS Haskell это пул потоков

rts = runtime thread system?

runtime system

kek https://github.com/berewt/acme-haskellee/blob/master/src/Acme/HaskellEE/MappableInTwoDifferentWays.hs

не считается, отсутствует Bean тайп класс

а где почитать как реализован современные вычисления в rts haskell, как там работает стек, что происходит при GC, при вызове следующей операции и т.п.?

Alexander ты ещё не прочитал исходники ртс?

наскоками

т.е. я понимаю отдельные куски но не ситуацию в целом

Пейперы хочешь?

я думаю этого нет в пейперах

блоки зянгов и т.п.

Если только про куски

мне интересно можно ли для ресурса сделать какую-то адекватное место храниния информации связанной с ним, так, чтобы сам ресурс был ключем

желательно zero-cost

вот как в растах хранение ресурсов сделано, что в non-exceptional case оно почти бесплатно

у меня есть подозрение, что с haskell стеком, rts и GC в произвольном случае это принципиально невозможно

Ну каждый объект имеет ссылку на свой тайпинфо, для Гц.

так это можно у марлоу спросить, прямо в линейном обсуждении

@lonokhov но это никак не поможет?

тем более. что объект не на gc хипе жить может

@A64m_qb0 у меня и так дурацкое ощущение я прихожу в тред пишу и все замолкают

как будто сидит такое сообщество джентельменов чай пьёт, а тут варвар в зал вбьегает и орёт что-то

В хаскеле на стеке ничего не живёт поди, кроме запушенных регистров

в итоге варвар в недоумении смотрит на это дело, и все замолкли и смотря на него

не понимая, что это за хрень ввалилась

я очень не хочу туда лишний раз писать

@lonokhov ты про сишный стек? или про стек потоков?

т.е. у нас какой calling convention, мы передаем агрументы и куда прыгать дальше

А что у потоков другой стек?

выполнятор смотрит, делает все и вызывает продолжение

т.е. это такой вечно растущий стек

который потом собирается gc когда-то

Мы ещё сетапим указатель на стек

насколько я понимаю

и для каждого потока он свой

Гц собирает стек вместе с нитью

тогда бы это вообще никогда не работало

т.е. в отличии от сишки после функции мы не возвращаемся в предыдущий фрейм, а уходим в следующий

а для треканья сишного есть свой регистр и он используется для FFI

Данунахрен

А зачем хаскелю стек?

я не понимаю твой вопрос

-- STG registers | Sp -- Stack ptr; points to last occupied stack location.

вот когда ты выполняешь фукнцию то обычно там идёт Sp=Sp+ptrsize; Sp[..] = blabla

после выполнения jump(Sp[-x])

а jump в unregistered архитектурах

Может он про stack?

Типо зачем stack, когда есть cabal?

Хотя я ворвался с середины с скорее всего неправ.

Но мне это никогда не мешало 😆

а описание нынешней ртс в пейпере есть только на тот момент когда ее написали для GHC 4 в 98-ом году, и дальше надо смотреть кучу пейперов в которых описывали зменения, когда теги добавили, на эвал-апплай поменяли, добавили SMP, причем непонятно что из описанного на самом деле имплементировано и как, т.е. некоторые изменения из зарезанного гц с отдельными нулевыми на каждый поток например стеки сегментированные попали в GHC а остальное нет

вот да

меня больше всего это в статьях бесит

ну есть еще ghc вики, но все равно очень сложно даже поверхностное представление составить где там что и как

возьмешь старую а из неё в продакшн мало что попадёт

и потом перепилят 3 раза