int x;

x int;

 (func(float*[]) int*)* fp;

typedef float (*func_ptr)(int);
using func_ptr = float (*)(int);

Foo obj(1,2,"hello")

Foo obj = new Foo(1,2,"hello")

obj(1,2,"hello") Foo;

Foo obj(1,2,"hello")

Foo obj = new Foo(1,2,"hello")

obj(1,2,"hello") Foo;

val obj1: Foo = new Foo(1, 2, "hello");
val obj2 = new Foo(1, 2, "hello"); // с автовыводом типа

let s = 42
// val s : int = 42

let say (name : string) = Console.WriteLine("Hello, " + name)

type Person(name) =
    class
        do printfn "Person name is %s" name
    end

type Worker(name) =
    class
        inherit Person(name)
        do printfn "Worker name is %s" name
    end

let person = Person("Bob")
let worker = Worker("Steve")
let steve = worker :> Person // успешное приведение к предку (вверх). ошибки не будет

try
    let bob = person :?> Worker
    None
with :? System.InvalidCastException as e ->
    printfn $"Ошибка приведение к потомку(вниз) {e.Message}"
    None

x int;

int x;

name : string

(defgeneric description (object)
  (:documentation "Return a description of an object."))

(defmethod description ((object integer))
  (format nil "The integer ~D" object))

(defmethod description ((object float))
  (format nil "The float ~3,3f" object))

vsb>>val obj1: Foo = new Foo(1, 2, "hello");
vsb>>val obj2 = new Foo(1, 2, "hello"); // с автовыводом типа
vsb>>

var i: Int = 1

int x = 42
x = 42                   // тип можно и не указывать, он будет выведен
(a,b) => a+b             // лямбда, все типы выводятся
(int a, int b) => a+b    // лямбда с указанием типов аргументов
(a,b) => int: a+b        // лямбда с указанием типа результата
f(int a, int b) => a+b   // определение функции. заметьте, как легко
f(a, b) => int: a+b      //  превращать лямбду в ф-ю и обратно
inc(x) => int: x+1       //
(int) -> int g = inc     // переменная функционального типа, нет проблем его иметь слева
map((#a) -> #b f, [#a] xs) => ... // тут аргумент функ. типа, тоже все ок