ここ一ヶ月くらいF# みたいな言語をGo言語にトランスパイルするトランスパイラを作っていて、 セルフホストも出来て小物ツールを書けるくらいまでは出来たので公開する事にした。 F# 互換にはせずにGo向けにいろいろ変えたので、別言語としてFolangとして呼ぶようにした。

トランスパイラなので生成結果は.goファイルになります。go instlalでインストールしていけるのが良い。

簡単な例

READMEから抜粋。

パイプライン

package main
import frt

import slice
import strings

let main () =
  [1; 2; 3]
  |> slice.Map (frt.Sprintf1 "This is %d")
  |> strings.Concat ", "
  |> frt.Println

=>

package main

import "github.com/karino2/folang/pkg/frt"
import "github.com/karino2/folang/pkg/slice"
import "github.com/karino2/folang/pkg/strings"

func main() {
	frt.PipeUnit(
    frt.Pipe(
      frt.Pipe(
        ([]int{1, 2, 3}),
        (func(_r0 []int) []string {
		      return slice.Map((func(_r0 int) string { return frt.Sprintf1("This is %d", _r0) }), _r0)
	  })),
    (func(_r0 []string) string {
       return strings.Concat(", ", _r0)
    })), frt.Println)
}

型推論

package main

import frt

let ApplyL fn tup =
  let nl = frt.Fst tup |> fn
  (nl, frt.Snd tup)


let add (a:int) b = 
  a+b

let main () =
  (123, "hoge")
  |> ApplyL (add 456)
  |> frt.Printf1 "%v\n"

=>

package main

import "github.com/karino2/folang/pkg/frt"

func ApplyL[T0 any, T1 any, T2 any](fn func(T0) T1, tup frt.Tuple2[T0, T2]) frt.Tuple2[T1, T2] {
	nl := frt.Pipe(frt.Fst(tup), fn)
	return frt.NewTuple2(nl, frt.Snd(tup))
}

func add(a int, b int) int {
	return (a + b)
}

func main() {
	frt.PipeUnit(
    frt.Pipe(
      frt.NewTuple2(123, "hoge"),
      (func(_r0 frt.Tuple2[int, string]) frt.Tuple2[int, string] {
    		return ApplyL((func(_r0 int) int { return add(456, _r0) }), _r0)
	 })),
   (func(_r0 frt.Tuple2[int, string]) { frt.Printf1("%v\n", _r0) }))
}

開発背景

もともとF# でシングルバイナリでいろいろ雑用のコマンドを作っていたのだけれど、 この前homebrewのアップデートだかupgradeだかをしたらdotnetのランタイムが上がって全部のコマンドが使えなくなり、 やっぱりGolangで書かれている方がいいよなぁ、と思ったのがそもそものきっかけ。

ただGoはちょっと自分の用途では低水準過ぎて、 もうちょっと遅くていいから簡単に書けて、 けどバイナリは小さくていろいろなマシンに生成物を持っていくのが楽な言語が欲しいなぁ、 とも思っていた。この辺の話はRandomThoughts: コマンドラインツールを書くための言語に書いた。

いろいろと評価したが、やはりGolangのランタイムがいいな、と思い、 Golangへのトランスパイラがあればいいんじゃないかな〜、と思うようになった。

ちょっと実験的な最初のバージョンを作って見た所、意外と動いたので、 セルフホストを目指して開発をする事にした。

一ヶ月くらいで無事セルフホスト出来るくらいまでは完成して、 これが3000〜4000行のプログラムとなったので、 これより小さな雑用ツールなら十分実用出来るだろう、 と思い公開する事に。

大きなToDo

まだまだ実装してない機能はたくさんあって、リストアップをしてもすぐに古くなってメンテ出来るとも思えないので大きなものだけ。

  • 関数リテラル（追記：実装した）
  • レコードのジェネリクス対応
  • type parameterのconstraintsのinference

ここまで出来たらResult型やOptional型が欲しいなぁ、 と思うようになったので、このくらいまではやりたいな、と思う。

なお、inner関数はあったら欲しいのだけれど、アルゴリズムWの論文見たらわかりませんでした(´・ω・｀)