я еще на самом деле не знаю, что #имя_типа значит и Func<_>, сегодня наткнулся случайно

#имя_типа https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/flexible-types

я еще на самом деле не знаю, что #имя_типа значит и Func<_>, сегодня наткнулся случайно

А второе в каком контексте?

А второе в каком контексте?

let func = Func<_>(fun () -> 42) - это мы вывод типов отдаем компилятору?

let func = Func<_>(fun () -> 42) - это мы вывод типов отдаем компилятору?

Да, в некоторых случаях можно не указывать дженерик параметр.

Иногда можно и <_> опустить, вроде (не знаю, можно ли в случае Func).

В случае конструктора/функции я имею в виду

#имя_типа https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/flexible-types

они про контрвариантность? если я правильно понял

запомню этот день - не пришло и 15 лет как в ,net сообществе кто-то озаботился сделать UTF8 апи. лёд тронулся, господа! ну оверхэд на UTF16 -> UTF8 всё равно ни кто не отменял

Оверхед отменят. Почти точно будет нативный Utf8String и, может, даже CompressedStrings а-ля HotSpot подвезут.

вообще конечно UTF16 - это диагноз под названием "из винды мне ходу нет"

Java живёт же как-то.

Прошло больше недели - никакой реакции, блэд. Резюме: как-то вяло, наверное все в elmish играются

Попинай в твитор.

Иногда можно и <_> опустить, вроде (не знаю, можно ли в случае Func).

Моя интуиция говорит, что его можно опускать всегда, кроме - определений generic-функций (и то не всегда) - конструкторов делегатов

Оверхед отменят. Почти точно будет нативный Utf8String и, может, даже CompressedStrings а-ля HotSpot подвезут.

откуда такая инфа?)

откуда такая инфа?)

Из corefxlab. Пакет сейчас называется System.Text.Primitives.

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

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

согласно бенчмаркам для типичных задач по перекладыванию хмл в жсон - раза эдак в полтора быстрее быстрее при переходе с UTF16 на UTF8

Не сомневаюсь.

Java живёт же как-то.

джаве в своё время простили всё за освобождение от С++. utf16 - это ещё мелочи

Нужен совет по концептуальному вопросу: Для работы консольной проги мне нужно получить некоторые данные из консоли, это примерно 5-10 чтений разных данных, которые парсятся в опциональные типы. Потом из этих отдельных штук надо собрать финальное состояние "мира" с которым работать дальше. Получается или triangle of doom вложенных паттернов или ифов, или же надо как-то частично заполненный стейт передавать в функцию, которая читает следующие данные (для композиции этого всего в Railway-oriented-вид)

Нужен совет по концептуальному вопросу: Для работы консольной проги мне нужно получить некоторые данные из консоли, это примерно 5-10 чтений разных данных, которые парсятся в опциональные типы. Потом из этих отдельных штук надо собрать финальное состояние "мира" с которым работать дальше. Получается или triangle of doom вложенных паттернов или ифов, или же надо как-то частично заполненный стейт передавать в функцию, которая читает следующие данные (для композиции этого всего в Railway-oriented-вид)

Второй вариант мне нравится. А в чем вопрос?

В хаскеле есть монадка для этого :)

Неужели нет оператора, который такое чейнит?

В хаскеле есть монадка для этого :)

Как называется?

В хаскеле то? Maybe :)

do x <- smthFailable y <- smthFailable2 doSomeFailableWith x y типа такого

А, я думаю тут это не совсем подойдёт

В f# из коробки нет, но можно легко написать простой билдер

Есть ещё стрелка Клейсли

>=> - композит две функции, которые возвращают опшнл, в одну, которая вернёт опшнл

Ну вот мне кажется комбинация функций через оператор клейсли здесь подойдёт лучше

https://twitter.com/kot_2010/status/913815661247385600

Василия, кажется, заставляют на Fable что-то писать.

Второй вариант мне нравится. А в чем вопрос?

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

Нужен совет по концептуальному вопросу: Для работы консольной проги мне нужно получить некоторые данные из консоли, это примерно 5-10 чтений разных данных, которые парсятся в опциональные типы. Потом из этих отдельных штук надо собрать финальное состояние "мира" с которым работать дальше. Получается или triangle of doom вложенных паттернов или ифов, или же надо как-то частично заполненный стейт передавать в функцию, которая читает следующие данные (для композиции этого всего в Railway-oriented-вид)

конечный автомат обыкновенный. стесняюсь спросить - какую задачу решает Railway-oriented-вид? этот термин я не встречал ни в одной из теорий, касаемых конечных автоматов

конечный автомат обыкновенный. стесняюсь спросить - какую задачу решает Railway-oriented-вид? этот термин я не встречал ни в одной из теорий, касаемых конечных автоматов

Ищи rop на fffap

Ищи rop на fffap

как мне сие понимать?)

как мне сие понимать?)

RailwayOrientedProgramming на FsharpForFunAndPrifit

Найс сократил

Удобно же.

А как ещё сократить?)

чтобы понели с первого раза тока Избранные)

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

просто задача слишком абстрактно сформулирована

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

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

если последнее - то в какой категории эта алгебра будет жить

а rail или не rail way - как-то вторично. это всего лишь шугар над вызовом функций

Немного оффтопа про имплиситы в OCaml, довольно интересно. http://tycon.github.io/modular-implicits.html

Немного оффтопа про имплиситы в OCaml, довольно интересно. http://tycon.github.io/modular-implicits.html

окамл излишне многословен что-то для ml языка, reasonML как-то в компактнее кажется

Интересно как такие имплиситы бы выглядели в reasonML

Интересно как такие имплиситы бы выглядели в reasonML

Так же? :)

Так же? :)

https://reasonml.github.io/reason-tools/popup.html#ICBtb2R1bGUgSW50VDEgOiAoVDEgd2l0aCB0eXBlIGEgPSBpbnQpID0gc3RydWN0CiAgICB0eXBlIGEgPSBpbnQKICAgIGxldCB0b19zdHJpbmcgPSBzdHJpbmdfb2ZfaW50CiAgICBsZXQgZWcgPSAwCiAgZW5kCigqIG1vZHVsZSBJbnRUMSA6IHNpZyB0eXBlIGEgPSBpbnQgdmFsIHRvX3N0cmluZyA6IGEgLT4gc3RyaW5nIGVuZCAqKQoKICBtb2R1bGUgQm9vbFQxIDogKFQxIHdpdGggdHlwZSBhID0gYm9vbCkgPSBzdHJ1Y3QKICAgIHR5cGUgYSA9IGJvb2wKICAgIGxldCB0b19zdHJpbmcgPSBzdHJpbmdfb2ZfYm9vbAogICAgbGV0IGVnID0gZmFsc2UKICBlbmQg ну не совсем.

Скобочек поменьше. :)

Да. Это важно для языка без скобочек)

ML let i = (module IntT1: T1) let b = (module BoolT1: T1) в ReasonML let i: (module T1) = (module IntT1); let b: (module T1) = (module BoolT1);

ML let i = (module IntT1: T1) let b = (module BoolT1: T1) в ReasonML let i: (module T1) = (module IntT1); let b: (module T1) = (module BoolT1);

иногда и скобочек больше.

> k_cieslak > Fable Conf talks were recorded, not online yet > no idea about OpenF# ?

Как в F# деконстрактнуть struct tuple?

let struct (a, b) = t

let struct (a, b) = t

Не компилируется!

Не компилируется!

Без сообщения об ошибке не принимается!

https://sharplab.io/#v2:DYLgZgzgPsCmAuACJBeRF4CcCuBjJAFAAwA0iRAlALABQcSGO+iBAhmQEYWJrxA=

https://sharplab.io/#v2:DYLgZgzgPsCmAuACJBeRF4CcCuBjJAFAAwA0iRAlALABQcSGO+iBAhmQEYWJrxA=

А вот так компилируется!

А почему в F# нет перегрузок функций?

let also f x = f x; x let also f x y = y |> x |> f; y Ну неужели неудобно бы было :(

И какой бы тип был у такой функции?

ERROR: S client not available

И самое главное, как узнать, какой из типов взять?

И какой бы тип был у такой функции?

Разные типы у разных перегрузок.

И самое главное, как узнать, какой из типов взять?

Из контекста?

Ведь вызов с одним аргументом корректен для обеих функций

Ведь вызов с одним аргументом корректен для обеих функций

? понятно

Из контекста?

А если контекст неоднозначный?

Окей, а есть ли какой-нибудь способ загнать в одну функцию N функций и по очереди их выполнить?

Список функций + свёртка

А почему в F# нет перегрузок функций?

потому что перегрузки функций - это один из самых тяжких грехов

потому что перегрузки функций - это один из самых тяжких грехов

А возможен ли он вообще? Как отличить перегрузку от частичного применения?

в ML - нет конечно

@worldbeater вот

Кстати, в Эрланге есть перегрузка по кол-ву аргументов. Но там аность функции - часть её имени, поэтому foo/1 и foo/2 - разные функции :) Даже публичность таких функций может быть разной. Типичное применение - публичная функция, которая под капотом вызывает "себя же", но с дополнительным параметром, скажем, с аккумулятором

В общем интероп из F# с C# это когда ты очень себя не любишь (надо было всю логику на F# писать)

Assert?

Assert?

Нет, вот этот идиотизм с struct, потом из struct параметр

Оно кортеж возвращает? Сорян, struct не знаю

?

Раньше там было просто |> await |> List.ofSeq или типа такого, но API поменялсь и с вальютуплями какая-то ересь началась

Раньше там было просто |> await |> List.ofSeq или типа такого, но API поменялсь и с вальютуплями какая-то ересь началась

Напиши fst и snd для struct кортежей.

А так нельзя разве: let a, b = service...

А так нельзя разве: let a, b = service...

Должно быть можно. Почему нет?

Я просто хз что за struct

let _, b = service.GetAsync() |> await let feed = b |> List.ofSeq

Напиши fst и snd для struct кортежей.

Да, хорошее решение. Правда неясно, почему этого нет в стандартной библиотеке

Да, хорошее решение. Правда неясно, почему этого нет в стандартной библиотеке

Мы только вчера-сегодня этот вопрос обсуждали с @fvnever.

Я хочу написать предложение, но еще не продумал полностью.

Что там обсуждать, однозначно добавлять надо. Последнее время взрываюсь, как за тесты на F# сажусь; так как API на C# начало пестрить ParamArray и ValueTuple

А там два варианта.

Или добавить новые функции для struct tuple. Какие названия?

Или нужен какой-то полиморфизм организовать для struct/не-struct.