sml
Print to standard output in SML
datatype term = node of string*term list 开发者_运维百科| vnode of string I have a value of type term. How do I print it in SML to the standard output?You need to first create a string out of the te[详细]
2023-02-17 11:55 分类:问答Lazy suspended tail in sml
I was going through some notes and I realized something is amiss. When emulating lazy computation (without open Lazy;) one can do the following for a stream of ones.[详细]
2023-02-17 00:07 分类:问答Learning/using ML. Which system should i use?
I want to learn and use ML but there are many compile开发者_如何学Gors out there. I need: speed low memory usage[详细]
2023-02-14 14:45 分类:问答standard ml value restriction errors
hi i need help understanding why I am getting a value restriction error in this code and how I can solve it if possible.[详细]
2023-02-13 13:33 分类:问答Standard ML / CML wrong operator - operand error
I am trying to 开发者_运维问答implement a concurrent list using CML extensions of Standard ML but i am running into errors that are probably to do with my being a newbie in Standard ML.I have implemen[详细]
2023-02-13 05:08 分类:问答"Circular" Function Declaration in SML
I want to use functions in a \"circular\" way, as show开发者_StackOverflow中文版n in the following example:[详细]
2023-02-12 11:53 分类:问答Increasing the print depth in SML/NJ
I\'m trying to get SML/NJ to print out a result at the top level without putting # signs everywhere. According to some old docs (and a post to this newsgroup on 2001), it[详细]
2023-02-12 09:49 分类:问答finding height of a tree in sml
i want to find the height o开发者_运维知识库f a tree in sml.The tree is not a regular one it could have any number of nodes at a level.Futher the datatypes that it holds is also abstract.could someone[详细]
2023-02-12 05:00 分类:问答SML-NJ, how to compile standalone executable
I start to learn Standard ML, and now I try to use Standard ML of New Jersey compiler. 开发者_如何学GoNow I can use interactive loop, but how I can compile source file to standalone executable?[详细]
2023-02-11 22:54 分类:问答Filling a normal binary tree in ML with values
Where let\'s say: datatype bin_tree = Empty | Node of value * bin_tree * bin_tree How would I go about filling a binary tree (not a binary search tree where left is sma开发者_运维问答ller than root[详细]
2023-02-11 18:44 分类:问答