Entropy

新着

  • 表明プログラミング

    2026年11月15日

    • word
    • 設計
  • 抽象構文木

    2026年11月14日

    • word
    • コンパイラ
  • Active Job

    2026年11月14日

    • word
    • ruby
    • rails
  • アクターモデル

    2026年11月14日

    • word
    • 並行処理
  • 集約ルート

    2026年11月14日

    • word
    • ddd
Home

❯

ブログ

❯

Typed Racket を REPL から利用する

Typed Racket を REPL から利用する

Properties2
descriptionracket -I typed/racket で起動すると、REPL で Typed Racket を使える
tagsblog, racket, repl, typed-racket

2025年5月24日

TL;DR

  • racket -I typed/racket で起動すると、Racket の REPL で Typed Racket を使える。

検証

Typed Racket のガイドにあるように、-I オプションで言語を指定して REPL を起動する。

$ racket -I typed/racket

キーワード

  • Racket
  • Typed Racket

参考

  • https://docs.racket-lang.org/ts-guide/quick.html#(part._.Using_.Typed_.Racket_from_the_.Racket_.R.E.P.L)

グラフビュー

  • TL;DR
  • 検証
  • キーワード
  • 参考

バックリンク

  • Typed Racket

作成 Quartz v5.1.0 © 2026

  • GitHub
  • RSS