Mercury 勉強メモ

関数論理型言語 Mercury を勉強するブログです.

作ったもの

Mercuryブロック崩し

大分前(2014年5月)にMercuryで作ったブロック崩しを,GitHubで公開しました. lambdataro/Mercury-Block ちなみに,頑張ってコンパイルすると,以下のようにWindows上でも実行可能です.

Fizz Buzz

MercuryでFizz Buzz問題を解いてみました。 1 2 Fizz 4 Buzz Fizz 7 8 Fizz Buzz 11 Fizz 13 14 Fizz Buzz 16 17 Fizz 19 Buzz Fizz 22 23 Fizz Buzz 26 Fizz 28 29 Fizz Buzz

九九の表を出力するプログラム

Mercuryで掛け算の九九の表を出力するプログラムを作りました。 1 2 3 4 5 6 7 8 9 2 4 6 8 10 12 14 16 18 3 6 9 12 15 18 21 24 27 4 8 12 16 20 24 28 32 36 5 10 15 20 25 30 35 40 45 6 12 18 24 30 36 42 48 54 7 14 21 28 35 42 49 56 63 8 16 24 32 …

Mercury簡易SDLバインディング (Version 2)

Mercury簡易SDLバインディング の改良版です.

ウインドウ内をボールが跳ねまわるプログラム

Mercury でウインドウ内をボールが跳ねまわるプログラムを作ってみました.

テトロミノ (暫定版)

Mercury でテトロミノを解くプログラムを作ってみました. いろいろと改善したいので暫定版です. $ ./tetromino +---+---+---+---+---+---+---+---+ | | | | | + + + + + +---+ +---+ | | | | | | +---+---+---+---+---+ +---+ + | | | | | +---+---+---+--…

シェルピンスキーのギャスケット

簡易SDLバインディング を使って,シェルピンスキーのギャスケットを描くプログラムをMercuryで作りました.

Mercury簡易SDLバインディング

Mercuryで簡単にGUIプログラムを作りたかったので, Mercuryの簡易SDLバインディングを作りました. 自分の使いたい機能しか実装していないので, 使う場合は必要に応じて改造してください. ライセンスはパブリックドメインとします. 使い方 ソースファイ…

ラムダ計算インタプリタ

Mercury でラムダ計算+整数のパーサと評価器を作りました. syntax.m parser.m eval.m lambda.m コンパイル $ mmc --make lambda Making Mercury/int3s/lambda.int3 Making Mercury/int3s/eval.int3 Making Mercury/int3s/syntax.int3 Making Mercury/int3s…

ポーカーの役判定

きゐるさんのニコ生で煽られて書いた Mercury によるポーカーの役判定プログラムです. こんなもんじゃないですかね.十分デバックしてないんですが.