ec changed the topic of #elliottcable to: a π•―π–Šπ–“ 𝖔𝖋 π•―π–Šπ–™π–Šπ–—π–’π–Žπ–“π–Šπ–‰ π•―π–†π–’π–˜π–Šπ–‘π–˜ slash sΝ”ΜžuΝ•Ν™pΝ™Ν“e̜̺rΜΌΜ¦i̼̜oΜ–Μ¬rΜ™Μ™ c̝͉α»₯Μ§Ν˜αΈ·Μ‘Ν™Ε£Ν“Μ€ || #ELLIOTTCABLE is not about ELLIOTTCABLE
<pikajude> okay
<pikajude> so they gave a pretty good excuse
<pikajude> because i'm not defining an ADT
<pikajude> shapes in this language are just typedefs
<pikajude> they're not new datatypes
<pikajude> so the typechecker tries to expand the definition
<pikajude> and that's where the problem is introduced
<pikajude> i wish we had real adts without just defining classes for it
<pikajude> that's annoying
<jfhbrook> what's the diff bt a typedef and a datatype
<jfhbrook> also, is the solution to say that a type tree has a value and leaves, which is an array, and you can't spec that the array is of your type ?
<pikajude> no
<pikajude> the problem is
<pikajude> wherever 'tree' is used
<pikajude> the typechecker expands it
<pikajude> to ('value' => a, 'leaves' => array<('value' => a, 'leaves' => ...
rurik has joined #elliottcable
mylesborins has quit [Quit: farewell for now]
mylesborins has joined #elliottcable
rurik has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<jfhbrook> so what do you do pikajude ?
rurik has joined #elliottcable
rurik has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rurik has joined #elliottcable
muelleme has joined #elliottcable
<pikajude> jfhbrook:
<pikajude> i work for bacebook
<jfhbrook> no pikajude I mean how did you typedef your tree?
<jfhbrook> or did you just not?
<jfhbrook> or did you have to specify parts as "any" ?
<pikajude> oh lol
<pikajude> i haven't actually done it yet
<pikajude> fortunately it was for a code cleanup task that doesn't have a specific end date
<pikajude> meaning i could actually get an hhvm patch landed before i complete it
<pikajude> if i wanted to
<jfhbrook> would you?
<pikajude> ehh
<pikajude> probably not
<pikajude> have more pressing issues on hand
<joepie91> today I'm debugging a Bitcoin ATM
<joepie91> remotely, through somebody I'm asking to make videos and stuff
<joepie91> it's a Nexus 7 tablet running busybox....
<pikajude> bitcoin has ATMs?
<joepie91> pikajude: there are many Bitcoin ATMs, yes
<joepie91> insert cash, receive BTC
<joepie91> or the other way around
<joepie91> :p
<pikajude> how do you insert a BTC?
<joepie91> pikajude: it shows you a QR code of the address, you send BTC to it from your wallet (which you're presumed to have on your phone), and then cash comes out
muelleme has quit [Ping timeout: 240 seconds]
rurik has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]