list.md

Report from ICFP 2015

Strengths of functional programming in 2015

• Sexy types
  • Application specific:
    • Functional pearl: two can keep a secret, if one of them uses haskell
    • XQuery and static typing: tackling the problem of backward axes
    • Practical principled FRP: forget the past, change the future, FRPNow!
    • Practical probabilistic programming with monads
  • Contracts and validation properties:
    • Bounded refinement types
    • Expressing contract monitors as patterns of communication
    • HLIO: mixing static and dynamic typing for information-flow control in haskell
    • Embedding a Full Linear Lambda Calculus in Haskell
  • Better error messages:
    • Practical SMT-based type error localization
    • Blame assignment for higher-order contracts with intersection and union
    • GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness
  • Sexy data structures
    • RRB vector: a practical general purpose immutable sequence
    • The Remote Monad Design Pattern
    • Freer Monads, More Extensible Effects
    • Variations on Variants
    • Modular Reifiable Matching: A List-of-Functors Approach to Two-Level Types
  • Dependent typing
    • Injective Type Families for Haskell
    • Type Families with Class, Type Classes with Family
    • Quick fix on Co-monads
• Compiler writing and DSLs
  • SQL to C in 500 lines of code
  • Hygienic resugaring of compositional desugaring
  • Pilsner: a compositionally verified compiler for a higher-order imperative language
  • Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code
  • Program synthesis: opportunities for the next decade
  • A fast compiler for NetKAT
  • DSLs
    • Certified symbolic management of financial multi-party contracts
    • Guilt Free Ivory
    • Type-safe Runtime Code Generation: Accelerate to LLVM
• Program verification
  • Functional programming and hardware design: still interesting after all these years
• Challenging subjects:
  • Complexity and termination analysis
  • Fast cloud communication:
    • Efficient communication and collection with compact normal forms
  • Testing parallel programs:
    • Deja Fu
    • Improving Implicit Parallelism

Progress in Haskell-land

• API annotations
• GHCjs
• Speeding up parallel datatypes with hardware transactions
• More plugins and hooks...
• Stack to be included in Haskell Platform
• Idris people show how to make prettier printer
• Towards more dependent types
• Typechecker plugins:
  • Improving Haskell Types with SMT
  • A Typechecker Plugin for Units of Measure
• GUIs with reactive values
  • Bridging the GUI Gap with Reactive Values and Relations
• Haskell language family: Elm, Idris, Agda, ...