sa1 · HackerTrans

เดือนที่แล้วdiscuss

I think they do, and as you mentioned you can explicitly remove such a restriction. Sets and types are once again two different kinds of objects in mathematical theory, and a set-theoretic type doesn’t seem to be based either on set theory or type theory.

sa1

เดือนที่แล้วdiscuss

Sets and types are foundational mathematical concepts so I’m looking for how elixir’s types fit in that context. Union and intersection are not something that belongs only to sets.

sa1

เดือนที่แล้วdiscuss

Unions, intersections and negations are available in types as well and are by no means exclusive to sets. The distinguishing feature of a set vs type is that a value belongs to just one type while it can belong to several sets.

sa1

เดือนที่แล้วdiscuss

What do set-theoretic types mean? Aren’t types an alternative approach meant to avoid the paradoxes with sets?

Is it just being used as a marketing term?

sa1

2 เดือนที่ผ่านมาdiscuss

The whole readme is LLM written, it might be a useful project but it might as well be a fever dream, with no easy way to tell.

sa1

7 เดือนที่ผ่านมาdiscuss

But clean room reverse engineered code can have its own license, no?

comments