Haskell 型レベル計算で継続渡し - keigoiの日記
やってみた 訂正: id:athos くんの指摘により。 やりたいこと 木を深さ幅優先探索して n 番目の要素を取得する。 関数型言語でならこんな風に継続渡し形式(CPS)で書けばよい： data Tree a = Tree a :*: Tree a | Leaf a nth :: Int -> Tree a -> a nth n t = nth' n t (\_ -> error "no more elements") where nth' :: Int -> Tree a -> (Int -> a) -> a nth' 0 (Leaf a) k = a nth' n (Leaf _) k = k (n-1) nth' n (l :*: r) k = nth' n l (\i -> nth' i r k) テスト *Main> nth 0 (Leaf "a") "a" *Main> nt
はてなブログ | 無料ブログを作成しよう
うめぇヨーグルトソースでもいかがですか。個人差にもよりますが。もしよろしければ。 お久しぶりです。 最近うんめぇ〜と思ってるヨーグルトソースがあるので、書いていこうと思います。 ヨーグルトとハーブ類をもりもり使うので、そういうのが食べられない方にはうんめぇソースではないです。ごめんなさい…。もしよろしければお茶だけも…旦~ 【用意する…
「すごいHaskellたのしく学ぼう！」は気配りと楽しさがすごい - keigoiの日記
本書はHaskellの入門書です。とっても親しみやすい内容と文体で、構成についても、順序を踏んで丁寧に書かれているようです。また日本語(マルチバイト文字)の扱いを付録で解説しているのもポイント高いですね。 以下、ざっくり目を通して、これは！と思った点をまとめました。 イントロはHaskellの概要をやさしい文体で、でもしっかり説明しています。 Haskellがもつ純粋さと参照透明性の重要さ、必要最小限の計算を行う遅延評価であること。型付けが重要なのは当然として、型推論がすばらしいこと。さいごに「Haskellはエレガントで簡潔です」。 全体として：気配り 翻訳が読みやすいです！親しみやすさが日本語になってグッと増した感があります。翻訳文であることを全く感じさせません。 また随所で、著者の気配りを感じさせられます。 文中の補足説明やNOTEが親切です。たとえば、初見ではワケわからない型の周り
ML Dialects and Haskell: SML, OCaml, F#, Haskell - Hyperpolyglot
a side-by-side reference sheet grammar and invocation | variables and expressions | arithmetic and logic | strings | dates and time | arrays | lists | tuples | dictionaries | functions | execution control | exceptions | concurrency | file handles | files | directories | processes and environment | libraries and namespaces | user-defined types | objects | inheritance and polymorphism | net and web
agda2-mode を改造し、高速化する -
この記事はTheorem Proving Advent Calendar 2011の14日目の記事です。 agda2-mode とは? Agda2 は Emacs のメジャーモード agda2-mode を持ちます。agda2-mode は Agda2 を書くのに必要不可欠な多数の機能を提供しており、これが無ければ Agda2 で証明やプログラムを記述するのがとても困難になります。 agda2-mode は、以下のような機能を提供します。 ソースコードの検査 正確なシンタックスハイライト placeholder 限定的な自動証明 コンテキストと型の表示 正規形の計算 Agda2 用の入力メソッド パターンマッチ分岐の自動生成 当然これらは Emacs Lisp で記述されていますが、その本質的な部分は Haskell で記述された Agda2 処理系を呼び出すことによって実現しています。
IIJ IIの山本和彦さんによる、関数型言語(Haskell)勉強会開催のお知らせ：プログラマー社長のブログ：オルタナティブ・ブログ
急ですが、6月8日（水）16時から、WIDEプロジェクトやMew,KAMEなどで有名な、(株) IIJ イノベーションインスティテュート 主幹研究員の山本和彦さんを講師としてお招きし、当社地下会議室にて関数型言語の勉強会を開催することになりました。 言語としては、Haskellの話題になる予定です。 きっかけは、先日内定を出した学生さんが関数型言語が大好きで、「それなら就職に関して山本さんに一度相談してみたら？」「今会っても，緊張しすぎて，何も話せないと思います」という感じで、「まあ、それなら当社でも関数型言語に興味があるメンバーはいるので、勉強会でも開催して、交流しましょうか？」ということになり、早速やることになりました。 当社メンバーだけではもったいないので、もし興味ある方がいれば、是非一緒にいかがでしょう？地下の会議室はそれほど広くはないのですが、10人くらいは余裕ですので。 タイ
型推論はどのようにして実装されているか - ラムダプラス+の紹介 -
この記事は Haskell Advent Calendar jp 2010 のために書かれた物です。(20日目) 型推論は簡単 ML や Haskell のような言語の型推論は、型推論を知らないみなさんが考えているよりは遥かに簡単な物です。大雑把に言ってしまえば、構文木全体を探索して、同一である事が明らかな型同士の単一化をしていけば型推論できてしまうのです。 型推論の難しい所その1 - 多相型 しかし、型推論にも難しい事が無いわけではありません。まず最初の難関としては多相型が挙げられます。 ML や Haskell では let などの変数束縛に対して多相型が導入されています。式の中でこれらの変数が出現すると、その型の型変数(確定していない部分)を全て付け替える操作が発生します。 しかし、確定していない部分を付け替えるという事は、最終的に元の型が確定した後にその操作をしなければ、型を正しく
『The Evolution of a Haskell Programmer』
See Iavor Diatchki’s page “The Evolution of a Programmer” for the “original” (though he is not the author), and also below for the story behind this version. (This page has been translated into the Serbo-Croatian language by Anja Skrba from Webhostinggeeks.com. Thanks, Anja, for all your hard work!) Freshman Haskell programmer fac n = if n == 0 then 1 else n * fac (n-1) Sophomore Haskell programme
すえひろがりっっっ!(SoftWareメモ)
ruby プロファイル $ ruby -r profile hoge.rb 2008-06-09 02:58 | ruby | sue | comment 0 TeamViewer TeamViewer なにこれ． すげぇ． P2P 的な VNC ? 2008-06-01 16:52 | ツール | sue | comment 0 [Excel]行の自動調整 改行を打たなくてもセルの高さが自動で変わるようにする． ホーム > 配置 > 折り返して全体を表示する 2008-05-22 16:29 | Excel | sue | comment 0 OSのディストリビューションを調べる方法 http://oshiete1.goo.ne.jp/kotaeru.php3?q=2393841 より 1) Debian系 Debian/GNU Linux # cat /etc/deb
FizzBuzz - traih.log
> zipWith (\a b -> if b == "" then show a else b) [1..100] $ zipWith (++) (c ycle ["", "", "Fizz"]) (cycle ["", "", "", "", "Buzz"]) ["1","2","Fizz","4","Buzz","Fizz","7","8","Fizz","Buzz","11","Fizz", "13","14","FizzBuzz","16","17","Fizz","19","Buzz","Fizz","22","23", "Fizz","Buzz","26","Fizz","28","29","FizzBuzz","31","32","Fizz","34", "Buzz","Fizz","37","38","Fizz","Buzz","41","Fizz","43","44",
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
InfoQ: いま日本で、関数プログラミングが熱い 「函数プログラミングの集い」レポート
partake.in
らくがきえんじん
Muad`Dib