Size: a a a

2020 June 27

IC

Ilya L Che in F# Chat
Миша Проказин
> или сешн тайпы
Не смог нагуглить. Что это?
Session types. Пи-исчисления и вот это всё. (не лезть туда, оно тебя сожрёт)
источник

P

PoggiGoppi in F# Chat
Ilya L Che
Session types. Пи-исчисления и вот это всё. (не лезть туда, оно тебя сожрёт)
Что за пи-исчисления?
источник

SN

Shub Niggurath in F# Chat
PoggiGoppi
Что за пи-исчисления?
Буржуазная лженаука, продажная девка империализма, призванная засадить рабочих в клети на все года
источник

AH

Ayrat Hudaygulov in F# Chat
Миша Проказин
> или сешн тайпы
Не смог нагуглить. Что это?
источник

VK

Vladislav Khapin in F# Chat
а в билд скриптах фшарп компилятора есть сборка fsc?
источник

VK

Vladislav Khapin in F# Chat
а вижу
источник

VK

Vladislav Khapin in F# Chat
мне короче надо

<PropertyGroup Condition="$(OS) == 'Unix' AND '$(MSBuildRuntimeType)' != 'Core'">
       <FscToolPath>/Library/Frameworks/FSharp</FscToolPath>
       <FscToolExe>fsc.exe</FscToolExe>
   </PropertyGroup>


при этом чтобы fsc с как dotnet fsc.exe вызвалось
источник

VK

Vladislav Khapin in F# Chat
вот это как-то закостылять можно в мсбилде?
источник

AH

Ayrat Hudaygulov in F# Chat
Vladislav Khapin
вот это как-то закостылять можно в мсбилде?
ты хочешь в мсбилд вкорячить другой компилятор для моны?
источник

VK

Vladislav Khapin in F# Chat
Да
источник

AH

Ayrat Hudaygulov in F# Chat
ты делаешь опасные вещи
источник

VK

Vladislav Khapin in F# Chat
Ayrat Hudaygulov
ты делаешь опасные вещи
Да
источник

AH

Ayrat Hudaygulov in F# Chat
я уверен всё разъебётся
источник

VK

Vladislav Khapin in F# Chat
Возможно
источник

VK

Vladislav Khapin in F# Chat
Ну как вариант фсц собрать как селфконтейнд
источник

VK

Vladislav Khapin in F# Chat
И подложить
источник

AH

Ayrat Hudaygulov in F# Chat
короче
1) логируешь аутпут обычного билда моны через бинарный логер с уровнем diag
2)  берёшь structured msbuild logger
3) смотришь как мона вызывает FSC таску
4) меняешь нужный проперти в своем прожект файле
5) профит
источник

AH

Ayrat Hudaygulov in F# Chat
2ой пункт это внешная програмулина, она там графически позволяет аутпут логера смотреть как человек
источник

VK

Vladislav Khapin in F# Chat
Да, я слышал
источник

VK

Vladislav Khapin in F# Chat
Ну как вариант это
источник