169 похожих чатов

@Vl_za ты как-то упоминал здесь идею сделать варнинги на доступ

к option.Value без проверок дополнительных. Я скептически отнёсся, потому что казалось, что простым анализом тут не отделаешься. Нашёл пример, как тут быть?
let values: int option[] = getArray()
let somes, nones = values |> Array.partition _.IsSome
somes |> Seq.map (fun s -> s.Value) // using somes
... // using nones
Предпоследняя строка, очевидно, безопасна, варнинга быть не должно, но для этого понадобится сложный трекинг по аналогии с NRT? Можно как-то проще и лучше написать?

10 ответов

47 просмотров

Никак не оттречишь в любом случае, т.к. ты можешь зашадовить array.filter

Ayrat Hudaygulov
Никак не оттречишь в любом случае, т.к. ты можешь ...

Можно чекнуть, оригинальный ли это Array.partition

Alex Berezhnykh
Из FSharp.Core 😁

Из какого? Я могу пакадж так же назвать

Vlæd Zá
Из какого? Я могу пакадж так же назвать

Назвался груздем — полезай в кузов.

Vlæd Zá
Из какого? Я могу пакадж так же назвать

Надо еще проверить полное квалифицированное имя, возможную подпись и группу крови последнего комиттера на гитхабе.

Какой-то странный код. Тот же результат через Array.choose получется, если через сайд эффект в nodes : int наинкрементить количество встреченных none.

Ilya-L Автор вопроса
Klei
Какой-то странный код. Тот же результат через Arra...

Я слишком упростил. В реальности там не просто option, а тупл string * option. То есть количества None не хватит.

Ilya L
Я слишком упростил. В реальности там не просто opt...

В таких случаях если прям очень напрягает, то я пилю собственную рекурсивную функцию прямо в этом месте. Но скорее всего прокатит Array.choose с сайд эффектом в виде укладки строк в ResizeArray.

Похожие вопросы

Обсуждают сегодня

@MrMiscipitlick А можешь макрос написать, который будет вычислять смещение относительно переданных меток? Просто .label1-.label2, и вернуть значение.
КТ315
35
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
Подобного рода ;Следующие три строки это директивы ассемблера, ;которые можно не задавать, т.к.работаем в Visual Studio. ;Символ ";" - это начало однострочного комментария ...
Егор Анелькин
3
Привет всем. появился вопрос. Разрабатываю сайт, в данный момент он запущен. Хостинг beget. Добавляю на сайт яндекс метрику с помощью полей client-settings (взято отсюда http...
Andrew
2
Кто-нибудь знает почему SPM клонирует репо целиком? Некоторые репы просто огромные, как та же swift-syntax которая нужна для использования макросов. Сначала подумал, что это...
iMike
6
Подскажите, где смотреть результат выполнения программы? Код: ;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, станда...
Егор Анелькин
5
Привет. Я верно понимаю, что в определении класса Монад m — зафиксирован (к тому же поскольку это моноид в категории эндофункторов). Т.е. используя байнд я не могу перемещать...
Arseny
5
еще вопрос, допустим мы создадим char массив из 10 элементов и присвоим ему через сканф 10 символов. и выведем все символы. Хотел спросить последний элемент /0 будет включать...
Anthem
11
;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, стандартный ;вызов процедуры ;option casemap:no...
Егор Анелькин
1
Карта сайта