【幽霊型トリック集】キェェ！幽霊型でバグを呪い殺すのじゃ！【呪術プログラミング】
【幽霊型トリック集】キェェ！幽霊型でバグを呪い殺すのじゃ！【呪術プログラミング】 この投稿は ML Advent Calendar 2015 の 16 日目の記事です。早速ですが、タイトルの「呪術プログラミング」という用語は単なる釣りです。 こんな専門用語は存在しません。 あと、Advent Calendar に「この記事を読むと呪われる」とか書きましたが、 SNSで拡散すると解呪できます ウソです。呪われないので安心してください。 「幽霊型」というキーワードでググると、幾つかの記事や発表のスライドがヒットしますが、 幽霊型 (phantom type) の有用なテクニックについて広く浅く紹介した記事がないように思えたので、 私が書くことにしました。 この記事では、私が今までに書いた幽霊型に関する記事と、その概要をまとめています。 基本的に、サンプル・コードは OCaml ですが、 大部分
プログラミング言語SML#解説
プログラミング言語SML#解説 Pt.I 概要 Pt.II チュートリアル Pt.III 参照マニュアル Pt.IV プログラミングツール Pt.V SML#の内部構造 Pt.VI 参考文献，その他 Ch.1 はじめに Ch.2 本書の使い方 Ch.3 SML#使用上の注意 Ch.4 SML#の概要 Ch.5 SML#プログラミング環境の準備 Ch.6 MLプログラミング入門 Ch.7 SML#の拡張機能：レコード多相性 Ch.8 SML#の拡張機能：その他の型の拡張 Ch.9 SML#の拡張機能：Cとの直接連携 Ch.10 SML#の拡張機能：SQLのシームレスな統合 Ch.11 SML#分割コンパイルシステム References Ch.1 はじめに プログラミング言語SML#解説 大堀 淳 上野 雄大 東北大学 電気通信研究所 FireFoxなどのMathMLを表示可能なブラ
Philip Wadler's home page
Projects Interested in applying for a PhD or Internship? Verifying smart contracts for Blockchain Funded PhD post. (No longer available; filled by Tudor Ferariu.) From Data Types to Session Types: A Basis for Concurrency and Distribution, an EPSRC Programme Grant, joint with Simon Gay, Glasgow, and Nobuko Yoshida, Imperial. TypeScript: The Next Generation funded by a Microsoft Research PhD Scholar
Tic Tac Type: Dependent Types with Idris
Functional programming provides a fundamental basis for reasoning about our programs and building out principled abstractions. However, it is not enoug…
Draft Promoting Functions to Type Families in Haskell Richard A. Eisenberg University of Pennsylvania eir@cis.upenn.edu Jan Stolarek Ł´od´z University of Technology jan.stolarek@p.lodz.pl Abstract Haskell, as implemented in the Glasgow Haskell Compile
Draft Promoting Functions to Type Families in Haskell Richard A. Eisenberg University of Pennsylvania eir@cis.upenn.edu Jan Stolarek Ł´od´z University of Technology jan.stolarek@p.lodz.pl Abstract Haskell, as implemented in the Glasgow Haskell Compiler (GHC), is enriched with many extensions that support type-level program- ming, such as promoted datatypes, kind polymorphism, and type families. Y
Tagless-Final Style
The so-called ``tagless-final'' style is a method of embedding domain-specific languages (DSLs) in a typed functional host language such as Haskell, OCaml, Scala or Coq. It is an alternative to the more familiar embedding as a (generalized) algebraic data type. It is centered around interpreters: Evaluator, compiler, partial evaluator, pretty-printer, analyzer, multi-pass optimizer are all interpr
Typed Tagless-Final Interpretations: Introductory Course
The first course on typed tagless-final embeddings of domain-specific languages has been presented at the Spring School on Generic and Indexed Programming (SSGIP) <http://www.comlab.ox.ac.uk/projects/gip/school.html> at Wadham College, Oxford, UK on 22nd to 26th March 2010. This page collects the notes for the course in the form of the extensively commented Haskell and OCaml code. Lecture Notes In
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
How wonderful to be (statically) typed 〜型が付くってスバラシイ〜
The Girard–Reynolds isomorphism (second edition)
数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH（クロステック）
http://www.cse.chalmers.se/~emax/documents/axelsson2014efficient.pdf
https://goto.ucsd.edu/~nvazou/real_world_liquid.pdf
bitbucketの使い方