programming-language Racket上で実装された、静的型付けなうえで、型安全なマクロシステムを搭載したプログラミング言語 1 The Hackett Guide “Hackett: a metaprogrammable Haskell” by Alexis King - YouTube