9
Próbuję przepisać niektóre algorytmy Haskella w projekcie Perły funkcjonalnego algorytmu Richarda Birda przy użyciu F # i uzyskać wyjątek NullReferenceException, którego nie rozumiem.Nieoczekiwany wyjątek NullReferenceException w algorytmie F #
Algorytm Haskell:
unmerges :: [a] -> [([a], [a])]
unmerges [x,y] = [([x], [y]), ([y], [x])]
unmerges (x:xs) = [([x], xs), (xs, [x])] ++
concatMap (add x) (unmerges xs)
where add x (ys, zs) = [(x:ys, zs), (ys, x:zs)]
... który działa zgodnie z oczekiwaniami:
*Main> unmerges [1,2]
[([1],[2]),([2],[1])]
*Main> unmerges [1,2,3]
[([1],[2,3]),([2,3],[1]),([1,2],[3]),([2],[1,3]),([1,3],[2]),([3],[1,2])]
Moja wersja F #:
let concatMap f m = List.map (fun x -> f x) m |> List.concat
let rec unmerges (ints: 'a list) : ('a list * 'a list) list =
match ints with
| [] -> []
| [x; y] -> [([x], [y]); ([y], [x])]
| x :: xs -> [([x], xs); (xs, [x])] @
(let add x (ys, zs) = [(x::ys, zs); (ys, x::zs)] in
concatMap (add x) (unmerges xs))
... który działa dobrze do dopasowania lista dwóch elementów, ale zgłasza błąd podczas dopasowywania dłuższego wzorca listy:
> unmerges [1;2];;
val it : (int list * int list) list = [([1], [2]); ([2], [1])]
> unmerges [1;2;3];;
System.NullReferenceException: Object reference not set to an instance of an object
at Microsoft.FSharp.Core.Operators.op_Append[Tuple`2] (Microsoft.FSharp.Collections.FSharpList`1 list1, Microsoft.FSharp.Collections.FSharpList`1 list2) [0x00000] in <filename unknown>:0
at Microsoft.FSharp.Primitives.Basics.List.concat[Tuple`2] (IEnumerable`1 l) [0x00000] in <filename unknown>:0
at Microsoft.FSharp.Collections.ListModule.Concat[Tuple`2] (IEnumerable`1 lists) [0x00000] in <filename unknown>:0
at FSI_0055.concatMap[Tuple`2,Tuple`2] (Microsoft.FSharp.Core.FSharpFunc`2 f, Microsoft.FSharp.Collections.FSharpList`1 m) [0x00000] in <filename unknown>:0
at FSI_0055.unmerges[Int32] (Microsoft.FSharp.Collections.FSharpList`1 ints) [0x00000] in <filename unknown>:0
at <StartupCode$FSI_0057>[email protected]() [0x00000] in <filename unknown>:0
at (wrapper managed-to-native) System.Reflection.MonoMethod:InternalInvoke (System.Reflection.MonoMethod,object,object[],System.Exception&)
at System.Reflection.MonoMethod.Invoke (System.Object obj, BindingFlags invokeAttr, System.Reflection.Binder binder, System.Object[] parameters, System.Globalization.CultureInfo culture) [0x00000] in <filename unknown>:0
Stopped due to error
Próbowałem osobno definiować add i nie podświetlałem żadnych problemów. Doceniam wszelkie spostrzeżenia dotyczące wyjątków i/lub sugestii dotyczących debugowania.
Ponadto, wydaje mi się, że może to być problem Mono - czy ktoś mógłby uruchomić powyższe w Visual F #? – THK
Bez znajomości L # F, mogę ci tylko dać kontrolę nad zdrowiem. Wydaje mi się, że twój algorytm pasuje do podanego algorytmu Haskell. – crockeea
@THK: FYI twój F # port działa w systemie Windows zgodnie z oczekiwaniami bez problemów. –