[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] How to implement protocols?



"Abstraction should be used where needed, keeping in mind that every 
abstraction is a burden on the reader of the program (e.g. yourself in 5 
years)."

WTF. Abstraction is what makes it easier to read and understand the program. 
That's precisely what I see missing from people doing system programming in 
OCaml. Lack of decomposition of your problem into well-defined denotational 
structures and functions. Lack of decomposition of the functions themselves 
into well defined and *named* subexpressions. etc.

Other than that the document feels like unstructured, poorly written [1], 
random rumblings. 

Best,

Daniel

[1] E.g. "A fundamental feature of functional programming is that communication 
between functions is done via arguments and result values solely."




_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel


 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.