CanonicalTraits.jl
CanonicalTraits.jl copied to clipboard
thautwarm
Full-featured traits in Julia. Without full features how dare I say this?
So I think what @AriMKatz was getting at in https://github.com/thautwarm/CanonicalTraits.jl/issues/7#issuecomment-574924912 was that they want a way to implement a trait based on behaviour instead of on datatype. That is, suppose...
Hi Taine, I was just talking to @McCoyBecker about traits. There are a few different approaches in Julia, and it can be tough to choose among them. He also mentioned...
Hi Taine, In one of your example, you have ```julia @trait Addable{L, R} begin (+) :: [L, R] => Any (+) = Base.:+ end ``` I'd like to do something...
I am trying to define this trait but it gives me errors. ```jl @trait StringConvertible{T} begin (hasmethod) :: (convert, Tuple{String, T}) => true end ``` ```jl ERROR: error in method...
Hi Taine, I'd like to better understand the limitations of this approach, and any workarounds. In the docs you say, > Due to the limitations of dynamic language, the type...
There exists some dependency issue here. ``` ERROR: Unsatisfiable requirements detected for package GeneralizedGenerated [6b9d7cbe]: GeneralizedGenerated [6b9d7cbe] log: ├─possible versions are: [0.1.0-0.1.4, 0.2.0-0.2.1] or uninstalled ├─restricted to versions 0.2.0 by...
caused by https://github.com/JuliaLang/julia/issues/33240 causing https://github.com/thautwarm/GeneralizedGenerated.jl/issues/17 ``` @trait Typeable{T} begin to_type :: T => Type{
`trait` is used in the "non-canonical trait" sense in many places throughout Julia code and docs. For that reason only, using a macro name that differs from "@trait" may be...
