21/06/04 22:02:04.46 ivUqItUs.net
>>793は言語レベルのサポートがほしいんだろ？
substructural type systemがないと無理。
>>809
MLkit,RTSJ,cyclone,ATS/ATS2。学術的にはとっくの昔に廃れたぞ。
21/06/04 22:02:04.46 ivUqItUs.net
>>793は言語レベルのサポートがほしいんだろ？
substructural type systemがないと無理。
>>809
MLkit,RTSJ,cyclone,ATS/ATS2。学術的にはとっくの昔に廃れたぞ。