smlnj

相关标签：javascript jquery android 多少钱 iPhone

ml datatype (with primitive functions) how to make?

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;[详细]

2023-03-09 13:24 分类：问答
infinite sequence in SML

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[详细]

2023-03-07 11:51 分类：问答
Confusing type declaration?

I haven\'t worked with SML in awhile and I came across this line of code: type memory = string -> int;[详细]

2023-03-05 02:46 分类：问答
How do I access a random member of a Tuple?

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:[详细]

2023-02-25 05:34 分类：问答
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 分类：问答
Datatype for terms over a signature in SML

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[详细]

2023-02-16 21:02 分类：问答
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 分类：问答
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 分类：问答
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 分类：问答