README.md

Research

This page collects useful literature relevant to topics of design.

Languages

Haskell

• Open Data Types, Open Functions - r/Haskell

Rust

Scala

Icon

Formality

• Docs
• Relevant Reddit Thread

Ceylon

• Site

TypeScript

Concurrency

• Project Loom - Structured Concurrency
• Project Loom – lightweight concurrency for the JVM
• Notes on structured concurrency, or: Go statement considered harmful

Continuations

• Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators by Ikuo Kobori et al.

• Continuations and Delimited Control (Collection of Papers)

• The Axis of Eval - Some nice paperz on delimited continuations and first-class macros

• History of Continuations

• Continuations from Generalized Stack Inspection∗ by Matthias Felleisen et al.

• From Imperative to Pure-Functional and Back Again: Monads vs. Scoped Continuations

• A Better API for First-Class Continuations

• Implementations of delimited control in OCaml, Haskell, Scheme

• The Mother of all Monads

• The Revised Reporton the Syntactic Theories of Sequential Control and State

Type System

Complete Type Erasure

Algebraic Data Types

Pattern matching for algebraic data types.

• Sum Types
• Product Types
• Union & Intersection Types
• The Two Dualities of Computation: Negative and Fractional Types (2012)

Refinement Types

Parametric Polymorphism

Enable generic programming.

Row Polymorphism (Record Types)

• Row Polymorphism

Higher-kinded Polymorphism

• Lightweight higher-kinded polymorphism [Defunctionalization of Types]

Linear Types

Relevant to memory management.

Resources

• Linear Types Wiki
• TypeScript's Intersection Types
• Ceylon's Union & Intersection Types
• C# design repository issue about Union & Intersection Types
• Have sum types ever been considered by the C# language designers? - r/csharp
• Encoding Sum Types

Memory Management

Escape Analysis

Resources

• Relevant thread on r/Haskell

Evaluation Strategies

• Call by name
• Call by need (Lazy Evaluation)
• Optimistic Evaluation (Non-deterministic)

Resources

• Wikipedia
• What about Natural Numbers? [Talk, Laziness]

Scope

Resources

• Lexical & Dynamic Scope