Portland Has Skill

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

Contributions are welcome! Please see CONTRIBUTING.md.

• 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

Portland Has Skill Meetup

• Monads & Mojitos 7: December 19, 2024

• Monads & Mojitos: Exodus November 21, 2024
• 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

• Tensort

Sections with New Links from Most Recent Event:

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

• Interactive logic (also demonstration of GHCJS)

  • See also

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

• Cubical Agda

• Coq

• Lean4

• Idris2

• Agda

• Pie from The Little Typer

• Sorbet

• Dialyzer

• egraphs good

• egglog 1 and 2

• egg as a lean tactic

• 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

• Flink

• Spark

• Ballista

  • Apache Arrow

• Unison

• Materialize

• conduit

• streaming

• streamly

• Elm

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

• Yampa

• Bend

• Futhark

• haskell to verilog/vhdl with Clash

• from haskell with Copilot

• Verifying a Rust implementation with Lean

• TLA+

• CompCert

• Alain (and students') formally verified network stack

• 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

• Impermanence

• Vimjoyer's tutorials on youtube

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

• Oops! We Automated Bullshit.

  • Related

• KAN: Kolmogorov-Arnold Networks

• Beyond Efficiency

  • Beyond Efficiency by Dave Ackley

  • Tensort

• Kakoune

• Helix

• Zed

• Beam

• Servant

• Haskellings

• Ivan Perez uses Haskell at NASA

• Kyle's Reddit thread

• 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

• PROGRAM = PROOF by Samuel Mimram. Course notes rendered in book form. Starts with basic topics (logic and untyped λ-calculus) and gets to HoTT.

• On understanding data abstraction, revisited OOP from a FP perspective.

• Trees That Grow

• Ghosts of Departed Proofs

• Galois

• Mercury

• FP complete

• Well-Typed

• TripShot

• SiriusXM