• kSPvhmTOlwvMd7Y7E@programming.dev
    link
    fedilink
    arrow-up
    4
    ·
    1 year ago

    Your last question is equivalent to : why there so many math theories? Can’t we just reuse the old ones?

    New language appear as a natural product from research in type theory for ex