к 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? Можно как-то проще и лучше написать?
                  
                  
                
Никак не оттречишь в любом случае, т.к. ты можешь зашадовить array.filter
Можно чекнуть, оригинальный ли это Array.partition
Define оригинальный
Из FSharp.Core 😁
Из какого? Я могу пакадж так же назвать
Назвался груздем — полезай в кузов.
Надо еще проверить полное квалифицированное имя, возможную подпись и группу крови последнего комиттера на гитхабе.
Какой-то странный код. Тот же результат через Array.choose получется, если через сайд эффект в nodes : int наинкрементить количество встреченных none.
 Ilya
                          L
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                      
                      
                        
                          Ilya
                          L
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                    
                    
                  Я слишком упростил. В реальности там не просто option, а тупл string * option. То есть количества None не хватит.
В таких случаях если прям очень напрягает, то я пилю собственную рекурсивную функцию прямо в этом месте. Но скорее всего прокатит Array.choose с сайд эффектом в виде укладки строк в ResizeArray.
Обсуждают сегодня