{"id":993,"date":"2009-02-11T06:30:08","date_gmt":"2009-02-11T11:30:08","guid":{"rendered":"http:\/\/cherrycoated.com\/wordpress\/2009\/02\/11\/links-for-2009-02-11\/"},"modified":"2009-02-11T06:30:08","modified_gmt":"2009-02-11T11:30:08","slug":"links-for-2009-02-11","status":"publish","type":"post","link":"https:\/\/www.webliminal.com\/webliminalblog\/teaching\/links-for-2009-02-11","title":{"rendered":"ML Basis Library, MLton links"},"content":{"rendered":"<p><a href=\"http:\/\/webliminal.com\/images\/sidepics\/sp94.jpg\"><img decoding=\"async\" src=\"http:\/\/webliminal.com\/images\/sidepics\/cwdata\/sp94.jpg\" alt=\"snow in woods in winter, Falmouth, Virginia, US\" hspace=\"22\" align=\"left\" \/><\/a><\/p>\n<ul class=\"delicious\">\n<li>\n<div class=\"delicious-link\"><a href=\"http:\/\/www.smlnj.org\/\/basis\/pages\/sml-std-basis.html\">Standard ML Basis Library<\/a><\/div>\n<div class=\"delicious-extended\">documentation for the BASIS Library<\/div>\n<div class=\"delicious-tags\">(tags: <a href=\"http:\/\/delicious.com\/ernestackermann\/reference\">reference<\/a> <a href=\"http:\/\/delicious.com\/ernestackermann\/ml\">ml<\/a> <a href=\"http:\/\/delicious.com\/ernestackermann\/sml\">sml<\/a> <a href=\"http:\/\/delicious.com\/ernestackermann\/basis\">basis<\/a> <a href=\"http:\/\/delicious.com\/ernestackermann\/library\">library<\/a>)<\/div>\n<\/li>\n<li>\n<div class=\"delicious-link\"><a href=\"http:\/\/manpages.ubuntu.com\/manpages\/gutsy\/man1\/mlton.1.html\">Ubuntu Manpage: MLton<\/a><\/div>\n<div class=\"delicious-extended\">MLton is run from the command line with a collection  of  options  fol       lowed  by a file name and a list of files with which to compile,<br \/>\nassemble, and link with.  The simplest case is to run mlton  foo.sml,  where  foo.sml  contains a valid SML program, in which case MLton compiles the program to produce an executable foo.  Since  MLton  does  not  support separate  compilation,  the program must be the entire program you wish  to compile.  However, the program may refer to  signatures  and  structures defined in the Basis Library.<\/div>\n<div class=\"delicious-tags\">(tags: <a href=\"http:\/\/delicious.com\/ernestackermann\/sml\">sml<\/a> <a href=\"http:\/\/delicious.com\/ernestackermann\/mlton\">mlton<\/a>)<\/div>\n<\/li>\n<li>\n<div class=\"delicious-link\"><a href=\"http:\/\/www.cs.cornell.edu\/courses\/cs312\/2006fa\/recitations\/rec09.html\">Recitation 9: SML Input\/Output<\/a><\/div>\n<div class=\"delicious-tags\">(tags: <a href=\"http:\/\/delicious.com\/ernestackermann\/sml\">sml<\/a> <a href=\"http:\/\/delicious.com\/ernestackermann\/ml\">ml<\/a> <a href=\"http:\/\/delicious.com\/ernestackermann\/i%2Fo\">i\/o<\/a>)<\/div>\n<\/li>\n<li>\n<div class=\"delicious-link\"><a href=\"http:\/\/www.cs.cornell.edu\/courses\/cs312\/2006fa\/recitations\/rec05.html\">Recitation 5: Identifiers and Substitution<\/a><\/div>\n<div class=\"delicious-extended\">The ability to define new identifiers is central to every high-level programming language. Identifiers are the way that programmers refer to constructs they create; different uses of identifiers correspond to the different abstraction mechanisms provided by the programming language. Let&#8217;s take a closer look at the way that identifiers are used in ML.<\/div>\n<div class=\"delicious-tags\">(tags: <a href=\"http:\/\/delicious.com\/ernestackermann\/ml\">ml<\/a> <a href=\"http:\/\/delicious.com\/ernestackermann\/sml\">sml<\/a> <a href=\"http:\/\/delicious.com\/ernestackermann\/binding\">binding<\/a>)<\/div>\n<\/li>\n<\/ul>\n<!-- AddThis Advanced Settings generic via filter on the_content --><!-- AddThis Share Buttons generic via filter on the_content -->","protected":false},"excerpt":{"rendered":"<p>Standard ML Basis Library documentation for the BASIS Library (tags: reference ml sml basis library) Ubuntu Manpage: MLton MLton is run from the command line with a collection of options fol lowed by a file name and a list of files with which to compile, assemble, and link with. The simplest case is to run [&hellip;]<!-- AddThis Advanced Settings generic via filter on get_the_excerpt --><!-- AddThis Share Buttons generic via filter on get_the_excerpt --><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[12],"tags":[192,268],"class_list":["post-993","post","type-post","status-publish","format-standard","hentry","category-teaching","tag-mlton","tag-sml"],"_links":{"self":[{"href":"https:\/\/www.webliminal.com\/webliminalblog\/wp-json\/wp\/v2\/posts\/993","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.webliminal.com\/webliminalblog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.webliminal.com\/webliminalblog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.webliminal.com\/webliminalblog\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.webliminal.com\/webliminalblog\/wp-json\/wp\/v2\/comments?post=993"}],"version-history":[{"count":0,"href":"https:\/\/www.webliminal.com\/webliminalblog\/wp-json\/wp\/v2\/posts\/993\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.webliminal.com\/webliminalblog\/wp-json\/wp\/v2\/media?parent=993"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.webliminal.com\/webliminalblog\/wp-json\/wp\/v2\/categories?post=993"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.webliminal.com\/webliminalblog\/wp-json\/wp\/v2\/tags?post=993"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}