Думаешь потянем? Я там как-то силился найти по тексту варнинга флаг, который разрешал бы юзать компайлер онли фичи. Концов не нашёл!!!1

я уже чинил ворнинги, надо потянуть

Если мы не научимся чинить компилятор, то языку хана.

Думаешь потянем? Я там как-то силился найти по тексту варнинга флаг, который разрешал бы юзать компайлер онли фичи. Концов не нашёл!!!1

херасе

Если мы не научимся чинить компилятор, то языку хана.

Это правда. Надо разобраться в текущем и переписать на рослин

Иначе сдохнет от собственного наследия

я уже чинил ворнинги, надо потянуть

Окей, сегодня и завтра поковыряю

Надо найти похожий варнинг и сделать по подобию

Всегда делаю по подобию когда нихера не понимаю

Надо найти похожий варнинг и сделать по подобию

Боюсь, нету похожего, тут будет хардкор

Скажи спасибо, что локально внутри структуры.

Боюсь, нету похожего, тут будет хардкор

Нам надо найти такой АСТ который делает <- для структуры

Для начала хватит

А не, не хватит лол

Бля, ты прав.

В идеале надо рекурсивно найти и пометить все функции, которые её мутируют

А при вызове такой функции ругаться

И это ещё реалистичная часть задачи!

Там же присваивание только через проперти или методы разрешено. Через проперти просто. Надо сматчить что мы тянем сеттер у структуры. А с методом шансов около 0

Дальше хуже: что если функция в скомпиленном коде? Кажись, тут уже всё :(

Дальше хуже: что если функция в скомпиленном коде? Кажись, тут уже всё :(

Ну да. Можно заканчивать

Поправили компилятор с резолюцией By Design

By DonSyme

до BDSM 1 буквы не хватило

до BDSM 1 буквы не хватило

By Don Syme [from] Microsoft

ну, или SyMe

будем честны, структуры и работа с ними даже в C# не очень очевидны

спаны и ОСОБЫЕ byref структуры так вообще вывели неявные правила на новый уровень неявности

там просто с доками получше поэтому вот такие gotchas лучше описаны.

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

Хотя не, как в джаве говно какое-то

Но как в расте збс. Бороу чекер огонь

если раст такой заебатый, почему у меня файрфокс отжирает больше памяти чем хром?

мир дотнета поделён на 2 типа данных и это местами люто, хотя и позволяет писать чуть более оптимально. Наверное. Средства работы со стеком всё равно говно

если раст такой заебатый, почему у меня файрфокс отжирает больше памяти чем хром?

про запас!

если раст такой заебатый, почему у меня файрфокс отжирает больше памяти чем хром?

Хороший вопрос

@fvnever ты известный байтодрочер. Скажи, есть ли способ лучше получить поинтер на конец стака?

в сишарпе это было бы что-то вроде unsafe context byte *GetStackPtr() { byte dummy; return &dummy; }

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

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

У нас уже обещают вот-вот сделать escape analysis.

У нас уже обещают вот-вот сделать escape analysis.

Егор говорил что вроде как уже.

даже смержено

@fvnever ты известный байтодрочер. Скажи, есть ли способ лучше получить поинтер на конец стака?

Этот способ мне милее прочих!

Этот способ мне милее прочих!

прости, а прочие это какие?

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

Для этого есть специальная функа в маршале (которая довольно вафельно работает, впрочем) .

Для этого есть специальная функа в маршале (которая довольно вафельно работает, впрочем) .

Да, я видел кажется

EnsureStackIsEnoughSize или как-то так

там херня какая-то

прости, а прочие это какие?

Ну через натив наверняка можно, но удачи потом с портированием.

@deexpp спасибо что нашёл отсутсвие трамплина в indefinetly, там надо было делеем обмазать и все твои примеры завелись

Если ещё найдёшь, кидай

там действительно let rec f () = cons(..., f ()) нигде не могло упереться (при жадном вычислении F# ни в лямбду, ни в лейзи примитив гопака)

поэтому падало с SO

для примера let rec chooseJob (x2yOJ: 'x -> #Job<'y option>) (xs: AltStream<'x>) : AltStream<'y> = xs ^=> function | AltCons (x, xs) -> Alt.prepare( x2yOJ x >>- function | None -> chooseJob x2yOJ xs | Some x -> cons (x, chooseJob x2yOJ xs)) | AltNil -> nil вот тут cons(x, chooseJob ...) при вычислении сразу же упирается в xs ^=> ... что возвращает Alt, а он ленивый и его это устраивает

т.е. это трамплин

merge тоже работает?

да

merge тоже работает?

уточню S.merge fast fast |> S.mapFun printer2 |> S.foldFun (fun s _ -> s) () |> run ты про это?

тогда обновляй гит )

работает после починки indefinetly

уточню S.merge fast fast |> S.mapFun printer2 |> S.foldFun (fun s _ -> s) () |> run ты про это?

странно он же там не использовался

а может он и не ломался у меня, дай проверю ещё раз

@fvnever ты известный байтодрочер. Скажи, есть ли способ лучше получить поинтер на конец стака?

Через стекфрейм мб можно?

странно он же там не использовался

проверил. У меня он и на обычном коде не валится с SO

тут сразу надо уточнить. ты на каком фреймворке запускаешь?)

мы тут недавно выясняли что Hopac новый на старых фреймворках падает с SO на ровном месте

старые это всё что ниже 47

Через стекфрейм мб можно?

Да, возможно. Я правда не знаю есть ли там указатели на конец фрейма. Надо посмотреть

мы тут недавно выясняли что Hopac новый на старых фреймворках падает с SO на ровном месте

да помню. но у меня корка

я потестил на FSI и на корке. Не падает этот код с SO S.merge fast fast |> S.mapFun printer2 |> S.foldFun (fun s _ -> s) () |> run

indefinitely там из кода было ясто что обязан был упасть)

fast через unfold?

fast через unfold?

да

let infiniteStream f = S.unfoldFun (fun s -> Some (box <| f (), s)) () let fast = infiniteStream (fun () -> 1)

мля

мля

шо, не то?

да вот такие неопределенное поведения от необъяснимости происходящего (когда у всех работает кроме тебя) напрягают.

Можешь ещё раз дать полный листинг кода

на лаб?

Можешь прям сюда