HaskellのnubとRubyのuniq - 定食屋おろポン
HaskellのData.List#nubと、 RubyのArray#uniqは、どちらもリスト/配列内の重複要素を取り除いた新しい配列を返す関数です。 どうもHaskellのnubはRubyに比べてだいぶ遅いなあと感じます。 リストと配列のデータ構造の違いに起因するのだろうと想像はできますが、いまいち腑に落ちない*1のでまずは計測を行いました。 まずは、重複の全くない長いリスト/配列についてです。 具体的には、1から100,000までの数値を突っ込んだリスト/配列の重複を取り除きます。 nub.hs module Main where import Data.List main = print $ length $ nub $ [1..100000] uniq.rb puts (1..100000).to_a.uniq.length 計測結果 $ time ./nub 100000 re
Rubyに型を付けるHaskellというgemを作ったヨ！
2020/12/27追記 https://www.ruby-lang.org/ja/news/2020/12/25/ruby-3-0-0-released/ => Ruby3.0.0にRBSとTypeProfと用いた静的解析に対するソリューションが提供されました。 今後はこちらのエコシステムをガンガン盛り上げていきましょう💪 あいさつ P.S. 12/11 HaskellからRubypeにgemを変更しました こんにちは. 寒さが一段と厳しくなってきた事もありまして心を温めるGemを作りました. Rubyの振る舞いを汚染する事無く型保証の恩恵をゆるふわ受けられるgemです （型をつけるとか型保証という言葉をこの文脈ではメソッドの引数返り値のクラスを実行時にチェックするという意味で使っている.） 得体の知れないGemで抵抗感があるかもしれませんが、コード自体は50行以下の薄いGemなので気
内包表記について、すごい合同勉強会で話した | そんなこと覚えてない
すごい合同勉強会2014 in 広島でセッションしたので内容を公開しておく。 今回は「私がモナドの内包表記という名前を知った時の感覚を伝えよう」というのが目的でした。 さりげなく「私がモナドに感じている効能を伝える」というのもしているのですが、そこは本当にさりげなく。 内包表記。その意味を知らずに5年前ぐらいにpythonで利用していて、forやif文字通りにうけとっており、その動作を正しく理解できてないときがありました。 現在とその間にHaskellを学び、その5年前の自分に内包表記を伝えるにはという観点で話を進めました。 まず、リストの内包表記ですが、リストを生成を簡単にしてくれる機能です。 内包表記は、どうやら数学の集合の記法である内包的記法に由来するそうで、「関数プログラミング入門 ―Haskellで学ぶ原理と技法―」か何かで読んだ記憶があります。 その対になる記法として外延的記法
Ruby と抽象構文木 - まめめも
PEG を作ってて思ったこと。 Haskell や OCaml に比べて、Ruby は抽象構文木を扱うのがすごく苦手だと思います。一つの大きな理由はパターンマッチがないことですが、それだけでは無いような気がします。 Haskell の場合、 -- 抽象構文木を定義する data AST = Foo AST | Bar AST | Baz -- 処理 1 foo (Foo x) = ... foo (Bar x) = ... foo Baz = ... -- 処理 2 bar (Foo x) = ... bar (Bar x) = ... bar Baz = ... -- 処理 3 bar (Foo x) = ... bar (Bar x) = ... bar Baz = ... と言うように処理を同じ箇所にまとめて書けますが、Ruby の場合 # 抽象構文木を定義する class AST;
C vs Python vs Ruby vs Haskell(ナンバリングdeベンチマーク） - しんちゃんの日記
前回の記事が一応の決着を見せたので、次に行こうと思います。 私が思ったよりもHaskellがずっと速かったようで、Haskellは実用的な言語ではないと言う風潮を払拭すると言う目標の前途は明るそうで何よりです。 さて、今回のお題はファイルを読み込んで、行毎に数字を割り振っていくナンバリング処理です。 Linux等のUNIX系OSではcatと呼ばれる便利なコマンドでファイルの中身を表示するだけでなく、オプションで指定すればナンバリングも出来る訳ですが、Windowsでのcatコマンドに対応するtypeコマンドは、ファイルの内容を表示する以外の機能を持ちません。 そこで、numberingコマンドを作ってしまえ！と言うのがHaskellでこのコマンドを作った発端なのですが、ついでにこの間の言語でも作ってみました。 そして、今日はmethaneさんから教えて頂いたスーパーpre記法とやらを使って
C vs Python vs Ruby vs Haskell（無意味な処理deベンチマーク） - しんちゃんの日記
「Haskell入門以前」のネタバレになってしまいますが、[ [1,2,3],[4,5,6],[7,8,9] ]を受け取って、各要素を反転させた[ [3,2,1],[6,5,4],[9,8,7] ]を受け取り、その最後尾の要素の最後尾（このデータでは7）を表示する処理を作り、なるべく大きなデータを渡して実行時間を計測してみました。 （自分のPCでは4000x4000のデータを渡してます） Haskellのコードは他の言語のコードとは全く違う発想で書かれています。どうして同じ結果になるかを考えてみたりすると関数型言語と手続き型言語の違いに気付くかも知れません。 （この辺が「Haskell入門以前」のネタバレ。気付けなかったら、「Haskell入門以前」と言う電子書籍がブクログのパブーより出てますので、読んでみて下さい） まずは、各言語のコードを書きます。 C言語 #include #incl
モナドという言葉を使うことなく､純粋関数型言語の入出力を解説する｡Rubyで｡ - <s>gnarl,</s>技術メモ”’<marquee><textarea>￥
これはRuby Advent Calendarの21日目の記事です*1｡20日目は@sasata299さんのHerokuって便利だし利用までたった3ステップですお！！でした｡ はじめに 本当は「Pure Rubyで動くかっこいい形態素解析エンジンができた!!!」みたいな記事を書く予定でしたが､目標のクオリティに達しなかったのでリリースは延期されました｡ クリスマスごろにリリースされるといいですね｡ さて､この記事では､Haskellのような純粋関数型言語がどのように副作用を伴う処理を実現しているかについて､Rubyによる実装を使って解説します｡モナドという言葉が全く出てこないのでアレルギーのかたも安心ですね｡ 純粋関数とは 同じ引数を渡す限り､どのような順番で何度呼んでも同じ結果が返るような関数のことです｡ 何が問題なのか puts 'hello!' res1=gets puts 'hel
A Hint of Hubris
Ruby is a highly dynamic language with impressive capabilities for runtime redefinition of classes, objects, methods, and variables. Haskell, on the other hand, is a purely functional language that confines mutation within a sophisticated static type system. Given their many differences one or the other may be more suited for whatever problem you might be working on (see polyglot programming), but
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Ruby の Maybe モナド（参考: http://d.hatena.ne.jp/paz3/20130113/1358080996）
Wandbox
GitHub - pasberth/necromancy: 屍術/Necromancy conjures up the functional code.
http://rubydoc.info/github/porras/mrproper/frames