Menhirが便利
こんにちは､びしょ〜じょです｡これはWORD Advent Calendar 2017の記事です｡ 12月3日といえば冴草きいちゃんの誕生日!!!! みんなで祝いましょう｡ と思ったら『NEW GAME!』の遠山りんさんの誕生日でもあるのか!! この日はめでたいなぁ､国民の祝日にしましょう｡ WORDとは何か 1. はじめに みなさんOCamlは書いてますか｡今年はほとんどOCamlとLaTeXしか書いてません｡ OCamlといえばメタランゲージとのことですので､メタランゲージでランゲージを作りたくなります｡ syntax.mlみたいなファイルにデータタイプを定義して､そのあとどうしますか｡ 全部手打ちでしょうか､それとも… 2. パーザージェネレーター 人類は偉い! 人類は偉いのでパーザー自体を書かずともいい雰囲気のものを書くとパーザーを作ってくれるパーザージェネレーターというものがあり
OCamlの魅力 - osiire’s blog
多相バリアントを使いこなそう(4) - osiire’s blog
前回までで多相バリアントの基本的な機能は説明してきました。そこで今回は、多相バリアントのとても重要な応用についてお話したいと思います。それは、場合分け構造の拡張問題です。 場合分け構造の拡張は難しい 例えば、次のようなコードがあったとします。 module Card = struct type t = Num of int | Jack | Queen | King let num = function Num i -> i | Jack -> 11 | Queen -> 12 | King -> 13 end Card.tには4種類の場合分けがあり、それらに対してnumという操作が定義されています。このような場合分け構造+操作に対して、 静的で安全に(キャストせず)、 元のコードを一切変更せず、 新しい場合分けを加え、 新しい操作も加えた 新しい場合分け構造を定義する にはどうすればいい
多相バリアントを使いこなそう(3) - osiire’s blog
さて、今日は多相バリアントの「三つの型」について紹介しようと思います。この「三つのの型」をうまく活用する事で、安全さと柔軟さと再利用性を同時に手に入れることができます。 三つの型 同じ`Aと`Bというタグを使っても、宣言できる多相バリアント型には三種類あります。一気に紹介しちゃいましょう。 # type t1 = [ `A | `B ];; (* 固定 *) type t1 = [ `A | `B ] # type 'a t2 = 'a constraint 'a = [> `A | `B ];; (* 開いている *) type 'a t2 = 'a constraint 'a = [> `A | `B ] # type 'a t3 = 'a constraint 'a = [< `A | `B ];; (* 閉じている *) type 'a t3 = 'a constraint 'a
多相バリアントを使いこなそう(2) - osiire’s blog
前回は、OCamlの多相バリアント型のタグは複数の多相バリアント型に属する事ができるというお話でした。では、この性質を応用するとどんな嬉しいことがあるのでしょうか?今日はまず、多相バリアントを組み合わせる場合のストーリーを挙げてみたいと思います。 多相バリアント型を組み合わせる 例えば、キーボードイベントとマウスイベントを定義するバリアント型があったとします。 # type keyboard_event = KeyPress of char | KeyRelease of char;; type keyboard_event = KeyPress of char | KeyRelease of char # type mouse_event = MousePress of int * int | MouseRelease of int * int | Click of int * int;
多相バリアントを使いこなそう(1) - osiire’s blog
以前OCamlは学習コストが低いといいましたが、私のOCaml学習の中で唯一多相バリアントだけはその意味を理解するのに時間がかかりました。ただ、分かってみると単純な話で、誰かが噛み砕いて説明してくれれば回り道しなくてもよかったのではないかと悔やまれます。また、多相バリアントについて集中的に解説しているWebページもあまりないので、ここで解説してみようと思います。 多相バリアントの基本 「多相」バリアントというくらいですから、多相バリアントは多相的なバリアントなのです。普通のバリアントは多相になりません。例えば普通のバリアント型、 # type card = Joker | Num of int;; type card = Joker | Num of int # type in_data = Str of string | Num of int;; type in_data = Str o
限定継続いろいろ | 雑記帳
OCaml でゲームボーイエミュレータを書いた話 - Qiita
Grain: A strongly-typed functional programming language for the modern web.
A modern web staple. Grain is a new language that puts academic language features to work. Let's Go Powered by WebAssembly Enter the future. Grain compiles directly to WebAssembly, taking full advantage of its speed and efficiency. Sensible Types No runtime type errors, ever. Every bit of Grain you write is thoroughly sifted for type errors, with no need for type annotations. Functional Yet Flexib
The ReScript Programming Language
Fast, Simple, Fully Typed JavaScript from the FutureReScript is a robustly typed language that compiles to efficient and human-readable JavaScript. It comes with a lightning fast compiler toolchain that scales to any codebase size. module Button = { @react.component let make = (~count) => { let times = switch count { | 1 => "once" | 2 => "twice" | n => n->Int.toString ++ " times" } let text = `Cli
GitHub - semgrep/semgrep: Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
This repository contains the source code for Semgrep OSS (open-source software). Semgrep OSS is a fast, open-source, static analysis tool for searching code, finding bugs, and enforcing code standards at editor, commit, and CI time. Semgrep is a semantic grep for code: where grep "2" would only match the exact string 2, Semgrep would match x = 1; y = x + 1 when searching for 2. And it does this in
Haskell vs OCaml
haskell Published on December 6, 2019, last updated December 11, 2019 This is a comparison between the two languages by someone who has written code professionally in both. That said, I’m much more familiar with Haskell than with OCaml, so if you think there is a mistake in the text, let me know. Background and users Haskell is a niche, rarely used language. The situation is changing, but make no
ML系言語で型注釈が必要なケース - Qiita
ML系言語は型推論が得意なので基本的には型を書かなくてもコードを書けますが、状況によっては型注釈が必要になります。代表的なML系言語3つ（SML, OCaml, Haskell）について、それぞれ型注釈が必要になる（型注釈がないとコンパイルが通らない）ケースを挙げてみます。 なお、ここでは型システムのみに注目し、評価戦略はどうでもいいので、Haskellも「ML系言語」に含めています。 また、MLのモジュール／ファンクター周りは扱いません。コア言語のみを対象にします。 SML SMLで型注釈をなくすとコンパイルが通らなくなるのは、例えば以下の例です： 組み込み演算子やリテラルのアドホックなオーバーロード レコードを受け取る関数 リテラルの例： val x: IntInf.int = 12345678901234567890123; (* 型注釈を剥ぐとダメ： val x = 1234567
GitHub - verifast/verifast: Research prototype tool for modular formal verification of C and Java programs
By Bart Jacobs*, Jan Smans*, and Frank Piessens*, with contributions by Pieter Agten*, Cedric Cuypers*, Lieven Desmet*, Jan Tobias Muehlberg*, Willem Penninckx*, Pieter Philippaerts*, Amin Timany*, Thomas Van Eyck*, Gijs Vanspauwen*, Frédéric Vogels*, and external contributors * imec-DistriNet research group, Department of Computer Science, KU Leuven - University of Leuven, Belgium VeriFast is a r
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Remark about using it to implement OCaml effect handlers · Issue #17 · WebAssembly/js-promise-integration
GitHub - leque/dc-machine: a call-by-value abstract machine for lambda-calculus + control, shift, control0, shift0, and prompt.
GitHub - keigoi/kmclib
GitHub - CatalaLang/catala: Programming language for literate programming law specification
GitHub - olivo/redos-detector: A tool for detecting regular expression denial-of-service vulnerabilities in Android apps.
GitHub - mirage/irmin: Irmin is a distributed database that follows the same design principles as Git
