1. ATS言語の入門書が基礎機能を解説

    [LANG]

    プログラミング言語ATSの入門書が、関数型プログラミングや型、データ型、多相性、依存型、線形型などの主要機能を扱う。経験の少ない読者には難度が高い可能性も示している。