はてなブックマーク

手続き型言語を使う人に「F# のループ (for/while) は break できない」というと驚かれるかもしれません。筆者は驚きました。途中で終了する可能性のあるループを書けなくて困りそうですが、その心配は不要です。F# では 末尾再帰関数 を使って、break や continue のあるループと同じことができるからです。 例1: 無条件の無限ループ まずは最も簡単な例を挙げます。break も continue も使わないループを、末尾再帰関数を使って書いてみましょう。ひたすら yes を出力するだけの、通称 yes コマンドです。C# だとこうですね。 public void YesAll() { while (true) { Console.WriteLine("yes"); } }

HSP3 の開発ツールをいくつか作ってみたので、その紹介をかねて、Visual Studio Code (VSCode) による開発環境の手順を書きます。 想定読者 本稿は HSP3 に十分に慣れているユーザーのみ想定しています。ターミナルでの操作も必要になります。現時点では基本的に、 スクリプトエディタなど標準のものを使うほうがおすすめ です。 また、詳細は後述しますがスクリプトを UTF-8 で保存し、UTF-8 ランタイム上で実行するというかなり普通でない前提の下で環境を構築します。 標準のスクリプトエディタはまだ UTF-8 に対応していないため、標準のスクリプトエディタでは開けなくなります 。(正確には開くと文字化けする。) というわけで、いるかどうか分からない読者を想定しつつ、とりあえず書いていきます。 GINGER プロジェクト 本稿で紹介するツールのソースコードは以下のリポ

セルフホスティングCコンパイラを作るのが流行っていたので、それに感化されて F# サブセット言語のコンパイラでセルフホスティングをやってみました。 コードネームは ミローネ言語 です。 リポジトリ: vain0x/milone-lang 開発期間: 2018/08/31 ～ 2019/10/04 (うち5か月ほど休止期間) 開発言語: F# F# にはオブジェクト指向の言語機能と関数型の言語機能の両方が乗っていて、普段なら適当に使い分けてプログラミングします。 しかしセルフホストするためには、 使用する言語機能 ＝ 実装する言語機能 となるわけで、あまりたくさんの言語機能を使えません。 今回はコンパイラを書くのに向いているであろう 関数型の言語機能 (リストや再帰関数など) を使うことにしました。 また、実装量を減らすために イミュータブル縛り でやってみました。つまり、 変数への再代入は

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? LSP サーバーの実装の練習をしています。この記事は勉強ノートとして、調査事項をまとめつつ、成果物を作成した手順を解説します。 第1回では LSP の基礎部分に触れ、極小の LSP サーバーを準備し、「エディター上にリアルタイムで警告を表示する」機能を作ります。 おことわり 読者には Node.js と TypeScript の基本的な知識を前提とします。 若干解説調の文章になってしまっていますが、筆者は詳しいわけではないのでご了承ください。 LSP とは LSP = Language Server Protocol すごく雑に利点をい

競プロで Rust を使い始めて半年が過ぎました。いまの私のプラクティスを羅列的に書いていきます。 筆者 AtCoder 水色 競プロ参戦記 やってます フレームワーク 自作フレームワークはこちら 。いつもこれの main 関数の中に解答を書いて提出しています。 入力のパース 標準機能だけで入力をパースしようとするとだるいです。Qiita にも、すでにこの問題を解決しようという記事がいくつか上がっています。 私は上述のフレームワークに含まれている read! マクロ を使っています。実装が短い (23行) のと、見た目が関数っぽくて好み。 //! グラフのパースの例 let (N, M) = read!(usize, usize); let weightd_edges = read![[usize, usize, i64]; M]; パフォーマンスは若干悪くて、C++ で std::cin

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?