это Data Flow Diagram

А чем рендеришь?

Сам или либой?

я тут почти Lustre начал писать, но вовремя остановился

Сам или либой?

https://dreampuf.github.io/GraphvizOnline

Ага, юзал такое)

я генерю текст, а дальше сую его Graphviz'у

Если бы придумал, как функции с помощью рефлексии упростить было бы вообще красиво, но что-то пока не приходит в голову ничего

А ты знал что билдеры умеют прям АСТ отдавать?

А ты знал что билдеры умеют прям АСТ отдавать?

ну как в шарпе expression'ы, да

но мне захотелось так почему-то

хотя возможно если юзать AST, то решится моя проблема с боксингом и вот этим всем

хотя возможно если юзать AST, то решится моя проблема с боксингом и вот этим всем

именно

потому что тебе вообще похеру чо там писать внутри

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

meh

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

type FlowBuilder() = member __.Return _ = failwith "mock" member __.For _ = failwith "mock" member __.Combine _ = failwith "mock" member __.Delay _ = failwith "mock" member __.Quote _ = failwith "mock" member __.Run x : Quotations.Expr = x let flow = FlowBuilder() let a = flow { for _i = 1 to 10 do return 1 return 1 } и далее немного рекурсивного обхода AST с преобразованием во что хочешь. Хоть в брейнфак

а эта шутка ж грохнется, верно?

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

а эта шутка ж грохнется, верно?

нет

она ж не выполнится никогда, это ж ВЫРАЖЕНИЕ

но у тебя там for, а он failwith

нет?

но у тебя там for, а он failwith

он же ВЫРАЖЕНИЕ

хм

выражение грохнется если его вычислить. Ты его не вычисляешь

а мне потом и вычислять нужно, между тем

руками это как-то не хочется

а мне потом и вычислять нужно, между тем

вычислишь

это ж выражение

захотел, проевалуейтил

я теперь запутался

захотел, пересобрал

ладно, завтра потыкаю

спасибо

окей, стой. вот тебе перед сном задачка

отлично, кажется я опять в какой-то секте

let e: Quotations.Expr = <@@ failwith "mock" @@>

почему оно не упадёт

не, ну тут экспрешен

я не такой глупенький

ну бля, там весь flow { } вернёт такой же експрешн

ты не понял, в чем я запутался)

видимо не понял

я понимаю разницу между вычислением экспрешена и его АСД

ок. вот такой flow let a = flow { return 1 } вернёт это val a : Quotations.Expr = Call (Some (ValueWithName (FSI_0008+FlowBuilder, builder@)), Delay, [Lambda (unitVar, Call (Some (ValueWithName (FSI_0008+FlowBuilder, builder@)), Return, [Value (1)]))])

у меня был немного в другом месте вопросы возникли

но нужно будет завтра потыкать и разобраться

как видишь, у меня return реализован через failwith

но ничего не падает, т.к. никого не волнует как у меня там ретурн реализован. Ну т.е. я могу через него выполнить выражение, но не хочу. Я его лучше потом пересоберу в... JS

или в асемблер сразу

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

слушай, а как в этот экспрешен значения передать?

для вызова

слушай, а как в этот экспрешен значения передать?

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

ну вот всё что ты сверху писал

ну это да

но допустим я напишу

return a

ну значит у тебя a где-то есть

а я не могу просто его как-то замокать?

можешь

я так делал когда писал компилятор на F# аля lisp и мне нужна была возможность заменять любые символы, как это умет делать lisp

F# пидор хочет иметь эти символы объявленные

да, можно просто всё что угодно мокать через failwith

если ты это потом просто в экспрешн превращаешь для перекомпиляции

ну мне нужно на ходу это мокать

хм-хм

на ходу. хм хм. тогда работай по правилам F#

ну то есть откуда-то это a берётся же

просто так return a, звучит странно

ну я прикидываю, как подобную конструкцию переписать

ну накидать пустых билдеров с кастомными операторами (пустыми) несложно

явно быстрее чем ты делал

а вот дальше интереснее, надо из этого АСТ собрать что ты там хочешь. текст

методы обхода AST могут выглядеть интересно: let (|MemberName|_|) name (SynMemberDefn.Member (mmbrDef,_)) = let (SynBinding.Binding (_,_,_,_,_,_,_,pat,_,_,_,_)) = mmbrDef match pat with | (SynPat.LongIdent (LongIdentWithDots ([id],_),_,_,_,_,_)) -> if id.idText = name then Some MemberName else None | _ -> None let (|IsStatic|_|) (SynMemberDefn.Member (mmbrDef,_)) = let (SynBinding.Binding (_,_,_,_,_,_,valData,_,_,_,_,_)) = mmbrDef let (SynValData.SynValData (flags,_,_)) = valData if flags.IsSome then if flags.Value.IsInstance then None else Some IsStatic else None let (|Type|) (SynTypeDefn.TypeDefn (info,_,members,_)) = let (SynComponentInfo.ComponentInfo (_,_,_,[ident],_,_,_,_)) = info Type (ident.idText, members)

ну я прикидываю, как подобную конструкцию переписать

переписал. https://gist.github.com/Szer/1462b78921afb4c9e54222ec29e33086

не, ну этот момент ясен

А дальше рекурсивную функцию обхода с аккумулятором в виде стринг билдера например куда ты кладёшь свою мега строку. Ну или промежуточный AST для себя придумай изявый