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
[ANN] BinaryTraits.jl - a new traits package Package Announcements package , announcement , traits	27	3369	November 6, 2020
This month in Julia world - 2023-11 Newsletter	2	1506	December 2, 2023
Protocols/Interfaces/Traits... or: The "what to implement problem" General Usage traits , protocol , interface	10	3526	June 2, 2020
RFC: Language Support for Traits — Yay or Nay? Internals question , proposal , inheritance , traits , interface	45	4895	February 8, 2023
Traits in Julia Internals & Design traits	3	2296	February 11, 2017

Announcing Traits.jl - a revival of Julia traits

Related topics