Arquivo ML

.ml é a extensão de arquivo de origem padrão para a linguagem de programação OCaml, uma linguagem funcional estaticamente tipada com recursos orientados a objetos e imperativos desenvolvida no INRIA, Paris. A extensão deriva de ML (Meta Language), a família de linguagens da qual o OCaml descende.

Cada arquivo .ml define um módulo OCaml, nomeado automaticamente após o arquivo com sua primeira letra em maiúscula - parser.ml torna-se o módulo Parser. O arquivo de interface .mli complementar declara o que o módulo expõe publicamente, agindo de forma semelhante a um arquivo de cabeçalho C.

Os arquivos de origem contêm sequências de declarações OCaml: vinculações let, definições de type, definições de module e functores, declarações de exceções e definições de classes. Uma expressão let () = ... no nível superior serve como o ponto de entrada do programa por convenção.

Os arquivos são compilados pelo ocamlc para bytecode ou pelo ocamlopt para código de máquina nativo. O sistema de build Dune e o gerenciador de pacotes opam são as ferramentas de gerenciamento de projeto padrão. O OCaml 5.x (2022 em diante) introduziu manipuladores de efeitos e paralelismo multicore, adicionando nova sintaxe não aceita por compiladores mais antigos.

A extensão .ml também é vista ocasionalmente para arquivos Standard ML, embora essa comunidade normalmente use .sml em seu lugar. O uso dominante é OCaml, que atingiu a versão 5.3 em 2025.