Applejack_ has quit [Ping timeout: 240 seconds]
Applejack_ has joined #ponylang
Perelandric has quit [Ping timeout: 250 seconds]
jemc has quit [Ping timeout: 272 seconds]
c355e3b has quit [Quit: Connection closed for inactivity]
Applejack_ has quit [Ping timeout: 246 seconds]
SilverKey has joined #ponylang
SilverKey has quit [Client Quit]
nyarumes has joined #ponylang
Applejack_ has joined #ponylang
Applejack_ has quit [Ping timeout: 250 seconds]
nyarumes has quit [Ping timeout: 250 seconds]
nyarum has joined #ponylang
nyarum has quit [Ping timeout: 250 seconds]
Applejack_ has joined #ponylang
Applejack_ has quit [Ping timeout: 252 seconds]
amclain has quit [Quit: Leaving]
jemc has joined #ponylang
Applejack_ has joined #ponylang
Applejack_ has quit [Ping timeout: 250 seconds]
SilverKey has joined #ponylang
SilverKey has quit [Quit: Halted.]
jemc has quit [Ping timeout: 240 seconds]
ifraixedes has joined #ponylang
Arch-TK has quit [Quit: I hate quit messages with fucking URLs in them.]
Arch-TK has joined #ponylang
rurban has joined #ponylang
rurban has left #ponylang [#ponylang]
tm-exa has joined #ponylang
tm-exa has quit [Quit: Bye bye - have a good <insert timezone day period>]
NhanH has quit [Ping timeout: 244 seconds]
NhanH has joined #ponylang
tm-exa has joined #ponylang
Guest78801 has quit [Ping timeout: 240 seconds]
Fuuzetsu has joined #ponylang
malthe_ has joined #ponylang
sjums_ has joined #ponylang
tm-exa_ has joined #ponylang
Corwin__ has joined #ponylang
hakvroot_ has joined #ponylang
malthe has quit [Ping timeout: 240 seconds]
ifraixedes has quit [Ping timeout: 240 seconds]
sjums has quit [Ping timeout: 252 seconds]
tm-exa has quit [Ping timeout: 252 seconds]
hakvroot has quit [Ping timeout: 252 seconds]
Corwin_ has quit [Ping timeout: 252 seconds]
ifraixedes has joined #ponylang
gornikm has quit [Ping timeout: 258 seconds]
gornikm has joined #ponylang
Corwin__ is now known as Corwin_
rurban1 has joined #ponylang
rurban1 has quit [Quit: Leaving.]
c355e3b has joined #ponylang
trapped has joined #ponylang
srenatus has joined #ponylang
Applejack_ has joined #ponylang
Perelandric has joined #ponylang
Perelandric has quit [Ping timeout: 250 seconds]
_andre has joined #ponylang
Applejack_ has quit [Ping timeout: 272 seconds]
SilverKey has joined #ponylang
SilverKey has quit [Quit: Halted.]
jemc has joined #ponylang
Applejack_ has joined #ponylang
Applejack_ has quit [Ping timeout: 246 seconds]
jemc has quit [Ping timeout: 244 seconds]
jemc has joined #ponylang
SilverKey has joined #ponylang
tm-exa_ has quit [Quit: Computer has gone to sleep]
SilverKey has quit [Quit: Halted.]
SilverKey has joined #ponylang
SilverKey has quit [Quit: Halted.]
Applejack_ has joined #ponylang
amclain has joined #ponylang
Perelandric has joined #ponylang
<
Perelandric>
test...
<
Perelandric>
If I have a type alias `All` that is a union of primitives, and another `Subset` that is a subset of those same primitives...
<
Perelandric>
I can successfully assign a variable of `Subset` to a variable of `All`, and it compiles...
<
Perelandric>
Just wondering if there's a reason for this restriction.
<
SeanTAllen>
So what you are saying is...
<
SeanTAllen>
I have an array that is (Foo | Bar)
<
SeanTAllen>
and i am assigning that array to an array that is supposedly of the type
<
SeanTAllen>
(Foo | Bar | Baz | Buz)
<
SeanTAllen>
imagine for a moment that I do that
<
SeanTAllen>
according that to that, I should be able to add a Baz to this array
<
SeanTAllen>
but I can't because the array is actually of type Foo | Bar
<
Perelandric>
ah... of course. Totally makes sense. Thank you.
<
SeanTAllen>
i always have to stop and think about collections with generics for a moment when i hit that
<
Perelandric>
Compiles with Iterators instead of Arrays, which also makes sense given your explanation. Thanks again, SeanTAllen!
<
SeanTAllen>
you're welcome
<
jemc>
Perelandric: similarly, it works for ReadSeq, an interface that defines a subset of the methods in Array
<
jemc>
if you only need to read, but don't want to eagerly create the iterator
<
Perelandric>
jemc: Awesome, that's very helpful to know.
<
jemc>
`let x: ReadSeq[All] = Array[Subset]`
Applejack_ has quit [Ping timeout: 276 seconds]
Matthias247 has joined #ponylang
tm-exa has joined #ponylang
Perelandric has quit [Ping timeout: 250 seconds]
tm-exa has quit [Quit: Bye bye - have a good <insert timezone day period>]
SilverKey has joined #ponylang
Matthias247 has quit [Read error: Connection reset by peer]
Applejack_ has joined #ponylang
Scramblejams has quit [Ping timeout: 240 seconds]
SilverKey has quit [Quit: Halted.]
SilverKey has joined #ponylang
SilverKey has quit [Client Quit]
Applejack_ has quit [Ping timeout: 244 seconds]
SilverKey has joined #ponylang
Applejack_ has joined #ponylang
SilverKey has quit [Quit: Halted.]
ifraixedes has quit [Quit: leaving]
SilverKey has joined #ponylang
Applejack_ has quit [Ping timeout: 260 seconds]
_andre has quit [Quit: leaving]
SilverKey has quit [Quit: Halted.]
Applejack_ has joined #ponylang
srenatus has quit [Quit: Connection closed for inactivity]
Matthias247 has joined #ponylang
SilverKey has joined #ponylang
Applejack_ has quit [Ping timeout: 260 seconds]
Matthias247 has quit [Read error: Connection reset by peer]