IC
> или сешн тайпы
Не смог нагуглить. Что это?
Не смог нагуглить. Что это?
Session types. Пи-исчисления и вот это всё. (не лезть туда, оно тебя сожрёт)
Size: a a a
2020 June 27
P
Session types. Пи-исчисления и вот это всё. (не лезть туда, оно тебя сожрёт)
Что за пи-исчисления?
SN
Что за пи-исчисления?
Буржуазная лженаука, продажная девка империализма, призванная засадить рабочих в клети на все года
AH
> или сешн тайпы
Не смог нагуглить. Что это?
Не смог нагуглить. Что это?
Первая ссылка в гугле по запросу session types
http://www.dcs.gla.ac.uk/research/betty/summerschool2016.behavioural-types.eu/programme/DardhaIntroBST.pdf/at_download/file.pdf
http://www.dcs.gla.ac.uk/research/betty/summerschool2016.behavioural-types.eu/programme/DardhaIntroBST.pdf/at_download/file.pdf
VK
а в билд скриптах фшарп компилятора есть сборка fsc?
VK
а вижу
VK
мне короче надо
при этом чтобы fsc с как do
<PropertyGroup Condition="$(OS) == 'Unix' AND '$(MSBuildRuntimeType)' != 'Core'">
<FscToolPath>/Library/Frameworks/FSharp</FscToolPath>
<FscToolExe>fsc.exe</FscToolExe>
</PropertyGroup>
при этом чтобы fsc с как do
tnet fsc.exe вызвалосьVK
вот это как-то закостылять можно в мсбилде?
AH
вот это как-то закостылять можно в мсбилде?
ты хочешь в мсбилд вкорячить другой компилятор для моны?
VK
Да
AH
ты делаешь опасные вещи
VK
ты делаешь опасные вещи
Да
AH
я уверен всё разъебётся
VK
Возможно
VK
Ну как вариант фсц собрать как селфконтейнд
VK
И подложить
AH
короче
1) логируешь аутпут обычного билда моны через бинарный логер с уровнем diag
2) берёшь structured msbuild logger
3) смотришь как мона вызывает FSC таску
4) меняешь нужный проперти в своем прожект файле
5) профит
1) логируешь аутпут обычного билда моны через бинарный логер с уровнем diag
2) берёшь structured msbuild logger
3) смотришь как мона вызывает FSC таску
4) меняешь нужный проперти в своем прожект файле
5) профит
AH
2ой пункт это внешная програмулина, она там графически позволяет аутпут логера смотреть как человек
VK
Да, я слышал
VK
Ну как вариант это