基于unboxed数据类型的纯函数式I／O系统的实现

THE IMPLEMENTATION OF PURE FUNCTIONAL I/O SYSTEM BASED ON UNBOXED DATA TYPE

采用unboxed数据类型实现纯函数式I/O系统,通过一个由unboxed数据类型定义的程序转换系统将纯函数式I/O程序转换为C语言代码,其中着重讨论了基本操作ccall的实现。

Based on the unboxed data type, pure functional I/O system is implemented. By applying simple program transformation, I/O programs are transformed into C codes. The implementation of the primitive I/O operation ccall is mainly discussed.