search

hash-org / hashc

The Hash programming language compiler :zap:
https://hash-org.github.io/hashc/
MIT License
25 stars 2 forks source link

tir: Implement normalisation by evaluation #1053

Open kontheocharis opened 6 months ago

kontheocharis commented 6 months ago

Replace current substitution-based evaluation with NbE into some semantic domain.

Steps:

  1. Figure out what the semantic domain should be
  2. How to represent it? Separate data structure probably..
  3. Implement it