undefined | Better HN

0 pointskovrik9y ago0 comments

> In math ( * ) is a binary operation.

I am talking about Empty Product.

In all Lisps I know ( * ) returns 1, (* n) returns n. Which makes sense.

Shen's example is confusing for me.

0 comments

* :: a -> a -> a

Π :: {a} -> a

j / k navigate · click thread line to collapse

0 pointskovrik9y ago0 comments

> In math ( * ) is a binary operation.

I am talking about Empty Product.

In all Lisps I know ( * ) returns 1, (* n) returns n. Which makes sense.

Shen's example is confusing for me.

* :: a -> a -> a

Π :: {a} -> a

j / k navigate · click thread line to collapse