High-order Virtual Machine (HVM) - Runtime thuần hàm không có GC

• Một mô hình tính toán mới gọi là Interaction Net, kết hợp giữa Turing Machine và Lambda Calculus
• Thay vì mô hình mượn phức tạp của Rust, sử dụng lazy clone primitive tương tự cách đánh giá của Haskell
• Do có tính lazy nên chi phí sao chép gần như bằng 0, và khác với Haskell, có thể chia sẻ phép tính bên trong lambda (rất có lợi cho xử lý song song)
• Chọn mô hình bộ nhớ dựa trên SIC(Symmetric Interaction Calculus), nhờ đó loại bỏ đáng kể chi phí gián tiếp con trỏ vốn cần thiết trong phương pháp được gọi là Graph Reduction ở Haskell và các ngôn ngữ tương tự (có lợi khi tìm được phương án Optimal)
• Nói cách khác, so với runtime của các ngôn ngữ thông thường, nó không có GC và có thế mạnh về xử lý song song cũng như xử lý Optimal

[alstjr7375]

Đây là phần hiện thực QuickSort.
Có lẽ vì sử dụng Lambda Calculus khá tích cực nên trông hơi giống Lisp nhỉ..?

// QuickSort  
(QSort p s Nil)          = Empty  
(QSort p s (Cons x Nil)) = (Single x)  
(QSort p s (Cons x xs))  =  
  (Split p s (Cons x xs) Nil Nil)  
  
// Splits list in two partitions  
(Split p s Nil min max) =  
  let s   = (>> s 1)  
  let min = (QSort (- p s) s min)  
  let max = (QSort (+ p s) s max)  
  (Concat min max)  
(Split p s (Cons x xs) min max) =  
  (Place p s (< p x) x xs min max)  
  
// Sorts and sums n random numbers  
(Main n) =  
  let list = (Randoms 1 (* 100000 n))  
  (Sum (QSort Pivot Pivot list))