Даже если указать, то ругается, потому что у Equal тип ((obj * obj) * (obj * obj) -> bool)

а зачем ты Equal в интерфейс внес?

напиши в реализации override

вдруг поможет

Не поможет

Так у меня же там abstract

Так у меня же там abstract

ладно, вернуьс к компу попробую.

Видимо типы вывести не может

Так работает

type MyType() = member A : string with get and set interface IA with member SayIA()

А можно ли в реализации интерфейса объявлять поля, которых в интерфейсе нет?

☝

А type в другом type нельзя объявлять, да?

Низя

Эх

Тут концепция компиляции другая

Чем в c#

Я не знаю c# :)

А что знаешь?

Я пытаюсь со стороны OCaml зайти

В ocaml порядок файлов важен?

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

Ну ты скажи, чего хочешь добиться

На уровне типов

Если ты про 'a view - это тебе надо discriminated union

Вообще, в чат надо призвать @gsomix

Он Окамл вроде знает

Я пытаюсь заменить модуль-сигнатуру типом-интерфейсом. В нем нельзя объявить новый type, а нужно, это как раз 'a view.

Еще раз

@welltyped Да, придется перепроектировать.

Эх, на Appveyor до сих пор F# 4.0 вместо 4.1.

@fvnever Разве?

Я помню, что в Travis был 4.0, а appveyor норм.

А щас наоборот :)

https://github.com/ForNeVeR/1969/pull/13

Вон там апвеёр падает, потому что не может распарсить [<Struct>].

Я вообще-то даже не собирался использовать 4.1. Но я человек простой: вижу структуру — леплю на неё [<Struct>].

Странно.

Починилось вот таким коммитом: https://github.com/ForNeVeR/1969/pull/13/commits/5d66b7ce99db933eec7b23afd934fd048db2b722

@fvnever Ну конечно!

Вообще, для портабельности надо будет из нугета компилятор присобачить. Кто-нибудь разбирался, как это правильно делается?

@fvnever Посмотри skalarprodukt.

А мы там прям компилятор припёрли?

Я делал для Travis.

Хм, похоже, что там просто paket add nuget FSharp.Compiler.Tools version 4.1.0, а дальше оно само. Поразительно.

@fvnever Нет, это не все.

Я еще прописывал пути до targets в проекте.

Ещё раз спрошу :3 Может подкините идею удобного DSL для телеграм библиотеки?

Ещё раз спрошу :3 Может подкините идею удобного DSL для телеграм библиотеки?

А твоя либа вообще уже работает? Просто нам же всё равно надо было бота для чатика делать. Так, может, заодно её поюзаем и придём к выводам, что и как лучше переделать, чтоб было удобно.

@fvnever Нет, это не все.

Аха, соль вот тут: https://github.com/ForNeVeR/skalarprodukt/pull/26/files#diff-27ebce35e624ce2098a4da8dd9c1ce83R46

А твоя либа вообще уже работает? Просто нам же всё равно надо было бота для чатика делать. Так, может, заодно её поюзаем и придём к выводам, что и как лучше переделать, чтоб было удобно.

Частично работает. Есть проблема с сериализацией/десериализицией DU

https://pragprog.com/book/swdddf/domain-modeling-made-functional

Смотрите, что пишут.

В Newtonsoft.Json кстати есть конвертер DU, но он не работает так, как надо

Может я просто не правильно делаю, и в моём случае не нужен DU?

https://pragprog.com/book/swdddf/domain-modeling-made-functional

ого. Круто

Пропустил дискач по DI, но все же, как в фп решается вопрос 9000 зависимостей, которые в отсутствии конструктора должны быть параметрами функции? Плюс, это что же, ручками прокидывать все зависимости сквозь слои функций?

Пропустил дискач по DI, но все же, как в фп решается вопрос 9000 зависимостей, которые в отсутствии конструктора должны быть параметрами функции? Плюс, это что же, ручками прокидывать все зависимости сквозь слои функций?

Чувак меняй мышление. На тебе на разогрев https://youtu.be/Bn132AtZLhc классику ??

Громко орал когда смотрел этот видос

Хороший стендапер И доклады познавательные

Ну так то да, я на шарпе в основном пишу, пока слабо представляю архитектуру фп программы.

Хороший стендапер И доклады познавательные

У него ещё несколько есть по f#, вроде годные. Надо бы его в наш чатик добавь ?

Чувак меняй мышление. На тебе на разогрев https://youtu.be/Bn132AtZLhc классику ??

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

Valentine Привет!

Добрый вечер!

Добрый

Добрый вечер!

Привет! Оперативно ты :)

А как строка называется с тремя кавычками?

экранированная кавычка? )

triple-quoted string/трёхкавычечная строка?

Меня интересует в общем как разрулить такой случай: let value = """ some "string""""

Ну кроме тупого: let value = """ some "string""" + "\""

Меня интересует в общем как разрулить такой случай: let value = """ some "string""""

Ну let value = """ some "string" """ работает (пробел перед """)

Ну let value = """ some "string" """ работает (пробел перед """)

Нужно именно без пробела

а что в value записаться должно? " some "string""?

а что в value записаться должно? " some "string""?

some "string"

Обычные строки с экранированием кавычек не очень подходят?

let value = @" some ""string""" я бы так писал

А то с трёхкавычечными действительно не очень работает

Интересует именно возможность сделать с тремя кавычками такой финт :)

Оно того стоит?)

Тем более ясно, что просто так вот не работает. А какой-то другой вариант навряд ли уже будет лучше экранирования кавычки будь то слэшем, будь то кавычкой.

Просто спортивный интерес :)

Разве что пробел или перенос строки.

Ну или ещё что

Получилось конвертер сделать для DU, но пока работает только сериализация

Десериализовать хз как, главная сложность в том, чтобы определить какой из кейсов DU подходит под json

let value = @" some ""string""" я бы так писал

Эта "фича" дотнета оч сильно меня взрывает

Ужасное коверканье строковых литералов В кошмарах снится, кто вообще такое придумал

Меня интересует в общем как разрулить такой случай: let value = """ some "string""""

Пробел поставь Что блин опять за странности """ так "работает" """ """ так не "работает"""" Там issue открытой на гите с этим случайно нет? (поискал, нет) Очень странное поведение, если это фича, то это костыль, а не фича.

Поставь себя на место парсера! Как рассмативать """"? Как "(""") или как (""")"? А может быть, вообще как ("")("")?

Досматривать до конца. У парсера питона с этим проблем нет, так почему у фшарпа они должны быть?

А, нет, у питона та же проблема.

Потому что F# — не Python? ?

Я даже не стал проверять, ага ?