#F2 -functional programming language 2-
##これは何？
ちょっとした思いつきと勉強のために作り始めた、関数型のプログラミング言語ですー＞ω＜
型推論をそなえていますです(｀・ω・´)
（ただし、あまり過剰な期待はしないほうがいいのです( ﾟ,＿･･ﾟ)）
##インストール
Cabalを使ってのインストールに対応しましたですー＞ω＜
$ git clone git@github.com:kagamilove0707/F2.git && cd F2
$ cabal configure && cabal build
これで、依存関係に足りないものがあっても勝手にインストールされるはずですー＞ω＜
##チュートリアル
OCamlが七割、Haskellが三割入ったような変な仕様となっていますですー＞＜
現在は、残念ながらREPLしかないのです(｀・ω・´)
というわけで、./f2を叩いてみるのです(｀・ω・´）
$ ./f2
____ _____
// //
//-- ----
// //___ version 0.1.3.2 20130718
(1)#
まずは1 + 1でも。
(1)# 1 + 1
it = 1 + 1 = 2 : Int
1 + 1だけのわりに、たくさんの出力がされました(； ･`д･´) これは変数名 = 入力した式 = 結果 : 型となっていますです＞ω＜
次に関数の定義でも。fun 引数 -> 本体としますです＞ω＜
(2)# fun x y -> x + y
it = fun x y -> x + y = <fun> : Int -> Int -> Int
(3)# (fun x y -> x + y) 1 2
it = (func x y -> x + y) 1 2 = 3 : Int
多相型も使えるのです＞ω＜
(4)# fun x -> x
it = fun x -> x = <fun> : 't0 -> 't0
(5)# (fun x -> x) 10
it = (fun x -> x) 10 = 10 : Int
(6)# (fun x -> x) True
it = (fun x -> x) True = True : Bool
分かってると思いますがこのTrueというのはブール代数の真のことです(｀・ω・´)
def 名前 = 式で変数を定義できますです＞ω＜ （変更できませんけど(´･ω･｀)）
↑下の出力を見れば一目瞭然ですけれど、デフォルトはitという変数に代入されていて参照できますです(｀・ω・´)
ちなみに、演算子もdef (記号) = 式やlet (記号) = 式で定義できますです(｀・ω・´) （しかし、左結合で結合順位は一定です( ﾟ,_･･ﾟ)）
他にはlet式（let 名前 = 式1 in 式2）で束縛したり、if式（if 条件 then 式1 else 式2）で分岐したり、カリー化したり、型シグネチャを指定したりできますです＞ω＜
(7)# def const = fun x y -> x {- コメントはHaskell風ですー＞ω＜ -}
const = fun x y -> x = <fun> : 't0 -> t1' -> t0'
(8)# let f = const 10 in f 20
it = let f = const 10 in 20 = 10 : Int
(9)# let x = 10 in if x == 20 then 1 else 2
it = let x = 10 in if x = 20 then 1 else 2 = 2 : Int
(10)# def (&&) = fun x y -> if x then y else False
&& = fun x y -> if x then y else False = <fun> : Bool -> Bool -> Bool
(11)# (fun x -> x : Int -> Int) True
type error : no match
またlet rec式（let rec 名前 引数 = 本体 in 式）で再帰的な関数を束縛できるのです＞ω＜
let式にも（let 名前 引数 = 本体 in 式）という風にして関数を束縛できる糖衣構文がありますです＞ω＜ （おまけに演算子では（let 引数1 記号 引数2 = 本体 in 式）とも定義出来ますです＞ω＜）
(12)# let rec fact x = if x <= 0 then 1 else x * fact (x - 1) in fact 5
it = let rec fact = fun x -> if x <= 0 then 1 else x * fact (x - 1) in fact 5 = 120 : Int
(13)# let rec x ^ y = if x == 0 then 1 else x * (x ^ (y - 1)) in 2 ^ 16
it = let rec x ^ y = if x == 0 then 1 else x * (x ^ (y - 1)) in 2 ^ 16 = 65536 : Int
最後に、バージョン確認は:v、終了は:qで行えますです＞ω＜
(14)# :v
version 0.1.3.0
(15)# :q
See you!
##組み込み関数一覧
デフォルトで定義されている関数です(｀・ω・´) HaskellのData.Functionで定義されている関数は全て定義しましたです＞ω＜
id : 'a -> 'aconst : 'a -> 'b -> 'afix : (('a -> 'b) -> 'a -> 'b) -> 'a -> 'bflip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'con : ('b -> 'b -> 'c) -> ('a -> 'b) -> 'a -> 'a -> 'c($) : ('a -> 'b) -> 'a -> 'b {- 適用演算子ですー＞ω＜ -}(.) : ('b -> 'a) -> ('a -> 'b) -> 'a -> 'c~ : Int -> Int {- 符号反転ですー＞ω＜ -}(+) : Int -> Int -> Int(-) : Int -> Int -> Int(*) : Int -> Int -> Int(/) : Int -> Int -> Int(==) : Int -> Int -> Bool(/=) : Int -> Int -> Bool(<) : Int -> Int -> Bool(>) : Int -> Int -> Bool(<=) : Int -> Int -> Bool(>=) : Int -> Int -> Bool(&&) : Bool -> Bool -> Bool(||) : Bool -> Bool -> Bool
(==)などがIntにしか適用できないのは、型クラスを持たないせいです(´･ω･`)
##とぅどぅー
今後やっていきたいことや、やらなければいけないことのメモです＞＜
- 型を増やす。
- 関数を増やす。
fail構文（エラーの発生用）を実装。- 再帰関数を実装する。←v0.1.2で完了
- 代数的データ型を実装する。
- パターンマッチを実装する。
- 関数定義の糖衣構文（
let f x = xのような）を実装する。←v0.1.3で完了 - 型クラスを実装する。
- ファイルからの実行を実装する。
- エラーをもっと親切にする。
- FFIのインターフェイスをTemplate Haskellで作り親切にする。
- 仮想機械を作り、そこで実行するようにする。
他にもあるような気がしますが、今はこれぐらいにしておきますです＞＜
##ライセンス
MITライセンスにしましたです＞ω＜
##こんとりびゅーと
Fork & Pull Request大歓迎です＞ω＜ ここはこうしたほうがいいとか、こんな仕様があったら面白いとか。
待ってますです＞ω＜