Size: a a a

2020 December 22

Д

Дон Макароне🦜... in F# Chat
Prunkles Dreemurr
А что, варианты, где можно очень красиво записать
val intOpt: int option
let strOpt: string option = intOpt <!> string

, где <!> — оператор map
мы не рассматриваем?
<$>
источник

Д

Дон Макароне🦜... in F# Chat
!!!
источник

PD

Prunkles Dreemurr in F# Chat
Хотелось бы, но фшарп не одобряет!
источник

VS

Vladimir Shchur in F# Chat
Vladimir Shchur
у меня например в пульсаре была задача - складывать сообщения параметризовынные разными типами в одну очередь входящих сообщений, т.е. есть сообщения Message<A>, Message<B>, и я их не могу положить в одну коллекцию Collection<Message>
в джаве такой проблемы нету, они пишут Collection<Message<?>> и живут припеваючи) Впринципе мы наверное такого можем добиться если написать Collection<Message<object>>, или подогнав месседж под интерфейс но это костыль)
источник

MS

Mark Shevchenko in F# Chat
Prunkles Dreemurr
А что, варианты, где можно очень красиво записать
val intOpt: int option
let strOpt: string option = intOpt <!> string

, где <!> — оператор map
мы не рассматриваем?
В данном случае ты можешь Option.map вызывать. Надо такой пример, чтобы intOpt был любым функтором, тогда <!> был бы оправдан.
источник

PD

Prunkles Dreemurr in F# Chat
Mark Shevchenko
В данном случае ты можешь Option.map вызывать. Надо такой пример, чтобы intOpt был любым функтором, тогда <!> был бы оправдан.
Так суть же в том, что у нас есть оператор <!> , который определён для любых функторов, в том числе и для опшна
источник

MS

Mark Shevchenko in F# Chat
Prunkles Dreemurr
Так суть же в том, что у нас есть оператор <!> , который определён для любых функторов, в том числе и для опшна
Да, я понимаю. Но у нас есть и map для каждого функтора. Пример должен быть таким, чтобы показывал, что вот для вообще всех функторов это будет работать. А без HKT придётся всё это писать руками.
источник

PD

Prunkles Dreemurr in F# Chat
Ну так сейчас такая запись будет доступна только если заранее где-то выше прописать let (<!>) = Option.map . А с тайпклассами оно будет сразу и для всех
источник

R

Roman in F# Chat
IdiocyAcceptance
У кого-нибудь есть примеры как HKT могут фаршу помочь?
можно было бы написать общий CE, в который потом подставляешь свою монаду
источник

MS

Mark Shevchenko in F# Chat
Не могу пример придумать, чтобы можно продемонстрировать преимущества HKT, когда этого вот прямо совсем нельзя сделать другими средствами. Получается, что если в языке есть интерфейсы, что-то подобное сделать можно. Наверное, такие примеры должны быть у преподавателей. :)
источник

VK

Vladislav Khapin in F# Chat
Vladimir Shchur
вот кстати коллега на работе тоже буквально неделю назад так говорил) на поверку оказалось что практически никаких проверок нету
Есть
источник

V

Vabka in F# Chat
как в ionide включить индексацию через ^ ?
источник

V

Vabka in F# Chat
ругается
источник

AH

Ayrat Hudaygulov in F# Chat
Vabka
как в ionide включить индексацию через ^ ?
переключиться на сишарп
источник

AH

Ayrat Hudaygulov in F# Chat
:D
источник

V

Vabka in F# Chat
Ayrat Hudaygulov
переключиться на сишарп
мне казалось, в F# такое завезли
источник

V

Vabka in F# Chat
ещё удивился, что fsi хочет от меня langversion:preview
источник

I

IdiocyAcceptance in F# Chat
Хм, зафорсил нугет F#Core 5.0
источник

I

IdiocyAcceptance in F# Chat
студия билдит проект, райдер и билд система нет
источник

X

XÆA-XII in F# Chat
Vabka
как в ionide включить индексацию через ^ ?
А что это?
источник