Точнее не так - скорость написания кода в райдере выше, чем в студии

Точнее не так - скорость написания кода в райдере выше, чем в студии

В в вскод?

В обычной

Вскод не пробовал

В силу некоторых причин

Точнее не так - скорость написания кода в райдере выше, чем в студии

в чем проявляется?

в чем проявляется?

Скорость работы, реакция на ввод, отсутствие тормозов явных

напомните, пожалуйста, что делать, когда в конструктор класса надо передать функцию, которая должна работать на многих типах объектов (например, лог)? если делать "в лоб", в качестве дженерик параметра функция берёт первое использование =\

типа вот так всё хорошо let log description obj = printfn "%s:\n%s" description (obj |> SimpleRaft.Core.Utils.Print.leftPad 4) type A () = let i: int = 10 do log "int" i let b: bool = true do log "bool" b а вот так ругается в случае с булом на то, что у log сигнатура (string -> int -> unit) type A (log) = let i: int = 10 do log "int" i let b: bool = true do log "bool" b

напомните, пожалуйста, что делать, когда в конструктор класса надо передать функцию, которая должна работать на многих типах объектов (например, лог)? если делать "в лоб", в качестве дженерик параметра функция берёт первое использование =\

Вместо функции передавай обычный (не генерик) тип с генерик методом.

напомните, пожалуйста, что делать, когда в конструктор класса надо передать функцию, которая должна работать на многих типах объектов (например, лог)? если делать "в лоб", в качестве дженерик параметра функция берёт первое использование =\

явно указать тип log

явно указать тип log

И какой же тип там указать? ?

И какой же тип там указать? ?

а какой тип у SimpleRaft.Core.Utils.Print.leftPad ?

По идее, он хочет ∀x: x → void

Но таких типов в F# не бывает :(

И какой же тип там указать? ?

тогда string -> x -> unit

или там не бывает такого?

а какой тип у SimpleRaft.Core.Utils.Print.leftPad ?

int -> 'a -> string

он просто после каждого endl добавляет n пробелов

int -> 'a -> string

я не шарю, как записывается типизация в эфшарпе, но в хаскеле тогда для log прокатило бы, наверное string -> 'a -> unit

или что-то в таком духе

Вместо функции передавай обычный (не генерик) тип с генерик методом.

спасибо!

я не шарю, как записывается типизация в эфшарпе, но в хаскеле тогда для log прокатило бы, наверное string -> 'a -> unit

Не прокатило бы, кажется.

ну вот тут не прокатывает, т.к. 'a типизируется по первому использованию

хм, интересно-интересно

Мне думается, что такая сигнатура без forall не записывается.

не прокатывает =)

по идее, да

Я выше указал, как мы в F# такие вещи кодируем, если надо.

очень надеялся на то, что кроме 'a и ^a есть ещё что-то

Вместо функции передавай обычный (не генерик) тип с генерик методом.

это же, да? =)

это же, да? =)

Да.

Да.

покажи пжлст, как это записывается

хотелось бы узнать ето

type Logger = member __.log description obj = printfn "%s:\n%s" description (obj |> SimpleRaft.Core.Utils.Print.leftPad 4) type A (logger: Logger) = let i: int = 10 do logger.log "int" i let b: bool = true do logger.log "bool" b

но выглядит не оч, да

покажи пжлст, как это записывается

Вот товарищ выше написал. Именно так.

Такие вещи через inline доступны. Типа let sum a b = a + b Выведет тип как int -> int -> int А то же самое с inline ^a -> ^а -> ^a, где ^a имеет статический метод +

Можно и руками через srtp написать

Такие вещи через inline доступны. Типа let sum a b = a + b Выведет тип как int -> int -> int А то же самое с inline ^a -> ^а -> ^a, где ^a имеет статический метод +

Инлайн-функцию по ссылке не передашь :(

Эт да

\о

Приу

Но таких типов в F# не бывает :(

Была же статья как сделать экзистенциальные типы, их там назвали crates

Была же статья как сделать экзистенциальные типы, их там назвали crates

Кодировать их можно, да.

Прочитал сча про зебру, просто шикарная статья, столько разных техник!

Думаешь стоит перевести?

Однозначно

Мне там про роуты понравилось

Радикс три

Вот это вот всё

сраный ксамарин

засрал мне F#-темплейты своими андроидными импортами

что за дела вообще

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

Снова здравствуйте

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

Точно

Дратути! Как называется функция над Seq, кoтoрая пo oчереди кo всем элементам пoследoвательнoсти применяет маппинг и передаёт результат дальше? Есть ли такая? Мапинг: 'a -> 'b -> 'a Нужна сигнатура: 'b seq -> ('a -> 'b -> 'a) -> 'a

Дратути! Как называется функция над Seq, кoтoрая пo oчереди кo всем элементам пoследoвательнoсти применяет маппинг и передаёт результат дальше? Есть ли такая? Мапинг: 'a -> 'b -> 'a Нужна сигнатура: 'b seq -> ('a -> 'b -> 'a) -> 'a

Откуда берется 'a ?

Думаю тебе нужен Seq.fold А вообще есть http://fsdn.azurewebsites.net (и еще бот, но его надо перезапустить)

Откуда берется 'a ?

Oчень хoрoший вoпрoc, я oказывается переменную замкнул и oтсюда пoшла путаница (спасибo!) (или не замкнул...)

Думаю тебе нужен Seq.fold А вообще есть http://fsdn.azurewebsites.net (и еще бот, но его надо перезапустить)

Да, кстати похоже на fold

а Span<T> в фшарпе не поддерживается?

на меня компилер ругается

Хм. Тoчнo, этo fold, спасибo! ('a -> 'b -> 'a) -> 'a -> 'b seq -> 'a

а Span<T> в фшарпе не поддерживается?

Вроде отдельным пакетом ставится

так я поставил

Аа

Все что я знаю про спан это то что он пока ставится отдельным пакето

ну да

System.Memory

ладно, массивом обойдусь

а Span<T> в фшарпе не поддерживается?

Пилят поддержку

а, окей

почему у меня твоя авка вечно пропадает?

а, окей

https://github.com/Microsoft/visualfsharp/pull/4888

Хотя видимо надо 15.8 дождаться

Студии

почему у меня твоя авка вечно пропадает?

Хз

Кто-нибудь тыкал FSharpPlus? Есть там операто что бы event или IObserable<T> замапить? Пытаюсь <*> заюзать, но не компилируется.

А я перепутал операторы, надо было <!> ?

А я перепутал операторы, надо было <!> ?

Это самая фшарпная вещь, которую я слышал за последнее время

В итоге пока решил выпилить fsharpplus, тк этот оператор не удобно использовать. Делаю по простому |> Observable.map

Пойдя на поводу у Акклинга, мы обновили FSharp.Core до 4.5, а Бартош сегодня выпустил новый Акклинг, где вернул старую версию FShap.Core (4.3.4). На вопрос, почему, объяснил, что ему в дискуссии в Слаке сказали, что переходить на FSharp.Core пока рано, это релиз для будущих версий компилятора и инструментария. Теперь вот сижу, думаю, возвращаться на старую версию, или остаться на новой. У нас все тесты работают, ни одной новой проблемы не возникло. Есть ли у кого-нибудь опыт работы с FSharp.Core 4.5?

Ну я вроде в проект подсосал

Пока проблем особых не видел

Пойдя на поводу у Акклинга, мы обновили FSharp.Core до 4.5, а Бартош сегодня выпустил новый Акклинг, где вернул старую версию FShap.Core (4.3.4). На вопрос, почему, объяснил, что ему в дискуссии в Слаке сказали, что переходить на FSharp.Core пока рано, это релиз для будущих версий компилятора и инструментария. Теперь вот сижу, думаю, возвращаться на старую версию, или остаться на новой. У нас все тесты работают, ни одной новой проблемы не возникло. Есть ли у кого-нибудь опыт работы с FSharp.Core 4.5?

Я когда игрался с провайдерами, были проблемы с подписями или еще чем-то. Пришлось откатится до 4.3.4

Пойдя на поводу у Акклинга, мы обновили FSharp.Core до 4.5, а Бартош сегодня выпустил новый Акклинг, где вернул старую версию FShap.Core (4.3.4). На вопрос, почему, объяснил, что ему в дискуссии в Слаке сказали, что переходить на FSharp.Core пока рано, это релиз для будущих версий компилятора и инструментария. Теперь вот сижу, думаю, возвращаться на старую версию, или остаться на новой. У нас все тесты работают, ни одной новой проблемы не возникло. Есть ли у кого-нибудь опыт работы с FSharp.Core 4.5?

Возвращаться.

Мы используем 3 провайдера (JSON, Yaml, SQL), все работают.

Возвращаться.

А почему, Роман?