~/talks

Noel Welsh

what they talk about

all 9 in the filters

where they keep going back

all 9 in the filters

on a stage with

all 12 in the filters

who talks about the same things

titleconferencedate
Routing Http Requests with Scala 3Scala Days 20252025-08-19
Crop is a routing library that actually ships: compositional, type-safe routing with Crop values, reversible path-to-link generation (string reverse-routing…
Talk on
Tagless Final for HumansScalar Conference 20252025-03-27
Claims that tagless final buys real extensibility but often burdens users, and demonstrates a Scala encoding that makes programs first-class values and hides…
Talk on
Rethinking Effects with Effect SystemsLambda World 20242024-10-02
Effect systems are presented as a way to write normal, readable code while keeping effects local: code uses direct style descriptions of operations and…
Talk on
Simple and Speedy UIs in Scala 3Scala Days 2023 Madrid2023-09-12
A Scala 3 UI library that aims to turn weeks of work into a few hours by auto-generating forms with generic derivation, letting defaults be overriden by…
Talk on
Finite State Machines for Functional Software MachineryScala Love in the City 20212021-02-13
Defines finite state machines as a type-level function S × I → S and extends to outputs as a transducer with IO returning (S, O). Shows concrete Scala…
Talk on
Techniques for Teaching ScalaScala Days Lausanne 20192019-06-11
Five concrete teaching moves: use notional machine substitution to reason about pure code; teach ten repeatable programming strategies and show three—algebraic…
Talk on
Differentiable Functional ProgrammingScala Days New York 20182018-06-19
Deep learning is framed as supervised learning of parameterized functions optimized by gradient descent, and automatic differentiation is implemented…
Talk on
Differentiable Functional ProgrammingScala Days Berlin 20182018-05-14
Claim: deep learning is mostly function composition plus differentiation and is straightforward to implement computationally — a toy system can be built in…
Talk on
Strings are Evil: Methods to hide the use of primitive typesScala Days Berlin 20182018-05-14
Primitive primitives like Int and String cause bugs by allowing invalid domain values; concrete remedies shown include a simple type alias, a case class with a…
Talk on
Maths for Programming, Fun, and CreativityLambda World 20172017-10-26
Maths-as-abstraction proves practical: algebraic Monoids with identity and associativity let different domains share the same reduce logic, enabling parallel…
Talk on
Teaching functional programming in the ivory tower ... and in the kitchenLambda World 20172017-10-26
Panel compares concrete training tactics and outcomes: industry teams adopt Scala in 2014 to tackle concurrency, distribution and eventual consistency, with…
Talk on
Uniting Church and State: FP and OO TogetherScala Days Copenhagen 20172017-05-30
Describes using Church encoding (refunctionalisation) to turn an algebraic-data FP stream into an object-style receiver-based stream so a multi-TB time-series…
Talk on
Doodle: Visualisation in ScalaScala Days Copenhagen 20172017-05-30
A Scala 2D visualisation library that renders on the desktop via Java2D, to files (PDF, PNG, GIF) and to the browser using Scala.js to SVG, with a layered…
Talk on
The Structure of Programming RevolutionsScala Days Berlin 20162016-06-15
Argues that programming undergoes three revolutions—structured, object‑oriented, functional—and that FP centers on simplicity and static reasoning. Shows…
Talk on
The Structure of Programming RevolutionsScala Days Berlin 20162016-06-15
Argues that functional programming is a Kuhnian paradigm shift after structured and OO eras, claiming FP values simplicity and static reasoning and uses a…
Talk on
Probabilistic Programming: What It Is and How It WorksTypelevel Summit Philadelphia 20162016-03-02
Builds a simple Scala model that explains seeing cats by a hidden enticement with probabilities milkshake 0.6 fish 0.1 nothing 0.3, shows exact enumeration for…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.