High-order Virtual Machine (HVM)

Languages and libraries

functional runtime

SHOW HN2022

150points
13comments
#400of 2,570 in 2022
Top 16%of 2022 by points

How HN took it

LovedMost comments that take a side are positive

6 positive, 3 neutral or asking, 0 mixed, 0 critical, out of 9 comments about the project. Thread score +0.48.

Execution: 2 for, 0 against

The thread, comment by comment

Each row is a top-level comment and its replies, in HN's order. Select a cell to open that comment on HN.

positive neutral or mixed critical about another commenter or something else the maker

What HN said

What people liked

  • Impressive, artful work

    From 2 comments
  • Performance gains claimed versus GHC

    From 1 comment
    • HVM is the ultimate conclusion to years of optimal evaluation research. I've been a great enthusiast of optimal runtimes. Until now, though, my most efficient implementation had…
      LightMachine on HN

Objections

  • Still slower than GHC in some cases, by up to 2x

    From 1 comment
    • HVM is the ultimate conclusion to years of optimal evaluation research. I've been a great enthusiast of optimal runtimes. Until now, though, my most efficient implementation had…
      LightMachine on HN

Requests

  • Support for using Haskell libraries with Kind

    From 1 comment
    • I wish I could eventually use Haskell libraries with this/ Kind.
      yewenjie on HN

Questions

  • Why the core is written in C rather than Rust

    From 1 comment
    • Ok, maybe stupid: why the core is in C and not Rust? Easy to targeting?
      mamcx on HN

Alternatives named

  • GHC

    From 1 comment
    • HVM is the ultimate conclusion to years of optimal evaluation research. I've been a great enthusiast of optimal runtimes. Until now, though, my most efficient implementation had…
      LightMachine on HN

Category, keywords, summaries and labels on this page were made by AI (Thread Reader v2) and not checked by hand. Each point links to the comments it came from.

Add a badge to your READMEShown on HackerShow
[![Shown on HackerShow](https://hackershow.org/badge.svg)](https://hackershow.org/show/30152714)