Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in sml

Difference between "local" and "let" in SML

local sml let

Do OCaml 'underscore types' (e.g. '_a) introduce the possibility of runtime type errors / soundness violations?

ocaml sml

How do you print inside a case statement in SML?

sml smlnj

Standard sorting functions in SML?

sml

Recursive anonymous functions in SML

Does Standard ML support Unicode?

sml polyml

Pattern match in binding of lambda?

SML Warning: Type Vars Not Generalized when using Empty Lists or NONE option

sml smlnj

Understanding foldl in ML

How to convert negative integers to strings in SML with minus sign instead of tilde?

sml smlnj

Why SML and OCaml are considered as dialects of ML? What is the definition of ML?

When to use semicolons in SML?

sml smlnj ml

Statically "extend" a record-ish data type without indirection hassle

Is the SML `o` operator only useful on single-argument functions?

sml smlnj ml

How do functional languages represent algebraic data types in memory?

SML: What's the difference between using abstype and using a signature to hide the implementation of a structure?

structure signature sml

Increasing the print depth in SML/NJ

sml smlnj

SML: difference between type and datatype

types sml smlnj

Is there a Haskell/ML-like compiler to C?

iphone haskell scheme sml gambit

Nested case statements in SML

coding-style sml