Typed RacketはRacketに型を付けたものです The Typed Racket Guideを見ながら勉強していきます 詳細はThe Typed Racket Referenceに 1 Quick Start とりあえずこれをやれと ソース先頭の#lang racketを#lang typed/racketに変える (require mod)を(require …