DRuby - Home
Overview Diamondback Ruby (DRuby) is an extension to Ruby that aims to bring the benefits of static typing to Ruby without compromising the expressiveness of the language. The main features of DRuby are: Type inference: DRuby uses inference to model most of Ruby’s idioms as precisely as possible without any need for programmer intervention. Type annotations: Methods may be given explicit type anno
Java8には型推論があるので型指定不要で変数が使えますよ - きしだのHatena
Javaプログラマのみなさんは、Javaは型推論がないから変数の型指定をしなくていけなくてダサい、などとイジメられた経験があると思います。 おかあさんに型推論をねだるとGroovyをわたされたり、おとうさんに型推論をねだるとScalaがやってきたり、プレステが欲しいって言ったのにWiiやXboxを買い渡される感を味わった人も多いのではないでしょうか。 そんな良い子のJavaプログラマのために、今年はサンタが素敵なプレゼントを持ってきてくれましたよ。 同じ型を書くのがダサい たとえばウィンドウを出してボタンを押したらメッセージが表示されるサンプルを書くとこんな感じになりますね。 public static void main(String... args){ JFrame f = new JFrame("テスト"); JButton b = new JButton("押して"); JText
型推論のある言語作った - Route 477(2014-06-05)
■ [types] 型推論のある言語作った まだλ計算に毛が生えたようなものなので、Hello Worldくらいしか動かないですが。 https://github.com/yhara/boom TAPLを読んだからには*1静的型付け言語の一つでも作らなければならないと思って、とりあえず動くとこまで実装した。Boomという名前は適当に付けたのであとで変えるかもしれない。 最初はTAPLのfullreconをベースにしようと思ったのだけど、動かしてみたらこいつは多相型が実装されてなくて(練習問題になってた)、pi8027さんのtypeinferをベースにすることにした。 動かし方 Ruby 2.1が必要*2。 $ git clone https://github.com/yhara/boom $ gem i bundler $ bundle install $ bundle exec rspe
Route 477(2014-05-14)
■ [types][ruby] IbisをRubyに途中まで移植した 最近ちょっと型推論の実装に興味があって、IbisのRubyへの移植をやってみた。 まだ途中だけど fun x -> x * 2 くらいは推論できる。 https://github.com/yhara/ibis-rb 実装は基本的にオリジナルと同じだけど、構文木についてはクラスを作らず、ArrayとSymbolでできたS式っぽいものを使っている。ビジュアライザ部分は移植するつもりはないのでこれで問題ないはず。 RubyでArray S式を扱う場合、pattern-match gemを使うと便利。こんな感じで配列に対するパターンマッチを書ける。 def self.infer_(ctxt, env, variants, expr) match(expr){ with(_[:Const, :unit]) { Type::UNIT
ＭＬ型推論の光と影影 @@平成廿一年東都大駱駝会平成廿一年東都大駱駝会 京都大学 五十嵐 淳 自己紹介 情報科学の研究をしています 専門はプログラミング言語とか型理論とか 研究のひと�
ＭＬ型推論の光と影影 @@平成廿一年東都大駱駝会平成廿一年東都大駱駝会 京都大学 五十嵐 淳 自己紹介 情報科学の研究をしています 専門はプログラミング言語とか型理論とか 研究のひとつはJavaの改良ですが、Javaでプログラ ムは書きません(けません) ML歴16年、OCaml歴は11年くらい の著者です 小学生の解法 全員ラクダだとすると足の数は 4 x 7 = 28 本 実際には20本あるから8本分ラクダが多い ラクダ一匹をOCamlプログラマに置き換えると 足は2本減るから4人置き換えれば丁度よい OCamlプログラマ 4匹、ラクダ 3 匹 いきなり鶴亀算 OCamlプログラマとラクダが合わせて7匹いる。 足の数が合わせて20本である時、 OCamlプログラマとラクダはそれぞれ何匹いるか。 中学生の解法 OCamlプログラマの数を x、ラクダの数を y とすると、 x + y =
Clojureコンパイラの型推論器をとりだしてみる - Homoiconic Days
clojure.orgには，Clojureについて次のような説明がある。 Clojure provides easy access to the Java frameworks, with optional type hints and type inference, to ensure that calls to Java can avoid reflection. http://clojure.org/ この型推論(type inference)は，Clojureの説明でたまに名前だけは出てくるものの，その実態についての説明にはほとんどお目にかかったことがない。そこで今回は，Clojureの型推論の機能をClojureから触れるようにして遊んでみよう。 Clojureになぜ型推論が必要か まずはじめに注意しておかないといけないのは，Clojureの型推論はMLやHaskellなどの静的
COMIC ZIN 通信販売/商品詳細 Algorithm W 入門
注目キーワード コミケ101NEW!! コミケ100 コミケ99 コミティア138 コミティア137 ・・・・・・・・・・・・・・・・・・・ うまぴょいNEW!! レトロゲームNEW!! 聖地巡礼NEW!! 旅行NEW!! 百合（同人）NEW!! ガルパン（同人）NEW!! 飲食系NEW!! TRPGNEW!! 評論NEW!! とびものNEW!! 鉄道 技術系NEW!! すごーい！ △NEW!! 響け！NEW!! 自転車NEW!! 若おかみ（JS）NEW!! FGO アイカツ！ ミリタリー 宇宙戦艦ヤマト ラブライブ！ 同人グッズNEW!! 艦隊これくしょん（同人）NEW!! ・・・・・・・・・・・・・・・・・・・ COMIC ZIN 専売NEW!! 商業誌 オリジナルNEW!! ニンジャスレイヤー アイドルマスター シンデレラガールズ THE iDOL M@STER 進撃の巨人 境界線上
d.y.d. 文字コード＆ベイズ推定
12:21 06/05/28 うたひめ 先日の記事に書いたように KOKIA にハマりまして、 とりあえず片っ端から聴いてみることにしました。まずは 1st アルバムの 『songbird』 から … …４曲目の "白い雪" ヤバい。超ヤバい。なんだこれ。ツボすぎる。 ベスト盤を聴いたとき感じた揺らぎなく落ち着いた歌唱力的な曲を期待して聴きはじめたら、 予想外の声質の歌が飛び込んできてびっくりしました。もちろん抜群に巧いのに かわりはないんですが、ずっと儚げな、ガラス細工みたいなイメージの、ああ、その、 つまり白い雪みたいな雰囲気の綺麗な声で。その声と奇跡的にマッチしたメロディ。 すごいなあ。９曲目の "ありがとう…" もベスト盤でのリテイクと比べて同じ印象で、 Amazonのreview で TenderBerry さんという方が近いことを書いておられました。 しかし書いてて自分の語彙の
スタートHaskell第0回に行ってきた+最後にやってたあの難解なLTの解説 - <s>gnarl,</s>技術メモ”’<marquee><textarea>￥
スタートHaskell 第0回に行ってきました｡ 「初心者向けで環境構築から始まりハローワールド程度しかやらない勉強会､Haskellに多少触ったことのある人間が行く意味あるのだろうか……」と思いつつ行ってみたものの､予想以上に向こうの想定している「初心者」がハイレベルだったため行く意味大あり､TAPL読んでたのが役に立つくらいの内容だった(初心者の定義とは……)｡ 実際面白かったので､次回以降もぜひ参加したいですね｡ LTの最後にやった､型から項を作る話についての解説 【注意】私はあの発表をした人とは関係ないです｡しかも実際素人なので､間違ったことを書いている可能性があります!!【ツッコミ希望】 型から項を作る(@pi8027) 一部の人々のHaskellをストップしそうになったこの発表､実はそれほど難しいことはやっていない―― 正確に言うと､「何のためにやるか」「どうやってやるか」は難
JavaScript による型推論器の実装 - takuto_hの日記
型推論に興味はあるけど、抽象的な説明が多く難しそうだと思っている方々。基礎的なことを押さえておけば、型推論器は簡単に実装できます。 ここでは、私が JavaScript で書いた型推論器を例に、型推論の基本的なアルゴリズムの一例を具体的に説明していきます。解説対象は、ibis-js-1.0.0です。 型推論の可視化ツールを使いながら読むとよりわかりやすいかもしれません。 目次 型変数と単一化 多相型 let と let rec バリアント型
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
TypedCoffeeScriptって、あったらよくないですか
HMF: Simple Type Inference for First-Class Polymorphism - Microsoft Research
GitHub - hiratara/TypedPerl: A subset of perl language based on typed lambda calculus.