コンテンツへスキップ

/series
- /print
- /scheduled
- /recorded
- /dev
/app
/root

型推論

【Common Lisp】型宣言が多いコードは静的型言語っぽい（型推論を活かす）

2026-04-072026-04-06 by chiilabo

#Common Lisp（75） #SBCL（29） #loop（14） #パフォーマンス最適化（14） #型宣言（12）

カテゴリー記事タグ aref、Common Lisp、declaim、fixnum、ftype、incf、let*、loop、SBCL、setf、simple-array、コンパイル単位、コンパイル最適化、パフォーマンス最適化、ボクシング、ホットスポット、二分探索、入口関数、型伝播、型宣言、型推論、型連鎖、変換関数、整数演算、束縛変数、汎用ライブラリ、警告メッセージ、返り値の型、関数型スタイル、静的型付け

【Common Lisp】SBCLのREPLは単なるインタープリタではない

2026-04-01 by chiilabo

#Common Lisp（75） #SBCL（29） #REPL（19） #S式（14） #型宣言（12）

カテゴリー記事タグ AOTコンパイル、Clojure、CMUCL、Common Lisp、compile、declare、eval、funcall、GHCi、homoiconicity、JIT、Meta Eval、Meta Read、Racket、REPL、SBCL、S式、インタープリタ、コンパイラ、ネイティブコード、バイトコード、プリプロセッサ、ホットスポット、マクロ展開、仮想マシン、動的型付け、型宣言、型推論、対話環境、抽象構文木

【Lean】コンパイラの型チェックで、証明を検証したことになるカラクリ

2026-03-282026-03-27 by chiilabo

#関数型プログラミング（14） #コンパイラ（7） #型推論（6） #カーネル（4） #シンボルテーブル（3）

カテゴリー記事タグ Curry-Howard同型、elan、Fin型、GCD、lake、Lean、Mathlib、Prop、rfl、Vector型、エラボレーション、カーネル、コンパイラ、シンボルテーブル、タクティク、フィボナッチ数列、依存ペア型、依存型、依存関数型、全称命題、命題証明、型推論、型検査、帰納法、形式証明、暗黙の型変換、核言語、等式型、配列境界検査、関数型プログラミング

Nim言語の設計思想とAI時代

2026-02-19 by chiilabo

#Python（36） #Rust（17） #マクロ（16） #プログラミング言語（13） #メモリ管理（11）

カテゴリー記事タグ Andreas Rumpf、Arc、Arraymancer、awesome-nim、Basolato、C、choosenim、C言語出力、DSL、FFI、HappyX、Nim 2.0、nimpy、Nim言語、Nitter、ORC、Python、Python互換、Rust、seq、Webフレームワーク、コンパイル言語、セルフホスティング、トランスパイル、バイナリサイズ、プログラミング言語、マクロ、メタプログラミング、メモリ管理、型推論、組み込みシステム、静的型付け、高速実行

Rust開発を快適にする rust-analyzer拡張機能

2026-02-072025-10-19 by chiilabo

#開発環境（25） #Rust（17） #エラーメッセージ（11） #MacBook Air（6） #型推論（6）

カテゴリー記事タグ cargo build、MacBook Air、Rust、rust-analyzer、Rustコンパイラ、Rust初心者、Rust学習、Rust開発、VSCode、VSCode拡張機能、インストール方法、エラーチェック、エラーメッセージ、エラー表示、コーディング支援、コンパイルエラー、シミュレーションプログラム、フィールド名補完、プログラミング体験、借用、型情報表示、型推論、定義ジャンプ、所有権、構造体、生産性向上、自動修正、自動補完、開発効率、開発環境

「バイブコーディング」—AIが変えるプログラミングの世界

2026-02-122025-06-13 by chiilabo

#ChatGPT（50） #JavaScript（43） #Python（36） #AI（26） #プログラミング（24）

カテゴリー記事タグ AI、AIユーザー世代、ChatGPT、COBOL、C言語、FORTRAN、JavaScript、LISP、LISPマシン、OpenAI、Python、QIITA、アンドレイ・カルパシー、ガベージコレクション、コーディング、バイブコーディング、ハッカー、プログラミング、プログラミング言語、メモリ管理、人機協働、型推論、技術協働、構文エラー、標準化、機械学習、職業プログラマー、自然言語処理、表記の厳密性、雰囲気プログラミング

© 2026 Chiilabo Note • Built with GeneratePress

検索: