subtyping of abstract data types

thautwarm / MLStyle.jl

Julia functional programming infrastructures and metaprogramming facilities

https://thautwarm.github.io/MLStyle.jl/latest/

MIT License

404 stars 39 forks source link

Closed thautwarm closed 5 years ago

thautwarm commented 5 years ago

Like,

abstract type A <: SomeAbs end
@data A begin
    A1(Int)
    A2(Int)
    A3(Int)
end