Portland Has Skill

Resources for and by Portland Haskellers and other Functional Programming enthusiasts.

Contributions are welcome! Please see CONTRIBUTING.md.

Table of Contents

• Events
  • Upcoming Events
  • Past Events
• Project Sharing
• Links to Topics Discussed
  • FP for Interactive Web (and FRP)
  • Types
    • Cubical Types
    • Dependently typed languages
    • Type Checkers
  • Paradigms
    • Rewrite Systems
    • Incremental Computing
    • Distributed Processing in the Cloud
    • Stream Processing (in Haskell)
    • Functional Reactive Programming
    • High Level Programming for SIMD/GPU
    • Hardware Description
    • Constant Memory, Low-Level Code
  • Verification
  • Languages, etc.
  • Nix and NixOS
  • AI
  • Robust Computing
  • Text Editors
  • Database Tools
  • Web Tools
  • Learning Tools
  • Real-World Haskell Use
  • Misc
• Companies Using FP in Portland
  • Offices in the Portland Area
  • Remote

Events

Portland Has Skill Meetup

Upcoming Events

• Monads & Mojitos 6: November 21, 2024
• Monads & Mojitos 7: December 19, 2024

Past Events

• Monads & Mojitos: Fire Circle October 24, 2024
• Monads & Mojitos: Recursion September 19, 2024
• Monads & Mojitos: Magic | 2024-08-22
• Monads & Mojitos: Coincidence | 2024-07-25
• Monads & Mojitos: Inauguration | 2024-06-27

Project Sharing

• Tensort

Links to Topics Discussed

Sections with New Links from Most Recent Event:

• Type Checkers
• Robust Computing
• Text Editors
• Learning Tools
• Real-World Haskell Use

FP for Interactive Web (and FRP):

• Interactive logic (also demonstration of GHCJS)

  • See also

• Hyperbolic geometry version of sōkoban (also demonstration of purescript)

Types

Cubical Types

• Cubical Agda

Dependently typed languages

• Coq

• Lean4

• Idris2

• Agda

• Pie from The Little Typer

Type Checkers

• Sorbet

• Dialyzer

Paradigms

Rewrite Systems

• egraphs good

• egglog 1 and 2

• egg as a lean tactic

Incremental Computing:

• Umut Acar was mentioned by name. An example is Umut A. Acar, Guy E. Blelloch, and Robert Harper. Adaptive Functional Programming

  • Adaptive

• Flare

• Typed Spreadsheet Library

• Differential Dataflow

Distributed Processing in the Cloud

• Flink

• Spark

• Ballista

  • Apache Arrow

• Unison

• Materialize

Stream Processing (in Haskell)

• conduit

• streaming

• streamly

Functional Reactive Programming

• Elm

  • Evan on why Elm didn't start with typeclasses (among other topics)

• Yampa

High Level Programming for SIMD/GPU

• Bend

• Futhark

Hardware Description

• haskell to verilog/vhdl with Clash

Constant Memory, Low-Level Code

• from haskell with Copilot

Verification

• Verifying a Rust implementation with Lean

• TLA+

• CompCert

• Alain (and students') formally verified network stack

Languages, etc.

• Lean

• Idris

  • a couple of us are working through Type-Driven Development with Idris

• Agda

• Coq

  • Coq is getting renamed to 'The Rocq Prover'

• Oz

• Cedar

• Bend

• Gleam

• Isabelle

• Roc

• Scheme

  • The Little Schemer

Nix and NixOS

• Nix and NixOS

• Impermanence

• Vimjoyer's tutorials on youtube

AI

• Bill Venners - AI Assisted Development | Scala Days 2023 Seattle

• Oops! We Automated Bullshit.

  • Related

• KAN: Kolmogorov-Arnold Networks

Robust Computing

• Beyond Efficiency

  • Beyond Efficiency by Dave Ackley

  • Tensort

Text Editors

• Kakoune

• Helix

• Zed

Database Tools

• Beam

Web Tools

• Servant

Learning Tools

• Haskellings

Real-World Haskell Use

• Ivan Perez uses Haskell at NASA

• Kyle's Reddit thread

Misc

• Concepts, Techniques, and Models of Computer Programming

• Conal Elliott on "A Galilean revolution for computing" @ZuriHac2023

• Evan mentioned an essay by Dijkstra arguing that we should make machines with evaluation semantics closer to LISP

  • lisp machine

    • reduceron

• Ghosts of Departed Proofs

Companies Using FP in Portland

Offices in the Portland Area

• Galois

• Mercury

Remote

• FP complete

• Well-Typed

• TripShot

• SiriusXM