• @solrize
    link
    311 months ago

    If you want to go even further into the type system weeds in a non-GC language, try ats-lang.org . :)