What's the logic behind the core language macros?

zcaudate · November 30, 2022, 12:22pm

I mentioned a symbol topsort + chiclet macro

the topsort algorithm is here

gist.github.com

https://gist.github.com/alandipert/1263783

kahn.clj

;; Copyright (c) Alan Dipert. All rights reserved.
;; The use and distribution terms for this software are covered by the
;; Eclipse Public License 1.0 (http://opensource.org/licenses/eclipse-1.0.php)
;; By using this software in any fashion, you are agreeing to be bound by
;; the terms of this license.
;; You must not remove this notice, or any other, from this software.

(ns alandipert.kahn
  (:require [clojure.set :refer [difference union intersection]]))

This file has been truncated. show original

The gist of the macro in handwaving steps:

get the dependency graph by filtering the body for symbols on the LHS of the let bindings
use topsort to generate the order of the declarations based on the dependency graph
generate the standard let bindings based on topsort order
name it something hip and blog about it as one clojure’s missing pieces.
profit?

not too sure how to deal with impure stuff… maybe hide it in a subfunction.