Baseado em um novo modelo computacional que compartilha das melhores características da Máquina de Turing e do Cálculo Lambda, desenvolvemos um runtime funcional ultra-eficiente que, em seu protótipo inicial, conseguiu se equiparar, e, em muitos casos, superar, o GHC, o compilador do Haskell, que é, atualmente, o mais eficiente no ramo. Nesse tutorial exclusivo, Taelin mostrará como a HVM foi implementada, desde sua base teórica até os detalhes de baixo nível da sua implementação. Não somente, também ensinaremos como utilizar a HVM para desenvolver algoritmos funcionais de alta performance, explorando tanto o seu paralelismo inerente, quanto seus ganhos assintóticos.