Timeline for How can finite sets be represented as a type?
Current License: CC BY-SA 3.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 28, 2014 at 12:15 | vote | accept | lily | ||
| Oct 28, 2014 at 11:26 | history | tweeted | twitter.com/#!/StackCompSci/status/527058790584053760 | ||
| Oct 28, 2014 at 3:32 | answer | added | Gilles 'SO- stop being evil' | timeline score: 5 | |
| Oct 28, 2014 at 0:40 | comment | added | lily | @Raphael I believe I've addressed your concerns- the restriction is that I need the type system to enforce the set invariants. | |
| Oct 28, 2014 at 0:39 | history | edited | lily | CC BY-SA 3.0 |
added goal wrt type-enforced invariants
|
| Oct 27, 2014 at 18:25 | comment | added | lily | @Raphael Hm... I'm quickly realizing I'm not sure what I'm talking about. This question might be ill-formed. I'll take a little while to think about what I mean. | |
| Oct 27, 2014 at 18:23 | comment | added | lily | @Juho I was hoping for a solution for any type T, possibly infinite, but numericity (is that a word?) is of course a reasonable constraint. | |
| Oct 27, 2014 at 18:22 | comment | added | Raphael | I think there are implicit restrictions to this question (esp. in the title); you better make them explicit. There are well-known representations, e.g. sorted lists without duplicates, but you seem to want to define a type using only a limited set of basic types as building blocks. | |
| Oct 27, 2014 at 18:21 | comment | added | lily | @KarolisJuodelė Lists are ordered and can contain duplicates, so different representations of a set wouldn't be definitionally equal. I'm not sure how you'd use a tree---perhaps you could post that as an answer? | |
| Oct 27, 2014 at 18:13 | comment | added | Juho | How general are your sets? Do they come from some range? Are they always even numeric? | |
| Oct 27, 2014 at 17:49 | comment | added | Karolis Juodelė | Is there something wrong with a usual list/tree? | |
| Oct 27, 2014 at 17:25 | review | First posts | |||
| Oct 27, 2014 at 17:32 | |||||
| Oct 27, 2014 at 17:24 | history | asked | lily | CC BY-SA 3.0 |