كيفية تسطيح قائمة الخيارات باستخدام وظائف الترتيب العالي؟

Question

باستخدام Scala 2.7.7:

إذا كان لدي قائمة بالخيارات ، فيمكنني تسطيحها باستخدام تفريغ:

val listOfOptions = List(None, Some("hi"), None)
listOfOptions: List[Option[java.lang.String]] = List(None, Some(hi), None)

scala> for (opt <- listOfOptions; string <- opt) yield string
res0: List[java.lang.String] = List(hi)

لا أحب هذا النمط ، وأفضل استخدام HOF. هذه المحاولة مطوّلة للغاية بحيث لا تكون مقبولة:

scala> listOfOptions.flatMap(opt => if (opt.isDefined) Some(opt.get) else None)
res1: List[java.lang.String] = List(hi)

بشكل حدسي كنت أتوقع أن يعمل ما يلي ، لكنه لا:

scala> List.flatten(listOfOptions)
<console>:6: error: type mismatch;
 found   : List[Option[java.lang.String]]
 required: List[List[?]]
       List.flatten(listOfOptions)

حتى ما يلي يبدو أنه يجب أن يعمل ، لكن لا:

scala> listOfOptions.flatMap(_: Option[String])
<console>:6: error: type mismatch;
 found   : Option[String]
 required: (Option[java.lang.String]) => Iterable[?]
       listOfOptions.flatMap(_: Option[String])
                          ^

أفضل ما يمكنني التوصل إليه هو:

scala> listOfOptions.flatMap(_.toList)         
res2: List[java.lang.String] = List(hi)

... لكنني أفضل ألا أضطر إلى تحويل الخيار إلى قائمة. هذا يبدو عاشق.

اي نصيحه؟

Answer 1

في Scala 2.8 ، ستعمل Flatten:

Welcome to Scala version 2.8.0.RC2 (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_20).
Type in expressions to have them evaluated.
Type :help for more information.

scala> val listOfOptions = List(None, Some("hi"), None)
listOfOptions: List[Option[java.lang.String]] = List(None, Some(hi), None)

scala> listOfOptions flatten
res0: List[java.lang.String] = List(hi)

هذا لا يعمل في 2.7.7 ، ولكن:

Welcome to Scala version 2.7.7.final (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_20).

scala> val listOfOptions = List(None, Some("hi"), None)
listOfOptions: List[Option[java.lang.String]] = List(None, Some(hi), None)

scala> listOfOptions.flatten
:6: error: no implicit argument matching parameter type (Option[java.lang.String]) => Iterable[Nothing] was found.
       listOfOptions.flatten

تمت إعادة تصميم مكتبة المجموعات ، وقد تحسنت كثيرًا في 2.8 ، لذلك ربما ترغب في محاولة استخدام أحدث RC Scala 2.8 ومعرفة ما إذا كان ذلك يجعل الأمر أكثر سهولة في الاستخدام.

إذا كنت لا ترغب حقًا في استخدام طريقة tolist ، أعتقد أنه يمكنك أيضًا كتابتها مثل هذا:

scala> listOfOptions.flatMap(o => o)
res: List[java.lang.String] = List(hi)

كما أنه ليس شيئًا من الجمال ، ولكن على الأقل هذا يعمل في 2.7.7.

Answer 2

لاستكمال إجابة Arjan ، في Scala 2.7.7 يمكنك استخدام List#flatten, ، لكنك تحتاج إلى مساعدة نوع الاستدلال:

Welcome to Scala version 2.7.7.final (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_20).
Type in expressions to have them evaluated.
Type :help for more information.

scala> val listOfOptions = List(None, Some("hi"), None)
listOfOptions: List[Option[java.lang.String]] = List(None, Some(hi), None)

scala> listOfOptions.flatten[String]                   
res0: List[String] = List(hi)

scala> val x: List[String] = listOfOptions.flatten
x: List[String] = List(hi)