| --- Log opened Sun May 20 00:00:26 2018 |
| 00:23 | | Emmy [Emmy@Nightstar-9p7hb1.direct-adsl.nl] has quit [Connection closed] |
| 02:42 | | macdjord is now known as macdjord|slep |
| 02:57 | | macdjord|slep [macdjord@Nightstar-grpbnp.mc.videotron.ca] has quit [[NS] Quit: Pie Jesu Domine (*thunk*), Donna Eis Requiem (*thunk*).] |
| 03:00 | | ErikMesoy [Bruker@Nightstar-hq72t5.customer.cdi.no] has quit [Connection closed] |
| 03:01 | | macdjord [macdjord@Nightstar-grpbnp.mc.videotron.ca] has joined #code |
| 03:01 | | mode/#code [+o macdjord] by ChanServ |
| 03:05 | | Degi [Degi@Nightstar-46dag6.dyn.telefonica.de] has quit [Connection closed] |
| 03:06 | | Derakon[AFK] is now known as Derakon |
| 03:41 | | Vornicus [Vorn@Nightstar-oe1443.res.rr.com] has quit [Connection closed] |
| 04:49 | <&ToxicFrog> | Hmm. |
| 04:50 | <&ToxicFrog> | Should flow control be <body> <cond> <keyword>, or <cond> <body> <keyword>? |
| 04:50 | <&ToxicFrog> | E.g. this: avr? { led-init led-on } if |
| 04:50 | <&ToxicFrog> | Or this: { led-init led-on } avr? if |
| 04:51 | <&ToxicFrog> | I'm also wondering if while/until should be <body> <callable> while, or just <body> <while> and the body is expected to leave the evaluated condition on the stack at the end of each iteration |
| 04:55 | <&McMartin> | I vaguely remember having strong opinions about this, but that they mattered whether you were being more like Forth or PostScript. |
| 04:55 | | * McMartin digs. |
| 04:56 | <&ToxicFrog> | Honestly I think I'm being more like postscript here |
| 04:56 | <&ToxicFrog> | Forth, IIRC, uses special lexing modes for most flow control |
| 04:56 | <&ToxicFrog> | I just have them implemented as functions that take callables on the stack and pick which one to call based on that |
| 04:56 | <&ToxicFrog> | Looking it up, postscript uses <ranges> <body> for and <condition> <body> if |
| 04:58 | <&ToxicFrog> | And doesn't really have an equivalent to while/until; the closest is `loop`, which repeatedly calls the body until it invokes `exit` |
| 05:01 | <&ToxicFrog> | I don't really have an equivalent nor, honestly, any good way of implementing one. The execution model and bytecode format makes mid-function returns difficult. |
| 05:01 | <&ToxicFrog> | I should probably look into fixing that at some point. |
| 05:04 | <&McMartin> | It looks like my opinion was "the more complicated the expression is, the further back in the string of tokens it should be" |
| 05:04 | <&McMartin> | With the lovely example of 5 CELLS ALLOT, where "5" might be something much more complicated |
| 05:04 | <&McMartin> | (behold, the noble allot) |
| 05:04 | | Vorntastic [uid293981@Nightstar-6br85t.irccloud.com] has joined #code |
| 05:05 | | Vornicus [Vorn@Nightstar-oe1443.res.rr.com] has joined #code |
| 05:05 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 05:05 | <&ToxicFrog> | So I guess the question hinges on which is more likely to be complicated, the condition or the body |
| 05:05 | <&ToxicFrog> | but perhaps I should think more on this tomorrow, and sleep morenow |
| 05:06 | <&McMartin> | The things least likely to be complicated: the keywords THEN, ELSE, and IF |
| 05:08 | <&McMartin> | The other really long discussion involved how best to implement while loops |
| 05:31 | | Derakon is now known as Derakon[AFK] |
| 05:36 | | Vornicus [Vorn@Nightstar-oe1443.res.rr.com] has quit [Ping timeout: 121 seconds] |
| 06:23 | | ErikMesoy [Bruker@Nightstar-hq72t5.customer.cdi.no] has joined #code |
| 06:23 | | mode/#code [+o ErikMesoy] by ChanServ |
| 06:24 | | celticminstrel [celticminst@Nightstar-9pn3il.dsl.bell.ca] has quit [[NS] Quit: And lo! The computer falls into a deep sleep, to awake again some other day!] |
| 07:18 | | Vornicus [Vorn@Nightstar-oe1443.res.rr.com] has joined #code |
| 07:18 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 10:00 | | Kindamoody[zZz] is now known as Kindamoody |
| 10:07 | | Emmy [Emmy@Nightstar-9p7hb1.direct-adsl.nl] has joined #code |
| 10:33 | | Vornicus [Vorn@Nightstar-oe1443.res.rr.com] has quit [Ping timeout: 121 seconds] |
| 11:40 | | Degi [Degi@Nightstar-46dag6.dyn.telefonica.de] has joined #code |
| 11:51 | <&ToxicFrog> | That doesn't help :P |
| 11:51 | <&ToxicFrog> | And yeah on while loops the current question is "how many callables" |
| 12:02 | | * Emmy calls ToxicFrog with silly arguments |
| 12:07 | | * ToxicFrog never returns |
| 12:14 | < Emmy> | oops. lets just hope i didn't hang toxicfrog.exe |
| 12:37 | | Degi [Degi@Nightstar-46dag6.dyn.telefonica.de] has quit [[NS] Quit: Leaving] |
| 12:37 | | Degi [Degi@Nightstar-46dag6.dyn.telefonica.de] has joined #code |
| 12:56 | | VirusJTG_ [VirusJTG@Nightstar-q9r0g8.clt.hostedsolutions.com] has joined #code |
| 12:59 | | VirusJTG [VirusJTG@Nightstar-42s.jso.104.208.IP] has quit [Ping timeout: 121 seconds] |
| 13:24 | <&ToxicFrog> | Argh. The various register names defined in <avr/io.h> aren't constexprs |
| 14:08 | | VirusJTG__ [VirusJTG@Nightstar-42s.jso.104.208.IP] has joined #code |
| 14:08 | | VirusJTG__ [VirusJTG@Nightstar-42s.jso.104.208.IP] has quit [Connection closed] |
| 14:09 | | VirusJTG [VirusJTG@Nightstar-42s.jso.104.208.IP] has joined #code |
| 14:09 | | mode/#code [+ao VirusJTG VirusJTG] by ChanServ |
| 14:10 | | VirusJTG_ [VirusJTG@Nightstar-q9r0g8.clt.hostedsolutions.com] has quit [Connection closed] |
| 14:13 | | Vornicus [Vorn@Nightstar-oe1443.res.rr.com] has joined #code |
| 14:13 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 14:25 | | celticminstrel [celticminst@Nightstar-9pn3il.dsl.bell.ca] has joined #code |
| 14:25 | | mode/#code [+o celticminstrel] by ChanServ |
| 15:16 | | Jessikat [Jessikat@Nightstar-bt5k4h.81.in-addr.arpa] has joined #code |
| 15:54 | | Vorntastic [uid293981@Nightstar-6br85t.irccloud.com] has quit [[NS] Quit: Connection closed for inactivity] |
| 16:42 | | Vornicus [Vorn@Nightstar-oe1443.res.rr.com] has quit [Ping timeout: 121 seconds] |
| 17:10 | | Vornicus [Vorn@Nightstar-oe1443.res.rr.com] has joined #code |
| 17:10 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 18:36 | | Kindamoody is now known as Kindamoody|out |
| 18:49 | | RchrdB [RchrdB@Nightstar-qe9.aug.187.81.IP] has joined #code |
| 20:13 | | Kindamoody|out is now known as Kindamoody |
| 20:30 | | mac [macdjord@Nightstar-grpbnp.mc.videotron.ca] has joined #code |
| 20:30 | | mode/#code [+o mac] by ChanServ |
| 20:31 | | macdjord [macdjord@Nightstar-grpbnp.mc.videotron.ca] has quit [Ping timeout: 121 seconds] |
| 22:06 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has joined #code |
| 22:06 | | mode/#code [+o Reiv] by ChanServ |
| 22:21 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has quit [[NS] Quit: http://www.kiwiirc.com/ - A hand crafted IRC client] |
| 22:37 | | Derakon[AFK] is now known as Derakon |
| 22:51 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has joined #code |
| 22:51 | | mode/#code [+o Reiv] by ChanServ |
| 23:03 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has quit [[NS] Quit: http://www.kiwiirc.com/ - A hand crafted IRC client] |
| 23:04 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has joined #code |
| 23:04 | | mode/#code [+o Reiv] by ChanServ |
| 23:04 | < Degi> | https://i.redd.it/ndhva1i4tzy01.jpg |
| 23:09 | <&[R]> | You can activate strict mode :/ |
| 23:13 | <&[R]> | ... which actually does nothing |
| 23:13 | <&[R]> | In that case anyways |
| 23:13 | <&[R]> | YAY |
| 23:14 | <&McMartin> | Clicked expecting perl |
| 23:28 | <@celticminstrel> | Heh... |
| 23:29 | | Kindamoody is now known as Kindamoody[zZz] |
| 23:34 | < RchrdB> | TypeScript or Flow FTW. |
| 23:34 | < RchrdB> | You can actually get okay type errors now, sometimes, assuming the moon is in the right phase. |
| 23:48 | < RchrdB> | I'm not really a huge fan of either relative to, like, an *actual* type system (goddess please grant me actual real discriminated unions and remove the pervasive 'any' and 'mixed' types, please) but they're IME worth using if you *do* have to use JS. |
| 23:53 | <@celticminstrel> | Isn't the C++ variant a discriminated union? |
| 23:54 | <@celticminstrel> | (Is there a difference between 'any' and 'mixed'?) |
| 23:56 | < RchrdB> | celticminstrel, not sure, I don't keep up on modern C++. I got a vague impression that the answer might be "yes, but implemented really badly because it interacts poorly with the other ten million things". |
| 23:56 | <@celticminstrel> | Well it's based on boost::variant if that helps... |
| 23:56 | <@celticminstrel> | At least I'm pretty sure it is. |
| 23:56 | < RchrdB> | I also don't boost. |
| 23:56 | < RchrdB> | in flow's type system any and mixed are distinct types but I can't remember why. |
| 23:57 | <@celticminstrel> | (I'm not really up on the modern C++ either, mainly because I'm still stuck on an old compiler on my mac.) |
| 23:57 | <@celticminstrel> | (I look into it every so often though.) |
| 23:58 | <@mac> | RchrdB: 'Discriminated union'? |
| 23:59 | | Vornicus [Vorn@Nightstar-oe1443.res.rr.com] has quit [Ping timeout: 121 seconds] |
| 23:59 | <@celticminstrel> | Oh I accidentally pinged you, whoops? |
| 23:59 | < RchrdB> | ah right the distinction is awful. `any` in flow is the giant gaping hole in its type system - you can assign an `any` in flow to a variable of any type, and you can assign a value of any type to an `any`. OTOH you can assign a value of any type to a `mixed` in flow, but you can't assign a `mixed` to anything else without explicitly checking. |
| --- Log closed Mon May 21 00:00:17 2018 |