Murat Kasimov 🎲

      • More about me
      • Я ☞ Language (β)

    Backlinks

    • Я ☞ Language (β)
    • Я ☞ Articles ☞ Using Yoneda lemma for flipping notation
    • Я ☞ Articles ☞ What makes a Functor feel like Hom?
    • Я ☞ Packages ☞ ya-operators
    • Я ☞ Primitives
    • Я ☞ Primitives ☞ Automation
    • Я ☞ Trade-offs

    Я ☞ Primitives ☞ Arrow

    May 22, 20251 min read

    One of the basic building block of Я - function.

    You can map input contravariantly:

    … and output covariantly):

    Subtypes: Automation, Reference.


    Graph View

    • GitHub
    • Twitter
    • Linkedin
    • Patreon
    • Instagram
    • Steam
    • Facebook