TopShell: シェル再考

GitHubのExplore repositoriesにたまたま表示されていた TopShell が気になったので、ここで紹介する。

github.com

TopShell開発の動機は TopShell: Reimagined Terminal and Shell · topshell-language/topshell Wiki · GitHub に書いてあるが、要点をまとめると「古典的なUnixシェルを使うのはつらい。いいところだけを抜き出して、全くシェルを考えたら、どうなるだろうか？」ということらしい。

• Unixシェルのだめなところ
  • 未定義の変数を使ってもエラーにならない【デフォルトで。set -u を使えばエラーになる。】
  • コマンドがエラーになってもスルーされる【デフォルトで。set -e とか set -opipefail を使えばエラー時に中断される。】
  • 全部のデータが文字列
    • sed や awk の不思議なコードを覚えないといけない
    • 不完全なパーサーを書いて処理することになる
• Unixシェルのいいところ
  • システムへの実用的でインタラクティブなインターフェースを提供している
  • パイプを使ってコマンドを合成することで、素早く問題を解決できる
• TopShell
  • 純粋計算と作用（副作用）を分離する純粋関数型プログラミング
  • モダンな型システム
  • 細かいコード断片を書けば、直ちに評価され、結果を見ることができる
    • 結果はテキストのみならず、画像でもアニメーションでもよい
  • 非同期タスクとリアクティブ ストリームによるプログラムの合成
  • これらを努力なしに使うことができる環境

理屈はともかく、TopShellはブラウザから使うことができる。次のリンクからプレイグラウンドを開いて、試してみよう。

http://show.ahnfelt.net/topshell/

https://github.com/topshell-language/topshell#http-example のサンプルコードを画面左側のエディタに入力すると、直ちに評価結果が右側に表示される。といっても、副作用が発生するタスクやストリーム（バインド文 x <- e で宣言されているもの）は、行にカーソルをあわせて Ctrl + Enter で1文ずつ実行するか、実行ボタンを押すまでは実行されない。感覚的には、シェルというより Jupyter Notebook に近い気もする。

json <- Http.fetchJson {url: "https://reqres.in/api/users?page=2"}

people : List {id: Int, "first_name": String, "last_name": String, avatar: String} = 
    Json.toAny json.data

htmlImage = url -> Html.tag "img" [Html.attributes ["src" ~> url]]

peopleWithImages = people |> List.map (
    p -> {image: htmlImage p.avatar, name: p."first_name" + " " + p."last_name"}
)

peopleWithImages |> View.table

HTTP example

HTTP exampleの実行結果

ストリームのサンプルとして https://github.com/topshell-language/topshell#stream-example も試してみよう。この例では、時計のアニメーションが動く。

言語仕様についてはまた今度書く。