<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS coepmr: sa aturley kai3x5 ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS ndiexwxraq: mahmudov sa SeanTAllen ▄▄▄▄▄▄▄▄▄▄
<gakrash>
â–„â–„â–„â–„â–„â–„â–„â–„â–„â–„â–„â–„â–„â–„ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS oikhwand: johshoff SeanTAllen dubiousjim â–„â–„â–„â–„â–„â–„â–„â–„â–„â–„â–„â–„â–„â–„â–„â–„â–„â–„â–„â
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS zzwvb: johshoff DDR jnyw ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS qmocnmjukr: acarrico DDR johshoff ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS oncve: acarrico Schwar mahmudov ▄▄▄▄▄▄▄▄▄▄▄▄
jnyw has left #ponylang ["WeeChat 2.0.1"]
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS smxyvdbds: DDR jnyw kai3x5 ▄▄▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS gpojea: kai3x5 johshoff acarrico ▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS srajmqq: codec1 dubiousjim jmiven ▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS slndhgajyt: kai3x5 DDR sa ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
codec2 has joined #ponylang
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS yumjhvygh: Schwar dubiousjim Amun_Ra ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS fxomnm: kai3x5 DDR Schwar ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS esxicwf: Schwar dubiousjim acarrico ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS wjivi: Schwar aturley mahmudov ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS qboyyoyhh: mahmudov kai3x5 johshoff ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS uwnvbw: sa jmiven jnyw ▄▄▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS ovqndkx: sa aturley mahmudov ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS mkljsi: jnyw DDR mahmudov ▄▄▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS vuftowm: jmiven codec1 mahmudov ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS plkgisz: DDR sa dubiousjim ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS prfbbttjn: jmiven mahmudov codec1 ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS xsoooohyl: johshoff acarrico sa ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS giaepnozv: kai3x5 mahmudov jmiven ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS yyavbef: aturley jmiven codec1 ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS lmrhv: jmiven acarrico mahmudov ▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS wqzxrp: acarrico dubiousjim Amun_Ra ▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS nsqfj: jmiven Schwar mahmudov ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
<gakrash>
▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ ##FEMINISM IS OFFERING TRAINING IN TAPPING INTO YOUR INNER FETISHES!! EL IS IN #FREENODE FOR ANY QUESTIONS qgvohds: kai3x5 SeanTAllen Amun_Ra ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
gakrash has quit [Client Quit]
codec1 has quit [Ping timeout: 256 seconds]
sarna has quit [Quit: Connection closed for inactivity]
dubiousjim has quit [Quit: Page closed]
codec2 has quit [Read error: Connection reset by peer]
mahmudov has quit [Ping timeout: 268 seconds]
khan has joined #ponylang
khan has quit [Client Quit]
khan has joined #ponylang
khan has quit [Client Quit]
khan has joined #ponylang
aturley has quit [Read error: Connection reset by peer]
aturley has joined #ponylang
endformationage has joined #ponylang
<endformationage>
sarna SeanTAllen : Catching up on the logs... FWIW, there are a number of basic math funs defined on Float (F32 | F64), including trig bits.
aturley_ has joined #ponylang
aturley_ has quit [Read error: Connection reset by peer]
aturley has quit [Read error: Connection reset by peer]
aturley_ has joined #ponylang
endformationage has quit [Quit: WeeChat 1.9.1]
khan has quit [Quit: khan]
khan has joined #ponylang
khan has quit [Client Quit]
khan has joined #ponylang
khan has quit [Quit: khan]
khan has joined #ponylang
khan has quit [Client Quit]
khan has joined #ponylang
SenasOzys has joined #ponylang
khan has quit [Quit: khan]
ordepdev has joined #ponylang
ordepdev has quit [Ping timeout: 260 seconds]
dubiousjim has joined #ponylang
<dubiousjim>
Not sure anyone is joined now... but I'm learning Pony, and am not clear on why there's a `Integer[U8]` alongside `U8`.
<dubiousjim>
Is the point that with the former, a class can declare that it implements the trait, so counts as an extension/subtype of U8?
<dubiousjim>
Whereas `U8` is only a primitive, not a trait or interface...
sarna has joined #ponylang
<sarna>
endformationage: oh well '^ ^ at least I've learned something
<dubiousjim>
As I said, sorry to ask so many Qs at once. Let Q1=me trying to understand `Interface[U8]` etc; Q2=me trying to understand printv; Q3=Seq[A:A].
<dubiousjim>
sarna: I wasn't seeking heterogenous lists, just trying to understand why the constraint in the declaration of `Seq` was `: A` rather than `: Any`
khan has joined #ponylang
<dubiousjim>
doublev: was "that would be a bug in the compiler" about my playground link? If so, should I create an issue on Github? (Would search for similar issues first, but since I'm a newbie I might not be the best detector of what's a "similar issue".)
<dubiousjim>
sarna: re `ByteSeq` vs `Array[String]`, I see thanks. Can someone give me a minimal working example demonstrating the correct use of `env.out.printv` then?
<sarna>
dubiousjim: A: A means the first element has to have the same type as the rest of the elements. ie all of them being I32
<dubiousjim>
sarna: thanks, but no none of those help. I can't figure out yet how to create a ByteSeqIter. Going back to an earlier point, even if `Array[String]` isn't itself a `ByteSeq`, shouldn't one be able to generate a `ByteSeqIter` from it? But using `.values()` on an `Array[String]` or `Array[ByteSeq]` doesn't work.
<dubiousjim>
As I said, I'm still only making baby steps with this language.
vaninwagen has joined #ponylang
<sarna>
same
<sarna>
I wasn't able to create ByteSeqIter either
<sarna>
I thought `"string".values()` would work, but it didn't
<sarna>
dubiousjim
<dubiousjim>
kthx
<sarna>
`Array[U8]` kinda works, but you need it to be `val`, and `.values()` doesn't return `val`
<vaninwagen>
dubiousjim your playground link ( https://playground.ponylang.org/?gist=7ed141902033cbe2f3bdaeaa832b9e1c ) clearly shows a compiler bug, could you please create a github issue on the ponyc repo? With the example code, infos on your OS, your ponyc installation and the failing output?
<vaninwagen>
that would be awesome
<vaninwagen>
dubiousjim, Seq[A: A] this is just an expanded version of a type param, it is equivalent to Seq[A]. Basically an unconstrained type parameter (if i am correct here)
<vaninwagen>
this is a common technique to have a parameterized trait because it needs to know the concrete type at some point
<vaninwagen>
this way U8(1).add(U8(1)) can be defined in the trait but still always return U8 in this particular case, althought this type is not known yet in the trait
<vaninwagen>
i hope this makes sense
<sarna>
I'm curious - what do you guys use pony for? I don't have any ideas for projects
<SeanTAllen>
sarna: i use it at work
<sarna>
wallaroolabs, right?
<SeanTAllen>
yes
<sarna>
yeah, I've seen your website
<sarna>
sounds really cool
mahmudov has quit [Ping timeout: 256 seconds]
nkabrown has joined #ponylang
nkabrown has quit [Client Quit]
mahmudov has joined #ponylang
user10032 has joined #ponylang
sarna has quit [Quit: Connection closed for inactivity]
<SeanTAllen>
well that git lfs thing didnt work out, there a quota on how often you can use.
<SeanTAllen>
I just paid $5 to get more bandwidth for LFS.
mahmudov has quit [Quit: Leaving]
mahmudov has joined #ponylang
khan has quit [Quit: khan]
khan has joined #ponylang
mahmudov has quit [Quit: Leaving]
mahmudov has joined #ponylang
jemc has joined #ponylang
jemc has quit [Read error: Connection reset by peer]
khan_ has joined #ponylang
jemc has joined #ponylang
<vaninwagen>
sarna, i use pony for fun (no profit)
khan has quit [Ping timeout: 276 seconds]
khan_ is now known as khan
aturley_ has quit [Read error: Connection reset by peer]
endformationage has joined #ponylang
aturley has joined #ponylang
Krymise has joined #ponylang
khan has quit [Quit: khan]
khan has joined #ponylang
aturley_ has joined #ponylang
khan has quit [Client Quit]
aturley has quit [Read error: Connection reset by peer]
aturley_ has quit [Read error: Connection reset by peer]
khan has joined #ponylang
aturley has joined #ponylang
aturley has quit [Read error: Connection reset by peer]
<krig>
it looks like the match is against an instance of each class rather than the class name, but then I guess it's not possible to match against the class itself
<krig>
ah, if I change the "| A =>" etc. to "| let _: A" it works as I expected
<codec1>
yes
<vaninwagen>
SeanTAllen, ᕕ( ᐛ )ᕗ
<codec1>
alternatively if you use primitive it should be good with the first syntax
<krig>
codec1: yeah, I had only done type matching against primitives before, that's why I got confused.. :)
<codec1>
yeah, but it makes since usually if you use class there will be methods and data in it
<codec1>
and when you pattern match against it, you will probably want to get/modify some data and/or call a method
<codec1>
and so you have to introduce a new variable binding
<vaninwagen>
ah yeah, the second way you already found :)
<vaninwagen>
i spent too much time on the playground :)
aturley_ has joined #ponylang
<krig>
vaninwagen: thanks anyway! the first version looks cleaner
<codec1>
vaninwagen, can you explain why the Equatable allow to pattern match just on type?
aturley has quit [Read error: Connection reset by peer]
<vaninwagen>
if you just use `A` in the pattern of the match, it will actually always call its constructor to create an instance on every match call.
<SeanTAllen>
vaninwagen: i was surprised by that happening. Do you think it would be worth an FAQ? A pony pattern? Better matching documentation in the tutorial?
<vaninwagen>
this pattern instance and the match expr instance are compared structurally using the `eq` method
<krig>
vaninwagen: I'm guessing that the default implementation for Equatable compares by identity, so it compares the two instances of each class which are not the same