多相からプログラミング言語を見る - 趣味はデバッグ……
こんにちは。ホビー型システミストの岡本です。 最近 C++ の習得をしていて、なんとなく多相（polymorphism）の視点からいくつかのプログラミング言語をまとめてみようという気になったので書いてみます。 部分型多相（subtype polymorphism） クラスベースオブジェクト指向言語でよく使うのは部分型多相ですかね。 Java や C#・C++ にある、名称的部分型多相（nominal subtype polymorphism）はこんな感じ。次の例は Java です。 class A {} class B extends A {} public class Main { public static void main(string[] args) { A foo = new B(); } } 変数 foo は A 型だけど、型（クラス）B は A の部分型（サブクラス・派生ク
Android むけ Haskell コンパイラをリリースしました！
4 年まえに「Haskell コンパイラを書こう！」 という記事で紹介した自作コンパイラを、いよいよリリースしますというお話です。 その記事で述べた通り、Haskell 2010 仕様を満たし、かつ、FFI をサポートしたら Version 1 にしようと思っているのですが、まだそこまで至っていないため、 今回は 0.9.0 版としてリリースします。 Bunny は、Android 上で動くアプリケーションの作成をターゲットとした Haskell コンパイラです。このコンパイラを作成するにあたって、基礎的な部分を「最新コンパイラ構成技法」という本で勉強したので、 その本の通称である Tiger Book にちなんで Bunny という名前にしました。 Bunny は、Haskell で書かれた Haskell コンパイラです。Haskell プログラムをソースコードとし、オブジェクトコード
inline-java パッケージを WSL へインストール - 北海道苫小牧市出身の初老PGが書くブログ
ハマってガチャガチャしたので間違いあるかもしれないけどメモ。 まずjavaをインストール。入れるのは default-jdk のほうがいい気もする。 $ sudo apt install openjdk-9-jre-headless $ sudo apt install openjdk-9-jdk-headless jvm パッケージを入れるのに必要と思われる環境変数。 $ export JAVA_HOME=/usr/lib/jvm/java-9-openjdk-amd64 $ export LD_LIBRARY_PATH=/usr/lib/jvm/java-9-openjdk-amd64/lib/amd64/server jni パッケージのために stack.yaml へパスを追加。 extra-include-dirs: - /usr/lib/jvm/java-9-openjdk-a
継承によらないポリモーフィズム実現手法 - Qiita
ポリモーフィズム(polymorphism; 多態, 多相)」というとオブジェクト指向プログラミングにおける継承(インターフェースの継承)による実現手法がよく知られている。 しかし、ポリモーフィズムを実現するための手法はオブジェクト指向的な型階層によるものに限らず様々なものがある。 ここでは、Expression Problemに対する解決策として挙げられる、継承によらないポリモーフィズムの代表的な実現手法として、 型クラス(type class) プロトコル(protocol) マルチメソッド(multimethod) による実装を複数言語で試してみた。 いずれの方法も明示的な継承関係を必要とせず、拡張に対して開いているため、既存の型(例えば言語組み込み型)に対しても容易に拡張可能なことが特徴的で、ある種のインターフェース定義に対する実装を追加することで、いつでも適用範囲を拡大できる。
JavaでMonadをはじめからていねいに :: Igreque -> Info
JavaでMonadをはじめからていねいに by Yuji Yamamoto on August 28, 2016 「モナドについてSwiftで説明してみた」という記事などで指摘されているように、プログラマー向けにMonadを説明した記事はサンプルがHaskellで書かれていることが多いので辛いですよね。 HaskellではMonadは「ないと文字通りプログラムが書けないぐらい」大事なもので、入出力処理や例外処理、ダイナミックスコープのシミュレーション、非決定計算など、普通の関数では難しい、非常に様々な機能の実装に使用されています。 その一方、MonadはC言語のポインターに並んでHaskellを学ぶ上での障害である、なんて言われたりもするとおり、他言語ユーザーからHaskellを敬遠させる大きな要因の一つともなっています。 そんな悲しい現状を少しでも改善するために、上記の記事を参考にしつ
型安全ってなんだろう？
きょん＠アジャイルコーチ、システムアーキテクト @kyon_mm @osiire はい。。。F# を日常的に使っていたり、OCamlを勉強していると、型安全って静的型付けであることとは違うし、型によって何を保証したり、表現できれば型安全であるって言えるのかよくわからなくなってきました。型安全って言葉を安易に使えないですね。 2012-09-20 19:02:42
［Haskell］関数型の特徴を満載した王道の言語
まずは国内企業におけるHaskellの事例をみていく。 Haskellは、多くの関数型プログラミング言語の中でも、関数型らしい特徴を最も豊富に備えており、関数型プログラミング言語の王道とも呼べる言語だ（表1）。関数型プログラミング言語の研究者らが中心となって言語仕様などをメインテナンスしている。 「Haskellなど全く知らなかった10人のSEが一から勉強を始め、金融機関が求める水準の高品質なパッケージソフトをつくり上げることができた」。新日鉄住金ソリューションズの内田康夫金融ソリューション事業本部シニア・マネジャーは胸を張る。 同社は金融機関向けの時価会計パッケージ製品「BancMeasure」をHaskellで開発した。HaskellではJavaなどと比べて短い記述が可能なため比較は難しいが、コード行数は約2万3000ステップである。プロジェクト発足時にはJavaのスキルしか持たなかっ
20分でわかるPurely Functional Data Structures (PDF)
20分でわかる Purely Functional Data Structures k.inaba (http://www.kmonos.net/) Apr. 4, 2010 あらすじ イ ミ ュ ー タ ブ ル デ ー タ 構 造 は 遅 い Immutable Object だけで作るデータ構造 この本の 内 容を 全速力で 布教する お題：キュー (Queue) • FIFO (First-In First-Out) • pushBack(e) でデータeを入れる • popFront() で取り出せる • 入れた順に出てくる • 以上 破壊的キュー Immutable Object でない 打倒すべき目標 代 入 手続き型でよくある interface Queue<E> { void pushBack(E e); E popFront(); } よくある実装 1 2 3 ・ 4 ・
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - andreasabel/java-adt: A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).
GitHub - mbrc12/etanol: A purity and nullability analysis tool for Java.
Using Haskell to Find Unused Spring MVC Code | Small Improvements Tech
GitHub - SodiumFRP/sodium: Sodium - Functional Reactive Programming (FRP) Library for multiple languages