Я использовал Scrap Your Boilerplate и Uniplate library на языке программирования Haskell, и я бы нашел, что форма общего программирования через дискриминационные союзы действительно полезны. Существует ли эквивалентная библиотека на языке программирования f #?
Ломайте свою котельную в f #
Ответ 1
Не то, чтобы я знал; без поддержки, встроенной в язык/компилятор, я ожидаю, что единственной альтернативой будет версия на основе отражения. (Я не знаю, как Uniplate реализовано - вы?)
Здесь приведен код для версии на основе отражения, основанный на примере из оригинальной презентации. Я не думал глубоко о его ограничениях, но это было намного проще писать, чем я бы догадался.
type Company = C of Dept list
and Dept = D of Name * Manager * SubUnit list
and SubUnit = | PU of Employee | DU of Dept
and Employee = E of Person * Salary
and Person = P of Name * Address
and Salary = S of float
and Manager = Employee
and Name = string
and Address = string
let data = C [D("Research",E(P("Fred","123 Rose"),S 10.0),
[PU(E(P("Bill","15 Oak"),S 5.0))])]
printfn "%A" data
open Microsoft.FSharp.Reflection
let everywhere<'a,'b>(f:'a->'a, src:'b) = // '
let ft = typeof<'a> // '
let rec traverse (o:obj) =
let ot = o.GetType()
if ft = ot then
f (o :?> 'a) |> box // '
elif FSharpType.IsUnion(ot) then
let info,vals = FSharpValue.GetUnionFields(o, ot)
FSharpValue.MakeUnion(info, vals |> Array.map traverse)
else
o
traverse src :?> 'b // '
let incS (S x) = S(x+1.0)
let newData = everywhere(incS, data)
printfn "%A" newData
Функция everywhere
обходит всю структуру произвольного DU и применяет функцию f
к каждому node, который является типом, над которым работает f
, оставляя все остальные узлы как есть.