コンテンツへスキップ

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

型推論

【Common Lisp】the の基本の使い方と考え方（型の絞り込み）

2026-05-232026-05-19 by chiilabo

#Common Lisp（164） #SBCL（44） #fixnum（22） #型宣言（19） #declare（17）

カテゴリー記事タグ assert、check-type、Common Lisp、Common Lisp 基本の使い方、declaim、declare、fixnum、ftype、safety、SBCL、the、type declaration、type inference、type specifier、type-based optimization、typep、アサーション、コンパイル時検査、動的型検査、型の絞り込み、型宣言、型指定子、型推論、型最適化、型検査、型検証、型階層、実行時検査、最適化ヒント、未定義動作、特殊演算子

【Common Lisp】SBCLの型宣言と「静的型検査」

2026-05-192026-05-19 by chiilabo

#Common Lisp（164） #SBCL（44） #Rust（23） #fixnum（22） #型宣言（19）

カテゴリー記事タグ CLHS、Common Lisp、declaim、declare、fixnum、ftype、most-positive-fixnum、optimize、Read、Rust、safety、safety 0、SBCL、the、アサーション、コンパイル単位、コンパイル時警告、ヒープ破壊、動的言語、型チェックポリシー、型の主張、型宣言、型推論、型最適化、実行時アサーション、実行時型チェック、整数オーバーフロー、証明可能な型、関数型宣言、静的型検査

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

2026-04-072026-04-06 by chiilabo

#Common Lisp（164） #SBCL（44） #loop（40） #aref（26） #fixnum（22）

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

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

2026-04-01 by chiilabo

#Common Lisp（164） #SBCL（44） #REPL（30） #S式（21） #型宣言（19）

カテゴリー記事タグ 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

#関数型プログラミング（19） #コンパイラ（8） #フィボナッチ数列（8） #型推論（8） #シンボルテーブル（5）

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

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

2026-02-19 by chiilabo

#Python（37） #Rust（23） #マクロ（18） #プログラミング言語（14） #メモリ管理（13）

カテゴリー記事タグ 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

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

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

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

2026-02-122025-06-13 by chiilabo

#ChatGPT（56） #JavaScript（46） #Python（37） #OpenAI（27） #AI（26）

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

© 2026 Chiilabo Note • Built with GeneratePress

検索: