python (65.1k questions)

javascript (44.2k questions)

reactjs (22.7k questions)

java (20.8k questions)

c# (17.4k questions)

html (16.3k questions)

r (13.7k questions)

android (12.9k questions)

Questions - sml

Recursive Anti-Symmetrical Counter SML

This is an anti-symmetrical recursive function that will take a list of pairs If the list is anti-symmetrical then an empty list will return and if the list is symmetrical it will return only the two ...
test-img

jwolf

list

recursion

sml

symmetric

Votes: 0

Answers: 1

Latest Answer

First off, let's clean up your code a bit. We can remove the parentheses here: (if (not (a = d)) orelse testOne((b, d), rest) ) then [] which break the syntax, as well as generally eliminate extraneo...
test-img

Chris

How can I assign user defined sml datatypes to have a integer (as string) datatype?

Very new to sml. My problem is that I'm trying to make my own datatype, but I can not use ints in the naming convention of the items that are appart of the datatype datatype psu = 350w | 450w | 550w |...
test-img

nellyjelly56

types

interpreter

sml

Votes: 0

Answers: 1

Latest Answer

As noted in comments, identifiers in SML (as in many other programming languages) cannot begin with digits. datatype psu = W350 | W450 | W550 | ... This would work. Something like the following would...
test-img

Chris

Symmetric Relation Recursive SML

Define a recursive predicate in ML isRelationSymmetric that accepts a relation r (represented as a list of tuples) and returns true if r is symmetric and false otherwise. Here is what I have so far. f...
test-img

jwolf

recursion

sml

ml

symmetry

Votes: 0

Answers: 2

Latest Answer

fun isRelationSymmetric(relation) = let fun testOne((a, b), []) = false | testOne((a, b), (c, d)::rest) = (b = c) andalso (a = d) orelse testOne((a, b), rest); fun test(...
test-img

jwolf

Composistion in SML (Discreate Math and Functional Programming)

I need to define a recursive ML function composition that accepts two relations and returns the composition of the two relations. I need to use the thhisIsTheImageOf and createRelationFromImage functi...
test-img

jwolf

recursion

sml

composition

ml

Votes: 0

Answers: 1

Latest Answer

fun composition([],_ )=[] | composition((a,b)::rest,relation)= let fun thisIsTheImageOf(e,[])=[] |thisIsTheImageOf(e,(a,b)::xs) = if e=a then b::thisIsTheImageOf(e,xs) ...
test-img

jwolf

Posts

Questions

Blogs

Jobs