@fvnever Бот не работает.

Привет.

Ага, тот же Free уже сам по себе не настолько моден при этом. Но, увы, final tagless в том стиле, в котором его используют в скале, в F# не выразишь без хаков, т.к. нет HKT полноценного. (Да, можно через lightweight higher kinded types, но это царство бойлерплейта)

Мне показалось, что final tagless похож на computation expressions

Мне показалось, что final tagless похож на computation expressions

Важная часть того, как tagless final сейчас в скале исползуют - это абстракция от целевой монады/эффекта/функтора. Полноценно сделать это без хаков в F# сейчас не выйдет.

Важная часть того, как tagless final сейчас в скале исползуют - это абстракция от целевой монады/эффекта/функтора. Полноценно сделать это без хаков в F# сейчас не выйдет.

А где про это почитать доступным языком?

А где про это почитать доступным языком?

Вот есть более-менее статейка, где на примере рассматриваются и сравниваюся Free и final tagless как раз в скале: https://softwaremill.com/free-tagless-compared-how-not-to-commit-to-monad-too-early/#toc-free-and-tagless-compared-how-not-to-commit-to-a-monad-too-early Не уверен, что она прям супер доступная, т.к. требует небольшого понимания скала ФП экосистемы.

Ну я под доступной понимаю минимизацию сложных словесных конструкций и специальных терминов

Вот есть более-менее статейка, где на примере рассматриваются и сравниваюся Free и final tagless как раз в скале: https://softwaremill.com/free-tagless-compared-how-not-to-commit-to-monad-too-early/#toc-free-and-tagless-compared-how-not-to-commit-to-a-monad-too-early Не уверен, что она прям супер доступная, т.к. требует небольшого понимания скала ФП экосистемы.

Читаю статью и не покидает ощущение, что на CE можно попробовать реализовать

Как минимум вот эту вот их работу с бд

https://www.reddit.com/r/fsharp/comments/5jyfyq/finally_tagless_style_in_f_alternative_to/

ВОт тут через констрейнты сделано

Что в принципе ок

https://www.reddit.com/r/fsharp/comments/5jyfyq/finally_tagless_style_in_f_alternative_to/

Там как раз в комментариях обсуждают, что без HKT полноценный tagless final сделать всё равно не выйдет.

Вон там цитата от ОПа: I've tried making a Cuda compiler in tagless style in F#, and it turns out you were right. Not just that HKTs were needed; if it were only that, my ideas could have worked, but it turns out that F#'s structural typing support works worse in practice than I thought, especially for nested polymorphic method calls with inlined functions.

Ну это да, конечно

https://github.com/kekyo/Microsoft.CodeAnalysis.ActivePatterns

всех приветствую. я новичок. пишу модули для программы для гидравлического расчета водопроводных сетей на C#. специфика: модули пишутся как COM компонент (если имели дело с модулями для 1С, то там все очень похоже). часть задач связана с пользовательским интерфейсом. а часть задач - алгоритмы. наследование, инкапсуляцию и полиморфизм за год почти не использовал и только в общих чертах представляю, что это такое. в связи с этим у меня возникает вопрос: стоит ли мне часть модулей писать на F#? но для начала не могли бы вы мне помочь ответить на несколько вопросов: - удобно ли будет в visual studio комбинировать c# и f#? первое для интерфейса, второе - для алгоритмов. я вроде слышал, что их можно будет запихнуть в одно решение. - будет ли у меня преимущество по скорости, если некоторые алгоритмы я буду писать на f#, а не c#? - часть данных, для которых я пишу алгоритмы, находится в базе данных, а часть можно вытянуть через api программы, для которой я пишу модули. соответственно, как будет проходить обмен данными между частью на c# и f#? можно ли передать f# функции словарь из c#? - в одном видео видел различие между императивным и функциональным подходом к программированию. императивное: достаем данные из базы, что-то с ними делаем, заливаем обратно в базу. функциональное: передаем данные от одной функции к другой. на c# я как раз делал императивное, вроде как. не совсем понятно, как реализовывается функциональное. то есть, если мы написали функцию для изменения данных в базе, то мы изменяем в ней данные напрямую, не сохраняя их в памяти и не выгружая обратно в базу?

Норм вопросы.

Очень много разных вопросов, тянет на трактат. Но по существу могу сказать следующее - лучше делай на C#

Да, если новичок в C#, то я не советую сразу начинать лезть и в F# тоже.

всех приветствую. я новичок. пишу модули для программы для гидравлического расчета водопроводных сетей на C#. специфика: модули пишутся как COM компонент (если имели дело с модулями для 1С, то там все очень похоже). часть задач связана с пользовательским интерфейсом. а часть задач - алгоритмы. наследование, инкапсуляцию и полиморфизм за год почти не использовал и только в общих чертах представляю, что это такое. в связи с этим у меня возникает вопрос: стоит ли мне часть модулей писать на F#? но для начала не могли бы вы мне помочь ответить на несколько вопросов: - удобно ли будет в visual studio комбинировать c# и f#? первое для интерфейса, второе - для алгоритмов. я вроде слышал, что их можно будет запихнуть в одно решение. - будет ли у меня преимущество по скорости, если некоторые алгоритмы я буду писать на f#, а не c#? - часть данных, для которых я пишу алгоритмы, находится в базе данных, а часть можно вытянуть через api программы, для которой я пишу модули. соответственно, как будет проходить обмен данными между частью на c# и f#? можно ли передать f# функции словарь из c#? - в одном видео видел различие между императивным и функциональным подходом к программированию. императивное: достаем данные из базы, что-то с ними делаем, заливаем обратно в базу. функциональное: передаем данные от одной функции к другой. на c# я как раз делал императивное, вроде как. не совсем понятно, как реализовывается функциональное. то есть, если мы написали функцию для изменения данных в базе, то мы изменяем в ней данные напрямую, не сохраняя их в памяти и не выгружая обратно в базу?

По существу: - да, в студии можно комбинировать проекты на C# и F#, получается достаточно удобно, особых недостатков такой схемы назвать не могу - разницы в скорости между грамотно написанным F#- и C#-кодом нет; но в среднем функционально ориентированный код на F# может отставать по всяким микрооптимизациям от C# - интероп между F# и C# работает отлично, можно передавать данные туда и сюда без проблем; точно так же можно лазить в базу и из F# - да, функциональное программирование существенно отличается от императивного, однако, в программе на F# тебя никто особо не заставляет на этом сосредотачиваться

спасибо, буду пока дальше все изучать.

Привет!!

https://twitter.com/MangelMaxime/status/1024317123605221376

Мощно

Интересно, жс подсасывает?

Интересно, жс подсасывает?

Жс вообще подсасывает сам по себе :)

Жс вообще подсасывает сам по себе :)

Ну это я в курсе

Но спрашивал я немного другое ?

https://twitter.com/MangelMaxime/status/1024317123605221376

часть пишет data-target="#navbarSupportedContent" aria-controls="navbarSupportedContent" HTMLAttr.Data ("target", "#navbarSupportedContent") HTMLAttr.Custom ("aria-controls", "navbarSupportedContent") часть aria-haspopup="true" aria-expanded="false" AriaHasPopup true AriaExpanded false

часть пишет data-target="#navbarSupportedContent" aria-controls="navbarSupportedContent" HTMLAttr.Data ("target", "#navbarSupportedContent") HTMLAttr.Custom ("aria-controls", "navbarSupportedContent") часть aria-haspopup="true" aria-expanded="false" AriaHasPopup true AriaExpanded false

Ну, оно и понятно — для некоторых атрибутов сделали поддержку, а для некоторых нет, и поэтому оно использует HTMLAttr.Custom.

> CLASSES FOR THE MANIACS: DEMYSTIFYING SRTP Ммм, все как мы любим.

> A JOURNEY IN CONTRIBUTING TO THE F# COMPILER

что с тобой?

Выбираю интересные доклады с предстоящего Open F#. https://www.openfsharp.org/agenda/conference/

Ну, в смысле, я туда не поеду.

Но есть доклады, которые я бы хотел посмотреть в записи.

> UKULELE TABS IN F# @Dolfik

> UKULELE TABS IN F# @Dolfik

Хах, забавно)

A Fun(ctional) music DSL - Domain Specific Languages - to compute Ukulele tabs from chords: Share the chords with Jérémie and he will show you where to place your fingers! With IRL ukulele songs.

а можно скормить ему ноты скрипки и получить автоматом приличные, играбельные табы для электрогитары?

> CLASSES FOR THE MANIACS: DEMYSTIFYING SRTP Ммм, все как мы любим.

Ок, вот это интересная тема.

https://twitter.com/kozy_kekyo/status/1024235449936576513?s=19

а можно скормить ему ноты скрипки и получить автоматом приличные, играбельные табы для электрогитары?

В общем случае аппликатуру после транспонирования придётся под себя подгонять. У струнно-смычковых более широкие позиции засчёт настройки по квинтам и переложение на гитару это всегда более частая смена позиций

okurwa, везде эти китайботы набегают

В общем случае аппликатуру после транспонирования придётся под себя подгонять. У струнно-смычковых более широкие позиции засчёт настройки по квинтам и переложение на гитару это всегда более частая смена позиций

я и спрашивал про подгон

может какая не в меру умная нейронка уже умеет

Кстати про конференции и доклады: в нам в Нск едет @VagifAbilov (https://gdg-siberia.com/speakers)

Кстати про конференции и доклады: в нам в Нск едет @VagifAbilov (https://gdg-siberia.com/speakers)

Темы докладов вообще отсутствуют или где-то спрятаны?

сам ищу

говорят, только в сентябре программа будет

Мой доклад будет тот же, что и на Dotnext двумя днями раньше - "Жизнь акторов в кластере". С примерами на F#.

? https://twitter.com/sforkmann/status/1024562547381489666

@sirarsalih What's the relevance of the car charging? Are you using F# to do it? ‏ @sforkmann Yes. For controlling charger and for billing.

? https://twitter.com/sforkmann/status/1024562547381489666

нормальные у них подвалы

basement это не совсем подвал.

Привет.

Привет.

Хай

let rule = fun (t : Type, o : obj) -> if typeof<'t>.IsAssignableFrom(t) then (fun o -> rule(o :?> 't)) |> Some else None Что здесь в конвертере не так?

let rule = fun (t : Type, o : obj) -> if typeof<'t>.IsAssignableFrom(t) then (fun o -> rule(o :?> 't)) |> Some else None Что здесь в конвертере не так?

Код невалидный, в нерекурсивном rule вызывается rule.

let rule1 = fun (t : Type, o : obj) -> if typeof<'t>.IsAssignableFrom(t) then (fun o -> rule(o :?> 't)) |> Some else None Что здесь в конвертере не так?

Пусть так - в глобал скопе есть rule

Он у меня вот сюда ворчит o :?> 't

Он у меня вот сюда ворчит o :?> 't

Ну, 't нигде нет.

Ну я б на элементарные вещи не велся ?: let addTypeRule<'t> pc (rule : TypedProducerCase<'t>) = let rule1 = fun (t : Type, o : obj) -> if typeof<'t>.IsAssignableFrom(t) then (fun o -> rule(o :?> 't)) |> Some else None addRuleUnsafe pc rule1

Ну я б на элементарные вещи не велся ?: let addTypeRule<'t> pc (rule : TypedProducerCase<'t>) = let rule1 = fun (t : Type, o : obj) -> if typeof<'t>.IsAssignableFrom(t) then (fun o -> rule(o :?> 't)) |> Some else None addRuleUnsafe pc rule1

Код надо сразу целиком выкладывать, здесь нет телепатов.

This runtime coersion or type test from type 'a to 't involves an underminate type based prior to this program point...

This runtime coersion or type test from type 'a to 't involves an underminate type based prior to this program point...

Попробуй боксинг.

Честно говоря, я ничего не понимаю в этом коде, то o — это аргумент rule1, то аргумент лямбды.

Вот тут точно клина словил, но помогло. Зачем object боксить? Он же вроде всегда забоксенный должен быть.

Вот тут точно клина словил, но помогло. Зачем object боксить? Он же вроде всегда забоксенный должен быть.

С чего ты решил, что o в лямбде — это obj?

o : obj

Я ж впрямую типы в аргументах прописал

Читаем внимательно.

Честно говоря, я ничего не понимаю в этом коде, то o — это аргумент rule1, то аргумент лямбды.

Я ж впрямую типы в аргументах прописал

Ты же этот o взял и в лямбде переопределил,