StackOverflow Questions for Tag: ml

Sajad Bahmani

Reputation: 17469

ML IDE and Compiler for Windows or Linux or Mac

idesmlml

Score: 29

Answers: 6

Tim

Reputation: 99526

In SML, does every variable denotes a reference?

programming-languagessmlml

Score: 0

Answers: 1

Tim

Reputation: 99526

In SML, are product types and function types type constructors?

typesfunctional-programmingprogramming-languagessmlml

Score: 1

Answers: 1

Michael

Reputation: 216

Access functions from an imported theory in Isabelle/ML

isabelleml

Score: 0

Answers: 0

Tim

Reputation: 99526

Can we get the reference denoted by a variable in SML?

programming-languagessmlml

Score: 0

Answers: 1

Tim

Reputation: 99526

Why does `a` in `a :: nil` represent a list of length 1?

listpattern-matchingsmlml

Score: -2

Answers: 1

Tim

Reputation: 99526

What are the differences and relations between type constructors and datatypes?

typesprogramming-languagessmlml

Score: 1

Answers: 1

Tim

Reputation: 99526

Why are the concatenation operator @ or arithmetic operators not legal pattern constructors?

pattern-matchingsmlml

Score: 0

Answers: 2

Tim

Reputation: 99526

Why is list concatenation in SML right associative?

listsmlml

Score: 2

Answers: 1

Tim

Reputation: 99526

Is a declaration an expression in SML?

expressiondeclarationsmlml

Score: 1

Answers: 1

Tim

Reputation: 99526

Should the patterns in a SML match expression have the same type?

functional-programmingpattern-matchingprogramming-languagessmlml

Score: 0

Answers: 1

Tim

Reputation: 99526

What kinds of declarations does an environment in SML consist of?

declarationsmlml

Score: 0

Answers: 2

Jonas

Reputation: 75

Function that constructs a Set of all elements that statisfy a given condition in Isabelle

setisabellemlhol

Score: 0

Answers: 1

Armen Michaeli

Reputation: 9170

What is the difference between function declarations `f x y` and `f (x, y)` in Standard ML?

Score: 4

Answers: 1

Jace Ziegler

Reputation: 1

In ML How do you keep the delimiter in the output of the String.tokens function?

tokendelimitersmlml

Score: 0

Answers: 1

Tim

Reputation: 99526

Is a structure declaration a declaration in the core language or the module language?

smlml

Score: 0

Answers: 1

joshua

Reputation: 997

The difference between parentheses in curried function types

smlsmlnjml

Score: 1

Answers: 2

Ahmed Riza

Reputation: 53

Creating an instance of a Binary Tree (Programming Standard ML by Robert Harper)

binary-treesmlml

Score: 1

Answers: 3

sshine

Reputation: 16135

Standard ML functor examples

functional-programmingsmlfunctorml

Score: 12

Answers: 3

Brandon Swallow

Reputation: 1

Please answer this in SOSML

Score: 0

Answers: 0

PreviousPage 1Next