home.social
Sign in Create account

#spectrelang — Public Fediverse posts

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

  1. jbz @[email protected] ·

    Spectre is a programming language meant for safe and contract based low-level systems programming.
    It allows for type-level invariants, and function-level preconditions and postconditions, it enables safety through use of immutability by default.

    spectre-docs.pages.dev/

    #spectrelang #languages #plt

    #spectrelang #languages #plt
  2. jbz @[email protected] ·

    Spectre is a programming language meant for safe and contract based low-level systems programming.
    It allows for type-level invariants, and function-level preconditions and postconditions, it enables safety through use of immutability by default.

    spectre-docs.pages.dev/

    #spectrelang #languages #plt

    #spectrelang #languages #plt
  3. jbz @[email protected] ·

    Spectre is a programming language meant for safe and contract based low-level systems programming.
    It allows for type-level invariants, and function-level preconditions and postconditions, it enables safety through use of immutability by default.

    spectre-docs.pages.dev/

    #spectrelang #languages #plt

    #spectrelang #languages #plt
  4. jbz @[email protected] ·

    Spectre is a programming language meant for safe and contract based low-level systems programming.
    It allows for type-level invariants, and function-level preconditions and postconditions, it enables safety through use of immutability by default.

    spectre-docs.pages.dev/

    #spectrelang #languages #plt

    #plt #languages #spectrelang
  5. jbz @[email protected] ·

    Spectre is a programming language meant for safe and contract based low-level systems programming.
    It allows for type-level invariants, and function-level preconditions and postconditions, it enables safety through use of immutability by default.

    spectre-docs.pages.dev/

    #spectrelang #languages #plt

    #spectrelang #languages #plt