State Monad Example: Memoization for Fibonacci numbers

  Рет қаралды 70

Siddhartha Gadgil

Siddhartha Gadgil

Күн бұрын

This is the first of a two video digression in the series of Meta-programming videos, where we briefly introduce State Monads. These are not essential for the sequel.

Пікірлер: 1
3 күн бұрын
Thanks! Now I have to go and rewrite a bunch of code to use State monads... :D
State Monads - Implementation
4:42
Siddhartha Gadgil
Рет қаралды 40
Introduction to Metaprogramming in Lean 4
9:41
Siddhartha Gadgil
Рет қаралды 218
Cute
00:16
Oyuncak Avı
Рет қаралды 11 МЛН
ПРИКОЛЫ НАД БРАТОМ #shorts
00:23
Паша Осадчий
Рет қаралды 5 МЛН
Rewriting Inequalities II : writing the tactic
18:07
Siddhartha Gadgil
Рет қаралды 24
Tactics using Macros
6:38
Siddhartha Gadgil
Рет қаралды 55
Checking validity of tactics
9:34
Siddhartha Gadgil
Рет қаралды 11
Lean Tactics with Elaborators: First Examples
12:05
Siddhartha Gadgil
Рет қаралды 31
Using `liftMetaTactic`: Continuation of `rw_le` example
5:31
Siddhartha Gadgil
Рет қаралды 17
[Edited] More tactics with Elaborators: trying use in a range
8:05
Siddhartha Gadgil
Рет қаралды 44
Try This Widget: Refining the check of a tactic
5:54
Siddhartha Gadgil
Рет қаралды 23
Negating Expressions I: Building Lambdas and Pi-types
12:00
Siddhartha Gadgil
Рет қаралды 18
Cute
00:16
Oyuncak Avı
Рет қаралды 11 МЛН