サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
Wikipedia
arbre.is.s.u-tokyo.ac.jp/~kinaba
English 米澤研究室 にて、型推論のある言語におけるオーバーロードについて調べました。 発表資料 An introduction to G'CAML (2003/6/26) OCaml へ generic binding という拡張機能を付け加えることでオーバーローディングを実現した G'CAML という処理系について。構文の説明と、単純なgeneric printだけでなく、 型構造上の再帰や可変個引数関数の実現など、面白いことができますよ~的紹介。 implementation of G'CAML (2003/7/3) G'CAML の実装と、型安全性の証明方針について。 型情報を暗黙の引数として渡すことで実行時に適切な実装を選択するらしい。 高速化のために工夫もされているそうです。 Type Classes (2003/7/10) Haskell (Hugs/GHC) の型クラ
1. KineticFusion とは? 1.1. 概要 KineticFusion とは、swf と XML を相互に変換するソフトウェアです。 swf (Shockwave Flash) とは Macromedia® Flash の native format で、RVML (Rich Vector Markup Language) とは XML の一種です。 以下の特徴があります。 Java 製のフリーソフト (Java 1.4 が必要) 。 現時点ですべてのバージョン (7 まで) の swf に対応している。 ActionScript 1.0 準拠のコンパイラ、逆コンパイラを装備している。 RVML を介して、XSLT などで swf と SVG (Scalable Vector Graphics) を相互変換できる (ようになるという主張だけど現時点で RVM
このページを最初にブックマークしてみませんか?
『Kazuhiro Inaba』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く