いろんなプログラミング言語のアドホック多相 - Qiita
TL;DR アドホック多相は型クラスじゃなくても実現できる。 Haskell, Rust, Scalaでは後付けで拡張できるけど、それはアドホック多相の本質ではない。 アドホック多相(Ad hoc polymorphism) ウィキペディアは辞書ではないのはわかっていますが、それでも 英語版WikipediaのAd hoc polymorphismのページを参考に挙げておきます。 ざっくりまとめると 型階層上は関連性のない複数の型の引数に適用できる、多相的な関数 引数の型に応じて、個別の（アドホックな）実装にディスパッチされる と、それだけのこと。 「引数の型によって別の実装にディスパッチされるって、それメソッドのオーバーロードと何が違うの」ってことなんですけど、特に違いはありません。同じです。とはいえ、プログラミング言語によって、実現方法や使い勝手は違います。そのあたりのことを、いくつか
SecureSocial - Authentication for Play Framework Applications
An authentication module for Play Framework applications supporting OAuth, OAuth2, OpenID, Username/Password and custom authentication schemes. Learn more » Java and Scala APIs SecureSocial provides Java and Scala APIs so you can use your preferred language. Authentication services Out of the box support for leading services such as Twitter, Facebook, Google, LinkedIn and GitHub. It also provides
Synthesijer
THIS SITE IS NO LONGER ACTIVELY MAINTAINED, FOR RECENT RELEASES, PLEASE REFER TO: http://synthesijer.github.io/web/. About Synthesijer Download Quick Start Samples Resources ChangeLog License About Synthesijer Synthesijer is a high-level synthesis tool, which generates VHDL and Verilog HDL code from Java code. Synthesijer also provides a backend to generate VHDL/Verilog HDL, which helps to develop
The AWK~plus Programming Language
The AWK~plus Programming Language は、 プログラム言語AWK (The AWK Programming Language) 仕様と GNU GAWK の主要な拡張機能の実装 型推論と 関数型プログラミングによるシンプルな外観 言語レベルでの ロックフリーでスレッドセーフな並列プログラミングのサポート 動的型付 (インタプリタ) と 静的型付け (コンパイラ) をハイブリッドでサポートする型システム などの特徴を持つ 次世代スクリプト実行環境です。 互換性 (Compatibility) プログラム言語AWK (The AWK Programming Language) 言語仕様を実装 GNU GAWK の主要な拡張機能をサポート Note: プログラム言語AWKの例題をそのまま実行可能であり、実行結果は GNU GAWK とバイナリレベルで一致する。 (コ
Twitterが分散フレームワーク「Gizzard」公開！ Scalaで書かれたShardingを実現するミドルウェア
Twitterが分散フレームワーク「Gizzard」公開！ Scalaで書かれたShardingを実現するミドルウェア Twitterは独自に開発した分散フレームワークの「Gizzard」をオープンソースとして公開しました。GizzardはScalaで書かれたJavaVM上で動作するミドルウェアで、PHPやRubyといったWebアプリケーションからの要求を自動的にデータベースに分散することで、大規模で可用性の高い分散データベースを容易に実現するためのものです。 Gizzard：フォルトトレラントな分散データベースを実現 The Twitter Engineering Blog: Introducing Gizzard, a framework for creating distributed datastores Twitterのブログにポストされた「Introducing Gizzard
Lift :: Home
When I decided to put Innovation Games® online, I knew that I couldn't afford a massive development effort. I needed a small, sharp team who could leverage best-in-class tools to help us solve the problems we knew that we'd have to solve in creating a new kind of collaborative gaming experience on the web. David suggested Lift and Scala and initial testing proved that we could realize the develope
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ReactiveX
Inspecode / Rocro