home.social

#rustmacro — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #rustmacro, aggregated by home.social.

  1. Jan :rust: :ferris: @[email protected] ·

    @sgued @notgull

    According to the following proof by @veykril, Rust's decl macros _are_ Turing-complete!

    The Little Book of Rust Macros:
    lukaswirth.dev/tlborm/decl-mac

    Also a somewhat related blog post by Shea Leffler, who proofs Rust's type system is Turing-complete by implementing another Turing-complete language (Smallfuck) with its type system:
    sdleffler.github.io/RustTypeSy

    ⚠️ I haven't verified any of this!

    #Rust #RustLang #TuringComplete #RustMacro

    #rust #rustlang #turingcomplete #rustmacro