Prime Checker - Ml Typing CST Test

Loading…

Prime Checker — Ml Code

Checks if a number is prime.

fun isPrime n =
  let
    fun check i = i*i > n orelse (n mod i <> 0 andalso check (i+1))
  in
    if n < 2 then false else check 2
  end;

val n = 13;
print(if isPrime n then "Prime\n" else "Not Prime\n");

Ml Language Guide

ML (Meta Language) is a functional programming language known for its strong static type system, type inference, and pattern matching capabilities. It emphasizes immutability, recursion, and expressive type-safe programming, making it ideal for symbolic computation, theorem proving, and compiler development.

Primary Use Cases

▸Compiler and interpreter development
▸Theorem proving and formal verification
▸Symbolic computation
▸Algorithm prototyping
▸Academic research and teaching functional programming

Notable Features

▸Strong static typing with type inference
▸Pattern matching for control flow
▸Immutable data structures by default
▸First-class functions and higher-order functions
▸Module and functor system for abstraction

Origin & Creator

ML was developed in the early 1970s by Robin Milner and colleagues at the University of Edinburgh as a metalanguage for the LCF theorem prover.

Industrial Note

ML influenced many functional languages like OCaml, F#, and Haskell. It is still used in formal methods, compiler construction, and language research.

More Ml Typing Exercises

ML Counter and Theme Toggle ML Fibonacci Sequence ML Factorial Calculator ML Sum of List ML Reverse String ML Multiplication Table ML Celsius to Fahrenheit ML Simple Alarm Simulation ML Random Walk Simulation

Practice Other Languages

C React Python C++Rust TypeScript Kotlin PHP Java C#Ruby Mql Cql N1ql Cypher