From Bronze to GM in miniKanren! Episode 15 скачать в хорошем качестве

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...