All topics / functional programming
Topic
You are reading the free Skim layer. Read unlocks the synthesis and sources.
Functional programming
A programming paradigm that treats computation as the evaluation of mathematical functions, minimizing side effects.
1
episodes
1
thinkers
5h
of conversation
5
books & papers
3
terms defined
The neighbourhood: functional programming and the ideas it travels with. Drag to roam, click a star for the episode, click a neighbour to travel.
Drag to roam · scroll to zoom · click a neighbour to travel · click a star for the episode
From foundational to frontier
Climb the spectrum. The most accessible conversations come first.
Start here
ACCESSIBLECOREFRONTIER
The lexicon
Every term the guests lean on, in plain language. Read one in full, or filter to find it.
What the corpus says
The throughline across every conversation that touches this idea.
Cardano's stake pool model enhances decentralization by allowing multiple parties to delegate staking, improving efficiency.
Charles Hoskinson · Charles Hoskinson: Cardano
Proof of stake systems like Cardano are more energy-efficient than proof of work systems, reducing operational costs.
Charles Hoskinson · Charles Hoskinson: Cardano
Cardano's governance model, including Catalyst and Voltaire, emphasizes broad participation, contrasting with Polkadot's commercial focus.
Charles Hoskinson · Charles Hoskinson: Cardano
Cardano's Ouroboros protocol uses adjustable parameters like 'K' to encourage decentralization as ADA's value increases.
Charles Hoskinson · Charles Hoskinson: Cardano
Functional programming languages like Haskell are preferred for Cardano to minimize semantic ambiguity in translating academic work into code.
Charles Hoskinson · Charles Hoskinson: Cardano
Voices on functional programming
8 standout quotes from across the corpus.
Go read
5 books and papers cited across these episodes.
For the specialist
What experts find new
2 expert-level takeaways for a specialist reader.
At the frontier
Still unresolved
2 open questions flagged across these conversations.
The thinkers
Who takes this idea on, by how often they return to it.