Deschide articolul original într-un tab nou Schimbarea acestei opțiuni se aplică imediat și reîncarcă pagina.
LECTURA
← Înapoi la Urmăritori

Blog of Christine @pithlessly

pithlessly.github.io/feed.xml
Vizitează site-ul

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 5

  1. Dissecting Andreas Rossberg's 1ML: introduction

    (Blog of Christine @pithlessly)

    1ML is a much-discussed type system — how does it work?

  2. Newtypes vs. abstract types, and the limitations of type inference

    (Blog of Christine @pithlessly)

    Abstract types in OCaml and a small flaw in the type checker.

  3. Notes on combinatorial species (Méndez 2015)

    (Blog of Christine @pithlessly)

    What is a combinatorial species, and how can you do algebra on them?

  4. The comptime calculus

    (Blog of Christine @pithlessly)

    A sketch of a formalization of Zig's comptime type system.

  5. Issues with instance Ord (STRef s a)

    (Blog of Christine @pithlessly)

    Why can't Haskell's STRefs be ordered?