ScalaFiddle and Categories
summary
Scala codebase adds concrete support for subcategories and categorical abstractions: an experimental SAP cats package, references to SAAP cask and Category Extras, plus a module encoding for abstract/newtypes that hides implementations while keeping performance. Claims include encoding functors/monoidal functors and applicatives as category-level constructs, compiling wrapped functions to GPU/FPGA, and a lateness library that supplies GADT-style type equalities so pattern matches yield coercions. Several utilities exist; some are implemented and working, others are prototypes needing tests and docs.
AI-written summary · about
chapters (7)
- 0:00Start
- 0:32Add Proper Categories
- 1:01Categories of Morphisms
- 12:00Algebra Hierarchy
- 25:21Package Structure
- 29:13Minimal Key Checker
- 43:21Fake Types
related talks
45mA practical introduction to Category Theory
52mCategory-parametric Programming
36mCategory Theory: An Abstraction for Anything
48mCategory Theory: You Already Know It
46mChasing Arrows, in categories containing functors and monads
01h 15mA Crash Course in Category Theory
01h 52mIsomorphic Reasoning: Counting with Types Part 3
40mFunctors, in Theory and in Practice!