Walter Schulze – Medium

Walter Schulze

Pinned

Walter Schulze
in
Better Programming

Recursion Schemes Explained Using Regular Expressions

A tutorial for Catamorphism and Paramorphism

Nov 21, 2022

Recursion Schemes Explained Using Regular Expressions

Nov 21, 2022

Pinned

Walter Schulze
in
Better Programming

A Programmer’s Regret: Neglecting Math at University

Does Math Matter? Math matters both more and less than you think…

Aug 25, 2022

A Programmer’s Regret: Neglecting Math at University

Aug 25, 2022

Walter Schulze
in
Better Programming

A Taste of Coq and Correct Code by Construction

How to write correct code by construction using the Coq Proof Assistant

Aug 28, 2023

A Taste of Coq and Correct Code by Construction

Aug 28, 2023

Walter Schulze
in
Better Programming

goderive — code generation with gonads

In 2017, I built goderive to demo what Go would look like with generics. Usually, people post about a new tool they’ve developed, but…

Apr 11, 2023

goderive — code generation with gonads

Apr 11, 2023

Walter Schulze
in
Better Programming

Derivatives of Symbolic Automata Explained

A tutorial on taking the symbolic derivative of a regular expression and an introduction to some Haskell syntax

Mar 2, 2023

Drawing of Travis Barker by David Choe

Mar 2, 2023

Walter Schulze

Derivatives of Context-Free Grammars explained

A tutorial on adding Memoization, Smart Constructors, Simplification Rules and Extra Operators to the Derivatives for Regular Expression…

Oct 5, 2022

Derivatives of Context-Free Grammars explained

Oct 5, 2022

Walter Schulze
in
Better Programming

Derivatives of Regular Expressions Explained Using Pac-Man

A tutorial explaining the functional regular expression matching algorithm

Nov 25, 2022

Derivatives of Regular Expressions Explained Using Pac-Man

Nov 25, 2022

Walter Schulze

Golang’s panic unreachable is unnecessary

I remember when I was learning Go and typing panic("unreachable") for the first time and not understanding why the type system didn’t know…

Aug 23, 2022

Golang’s panic unreachable is unnecessary

Aug 23, 2022

Walter Schulze
in
Better Programming

Monads for Go Programmers

Why?

Jul 11, 2022

Monads for Go Programmers

Jul 11, 2022

Walter Schulze

Walter Schulze

Golang, Haskell, Functional Programming, Interactive Theorem Proving, Automata and Music Programming. https://awalterschulze.github.io/

Following

Help
Status
About
Careers
Press
Blog
Privacy
Terms
Text to speech
Teams