Nimの型
from Nim
関数の型
普通に。
nimtype F = proc(arg: int): intSubrange型
nimvar hoge: range[0..5]
hoge = 6 # compile error !!型のエイリアス
nimtype T = int # 型のエイリアスを作成
type D = distinct int # 全く新しい型を作成 T1 == T2 はtrueだが、 D1 == D2 は別物なのでfalseになる Object 型 RootObj 型を継承したオブジェクトは継承可能になる逆に
RootObj を継承しないとそのオブジェクトは継承できないEnum型
定義の仕方
序数の扱い
succ , pred 関数 {. pure .} プラグマOption型
options モジュールをimportして使う関数側
Option[T] は some(value) か none(T) を返すわざわざ
none() の引数に T を書かないといけないのはちょっと渋いねnimlet f = "abc".find('d')
echo (f.get == 2) # これ、コンパイルエラー出ないんだが？
echo (f.isSome and f.get() == 2) # 本来はこれを強制して欲しいなんか渋いな、あまり使う意義を感じられない..
参考