From: Tanaka Kazuki <mail@...>
Date: 2014-12-11T05:28:49+00:00
Subject: [ruby-list:50024] Re: ANN: Rubyに型を付けるHaskellというgem

--_48128c70-1541-412f-8ea9-4ad08bb65406_
Content-Type: text/plain; charset="iso-2022-jp"
Content-Transfer-Encoding: base64

VEFLQU5PIBskQiQ1JHMbKEINChskQiUzJWElcyVIJCIkaiQsJEgkJiQ0JDYkJCReJDkhKjRyJDck
JCRHJDkbKEIuDQo+IBskQjR7QjgkTiRiJE4kRyRPGyhCIFJ1Ymlza2VsbCAbJEIkSCQkJCYkYiRO
JGIkIiRqJF4kOSRNISMbKEINChskQiQmJCokKhsoQi4uIBskQjxWTlgkciReJD86biRDJEYkNyRe
JEMkPyRoJCYkRyQ5GyhCLi4uIBskQiQ3JCskYiVNITwlXyVzJTAlOyVzJTkkLE5JJCQkRyQ5JE0b
KEIuGyRCJWslUyU5JTElayEiJEQkJDh9JDokNSRzJEckNyReJCQkXiQ5GyhCLg0KGyRCNi8kJCRG
PSgkRyRGJCQkaz1qJHI1cyQyJF4kOSRIISIbKEJIYXNrZWxsGyRCIUobKEJHZW0bJEIhSyRHJE9K
TCU5JWwlQyVJJHJOKSRGJEYkPSRBJGkkRyUzJXMlUSUkJWskcjlUJCQhIiUzJXMlUSUkJWskLD0q
JG8kQzhlJEs8QjlUN2syTCRyPGgkaj1QJDkkSCQkJCY7diQsMkRHPSRKJE4kRz5lPGokL0FIJGEk
UCUqITwlUCE8JVglQyVJJHI4QiRqJEokLz4uJDUkLyQ5JGs7diQsPVBNaCReJDkbKEIuDQpgYGBI
YXNrZWxsLmNvbXBpbGUoIiNIYXNrZWxsGyRCJE4lMyE8JUkbKEIiKQ0KIyAbJEIlYSUkJXMlOSVs
JUMlSSRPJD0kTiReJF4bKEIuDQpIYXNrZWxsLmV4ZWN1dGUgIHVubGVzcyBIYXNrZWxsLmNvbXBp
bGllZD9gYGANChskQjhEP01FKiRLJE8bKEJSdWJ5GyRCJEdGMEUqJEsbKEJIYXNrZWxsGyRCJE4l
MyE8JUkkckA4QC4kNyRGJSohPCVQITwlWCVDJUMlSSRiPi4kNSQvPEI5VD1QTWgkRiQrJEokajNa
JDckJCRHJDkbKEIuDQobJEIyQUNNJCwkIiRrJGIkTiRKJE4kKyRPRmYkRyQ5JCwbKEIuDQobJEJF
RENmGyhCLS09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09S2VpbyB1bml2ZXJzaXR5IG1h
dGhlbWF0aWNhbCBzY2llbmNlcyAgGyRCRURDZiEhT0I0dSEhGyhCIEthenVraSBUYW5ha2ENCm1h
aWw6IG1haWxAdGFuYWtha2F6dWtpLmNvbUhQOiBodHRwOi8vZ29nb3RhbmFrYS5tZS9CbG9nOiBo
dHRwOi8vYmxvZy5nb2dvdGFuYWthLm1lL1R3aXR0ZXI6IEBnb2dvX3RhbmFrYUZhY2Vib29rOiBo
dHRwczovL3d3dy5mYWNlYm9vay5jb20vZ29nb2dvZ290YW5ha2E9PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09DQoNCj4gRnJvbTogdGFrQG5vMzIudGsNCj4gRGF0ZTogVGh1LCAxMSBEZWMg
MjAxNCAxMzo1NToxNCArMDkwMA0KPiBUbzogcnVieS1saXN0QHJ1YnktbGFuZy5vcmcNCj4gU3Vi
amVjdDogW3J1YnktbGlzdDo1MDAyM10gUmU6CUFOTjogUnVieRskQiRLNz8kcklVJDEkaxsoQkhh
c2tlbGwbJEIkSCQkJCYbKEJnZW0NCj4gDQo+IBskQjsyOU0kTiUzJWElcyVIJEgkJCQmNDYkOCRH
JDkkLCEiGyhCIBskQjR7QjgkTiRiJE4kRyRPGyhCIFJ1Ymlza2VsbCAbJEIkSCQkJCYkYiROJGIk
IiRqJF4kOSRNISMbKEINCj4gDQo+IGh0dHBzOi8vcnVieWdlbXMub3JnL2dlbXMvcnViaXNrZWxs
DQo+IA0KPiAyMDE0GyRCRy8bKEIxMhskQjduGyhCMTEbJEJGfBsoQiAxMjo1OCBUYW5ha2EgS2F6
dWtpIDxtYWlsQHRhbmFrYWthenVraS5jb20+Og0KPiA+IBskQj4+MUobKEIgGyRCJDUkcxsoQg0K
PiA+DQo+ID4gGyRCJDQ7WEUmJHJEOiQkJEYkJCQ/JEskYjRYJG8kaSQ6JDMkQSRpJE4lYSE8JWsk
cjgrRigkNyRGJCokaiReJDckPxsoQi4NCj4gPiAbJEI8Ok5pJDckXiQ3JD8bKEIuIBskQiQiJGok
LCRIJCYkNCQ2JCQkXiQ5GyhCLg0KPiA+DQo+ID4+IBskQiQsQDUyciROJGgkJiRHJDkhIyRiJEEk
bSRzODUkTjUtO3YkYiFKTX0yciRHJC0kSiQkJDEkSSFEIUtMTEdyJCQkRyQ5ISMbKEINCj4gPiAb
JEIkPSROTU0kSiQqOEBNVSRyRDpCVz1QTWgkRkJnSlE4dzFJJEckOSEqISo6IzhlJE4lKyVGJEtD
VyQ3JF4kOSEqISobKEINCj4gPg0KPiA+IBskQkVEQ2YbKEINCj4gPiAtLQ0KPiA+ID09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT0NCj4gPiBLZWlvIHVuaXZlcnNpdHkgbWF0aGVtYXRpY2Fs
IHNjaWVuY2VzDQo+ID4gICAbJEJFRENmISFPQjR1ISEbKEIgS2F6dWtpIFRhbmFrYQ0KPiA+DQo+
ID4gbWFpbDogbWFpbEB0YW5ha2FrYXp1a2kuY29tDQo+ID4gSFA6IGh0dHA6Ly9nb2dvdGFuYWth
Lm1lLw0KPiA+IEJsb2c6IGh0dHA6Ly9ibG9nLmdvZ290YW5ha2EubWUvDQo+ID4gVHdpdHRlcjog
QGdvZ29fdGFuYWthDQo+ID4gRmFjZWJvb2s6IGh0dHBzOi8vd3d3LmZhY2Vib29rLmNvbS9nb2dv
Z29nb3RhbmFrYQ0KPiA+ID09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0NCj4gPg0KPiA+
DQo+ID4+IERhdGU6IE1vbiwgOCBEZWMgMjAxNCAwOTo0NToxMyArMDkwMA0KPiA+PiBGcm9tOiBt
YTJAbGlmZW1lZGlhLmNvLmpwDQo+ID4+IFRvOiBydWJ5LWxpc3RAcnVieS1sYW5nLm9yZw0KPiA+
PiBTdWJqZWN0OiBbcnVieS1saXN0OjUwMDIwXSBSZTogQU5OOiBSdWJ5GyRCJEs3PyRySVUkMSRr
GyhCSGFza2VsbBskQiRIJCQkJhsoQmdlbQ0KPiA+DQo+ID4+DQo+ID4+ICgyMDE0LzEyLzA2IDEz
OjE4KSwgVGFuYWthIEthenVraSB3cm90ZToNCj4gPj4NCj4gPj4gPiBRaWl0YTogaHR0cDovL3Fp
aXRhLmNvbS9nb2dvdGFuYWthL2l0ZW1zLzkxMmQxYjc0YWE3MDI1ODhmY2Y3DQo+ID4+DQo+ID4+
IGh0dHA6Ly9xaWl0YS5jb20vZ29nb3RhbmFrYS9pdGVtcy9jOThjNTg0MDgyYjI2NTJlMTBlYg0K
PiA+Pg0KPiA+PiAbJEIkLEA1MnIkTiRoJCYkRyQ5ISMkYiRBJG0kczg1JE41LTt2JGIhSk19MnIk
RyQtJEokJCQxJEkhRCFLTExHciQkJEckOSEjGyhCDQo+ID4+DQo+ID4+DQo+ID4+IC0tDQo+ID4+
IBskQj4+MUpIJTBsIUobKEJrZWlpY2hpIG1hdHN1bmFnYRskQiFLGyhCDQo+ID4+IBskQjN0PDAy
cTxSJWklJCVVJWElRyUjJSIhShsoQmh0dHA6Ly9saWZlbWVkaWEuanAbJEIhSxsoQiAbJEIlNyU5
JUYlYDMrSC9JdBsoQg0KPiA+Pg0KIAkJIAkgICAJCSAg

--_48128c70-1541-412f-8ea9-4ad08bb65406_
Content-Type: text/html; charset="iso-2022-jp"
Content-Transfer-Encoding: base64

PGh0bWw+DQo8aGVhZD4NCjxzdHlsZT48IS0tDQouaG1tZXNzYWdlIFANCnsNCm1hcmdpbjowcHg7
DQpwYWRkaW5nOjBweA0KfQ0KYm9keS5obW1lc3NhZ2UNCnsNCmZvbnQtc2l6ZTogMTJwdDsNCmZv
bnQtZmFtaWx5OhskQiVhJSQlaiUqGyhCDQp9DQotLT48L3N0eWxlPjwvaGVhZD4NCjxib2R5IGNs
YXNzPSdobW1lc3NhZ2UnPjxkaXYgZGlyPSdsdHInPjxkaXY+PGRpdj5UQUtBTk8gGyRCJDUkcxso
QjwvZGl2PjxkaXY+PGJyPjwvZGl2PjxkaXY+GyRCJTMlYSVzJUgkIiRqJCwkSCQmJDQkNiQkJF4k
OSEqNHIkNyQkJEckORsoQi48L2Rpdj48ZGl2Pjxicj48L2Rpdj48ZGl2PiZndDsgGyRCNHtCOCRO
JGIkTiRHJE8bKEIgUnViaXNrZWxsIBskQiRIJCQkJiRiJE4kYiQiJGokXiQ5JE0hIxsoQjwvZGl2
PjxkaXY+PGJyPjwvZGl2PjxkaXY+GyRCJCYkKiQqGyhCLi4gGyRCPFZOWCRyJF4kPzpuJEMkRiQ3
JF4kQyQ/JGgkJiRHJDkbKEIuLi4gGyRCJDckKyRiJU0hPCVfJXMlMCU7JXMlOSQsTkkkJCRHJDkk
TRsoQi48L2Rpdj48ZGl2PhskQiVrJVMlOSUxJWshIiREJCQ4fSQ6JDUkcyRHJDckXiQkJF4kORso
Qi48L2Rpdj48ZGl2Pjxicj48L2Rpdj48ZGl2PhskQjYvJCQkRj0oJEckRiQkJGs9aiRyNXMkMiRe
JDkkSCEiGyhCSGFza2VsbBskQiFKGyhCR2VtGyRCIUskRyRPSkwlOSVsJUMlSSRyTikkRiRGJD0k
QSRpJEclMyVzJVElJCVrJHI5VCQkISIlMyVzJVElJCVrJCw9KiRvJEM4ZSRLPEI5VDdrMkwkcjxo
JGo9UCQ5JEgkJCQmO3YkLDJERz0kSiROJEc+ZTxqJC9BSCRhJFAlKiE8JVAhPCVYJUMlSSRyOEIk
aiRKJC8+LiQ1JC8kOSRrO3YkLD1QTWgkXiQ5GyhCLjwvZGl2PjxkaXY+PGJyPjwvZGl2PjxkaXY+
YGBgPC9kaXY+PGRpdj5IYXNrZWxsLmNvbXBpbGUoIiNIYXNrZWxsGyRCJE4lMyE8JUkbKEIiKTwv
ZGl2PjxkaXY+PGJyPjwvZGl2PjxkaXY+IyAbJEIlYSUkJXMlOSVsJUMlSSRPJD0kTiReJF4bKEIu
PC9kaXY+PGRpdj48YnI+PC9kaXY+PGRpdj5IYXNrZWxsLmV4ZWN1dGUgJm5ic3A7dW5sZXNzIEhh
c2tlbGwuY29tcGlsaWVkPzwvZGl2PjxkaXY+YGBgPC9kaXY+PGRpdj48YnI+PC9kaXY+PGRpdj4b
JEI4RD9NRSokSyRPGyhCUnVieRskQiRHRjBFKiRLGyhCSGFza2VsbBskQiROJTMhPCVJJHJAOEAu
JDckRiUqITwlUCE8JVglQyVDJUkkYj4uJDUkLzxCOVQ9UE1oJEYkKyRKJGozWiQ3JCQkRyQ5GyhC
LjwvZGl2PjxkaXY+PGJyPjwvZGl2PjxkaXY+GyRCMkFDTSQsJCIkayRiJE4kSiROJCskT0ZmJEck
OSQsGyhCLjwvZGl2PjxkaXY+PGJyPjwvZGl2PjxkaXY+GyRCRURDZhsoQjwvZGl2PjxkaXY+LS08
L2Rpdj48ZGl2Pj09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT08L2Rpdj48ZGl2PktlaW8g
dW5pdmVyc2l0eSBtYXRoZW1hdGljYWwgc2NpZW5jZXM8L2Rpdj48ZGl2PiZuYnNwOyAbJEJFRENm
ISFPQjR1ISEbKEIgS2F6dWtpIFRhbmFrYTwvZGl2PjxkaXY+PGJyPjwvZGl2PjxkaXY+bWFpbDog
bWFpbEB0YW5ha2FrYXp1a2kuY29tPC9kaXY+PGRpdj5IUDogaHR0cDovL2dvZ290YW5ha2EubWUv
PC9kaXY+PGRpdj5CbG9nOiBodHRwOi8vYmxvZy5nb2dvdGFuYWthLm1lLzwvZGl2PjxkaXY+VHdp
dHRlcjogQGdvZ29fdGFuYWthPC9kaXY+PGRpdj5GYWNlYm9vazogaHR0cHM6Ly93d3cuZmFjZWJv
b2suY29tL2dvZ29nb2dvdGFuYWthPC9kaXY+PGRpdj49PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PC9kaXY+PC9kaXY+PGRpdj48YnI+PC9kaXY+PGJyPjxkaXY+Jmd0OyBGcm9tOiB0YWtA
bm8zMi50azxicj4mZ3Q7IERhdGU6IFRodSwgMTEgRGVjIDIwMTQgMTM6NTU6MTQgKzA5MDA8YnI+
Jmd0OyBUbzogcnVieS1saXN0QHJ1YnktbGFuZy5vcmc8YnI+Jmd0OyBTdWJqZWN0OiBbcnVieS1s
aXN0OjUwMDIzXSBSZToJQU5OOiBSdWJ5GyRCJEs3PyRySVUkMSRrGyhCSGFza2VsbBskQiRIJCQk
JhsoQmdlbTxicj4mZ3Q7IDxicj4mZ3Q7IBskQjsyOU0kTiUzJWElcyVIJEgkJCQmNDYkOCRHJDkk
LCEiGyhCIBskQjR7QjgkTiRiJE4kRyRPGyhCIFJ1Ymlza2VsbCAbJEIkSCQkJCYkYiROJGIkIiRq
JF4kOSRNISMbKEI8YnI+Jmd0OyA8YnI+Jmd0OyBodHRwczovL3J1YnlnZW1zLm9yZy9nZW1zL3J1
Ymlza2VsbDxicj4mZ3Q7IDxicj4mZ3Q7IDIwMTQbJEJHLxsoQjEyGyRCN24bKEIxMRskQkZ8GyhC
IDEyOjU4IFRhbmFrYSBLYXp1a2kgJmx0O21haWxAdGFuYWtha2F6dWtpLmNvbSZndDs6PGJyPiZn
dDsgJmd0OyAbJEI+PjFKGyhCIBskQiQ1JHMbKEI8YnI+Jmd0OyAmZ3Q7PGJyPiZndDsgJmd0OyAb
JEIkNDtYRSYkckQ6JCQkRiQkJD8kSyRiNFgkbyRpJDokMyRBJGkkTiVhITwlayRyOCtGKCQ3JEYk
KiRqJF4kNyQ/GyhCLjxicj4mZ3Q7ICZndDsgGyRCPDpOaSQ3JF4kNyQ/GyhCLiAbJEIkIiRqJCwk
SCQmJDQkNiQkJF4kORsoQi48YnI+Jmd0OyAmZ3Q7PGJyPiZndDsgJmd0OyZndDsgGyRCJCxANTJy
JE4kaCQmJEckOSEjJGIkQSRtJHM4NSRONS07diRiIUpNfTJyJEckLSRKJCQkMSRJIUQhS0xMR3Ik
JCRHJDkhIxsoQjxicj4mZ3Q7ICZndDsgGyRCJD0kTk1NJEokKjhATVUkckQ6Qlc9UE1oJEZCZ0pR
OHcxSSRHJDkhKiEqOiM4ZSROJSslRiRLQ1ckNyReJDkhKiEqGyhCPGJyPiZndDsgJmd0Ozxicj4m
Z3Q7ICZndDsgGyRCRURDZhsoQjxicj4mZ3Q7ICZndDsgLS08YnI+Jmd0OyAmZ3Q7ID09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT08YnI+Jmd0OyAmZ3Q7IEtlaW8gdW5pdmVyc2l0eSBtYXRo
ZW1hdGljYWwgc2NpZW5jZXM8YnI+Jmd0OyAmZ3Q7ICAgGyRCRURDZiEhT0I0dSEhGyhCIEthenVr
aSBUYW5ha2E8YnI+Jmd0OyAmZ3Q7PGJyPiZndDsgJmd0OyBtYWlsOiBtYWlsQHRhbmFrYWthenVr
aS5jb208YnI+Jmd0OyAmZ3Q7IEhQOiBodHRwOi8vZ29nb3RhbmFrYS5tZS88YnI+Jmd0OyAmZ3Q7
IEJsb2c6IGh0dHA6Ly9ibG9nLmdvZ290YW5ha2EubWUvPGJyPiZndDsgJmd0OyBUd2l0dGVyOiBA
Z29nb190YW5ha2E8YnI+Jmd0OyAmZ3Q7IEZhY2Vib29rOiBodHRwczovL3d3dy5mYWNlYm9vay5j
b20vZ29nb2dvZ290YW5ha2E8YnI+Jmd0OyAmZ3Q7ID09PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT08YnI+Jmd0OyAmZ3Q7PGJyPiZndDsgJmd0Ozxicj4mZ3Q7ICZndDsmZ3Q7IERhdGU6IE1v
biwgOCBEZWMgMjAxNCAwOTo0NToxMyArMDkwMDxicj4mZ3Q7ICZndDsmZ3Q7IEZyb206IG1hMkBs
aWZlbWVkaWEuY28uanA8YnI+Jmd0OyAmZ3Q7Jmd0OyBUbzogcnVieS1saXN0QHJ1YnktbGFuZy5v
cmc8YnI+Jmd0OyAmZ3Q7Jmd0OyBTdWJqZWN0OiBbcnVieS1saXN0OjUwMDIwXSBSZTogQU5OOiBS
dWJ5GyRCJEs3PyRySVUkMSRrGyhCSGFza2VsbBskQiRIJCQkJhsoQmdlbTxicj4mZ3Q7ICZndDs8
YnI+Jmd0OyAmZ3Q7Jmd0Ozxicj4mZ3Q7ICZndDsmZ3Q7ICgyMDE0LzEyLzA2IDEzOjE4KSwgVGFu
YWthIEthenVraSB3cm90ZTo8YnI+Jmd0OyAmZ3Q7Jmd0Ozxicj4mZ3Q7ICZndDsmZ3Q7ICZndDsg
UWlpdGE6IGh0dHA6Ly9xaWl0YS5jb20vZ29nb3RhbmFrYS9pdGVtcy85MTJkMWI3NGFhNzAyNTg4
ZmNmNzxicj4mZ3Q7ICZndDsmZ3Q7PGJyPiZndDsgJmd0OyZndDsgaHR0cDovL3FpaXRhLmNvbS9n
b2dvdGFuYWthL2l0ZW1zL2M5OGM1ODQwODJiMjY1MmUxMGViPGJyPiZndDsgJmd0OyZndDs8YnI+
Jmd0OyAmZ3Q7Jmd0OyAbJEIkLEA1MnIkTiRoJCYkRyQ5ISMkYiRBJG0kczg1JE41LTt2JGIhSk19
MnIkRyQtJEokJCQxJEkhRCFLTExHciQkJEckOSEjGyhCPGJyPiZndDsgJmd0OyZndDs8YnI+Jmd0
OyAmZ3Q7Jmd0Ozxicj4mZ3Q7ICZndDsmZ3Q7IC0tPGJyPiZndDsgJmd0OyZndDsgGyRCPj4xSkgl
MGwhShsoQmtlaWljaGkgbWF0c3VuYWdhGyRCIUsbKEI8YnI+Jmd0OyAmZ3Q7Jmd0OyAbJEIzdDww
MnE8UiVpJSQlVSVhJUclIyUiIUobKEJodHRwOi8vbGlmZW1lZGlhLmpwGyRCIUsbKEIgGyRCJTcl
OSVGJWAzK0gvSXQbKEI8YnI+Jmd0OyAmZ3Q7Jmd0Ozxicj48L2Rpdj4gCQkgCSAgIAkJICA8L2Rp
dj48L2JvZHk+DQo8L2h0bWw+

--_48128c70-1541-412f-8ea9-4ad08bb65406_--