←
Prev
↑
Up
Next
→
The Lean Language Reference 日本語訳
1.
はじめに(Introduction)
2.
エラボレーションとコンパイル(Elaboration and Compilation)
3.
型システム(The Type System)
4.
ソースファイル(Source Files)
5.
再帰定義(Recursive Definitions)
6.
項(Terms)
7.
型クラス(Type Classes)
8.
関手・モナド・do記法(Functors, Monads and
do
-Notation)
9.
IO
10.
タクティクによる証明(Tactic Proofs)
11.
単純化器(The Simplifier)
12.
基本的な型(Basic Types)
13.
Standard Library
14.
記法とマクロ(Notations and Macros)
15.
Output from Lean
16.
Elan
17.
Lake and Reservoir
Index
18.
この翻訳について
9.
IO
9.1.
論理モデル(Logical Model)
9.2.
制御構造(Control Structures)
9.3.
コンソール出力(Console Output)
9.4.
可変参照(Mutable References)
9.5.
ファイル・ファイルハンドラ・ストリーム(Files, File Handles, and Streams)
9.6.
環境変数(Environment Variables)
9.7.
タイミング(Timing)
9.8.
プロセス(Processes)
9.9.
乱数(Random Numbers)
9.10.
Tasks and Threads
9.6.
環境変数(Environment Variables)
Source Code
Report Issues
9.6. 環境変数(Environment Variables)
🔗
opaque
IO.getEnv (var :
String
) :
BaseIO
(
Option
String
)