1.Types and Programming Languages ( http://www.cis.upenn.edu/~bcpierce/tapl/ ) TAPLは現実 2.Advanced Topics in Types and Programming Languages ( http://www.cis.upenn.edu/~bcpierce/attapl/resources.html ) Chap8 , Chap10は読んだ方が身の為 3.…

http://ratiwo.blogspot.com/2010/12/comfrk-vol-2.html2010年ももう終わり、明日は12月の31日です。12月の31日ということは、コミックマーケット79の3日目であり最終日であります。皆さんは、ぼくが夏コミにおいてCOMFRKというサークルに参加し、単純型付け…

ldを使ってシンボルの置き換えをしているわけですが、これまで手元のバージョン(ld 2.20.1-system.20100303)だと、次のような振舞をしていました。 /* test.c */ extern int a; int main() { printf("a = %d\n",a); return 0; } /* def_b.c */ int b = 42; /…

http://hackage.haskell.org/trac/ghc/ticket/4497 http://hackage.haskell.org/trac/ghc/ticket/4809 http://hackage.haskell.org/trac/ghc/ticket/4846 , http://hackage.haskell.org/trac/ghc/ticket/2420 http://www.haskell.org/pipermail/cvs-ghc/2010…

まずHaskellはSystem Fωをベースにして(厳密にはSystem FC http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/FC#Newtypesarecoercedtypes とからしいですが)いるので、型を取って型を返す関数を書く事が出来ます。 type Id a = a type Pair a …

http://www.haskell.org/ghc/docs/7.0.1/html/libraries/ghc-7.0.1/src/TcInstDcls.html Note [Single-method classes] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ If the class has just one method (or, more accurately, just one element of {superclasses + methods…

本文ははてなが使えないすぎるので、まだテキストで張った方がマシでした http://www.coins.tsukuba.ac.jp/~s0811425/adventc++3.txt #include <iostream> #include <typeinfo> #include <cxxabi.h> #include <type_traits> #include <functional> #include <boost/mpl/if.hpp> using namespace std; char* demangle(const char *ty) { </boost/mpl/if.hpp></functional></type_traits></cxxabi.h></typeinfo></iostream>…

http://atnd.org/events/10143会場が決定しました。また、日付が12月26日になってしまっていますが、26日で都合の悪い場合はコメントなどしてください。 より良い日程を模索します。あと2人は参加出来ると思いますから、奮って参加してください。 別に破壊活…