i have this datatype datatype e = X | Const of int | P 开发者_StackOverflow中文版of e*e | S of e*e | M of e*e | D of e*e;
I have to code a function that receives a sequence (finite or infinite) and returns an identical sequencewith the only difference that if an exception occurs during the sequence then the function ret
I haven\'t worked with SML in awhile and I came across this line of code: type memory = string -> int;
I would like to access a random member of a tuple and I\'m not sure how to set #n to a variable. Here is my code:
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.
I want to implement an arbitrary signature in SML. Howcan I define a datatype for开发者_如何学编程 terms over that signature ?I would be needing it to write functions that checks whether the terms are
hi i need help understanding why I am getting a value restriction error in this code and how I can solve it if possible.
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
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
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?
加载中,请稍侯......