Slow list creation about metta-examples HOT 8 OPEN

@vsbogd is the issue caused by argument of car-atom being evaluated?

It is not evaluated in this context. If you see it is evaluated in log the reason is == has type (-> $t $t Bool).

from metta-examples.

adding types doesn't change the performance

(: List (-> $t Type))
(: Nil (List $t))
(: Cons (-> $t (List $t) (List $t)))

; convert (a b c) to (Cons a (Cons b (Cons c Nil)))
(: makelist (-> Atom (List $t)))

from metta-examples.

Interesting that Python is six times slower than Rust REPL on this task which is strange.

from metta-examples.

This issue somewhat relates to one I've just created as well trueagi-io/hyperon-experimental#638

from metta-examples.

From the code logic perspective nothing is wrong here. Although I recommend adding types as @noskill suggested in #42 (comment).

It is a performance issue. So I would suggest closing it as a duplicate of trueagi-io/hyperon-experimental#638

from metta-examples.

@vsbogd is the issue caused by argument of car-atom being evaluated? If so why it gets evaluated? I remember you told me that built-in metta types are not evaluated

from metta-examples.

What do you think about adding differently typed == operator?

from metta-examples.

works faster, but not much

(: same (-> Atom Atom Bool))

(= (same $X $Y) False)
(= (same $X $X) True)

(= (makelist $x)
    (if (same () $x) Nil (let $_cdr (cdr-atom $x)
                                (Cons (car-atom $x) (makelist $_cdr)))
                   )
)

from metta-examples.