IRC Logs for #io Thursday, 2014-10-23

*** ret2libc has quit IRC00:16
*** bjz has quit IRC00:33
*** gatesphere has quit IRC04:06
*** AKASkip has joined #io05:31
*** AKASkip has quit IRC06:02
*** AKASkip has joined #io06:39
*** kanupatar has joined #io07:01
*** TheMonkey has joined #io07:04
*** ElMonkey_ has quit IRC07:08
*** bjz has joined #io07:15
*** pchalupa has joined #io07:24
*** bjz has quit IRC08:20
*** bjz has joined #io08:23
*** espiral has joined #io10:42
*** ijon_1 has joined #io12:09
*** gatesphere has joined #io12:09
*** AKASkip has quit IRC12:18
*** AKASkip has joined #io12:21
*** AKASkip has quit IRC13:56
*** AKASkip has joined #io13:58
*** ijon_1 has quit IRC14:13
*** ijon_1 has joined #io14:14
*** AKASkip has quit IRC14:52
*** ijon_1 has quit IRC15:08
*** ijon_1 has joined #io15:10
*** ijon_1 has quit IRC15:34
*** ijon_1 has joined #io15:35
*** pchalupa has quit IRC15:54
*** AKASkip has joined #io16:57
*** ijon_1 has quit IRC18:17
*** c74d has quit IRC18:34
*** c74d has joined #io18:36
*** ElMonkey_ has joined #io19:26
*** TheMonkey has quit IRC19:29
*** AKASkip has quit IRC20:45
*** bjz has quit IRC23:10
prologicjer: how would you go about making proper math expressions works such as:23:18
prologicx := 523:18
prologic0 < x < 1023:18
prologic10 < x < 523:18
jerprologic, pretty simply actually23:26
prologicI was thinking more term rewriting :)23:26
prologic0 < x < 10 transformed into 0 < x || x < 1023:26
jer< := method(x, if(self lessThanPrimitive(x) == true, self, false))23:27
jerand false < := method(x, false)23:27
prologicI didn’t think of that23:27
prologicnice one :)23:28
jeryeah, that has broad implications though23:28
jerboolean operations can have more than 2 values23:28
prologicof course23:28
prologicjer: my rewrite of mio is coming along nicely too btw :)23:33
prologicthings are getting easier and easier :)23:33
prologicI want to add support for stop state(s) and continuations next :)23:34
jeri'm deep into type systems at the moment23:43
jertrying to derive a new type system23:43
jerthat as far as i can tell, has never existed before23:43
jerone which can formally prove control flow23:44
prologiccan you elaboarate?23:44
jernot a whole lot, still running into many problems =]23:44
prologicok nps :)23:44
jerright now it's just a "wonder if this is possible"23:45
jerso purity of function is required naturally23:45
prologicyou know how Io has stop states and various methods to set the current stop status on the current context used by while/for, etc… I’ve been thinking (I did the same in my pure python mio a while back); I don’t think it’s needed really if you implement proper continuations and your flow constructs in the language itself — I think you can get away without it right?23:46

Generated by 2.11.0 by Marius Gedminas - find it at!