• No results found

Two simple declarations:

N/A
N/A
Protected

Academic year: 2021

Share "Two simple declarations:"

Copied!
1
0
0

Bezig met laden.... (Bekijk nu de volledige tekst)

Hele tekst

(1)

Two simple declarations: l e t x = 3

l e t f x = x + 1

and, after compilation with ocamlc -i example.ml, their types: val x : int

val f : int -> int

Then, building on these definitions: l e t y = f 3

val y : int

What about compiler error messages?: l e t z = 3 + " f o u r "

They are also detected:

File "example.ml", line 1, characters 12-18:

Error: This expression has type string but an expression was expected of type int

We can continue on from earlier examples: l e t z = f y

val z : int

Referenties

GERELATEERDE DOCUMENTEN

Therefore it is impossi- ble to treat the desired continuous process as an actual limit of some rescaled random walk, but the convergence in distribution strongly suggests a

Then in the second section we will give a detailed study on the structure of the Frobenius kernels based on the knowledge of reductive groups and the modules of Frobenius kernels

For real use cases, see the test documents setting up matching Latin and Greek or Cyrillic fonts.. Some text in OT1 encoding, the font is Latin Modern: R´ esum´ e of Nathan

Graham verwierf inter- nationale bekendheid met een serie foto’s gemaakt in een stempellokaal, niet om er de werklozen in beeld te bren- gen, maar omdat hij zelf zonder werk zat

This book, which is dedicated to Karin Hanssen, Bert Danckaert’s lifelong supporter, is based on the results of a PhD research project at the Royal Academy of Fine Arts, AP

The few sim ple exercises given below will not put too great a strain on the powers of the reader, and the subjects chosen are those that have already been dealt

Zodoende werd onmiddellijk naast deze boring een tweede boring aangelegd (boring 4). Tussen 40 en 50 cm beneden vlak 2 bevond zich een rode baksteen. Ook deze laag werd

Het archeologisch vooronderzoek heeft uitgewezen dat er zich nederzettingsresten uit de (late) ijzertijd of (vroeg) Romeinse periode bevinden in de noordelijke helft van