search

andyferris / Traitor.jl

An early prototype of a traits system for Julia
Other
27 stars 2 forks source link

Parametric functions #2

Open andyferris opened 8 years ago

andyferris commented 8 years ago

Allow e.g. f{T}(a::Vector{T}::Trait).

(Note: putting parameters like T in the trait position would be considered a separate issue.)