I checked out the helper library for FILE_IO. Very nice.
First of all, how about adding docstrings in the same form as the SQL library? I'm willing to help writing it if you want.
Secondly, I wonder why some functions are defined the way they are though. For example, wouldn't it make more sense to define FIO∆fread like this instead, and then skip the FIO∆fread_5000 function:
∇Zi ← blocksize FIO∆fread Bh
→(0≠⎕NC 'blocksize')/use¯blocksize
blocksize ← 5000
use¯blocksize:
Zi ← blocksize FILE_IO[6] Bh
∇
Regards,
Elias