Announcing Traits.jl - a revival of Julia traits

oxinabox · March 13, 2020, 8:43pm

My thing that allows static dispatch on has_method
is now in a package

oxinabox/Tricks.jl/blob/master/src/Tricks.jl

module Tricks

using Base: rewrap_unionall, unwrap_unionall, uncompressed_ast
using Base: CodeInfo

export static_hasmethod, static_methods, static_method_count, compat_hasmethod,
        static_fieldnames, static_fieldcount, static_fieldtypes

# This is used to create the CodeInfo returned by static_hasmethod.
_hasmethod_false(@nospecialize(f), @nospecialize(t)) = false
_hasmethod_true(@nospecialize(f), @nospecialize(t)) = true

"""
    static_hasmethod(f, type_tuple::Type{<:Tuple)

Like `hasmethod` but runs at compile-time (and does not accept a worldage argument).
"""
@generated function static_hasmethod(@nospecialize(f), @nospecialize(t::Type{T}),) where {T<:Tuple}
    # The signature type:
    method_insts = _method_instances(f, T)

This file has been truncated. show original

AFAICT it works

Topic		Replies	Views
RFC: Language Support for Traits — Yay or Nay? Internals & Design question , proposal , inheritance , traits , interface	45	4999	February 8, 2023
[ANN] BinaryTraits.jl - a new traits package Package Announcements package , announcement , traits	27	3418	November 6, 2020
Providing traits, apis, generics, qualities, prototypes, Internals & Design traits	11	2014	November 29, 2016
Why did Julia choose nominal typing over structural typing/traits? Internals & Design question , design , traits , interface	29	1712	November 16, 2024
Why does Julia not support multiple traits? Internals & Design traits	44	7720	August 14, 2017

Announcing Traits.jl - a revival of Julia traits

Related topics