コンテンツへスキップ

Chiilabo Note

  • /recent
    • /recorded
    • /scheduled
    • /dev
    • /print
    • /series
  • /app
  • /root

Coq

【Common Lispと数学】圏論的設計を考える(パイプ指向とラムダ計算)

2026-05-29 by chiilabo
#Common Lisp(161) #関数型プログラミング(19) #高階関数(14) #抽象化(13) #パイプライン(7)
カテゴリー 記事 タグ CLOS、Common Lisp、Common Lispと数学、Coq、filter-by、Functor、Haskell、IO分離、map-with、UNIX哲学、インタープリタ、オブジェクト指向、データ変換、テスト設計、パイプライン、パイプ指向、モナド、モノイド、ラムダ計算、参照透明性、合成、圏論、圏論的設計、射、手続き型、抽象化、状態管理、自然変換、自由モナド、関数型プログラミング、高階関数
© 2026 Chiilabo Note • Built with GeneratePress