From Bronze to GM in miniKanren! Episode 15

Описание: Episode 15

https://github.com/webyrd/bronze-to-g...

Been a minute
Out of Touch Wednesday
Re-watched epis 13 & 14 and watched some of ViBE's `Zerg B2GM 2021 - Gold 2 to Gold 1` to get back into things

Ikigai

Scheme Workshop
miniKanren Workshop

CONS should not Evaluate its Arguments


comment: macro and losing the big picture when focusing on the micro


Reminder: where we are headed: meta-circular Scheme interpreter

Reminder: what we need to know to get there:

`lambda` / procedures
Booleans and truth
conditionals - `if`, `cond`
type predicates - `pair?`, `null?`, `list?`, `number?`
a few other misc. built-in procedures: `+`, `*`, `zero?`
recursion & recursive procedures
environments and variable binding and shadowing
pattern matching
evaluation rules for Scheme


conditionals and truth values: `cond`

Previous ladder practice:

micro:

Play around with the `if` and `cond` examples in R5RS.

macro:

Read `4.1.5. Conditionals` and `4.2.1. Conditionals` in R5RS.
Optional: read the equivalent sections in R7RS Small.
Optional: read the equivalent sections in R6RS.
Optional: read the equivalent sections in TSPL4 and in CSUG10.
Optional: read the equivalent sections in the Racket documentation.




Ladder practice:

micro:

Play with `cond`, get used to coming up with examples using `cond` and `if`, get used to writing syntactically valid expressions in an editor, on a piece of paper, on a whiteboard, on a blackboard, etc.

macro:

Read up on `cond` in R5RS, R6RS, R7 small, TSPL4, wherever.

Think about why you are interested in programming languages, computation, Scheme, functional programming, miniKanren, etc.

Think about the Jordan Peele quotes, and how that applies to what you want to create.


Links:

https://en.wikipedia.org/wiki/Ikigai

https://conf.researchr.org/home/icfp-...

conf.researchr.org/home/icfp-splash-2025/minikanren-2025

https://help.luddy.indiana.edu/techre...

https://legacy.cs.indiana.edu/ftp/tec...

https://help.luddy.indiana.edu/techre...

https://conservatory.scheme.org/schem...

https://www.r6rs.org/

https://r7rs.org/

https://www.scheme.com/tspl4/

https://cisco.github.io/ChezScheme/cs...