search

trueagi-io / metta-wam

A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
10 stars 11 forks source link

Inconsistent order of evaluation for car-atom #163

Closed vulecoff closed 3 days ago

vulecoff commented 1 month ago

(car-atom (+ 1 2)) --> [] (should return [+]), whereas (car-atom (cons-atom 1 (2))) --> [cons-atom]. It looks like for some reason arithmetic operations are eagerly evaluated, or maybe it's just that type-checking are not fully implemented in general.

TeamSPoon commented 2 weeks ago

MeTTa Should evalated Expressions ?

TeamSPoon commented 3 days ago

(car-atom (+ 1 2)) -> + now

TeamSPoon commented 3 days ago

https://github.com/trueagi-io/metta-wam/commit/370696c064f1218172314cc78a71e3cbdd731c0f