Recent questions tagged sml

0 votes

491 views

1 answer

sml - Output is truncated with #-signs in the REPL

I wrote a function which works as expected but i don't understand why the output is like that. Function: datatype prop ... Not #,Atom #)) : prop See Question&Answers more detail:os...

asked Oct 17, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

586 views

1 answer

sml - division operator error in standard ml and Cpn tools

I'm new in standard ml and I'm using cpn tools.I have some constants: val PHY=120; val RB=1; I ... .com/questions/65869988/division-operator-error-in-standard-ml-and-cpn-tools...

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

647 views

1 answer

sml - What's meant by "isSome oldest(tl dates)" here; why "oldest(tl dates)" has a option type?

fun oldest (dates: (int*int*int) list) = if null dates then NONE else let val ans = oldest(tl dates) in ... whats-meant-by-issome-oldesttl-dates-here-why-oldesttl-dates-has-a-opt...

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

461 views

1 answer

sml - What's the difference (if any) between Standard ML's module system and OCaml module system?

My question is if there is any difference between Standard ML's module system and OCaml module system? Has OCaml ... -if-any-between-standard-mls-module-system-and-ocaml-mod...

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

518 views

1 answer

sml - What's the difference (if any) between Standard ML's module system and OCaml module system?

My question is if there is any difference between Standard ML's module system and OCaml module system? Has OCaml ... -if-any-between-standard-mls-module-system-and-ocaml-mod...

asked Oct 7, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

671 views

1 answer

sml - how to print in ML

I've searched and found several people asking this question, but I can't find an explicit answer. How can I print a non-string in ... tree val it = true : bool val it = () : unit...

asked Feb 6, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

544 views

1 answer

sml - How to pattern match an ADT in ML

I'm brand new to ML and I'm trying to figure out the syntax for pattern matching. Can someone help me understand the compiler ... EseqExp (s,e)) = maxints( maxargs(s), maxargs(e))...

asked Jan 29, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

555 views

1 answer

sml - How to pattern match an ADT in ML

I'm brand new to ML and I'm trying to figure out the syntax for pattern matching. Can someone help me understand the compiler ... EseqExp (s,e)) = maxints( maxargs(s), maxargs(e))...

asked Jan 29, 2021 in Technique[技术] by 深蓝 (71.8m points)

Categories

Just Browsing Browsing

Most popular tags