IRC Logs for #io Saturday, 2014-04-26

*** nisstyre has quit IRC00:51
*** mal`` has quit IRC02:10
*** mal`` has joined #io02:15
*** mal`` has quit IRC02:15
*** mal`` has joined #io02:19
*** mal`` has quit IRC02:20
*** mal`` has joined #io02:26
*** asie has joined #io05:01
*** c74d has quit IRC05:41
*** c74d has joined #io05:43
*** c45y has quit IRC06:18
*** c45y has joined #io06:21
*** nisstyre has joined #io07:17
*** asie has quit IRC08:35
*** asie has joined #io08:40
*** nisstyre has quit IRC08:54
*** asie has quit IRC09:07
*** mkroehnert has joined #io09:22
*** asie has joined #io09:27
*** c74d has quit IRC09:28
*** c74d has joined #io09:31
*** fredreichbier has joined #io09:31
*** asie has quit IRC10:23
*** fredreichbier_ has joined #io10:33
*** fredreichbier has quit IRC10:37
*** asie has joined #io10:59
prologicjer, hey :) we haven't spoken in ages (I've been busy!)11:24
prologicjer, had a thought... how practical do you think a language would be that implement most things (if not all) via church encoding and lambda calculus? i.e: pure functional11:25
prologicif you're bytecode and jit were good enough I suspect the performance would be "okay"?11:25
*** mkroehnert has quit IRC12:33
prologichehe12:41
prologichi pdurbin 12:41
prologicreason this came up was I saw a new entry in the PyPi index12:41
prologicsome guy (learning Python) has basically implemented a shit load of churn encoding in Python (from scratch) with unit tests12:42
prologiceverything from booleans, conditionals, expressions, natrual numbers and even looping constructs and lsits12:42
*** gatesphere has joined #io13:53
pdurbinhmm, seems when I add a link with /me it doesn't get logged: http://irclogs.shortcircuit.net.au/%23io/2014-04-26.log.html14:28
pdurbinno /me this time.... /me looks at http://en.wikipedia.org/wiki/Church_encoding14:29
*** irclogger_ has joined #io14:41
*** prologic has joined #io14:43
jerprologic, with the speed of computers today, it'd probably be no slower than io... but io is pretty damned slow14:53
prologicthat's what I thought14:55
*** codestorm has joined #io15:22
*** asie has quit IRC16:55
*** fredreichbier_ has quit IRC17:01
*** asie has joined #io17:14
*** asie has quit IRC17:19
*** nisstyre has joined #io17:34
*** OpenSpace has joined #io18:14
*** nisstyre has quit IRC18:31
*** asie has joined #io18:34
*** asie has quit IRC21:08
*** bjz has joined #io21:11
*** bjz has quit IRC21:40
*** hashmal has joined #io22:00
*** hashmal has quit IRC22:34
*** codestorm has quit IRC22:39
*** codestorm has joined #io22:49

Generated by irclog2html.py 2.11.0 by Marius Gedminas - find it at mg.pov.lt!