GitHub - i-tu/Hasklig: Hasklig - a code font with monospaced ligaturesYou signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
The Music Suite
let m = staccato (scat [c,d,e,c]|/2) |> ab |> b_ |> legato (d |> c)|*2 in stretch (1/8) m To transform music, we write a function. For example the following function halves all durations and transposes all pitches up a minor sixth: up m6 . compress 2 Applied to the above music we get: Input and output The Music Suite works well with the following input and output formats. MusicXML Lilypond ABC not
ポイントフリースタイル入門 - melpon日記 - HaskellもC++もまともに扱えないへたれのページ
Haskell にはポイントフリースタイルというのがあります。 例えば foo x = f (g x) という中の x というのが「ポイント」と言うらしいです（型を明示していないから x の型が a->b だったりする可能性もあるけどその可能性は置いといて）。要するに値のことですね。 で、このポイントを除けてプログラミングするのをポイントフリースタイルと言います。 この場合、 foo = f.g となります。 ということで、ありとあらゆるコードをポイントフリースタイルで書けるように訓練しましょう。 基本的に、書いてれば慣れるのでどんどん書きましょう。 基本 基本的に (.) 関数を使います。 foo x = f (g x) foo x = (f.g) x foo = f.g です。 また、(.) は二項演算子なので、これを関数形式で書けば、 f.g = (.) f g となり、更に = (
Function call expression 参戦記 - Life Goes On
公私ともにバタバタしていて、blog も twitter も放置していますが、どうにか生きてます。 anarchy golf - Function call expression に関して、youzさんが解説を書けと言ってるので、２位という立場で僭越ながら書いてみる。 ２週間前に問題を見て、なんて好みの問題だろうと思い、誰も参加してないけど submit。 こういう処理系ちっくな問題のときはだいたい、Parsec で考えを整理してから実装してる。今回もまずParsec で下書き。 import Text.ParserCombinators.Parsec m @ main = getLine >>= putStrLn . either show id . parse expr "" >> m expr = do f <- char 'f' xs <- many $ do char '(' e
Grass のインタプリタを書いてみたよ - Life Goes On
Haskell で Grass のインタプリタを書いてみました。以前から書いてみたいとは思っていたのですが、どこから手をつければいいものやら分からず、半年近く経ってしまいました。悲願達成。 Haskell 版は既に mr_konn さんが書いているので、目新しいものではありません。あくまでも自分のため。 とりあえず動くものはできたのですが、まだまだ改善の余地がありそう。悩んでいるのはこんなところです。 サンプルの「はいはいわろすわろす」を動かしたい（Shift_JIS とかでの出力もしたい）ので、UTF-8 モジュールは使っていません。そうすると自前で全角文字のハンドリングをする必要があります。UTF-8 なり Shift_JIS なり EUC-JP なり決め打ちで変換することになりそう（関数 filter'）なのですが、もうちょいスマートなやり口はないものでしょうか。あと String
hh.gif - 兼雑記
7割くらい書いたところで存在を忘れていました。 http://slashdot.jp/sp/binary2008/bin2008_shinh.shtml 何かに使えることがあるかもだから(無いと思うが) com2txt 書いとくかーと書いたのでした。オリジナルの com2txt は短すぎないか。 base64 よりはちょっとデコードしやすそうなフォーマットだとはいえ。ただうちでは動かんかったのだけど。 でまぁ com2txt だけじゃつまらないのでどうでもいいネタをしょぼしょぼしこんだのでした。 以下解答。 ruby hh.gif > hh_ruby.comとかで出てきたファイルは ASCII のみで表現された Happy Hacking! と出力する COM ファイル オリジナルの GIF ファイルを出力する Ruby スクリプト オリジナルの GIF ファイルを出力する Perl スク
便乗 ゆの in Haskell - blanket log
http://d.hatena.ne.jp/ranha/20080709/1215658800 まぁ少なくとも片方は #define 使う必要ないですよね。 #define _ X import Prelude hiding((<),(/)) data X = X a / b = X a < b = putStrLn $ "Hidamari Sketch 365 " ++ b main = X / _ / X < "Please see next week!" #define 使ったら負けかなとは思うんですが、_ はどうなんでしょう…。パースエラー出ない場所が限られてますしねぇ。 追記 Haskell で日本語を使うには: http://ja.doukaku.org/comment/3513/ , http://hackage.haskell.org/cgi-bin/hackage-scr
The Haskell 98 Language Report
Simon Peyton Jones [editor], Microsoft Research, Cambridge Lennart Augustsson, Sandburst Corporation Dave Barton, Intermetrics Brian Boutel, Victoria University of Wellington Warren Burton, Simon Fraser University Joseph Fasel, Los Alamos National Laboratory Kevin Hammond, University of St. Andrews Ralf Hinze, University of Bonn Paul Hudak, Yale University John Hughes, Chalmers University of Techn
Haskell で brainfuck - 言語ゲーム
ふと思い立って Haskell で brainfuck を書いてみた。そんな事やってる人は沢山いると思うので、一つ制限をつけた。モナドは main 関数の中だけしか使わない。つまり、後は全部副作用なしでやる。 それから、大体の方針を立てた。brainfuck の文法はとても単純なので、もしかしてパーサすらいらないんじゃ無いかと思ったのだけど、ループがある関係上やっぱり最初に構文木を作ったほうがやりやすい。という事でオーソドックスに、ソースコード -> 構文木 -> 実行、と言う順序で進める事にした。 -- Parser data Command = Inc | Dec | Next | Prev | Put | Get | While [Command] deriving (Show, Eq) type Program = [Command] parse :: String -> Prog
defmacro - Writing A Lisp Interpreter In Haskell
Introduction A while ago, after what now seems like eternity of flirting with Haskell articles and papers, I finally crossed the boundary between theory and practice and downloaded a Haskell compiler. I decided to do a field evaluation of the language by two means. I was going to solve a problem in a domain that Haskell is known to excel at followed by a real world problem1 that hasn't had much ex
HSDL with GHC 6.6.1 - まめめも
Haskell の SDL binding である HSDL を GHC 6.6.1 でコンパイルするための手順メモです。 1. 必要なものをダウンロードします。 HSDL のソースコード、SDL のランタイムライブラリと開発ライブラリ (ヘッダとか) が必要です。 http://fxp.hp.infoseek.co.jp/haskell/HSDL/ から HSDL-0.2.0.zip と haSDLis.zip http://www.libsdl.org/ から SDL-1.2.12-win32.zip と SDL-devel-1.2.12-mingw32.tar.gz $ ls HSDL-0.2.0.zip SDL-devel-1.2.12-mingw32.tar.gz SDL-1.2.12-win32.zip haSDLis.zip 2. SDL の開発ライブラリを適当なところに展開
CommonLispでlist comprehension - 関数型日記（仮）
しょぼい組み込みHW屋の私が現実逃避のため関数型言語の勉強を始めました．それはそうと，VdGG観てきました．peter hammillが神すぎて困りました．次も観るぞ！ Haskellのlist comprehensionっぽい何かをCommonLisp(xyzzy上)で実現してみました．hugsで深追いしていった結果，なんとなーくその裏の実装の見当がついたので，まぁモノはためしにやってみようかと． まず，こんなのを， [x | x <- [1,2,3,4,5], x < 3] CommonLispで実装すると，こんな感じ． (let ((x '(1 2 3 4 5))) (mapcar #'(lambda (x) x) (remove-if-not #'(lambda (x) (< x 3)) x))) Haskellのgeneratorはまずletに置き換えました．letはこの場合別に
状態モナド遊び - あどけない話
状態をモナドで実現する方法を考えます。 リスト 例は簡単な方がいいので、データ構造として Lisp 風のリストを定義しましょう。 data List a = Nil | Cons a (List a) deriving Show リストは、こんな風に表せます。 Cons "c" (Cons "b" (Cons "a" Nil)) Lisp 風の cons も定義してみましょう。 cons :: a -> List a -> List a cons x xs = Cons x xs cons "c" $ cons "b" $ cons "a" Nil → Cons "c" (Cons "b" (Cons "a" Nil)) 状態を持つリスト さて、この Lisp 風のリストに、要素の数を覚えさせておきたいとしましょう。もちろん、数えれば分りますが、数えなくても一瞬で分るようにしたいのです。
再帰代数データ型と代数 - ラシウラ
なるほどなと思った A Neighborhood of Infinity: MSFP 2008 より HaskellでのListデータ型の定義 data List A = Nil | Cons A (List A) 各項を以下の数式記号に、置き換える List A => L(A) a | b => a ＋ b Nil => 1 Cons A b => A × b L(A) = 1 ＋ A × L(A)L(A)を左辺へまとめる (1 - A) × L(A) = 1係数で割る L(A) = 1 / (1 - A)テイラー展開する テイラー展開 - Wikipediaの幾何級数 L(A) = 1 ＋ A ＋ A^2 ＋ A^3 ＋ ...各項は、 A = A × 1 A^2 = A × A × 1 A^3 = A × A × A × 1 L(A) = 1 ＋ A × 1 ＋ A × A × 1
de Bruijn index の評価器 - まめめも
unlambda から brainfuck への変換器を作ろうしていましたが、なぜか de Bruijn index のラムダ式の評価器を Haskell で作った時点で飽きました。そんな残骸ですが、メモ代わりに公開します。de Bruijn index でも代入の定義はやっぱり複雑なんですね。 de Bruijn index はラムダ式の記法の一種です。普通のラムダ式と違うのは、変数を文字列ではなく数字で表現するところです。その数字のある位置から左方向にλを数えていって、その数字番目のλで束縛された変数を指示します。例えば λx.x は λ 1 になり、λx.λy.x は λ λ 2 に、λf.λg.λx.f x (g x) は λ λ λ 3 1 (2 1) になります。詳しくは wikipedia:de Bruijn index を参照してください。 -- ラムダ式 (出力機能付き)
Haskell のリストと遅延評価が少し分かった - IT戦記
いろいろ試行錯誤をしていて JavaScript の関数を作って呼び出すのと Haskell のそれとの決定的な違いを見つけた。 それは、たぶんものすっごい単純で当たり前なことだけど、これが分かったとたんに僕の周りのピースが一気に繋がったので、恥をしのんで書く。 僕は以下のように脳内変換していて Haskell a = 1 iszero i = if (i == 0) then True else False Javascript a = function() { return 1 } iszero = function(i) { return i()/*評価は関数呼出し*/ == 0 ? True : False } // True False はこう True = function() { return true } False = function() { return false
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
yukobaのブログ
http://www.mew.org/~kazu/material/2008-haskell.pdf
http://cvs.haskell.org/Hugs/index.html
http://liskell.org/about