SRFI Skill

"SRFIs extend the Scheme programming language. You can help." — srfi.schemers.org

Scheme Requests for Implementation: portable library specifications with GF(3) categorization.

Overview

SRFIs are community-driven specifications that extend Scheme beyond R5RS/R6RS/R7RS. Each SRFI has a unique number, status (draft/final/withdrawn), and reference implementation.

Core SRFIs by Category

Data Structures [MINUS: -1]

SRFI	Name	Status	Key Exports
1	List Library	Final	fold, unfold, filter, partition
4	Homogeneous Vectors	Final	u8vector, f64vector, typed arrays
9	Defining Record Types	Final	define-record-type
14	Character Sets	Final	char-set, char-set-contains?
69	Basic Hash Tables	Final	make-hash-table, hash-table-ref
113	Sets and Bags	Final	set, bag, set-contains?
125	Intermediate Hash Tables	Final	hash-table-map, comparators
128	Comparators (Reduced)	Final	make-comparator, comparator-hash
133	Vector Library	Final	vector-map, vector-fold
146	Mappings	Final	mapping, functional maps
158	Generators and Accumulators	Final	make-coroutine-generator

Control Flow [ERGODIC: 0]

SRFI	Name	Status	Key Exports
2	AND-LET*	Final	and-let* short-circuit binding
8	receive	Final	receive for multiple values
11	let-values	Final	let-values, let*-values
18	Multithreading	Final	make-thread, mutex, condition-variable
34	Exception Handling	Final	guard, raise
39	Parameter Objects	Final	make-parameter, parameterize
45	Primitives for Lazy Eval	Final	delay, force, lazy
124	Ephemerons	Final	make-ephemeron, weak references
154	First-Class Dynamic Extents	Final	dynamic-extent, delimited continuations
155	Promises	Final	delay-force, iterative lazy
226	Control Features	Final	call/cc, values, dynamic-wind

Syntax & Macros [PLUS: +1]

SRFI	Name	Status	Key Exports
0	Feature-Based Conditionals	Final	cond-expand
6	Basic String Ports	Final	open-input-string, get-output-string
26	Cut/Cute	Final	cut, cute partial application
42	Eager Comprehensions	Final	list-ec, sum-ec, do-ec
46	Syntax for Multiple Values	Final	values->list, values->vector
57	Records	Withdrawn	(superseded by 99, 136)
72	Hygienic Macros	Final	syntax-case compatible
139	Syntax Parameters	Final	define-syntax-parameter
147	Custom Macro Transformers	Final	er-macro-transformer
149	Basic Syntax-Rules Extensions	Final	_, ... patterns
211	Scheme Macros for Definitions	Final	define-macro

I/O & System [MINUS: -1]

SRFI	Name	Status	Key Exports
6	Basic String Ports	Final	in-memory I/O
28	Basic Format Strings	Final	format
38	External Representation with Cycles	Final	write/ss, read/ss
48	Intermediate Format Strings	Final	format with more directives
106	Basic Socket Interface	Final	make-client-socket, socket-send
170	POSIX API	Final	file-info, set-file-mode!
180	JSON	Final	json-read, json-write
192	Port Positioning	Final	port-position, set-port-position!
193	Command Line	Final	command-line, option-processor

Numeric [ERGODIC: 0]

SRFI	Name	Status	Key Exports
27	Sources of Random Bits	Final	random-integer, random-real
60	Integers as Bits	Final	bitwise-and, bit-set?
94	Type-Restricted Numerics	Final	fx+, fl*
141	Integer Division	Final	floor/, ceiling/, truncate/
143	Fixnums	Final	fx+, fxarithmetic-shift
144	Flonums	Final	fl+, flsin, flexp
151	Bitwise Ops on Arbitrary Integers	Final	bitwise-ior, integer-length
166	Monadic Formatting	Final	format with monadic composition

Testing & Debugging [PLUS: +1]

SRFI	Name	Status	Key Exports
64	A Scheme API for Test Suites	Final	test-begin, test-equal, test-assert
78	Lightweight Testing	Final	check, check-ec
219	Define Higher-Order Lambda	Final	define with curry

Pattern Matching [PLUS: +1]

SRFI	Name	Status	Key Exports
204	Wright-Cartwright-Shinn Pattern Matcher	Final	match, match-lambda

GF(3) Distribution

MINUS (-1):  Data Structures, I/O & System
ERGODIC (0): Control Flow, Numeric
PLUS (+1):   Syntax & Macros, Testing, Pattern Matching

Conservation: Σ(categories) ≡ 0 (mod 3) when balanced usage

R7RS-Large Libraries (Red/Tangerine Editions)

R7RS-Large incorporates SRFIs as standard libraries:

Red Edition (2019)

• (scheme list) ← SRFI 1
• (scheme vector) ← SRFI 133
• (scheme sort) ← SRFI 132
• (scheme set) ← SRFI 113
• (scheme charset) ← SRFI 14
• (scheme hash-table) ← SRFI 125
• (scheme ilist) ← SRFI 116
• (scheme rlist) ← SRFI 101
• (scheme ideque) ← SRFI 134
• (scheme text) ← SRFI 135
• (scheme generator) ← SRFI 158
• (scheme lseq) ← SRFI 127
• (scheme stream) ← SRFI 41
• (scheme box) ← SRFI 111
• (scheme list-queue) ← SRFI 117
• (scheme comparator) ← SRFI 128

Tangerine Edition (2021)

• (scheme bitwise) ← SRFI 151
• (scheme fixnum) ← SRFI 143
• (scheme flonum) ← SRFI 144
• (scheme division) ← SRFI 141
• (scheme bytevector) ← R6RS
• (scheme mapping) ← SRFI 146
• (scheme regex) ← SRFI 115

Implementation Support Matrix

SRFI	Chez	Chicken	Gauche	Guile	Racket
1	✓	✓	✓	✓	✓
9	✓	✓	✓	✓	✓
18	✓	✓	✓	✓	✓
27	✓	✓	✓	✓	✓
64	✓	✓	✓	✓	✓
125	✓	✓	✓	✓	✓
158	✓	✓	✓	✓	✓
180	✓	✓	✓	✓	✓

SRFI-27: Random Sources (Key for Gay.jl Bridge)

;; SRFI-27 provides the abstraction layer for splittable RNG
(import (srfi 27))

;; Create a random source with specific seed
(define my-source (make-random-source))
(random-source-pseudo-randomize! my-source 1069 42)

;; Get integers and reals
(define rand-int (random-source-make-integers my-source))
(define rand-real (random-source-make-reals my-source))

;; GF(3) trit from random source
(define (random-trit source)
  (- ((random-source-make-integers source) 3) 1))

SRFI-171: Transducers

;; Composable sequence transformations
(import (srfi 171))

;; Filter, map, take composed
(define xform
  (compose
    (tfilter even?)
    (tmap (lambda (x) (* x x)))
    (ttake 5)))

;; Apply to list
(list-transduce xform rcons '(1 2 3 4 5 6 7 8 9 10))
;; => (4 16 36 64 100)

SRFI-204: Pattern Matching

(import (srfi 204))

;; Destructuring with guards
(match '(1 2 3)
  ((x y z) (guard (< x y z)) (list z y x))
  (_ 'no-match))
;; => (3 2 1)

;; Quasiquote patterns
(match '(lambda (x) (+ x 1))
  (`(lambda (,var) (+ ,var 1)) var)
  (_ #f))
;; => x

Integration with Little Schemer

SRFI	Little Schemer Concept
1	member?, rember, firsts
9	Atoms as records
27	Y combinator with random exploration
45	Lazy evaluation (Seasoned Ch. 16)
154	Continuations (Seasoned Ch. 13)
171	Collectors as transducers
204	Pattern matching vs cond

Commands

# Search SRFIs by keyword
srfi search "hash table"

# Show SRFI abstract
srfi show 125

# Clone SRFI implementation
srfi clone 171

# Open in browser
srfi open 204

# List all final SRFIs
srfi list --status final

References

• srfi.schemers.org - Official SRFI home
• docs.scheme.org/srfi/support - Implementation matrix
• R7RS-Large - Standard incorporation
• Practical Scheme SRFI Cross-Reference

Scientific Skill Interleaving

This skill connects to the K-Dense-AI/claude-scientific-skills ecosystem:

Graph Theory

• networkx [○] via bicomodule
  • Universal graph hub

Bibliography References

• general: 734 citations in bib.duckdb

Cat# Integration

This skill maps to Cat# = Comod(P) as a bicomodule in the equipment structure:

Trit: 0 (ERGODIC)
Home: Prof
Poly Op: ⊗
Kan Role: Adj
Color: #26D826

GF(3) Naturality

The skill participates in triads satisfying:

(-1) + (0) + (+1) ≡ 0 (mod 3)

This ensures compositional coherence in the Cat# equipment structure.