É possível expressar algo assim:

type id = int > 0

Eu sei que não é possível fazer estaticamente, pois isso significaria que o F # tem tipos dependentes. Em C # eu estou acostumado a fazer esse tipo de coisa com contratos de código e obter uma execução de tempo de execução. Estou procurando algo semelhante aqui.

obrigado

EDIT: Obrigado por todas as respostas que têm vários prós e contras. No monent eu estou usando apenas um pequeno subconjunto de F #, um subconjunto do núcleo ocaml que se presta facilmente para programar provas. Então sem aulas.