мб не кидали еще, пишут добавили веб кор темплейт

мб не кидали еще, пишут добавили веб кор темплейт

Ага. И кажется, не тот, который ждали в сообществе — без Giraffe.

Ага. И кажется, не тот, который ждали в сообществе — без Giraffe.

надо кстати проверить потом, фиксанули ли они мой ишуй с разором

Коллеги, есть вопрос, как правильно организовать структуру данных

Коллеги, есть вопрос, как правильно организовать структуру данных

Контекст

Контекст - чтение данных из потока

В ответ на запрос

В сообщении есть заголовок

И доп данные

Которых может не быть, если в резалте хедера приехала ошибка

Так вот

В какую бы это структуру данных все завернуть, чтобы нормально с интеропом жило?

Мало контекста)

Ща

https://sharplab.io/#v2:DYLgZgzgNAJiDUAfA9gBwKYDsAEBlAnhAC7oC2AsAFBH4bYBK6EqymE6AEugIYzoBOAXgDeuAK4BjCUwggARsmTAAvlRp0AsjO4BzdI2at2AHgDk3AHwiuvASAMs2nHn34BuACLci3EOeVAA

ВОт пока примерно так

Для интеропа проще всего заюзать нулл.

Всякие там Option в интеропе выглядят уже не очень красиво.

Ну вот вопрос в том, как его зающать

Но можно и их, если хочешь.

Если я ожидаю int64, например

В 'a

Я вот, например, нормальненько написал самодельный Result в сишарповой проге и везде юзаю.

Или кастомную структуру данных, но что-то пошло не так

Если я ожидаю int64, например

Ок, то есть ты хочешь какой-то контейнер, в который бы влазили и ref, и value type?

Ок, то есть ты хочешь какой-то контейнер, в который бы влазили и ref, и value type?

Бинго

Option понемногу становится более привлекательным :)

Или Either

Но у меня есть интероп :)

В целом, конечно, можно Option.toNullable попробовать

Если не хочешь FSharp.Core наружу выставлять — можешь определить свою версию опшена.

Но тут тоже много вопросов

Но у меня есть интероп :)

А ты посмотри, как получится. Совсем неудобный интероп?

Мне пока просто не хочется wpf часть на f# переписывать, хотя, чую, придется :)

Выкрутился я с интеропом в итоге

НО хитро

Ок, то есть ты хочешь какой-то контейнер, в который бы влазили и ref, и value type?

Мне пришлось гибрида сделать, иначе на ссылочных типах оверхед выпирал

https://sharplab.io/#v2:DYLgZgzgNAJiDUAfA9gBwKYDsAEBlAnhAC7oC2AsAFBH4bYBK6EqymE6AEugIYzoBOAXgDeuAK4BjCUwggARsmTAAvlRp0AItyLcN6YOgDm29AB4A5NwB82Qdj4HjJbMjDYxmAJZEAtFctqtOjYALIy3IbojMys7BbW2J6YJPyY3MDYABQAFjx8/LAgWjp6jibxVgCUdlTYpGRyAthE2Z4QAHQAkhAAoqSoNHYwgphiwMC19aSN/M2tHVy8AoK5S/yTDU0tbe3F3NgA7t7Z2JFEmdWk2hInMIfH2LXYzy+vb+8fz4ij43783G1gplOpgAG7pTwwADyGH+RE8rB6AA9pAMEZgLpUnp8cbivki/EiumDkABrdAXJ61IA==

Ну я эксепшном обошелся

а если 'a будет Nullable<int> ?

Ну я эксепшном обошелся

А можно было структуру NotNull<T> наваять

а если 'a будет Nullable<int> ?

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

Там в общем-то дерево примитивов обычно

А можно было структуру NotNull<T> наваять

Ну не знаю. Там какие-то пляски с рефлекшном

https://sharplab.io/#v2:DYLgZgzgNAJiDUAfA9gBwKYDsAEBlAnhAC7oC2AsAFBH4bYBK6EqymE6AEugIYzoBOAXgDeuAK4BjCUwggARsmTAAvlRp0AItyLcN6YOgDm29AB4A5NwB82Qdj4HjJbMjDYxmAJZEAtFctqtOjYALIy3IbojMys7BbW2J6YJPyY3MDYABQAFjx8/LAgWjp6jibxVgCUdlTYpGRyAthE2Z4QAHQAkhAAoqSoNHYwgphiwMC19aSN/M2tHVy8AoK5S/yTDU0tbe3F3NgA7t7Z2JFEmdWk2hInMIfH2LXYzy+vb+8fz4ij43783G1gplOpgAG7pTwwADyGH+RE8rB6AA9pAMEZgLpUnp8cbivki/EiumDkABrdAXJ61IA==

Следом ты захочешь Map!

А мб даже и Bind.

Но их можно экстеншенами сделать, чтобы тип не засорять.

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

у меня просто сейчас интероп с джавой, они это легко делают)

Ну в джаве erasure types

У меня джава на той стороне протокола

Мне пока просто не хочется wpf часть на f# переписывать, хотя, чую, придется :)

Я когда с проблемой интеропа и Option столкнулся, наружу выкинул функцию getValueOrDefault. И со стороны сишарпа добавил просто обертку над тем, что из фшарпа приходит. На мой вкус приятней, чем пляски с делегатами и исключениями

Я когда с проблемой интеропа и Option столкнулся, наружу выкинул функцию getValueOrDefault. И со стороны сишарпа добавил просто обертку над тем, что из фшарпа приходит. На мой вкус приятней, чем пляски с делегатами и исключениями

Возможно. Я пока в начале обдумывания грамотного интеропа.Горжусь только билдерами для бинарного протокола :)

Кстати, мб стоит посмотреть на какую-то либо специально для склейки f# с c#?

А у нас такие есть?

Если ее нет, то можно написать, чтоб покрывала основные кейсы

Я не припомню, кроме либы с тасками

Если ее нет, то можно написать, чтоб покрывала основные кейсы

А что за кейсы-то?

Если ее нет, то можно написать, чтоб покрывала основные кейсы

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

https://pblasucci.wordpress.com/2016/12/30/betterapi/

Хорошая статья.

Там проблема не в том, чтобы выставлять

А в том, как обыграть присутствие\отсутствие данных в зависимости от хедера

https://fsharp.org/specs/component-design-guidelines/#5-guidelines-for-libraries-for-use-from-other-net-languages

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

да, и часто это бойлерплейт код

Блин, для начала было бы неплохо понять, с чем мы интеропимся.

Я сначала думал, что речь по C#. Но потом:

У меня джава на той стороне протокола

Запутался, короче. :)

На этой стороне у меня c# + f#

Серверная часть на яве

Шо тут непонятного? :)

И в каком месте ты решаешь свою проблему?

На клиентской стороне, естественно

На стыке C# и F#? В какую сторону?

В сторону c#

В общем, там данные опционально приезжают

В зависимости от прочитанного флага

Вот и думай, как делать

Чтобы без особых приседаний

Чтобы без особых приседаний

Я думаю, что getValueOrDefault лучше, чем исключение. Или даже эмуляция Match.

Я думаю, что getValueOrDefault лучше, чем исключение. Или даже эмуляция Match.

Ну на исключение я ж еще гварда навесил типа IsEmpty

Ну на исключение я ж еще гварда навесил типа IsEmpty

Надежно, как швейцарский нож.

Ну да, если флаг не проверил, сам себе злобный буратино

Привет.

Сделал в итоге в TryGet стилистике

В общем, там данные опционально приезжают

зачем они вообще в с# приезжают? тайппровайдеры же для этого

зачем они вообще в с# приезжают? тайппровайдеры же для этого

Не,тайп провайдер тут не зайдет

Потому как сильно кастомный бинарный протокол

тем более. парсеры на f# всяко приятнее писать

тем более. парсеры на f# всяко приятнее писать

Уже

https://github.com/fsharp/fslang-design/issues/230#issuecomment-388408972

Хорошо, сегодня пятница, можно обсудить бесполезные компиляторые идеи. :)

Как думаете, был бы интересен типизированный format placeholder для printf? Аналог %A или %O, но с указанием любого типа.

Это как, например?

Как думаете, был бы интересен типизированный format placeholder для printf? Аналог %A или %O, но с указанием любого типа.

Если под printf подразумевается вообще весь класс подобных функций, то мне бы зашло.

Да. Я про правила превращения строк в PrintfFormat.