вот такой код есть

я не могу сделать let myF = getJObjectValue resultNode, ResolvedQuery это стринг, а Score это флоут

пц ты картинку конечно вставил

текстом бы уж бахнул)

да без разницы) ResolvedQuery = getJObjectValue resultNode "resolved_query" Score = getJObjectValue resultNode "score"

короче приходится копировать

я не могу сделать let myF = getJObjectValue resultNode, ResolvedQuery это стринг, а Score это флоут

let myF:string etc

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

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

Делай myF интерфейсом с дженерик методом

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

Можно

У меня есть такая магия

let inline request< ^TRequest, ^TResponse when ^TRequest: (static member encode: ^TRequest -> seq<byte>) and ^TResponse: (static member decode: Seg -> ^TResponse)> (constructors: seq<int32>) (req: ^TRequest) :Async<Result< ^TResponse,ChannelError>> = async { let onGet msg: ^TResponse = deserialize msg.RawData return! onGet |> sendRequest req (constructors |> withError) }

применяешь так: let a:t = request.....

Делай myF интерфейсом с дженерик методом

myF должнать быть дженерик функция с частично примененным первым параметром

Т.е. просто в let делаешь явное указание типа

И компилятор все выводит

Т.е. просто в let делаешь явное указание типа

И компилятор все выводит

прекрасно выводит)

myF должнать быть дженерик функция с частично примененным первым параметром

Ты этого не сделаешь для функций без Rank2, а его в ф шарпе нету

Если я правильно понял то, что ты хочешь получить

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

Хотя я может соврал насчёт Rank-2

да вот пример который только что давал) let myF (a: int) b = b let f1 = myF 1 f1 "" f1 1 не работает

если ты хочешь забайндить в модуле, то да, получишь валуева

Но если локально клепаешь, например, в теле метода, то должно быть норм

тут нету валуе рестрикшна, просто тип выводится не дженерик

хотя

Ты этого не сделаешь для функций без Rank2, а его в ф шарпе нету

Да, я соврал про Rank-2, тут Rank-1 хватает.

да, я тоже соврал) тут все же value restriction

В хаскеле такое работает запросто: wtf :: a -> b -> b wtf _ = id wat = wtf 1 wat 1 wat "asd"

да, я тоже соврал) тут все же value restriction

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

если ты просто добавишь воды еще один параметр, то все получится

в жаве такой проблемы нет, пушто там нормальные женерики

тф.жпг

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

чего это вэлью не может быть дженерик)

ну вот так. Сорян

let myF a b = let x = b b x - дженерик вэлью

но оно не в модуле

так и пример выше был не в модуле, а внутри функции

хз как точно правило выразить)

let myF2 () = let myF a b = b let f1 = myF 1 // f1 "" // f1 1 f1 так f1 работает как дженерик, если раскомментить то уже не дженерик и не работает)

Господа, Вдруг это кому важно. Я в Москве до 11 июля. Если у кого есть необходимость или даже желание увидеться, то давайте соберёмся

Пиню используя служебное положение

Вирус

Это Factorio?

Нормальная гама

Это Factorio?

Как-то иначе на андроид зовётся

Господа, Вдруг это кому важно. Я в Москве до 11 июля. Если у кого есть необходимость или даже желание увидеться, то давайте соберёмся

Нувот.

Нувот.

Англосаксов не касается

Даже если они из самары

Боюсь он к англосаксам отношения не имеет

Боюсь он к англосаксам отношения не имеет

Нувот. Взяли и опустили сразу

Ты его видел? Гоша чистокровный уроженец Ливерпуля, просто родом из России

Ты его видел? Гоша чистокровный уроженец Ливерпуля, просто родом из России

Он же гога, он же жора :)

- Гоша, скажи, лорри или тракс? - Трокс!

Фокин

Задолбал своим кокни, говори на русском

:D

Это Factorio?

Mindustry

О, точно. Неплохая игра.

Mindustry

Круть!

Это Factorio?

Только на минималках

да вот пример который только что давал) let myF (a: int) b = b let f1 = myF 1 f1 "" f1 1 не работает

let myF<'b> (a: int) (b: 'b) = b let myG<'b> = myF<'b> 1 let x = myG "" let y = myG 10 @Lanayx

так?

Все еще идет, можно послушать Нолана (один из авторов clojurescript)

https://zoom.us/j/94969377957?pwd=YnlYbzl1M0RMYk9DZlcxek5FR2JYZz09 - Заходите с Дэвидом Ноланом поговорить

Закончилось, но имхо было круто - Девида Нолана всегда приятно послушать

let myF<'b> (a: int) (b: 'b) = b let myG<'b> = myF<'b> 1 let x = myG "" let y = myG 10 @Lanayx

ага, только внутри функции это не работает)

да, не рабатает

Пульсаровцы решили последовать за фп модой и заюзать трипл

а в райдере можно путь до фшарп компилятора указать?

Как вариант, можно сделать локальную копию сдк и поменять переменную среды DOTNET_ROOT из dotnet cli

Я сомневаюсь, что райдер использует fsc.exe напрямую, не представляю как

а в райдере можно путь до фшарп компилятора указать?

Райдер компилирует проекты при помощи MSBuild. Если ты знаешь, как задать путь к компилятору там, то делай в Райдере так же.

Пульсаровцы решили последовать за фп модой и заюзать трипл

ещё квадрупль заюзают, и ими заинтересуется пентагон ))

это напомнило меня лет пять назад) я тогда тоже пытался по максимуму туплы заюзать, потому что ну есть же такая фича в языке, хз правда зачем, но видно создателям языка виднее)

это напомнило меня лет пять назад) я тогда тоже пытался по максимуму туплы заюзать, потому что ну есть же такая фича в языке, хз правда зачем, но видно создателям языка виднее)

В современном эфшорпе пять раз подумаешь, прежде чем начнёшь юзать вербозные struct tuples. Уж не знаю, хорошо это или плохо.

а в райдере можно путь до фшарп компилятора указать?

Есть проперти в МС билде. FscToolPath FscToolExe