# winitzki/sofp

A free book: "The Science of Functional Programming"

Repository: https://github.com/winitzki/sofp
Canonical: https://ross.abutalabs.com/products/sofp
Language: TeX
License: GPL-2.0
License Family: copyleft
Last push: 2026-08-05T16:43:04+00:00

## Health v2 (maintenance only)
Score: 66/100 (v2, computed 2026-09-02T17:46:02.011165+00:00)
- activity 96, release rhythm 8, longevity 100
- inputs: {"age_days": 2607, "days_push": 28, "days_rel": 714, "gap_med": null, "n_releases_24m": 1}
- flags: none
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1480, forks 100 (observed 2026-08-28T04:04:50.774052+00:00)

## What it is
The source repository for 'The Science of Functional Programming', a free tutorial book with examples in Scala, written in LyX/LaTeX and published under the GNU FDL. It covers the theoretical foundations functional programmers need, developed from first principles with complete explanations, derivations, and proofs.

## Use cases
- learn functional programming theory from first principles
- understand category theory for programmers
- study type systems and parametricity
- find a free Scala functional programming tutorial
- learn Curry-Howard correspondence
- self-study mathematical foundations of FP

## When to choose
- you want a rigorous, proof-based treatment of functional programming theory
- you work in Scala and want deep theoretical grounding
- you need a free, openly licensed book you can modify and redistribute

## When to avoid
- you want a hands-on project-based tutorial
- you need an introductory programming book with no math
- you work in a language other than Scala and want language-specific examples

## Facets
- artifact type: learning-resource
- maturity: active
- function: documentation
- domain: programming-languages, tutorials, education
- platform: cross-platform
- tags: functional-programming, scala, book, category-theory, type-theory, latex, free-book

## Member repositories
- winitzki/sofp (main) score 66

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:04:50.774052+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T04:34:16.522618+00:00, confidence not recorded.
  - readme: https://github.com/winitzki/sofp (fetched 2026-08-28T04:04:50.774052+00:00, sha 82b7fdbf36fb)
- Data as of 2026-08-30T08:39:29.467469+00:00.