< 1520986254 394762 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1520987561 395539 :aloril!~aloril@80.246.146.6 QUIT :Ping timeout: 256 seconds < 1520987668 566843 :aloril!~aloril@80.246.146.6 JOIN :#esoteric < 1520988934 26499 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 264 seconds < 1520990663 211946 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1520990841 950999 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1520990903 875344 :LKoen!~LKoen@2a01:e35:2eed:a430:cdb3:f6f7:f1dc:d90c JOIN :#esoteric < 1520991168 878054 :LKoen!~LKoen@2a01:e35:2eed:a430:cdb3:f6f7:f1dc:d90c QUIT :Ping timeout: 246 seconds < 1520991603 407421 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1520991696 968600 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1520991861 911661 :moonythedwarf!~moony@unaffiliated/moonythedwarf QUIT :Ping timeout: 246 seconds < 1520991875 386001 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1520991957 899066 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 264 seconds < 1520992091 283770 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1520993012 242926 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1520993053 475602 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1520993075 892900 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1520993352 675676 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1520993607 677012 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1520995280 745498 :moonythedwarf!~moony@unaffiliated/moonythedwarf JOIN :#esoteric < 1520996306 12479 :Guest72558!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1520996344 975177 :Guest72558!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1520997228 340112 :moony__!~moony@unaffiliated/moonythedwarf JOIN :#esoteric < 1520997270 251374 :moonythedwarf!~moony@unaffiliated/moonythedwarf QUIT :Read error: Connection reset by peer < 1520997574 81714 :moony__!~moony@unaffiliated/moonythedwarf QUIT :Ping timeout: 264 seconds < 1520997961 62042 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1520998495 894280 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1520998596 926731 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1520998739 308283 :variable!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1521000089 92081 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :stephen hawking :( < 1521000534 190697 :doesthiswork!~Adium@207.55.82.87 PRIVMSG #esoteric :He might keep releasing rap songs posthumously like Tupac < 1521000837 99211 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Remote host closed the connection < 1521001101 635527 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1521002586 385988 :qaexhk!~ywpqcx@203.104.31.23 JOIN :#esoteric < 1521002629 656714 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1521002703 323142 :qaexhk!~ywpqcx@203.104.31.23 QUIT :K-Lined < 1521004666 51468 :doesthiswork!~Adium@207.55.82.87 QUIT :Ping timeout: 264 seconds < 1521005719 873103 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1521006116 978976 :izabera!~izabera@133.57.227.35.bc.googleusercontent.com QUIT :Changing host < 1521006117 38934 :izabera!~izabera@unaffiliated/izabera JOIN :#esoteric < 1521006419 268783 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 260 seconds < 1521006929 881377 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1521007023 863635 :xkapastel!uid17782@gateway/web/irccloud.com/x-uttydbmmaiulhmtu QUIT :Quit: Connection closed for inactivity < 1521007221 956391 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 264 seconds < 1521008100 87251 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1521009922 287161 :zzo38!~zzo38@24-207-13-153.eastlink.ca QUIT :Ping timeout: 248 seconds < 1521010140 478507 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1521010401 338042 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 248 seconds < 1521010554 908186 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1521010582 3037 :moonythedwarf!~moony@unaffiliated/moonythedwarf JOIN :#esoteric < 1521011744 868481 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1521011825 115682 :fractal-!fractal@unaffiliated/scounder QUIT :Ping timeout: 276 seconds < 1521012117 21859 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1521012405 872052 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 264 seconds < 1521012621 266366 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1521012810 474236 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Remote host closed the connection < 1521013570 463638 :moei!~moei@softbank221078042071.bbtec.net QUIT :Quit: Leaving... < 1521014926 22832 :moonythedwarf!~moony@unaffiliated/moonythedwarf QUIT :Ping timeout: 264 seconds < 1521015744 447544 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1521015806 324721 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1521015922 183092 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1521016255 102050 :darkmoon!~darkmoon@191.254.147.152 JOIN :#esoteric < 1521016359 967766 :darkmoon!~darkmoon@191.254.147.152 PRIVMSG #esoteric :hi < 1521016404 531454 :darkmoon!~darkmoon@191.254.147.152 PRIVMSG #esoteric :I'm looking for a modified version of brainfuck with more compact code and easier to program, anyone has suggestions? < 1521016486 644782 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :perl < 1521016767 904291 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1521017050 33607 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 264 seconds < 1521017491 394133 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1521017601 342764 :fractal!fractal@unaffiliated/scounder JOIN :#esoteric < 1521018279 919797 :ineiros!ineiros@kapsi.fi JOIN :#esoteric < 1521018430 118490 :augur!~augur@2600:380:8539:c77b:2517:3ebe:be4d:8234 JOIN :#esoteric < 1521018830 701363 :augur!~augur@2600:380:8539:c77b:2517:3ebe:be4d:8234 QUIT :Remote host closed the connection < 1521018875 214528 :uplime!nchambers@learnprogramming/staff/nchambers QUIT :Quit: So long and thanks for all the fish! < 1521019084 498224 :AnotherTest!~turingcom@ptr-82l26zex1glfa1xy3qc.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1521019234 638550 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 268 seconds < 1521019770 597657 :nchambers!nchambers@learnprogramming/staff/nchambers JOIN :#esoteric < 1521021270 441435 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :I do enjoy being the only person at this Haskell company who was willing to write the one thing we needed in C/C++ < 1521021318 939999 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i do enjoy not working at some haskell company < 1521021332 567179 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :izabera: do you get to be the only person writing Haskell? < 1521021340 944038 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i write zero haskell < 1521021348 581765 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :lots of asm tho < 1521021357 926248 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Probably the way to go < 1521021370 56064 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yay with mutable state < 1521021561 382703 :darkmoon!~darkmoon@191.254.147.152 PRIVMSG #esoteric :do they use haskell for performance or to get a more reliable business logic or something? < 1521021600 430636 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :darkmoon, it turns out it's not bad for writing compilers, and it's also not bad for generating HDL < 1521021609 5770 :int-e!~noone@int-e.eu PRIVMSG #esoteric :also, types < 1521021618 266956 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Seeing as we write compilers and generate HDL, it's not a bad language to use < 1521021631 340412 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Types are good, we use them a lot < 1521021723 842779 :darkmoon!~darkmoon@191.254.147.152 PRIVMSG #esoteric :is it really necessary to use haskell to generate HDL instead of just using an HDL language? < 1521021782 62669 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :darkmoon: HDL languages aren't very fun to use, we all know Haskell because we use it everywhere else, and it makes it easier to write more general code < 1521021797 336394 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :darkmoon: we use http://www.clash-lang.org/ < 1521021850 938942 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Esentially using Haskell as a HDL language < 1521021854 983732 :darkmoon!~darkmoon@191.254.147.152 PRIVMSG #esoteric :ah ok. it does look very concise < 1521021858 488070 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :(hardware description language language) < 1521021909 210426 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Haneb < 1521021916 250799 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm writing C right now, for no particular reason. < 1521021931 246980 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Is it because there's a certain deadline tomorrow? < 1521021956 439202 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :A deadline that I'm not going to meet because I never quite got around to starting? < 1521021969 70636 :darkmoon!~darkmoon@191.254.147.152 PRIVMSG #esoteric :acronyms with included nouns inevitably become ATM machines :P < 1521023699 899869 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1521024331 154619 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :fungot: nostril. < 1521024331 362140 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: and i think sicp or something. ;p fnord/ fnord/ fnord/ fnord/ perpet.c < 1521024340 819655 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :fungot: fnord fnord fnord fnord fnord fnord. < 1521024341 1430 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: ( xerox: btw, ty), < 1521024718 395164 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1521024857 70660 :moony!moony@unaffiliated/moonythedwarf PRIVMSG #esoteric :boily: nostril. < 1521024868 866024 :moony!moony@unaffiliated/moonythedwarf PRIVMSG #esoteric :boily: fnord fnord fnord fnord fnord fnord. < 1521024873 335684 :moony!moony@unaffiliated/moonythedwarf PRIVMSG #esoteric ::p < 1521024881 896167 :erkin!~erkin@unaffiliated/erkin QUIT :Client Quit < 1521024884 876337 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :fungot: why can't I build with debug symbols < 1521024884 979764 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Taneb: gambit will not have that < 1521024898 908269 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric ::( < 1521024903 437629 :moony!moony@unaffiliated/moonythedwarf PRIVMSG #esoteric :Taneb, is -g1 not working? < 1521024920 643069 :moony!moony@unaffiliated/moonythedwarf PRIVMSG #esoteric :assuming C/C++ < 1521024976 291088 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :moony: it doesn't seem like it < 1521024987 435515 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :I'm worried that it's something to do with using nix here < 1521025004 881618 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1521025008 533862 :erkin!~erkin@unaffiliated/erkin QUIT :Remote host closed the connection < 1521025039 683900 :moony!moony@unaffiliated/moonythedwarf PRIVMSG #esoteric :Taneb, what *nix variant? Actual UNIX or Linux < 1521025071 976486 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :moony: nix as in the build system thingy from NixOS < 1521025078 634847 :moony!moony@unaffiliated/moonythedwarf PRIVMSG #esoteric :oh < 1521025089 87193 :moony!moony@unaffiliated/moonythedwarf PRIVMSG #esoteric :no idea, i don't use NixOS ¯\_(ツ)_/¯ < 1521025095 26118 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :(although I'm using it on top of Ubuntu) < 1521025125 62161 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :mhelloony. my nostrils are of the finest quality. < 1521025174 964910 :moony!moony@unaffiliated/moonythedwarf PRIVMSG #esoteric :bonjorhellohiholay! (I still need to find a word for hello that has a y in it) < 1521025336 38389 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1521025860 915732 :darkmoon!~darkmoon@191.254.147.152 QUIT :Ping timeout: 246 seconds < 1521025908 646380 :darkmoon!~darkmoon@191.254.147.152 JOIN :#esoteric < 1521026216 145376 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGIRL, dying... < 1521026639 293440 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: UNDEAD CHICKEN < 1521026937 512307 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1521027287 881088 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1521027540 898825 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Ping timeout: 246 seconds < 1521030651 490834 :AnotherTest!~turingcom@ptr-82l26zex1glfa1xy3qc.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 256 seconds < 1521031400 423592 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGIRL, dying... < 1521031489 459412 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1521031719 158215 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1521036306 443618 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1521039425 401271 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 248 seconds < 1521039793 209020 :Naergon!~Naergon@unaffiliated/naergon JOIN :#esoteric < 1521040525 942469 :AnotherTest!~turingcom@ptr-82l26zex1glfa1xy3qc.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1521040956 948985 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1521040990 898844 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1521041253 900494 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 246 seconds < 1521041866 436041 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1521042563 811007 :xkapastel!uid17782@gateway/web/irccloud.com/x-ypfniutvulowsumq JOIN :#esoteric < 1521043058 389470 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1521043221 952402 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1521043631 738793 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1521043887 674336 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1521044138 633562 :LKoen!~LKoen@2a01:e35:2eed:a430:3cbc:fdfa:5cfb:72be JOIN :#esoteric < 1521044345 389934 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1521045294 123657 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1521046442 694998 :augur!~augur@2600:380:4747:df52:a96f:cd07:2589:688b JOIN :#esoteric < 1521047179 671880 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1521047910 923347 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 246 seconds < 1521049894 570429 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1521050170 723353 :xkapastel!uid17782@gateway/web/irccloud.com/x-ypfniutvulowsumq QUIT :Quit: . < 1521050263 800403 :xkapastel!uid17782@gateway/web/irccloud.com/x-npvyycguirbbanvu JOIN :#esoteric < 1521050942 695862 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1521051812 35078 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a JOIN :#esoteric < 1521051812 95064 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a QUIT :Changing host < 1521051812 95125 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1521051816 865850 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 246 seconds < 1521052145 403325 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1521052227 719463 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1521052864 910529 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1521052869 186629 :Naergon!~Naergon@unaffiliated/naergon QUIT :Ping timeout: 264 seconds < 1521053047 853614 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1521053166 202558 :MDude!~MDude@pa-67-234-76-67.dhcp.embarqhsd.net QUIT :Ping timeout: 256 seconds < 1521054032 993846 :Naergon!~Naergon@unaffiliated/naergon JOIN :#esoteric < 1521054312 62017 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGIRL, dying... < 1521054333 679925 :contrapumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1521054378 697119 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1521054397 754622 :contrapumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1521054973 710976 :LKoen!~LKoen@2a01:e35:2eed:a430:3cbc:fdfa:5cfb:72be QUIT :Remote host closed the connection < 1521055005 871254 :LKoen!~LKoen@2a01:e35:2eed:a430:447f:7bc:5893:fb44 JOIN :#esoteric < 1521055126 402419 :LKoen!~LKoen@2a01:e35:2eed:a430:447f:7bc:5893:fb44 QUIT :Remote host closed the connection < 1521055499 495992 :darkmoon!~darkmoon@191.254.147.152 QUIT :Quit: Leaving < 1521056356 527191 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1521056428 951608 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1521056611 205767 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(\(Left xs) -> (# xs #) -> (# xs #)) -- the nice thing about Haskell is that it's so readable. (This is a pattern that I'm thinking about in the context of https://prime.haskell.org/wiki/Libraries/Proposals/MonadFail#Adaptingoldcode ) < 1521056678 335211 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Mainly because the suggestion of using an irrefutable pattern is just awful. < 1521056870 167670 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(What I want is an "unfailing" pattern in the MonadFail proposal sense that behaves like `Left xs` in a normal context.) < 1521057299 427013 :idris-bot!~idris-bot@dslb-188-107-244-128.188.107.pools.vodafone-ip.de JOIN :#esoteric < 1521057952 863696 :moony!moony@unaffiliated/moonythedwarf PRIVMSG #esoteric :The thing i'm stuck on with Haskell is list comprehensions. They just confuse me for whatever reason > 1521058260 165395 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Bugmenot 5* 10New user account < 1521058275 663353 :moony!moony@unaffiliated/moonythedwarf PRIVMSG #esoteric ::O new user < 1521058373 982053 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: I'm not quite sure how to parse that. < 1521058402 652131 :variable!~variable@freebsd/developer/variable QUIT :Quit: Found 1 in /dev/zero > 1521058468 572743 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=54331&oldid=54325 5* 03Bugmenot 5* (+145) 10/* Introductions */ < 1521058492 995599 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: it's a lambda followed by the -> part of a view pattern < 1521058566 397659 :int-e!~noone@int-e.eu PRIVMSG #esoteric :so somehow, -> is kind of left-associative in that context (never mind that semantically those are two different arrows) < 1521058617 361048 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wouldn't you need more parentheses for that? < 1521058638 997601 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you mean something like foo ((\(Left xs) -> (# xs #)) -> (# xs #)) = ... < 1521058694 774432 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, you don't < 1521058700 480341 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: well it turns out you don't < 1521058721 137322 :int-e!~noone@int-e.eu PRIVMSG #esoteric :and since it is already ugly without the parentheses, I felt spiteful enough to leave them out < 1521058732 304073 :int-e!~noone@int-e.eu PRIVMSG #esoteric :.... s/without/with/ < 1521058742 142565 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I must say I find this syntax mildly offensive. < 1521058826 45043 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it is a true beauty > 1521058875 102559 PRIVMSG #esoteric :14[[07Thue14]]4 10 02https://esolangs.org/w/index.php?diff=54332&oldid=51222 5* 03Bugmenot 5* (+67) 10/* External resources */ Linking working interpreter < 1521059312 287209 :zsoc!~zsoc__@unaffiliated/zsoc PART #esoteric :"Leaving" < 1521059330 13227 :mangoicedtea!~mangoiced@2601:583:c201:7520::3 JOIN :#esoteric < 1521059418 874022 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 246 seconds < 1521060850 425273 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1521061362 25657 :mangoicedtea!~mangoiced@2601:583:c201:7520::3 QUIT :Ping timeout: 245 seconds < 1521062042 874102 :HereToAnnoy!4a7b172b@gateway/web/freenode/ip.74.123.23.43 JOIN :#esoteric < 1521062122 214239 :HereToAnnoy!4a7b172b@gateway/web/freenode/ip.74.123.23.43 QUIT :Client Quit < 1521063063 79354 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1521063786 731570 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :WALp GizNep < 1521065174 491614 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1521065268 963794 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1521065398 869957 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1521065438 530900 :moony!moony@unaffiliated/moonythedwarf NICK :[y3smad] < 1521065488 979159 :[y3smad]!moony@unaffiliated/moonythedwarf NICK :moony < 1521065615 397327 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1521065688 688452 :augur_!~augur@2600:380:4779:5ab6:cc61:d3e0:3ccb:767f JOIN :#esoteric < 1521065834 746667 :augur!~augur@2600:380:4747:df52:a96f:cd07:2589:688b QUIT :Ping timeout: 276 seconds < 1521066436 906879 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1521066717 704572 :augur!~augur@2600:380:4540:2442:44e6:b49f:8f63:e96d JOIN :#esoteric < 1521066752 868837 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: Prismata seems to have a campaign now. < 1521066759 367632 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Though it seems pretty annoying. < 1521066787 735048 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :shachaf, ooh, I'll have to check it out < 1521066791 397113 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :Annoying howso? < 1521066862 70850 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I shouldn't bias you. < 1521066887 790403 :augur_!~augur@2600:380:4779:5ab6:cc61:d3e0:3ccb:767f QUIT :Ping timeout: 276 seconds < 1521067174 911109 :laerling!~laerling@unaffiliated/laerling JOIN :#esoteric < 1521067415 418815 :laerling!~laerling@unaffiliated/laerling QUIT :Client Quit > 1521067689 915866 PRIVMSG #esoteric :14[[07Alphabet Stew14]]4 N10 02https://esolangs.org/w/index.php?oldid=54333 5* 03DMC 5* (+2082) 10Created page with "'''Alphabet Stew''' ==Concept== * A stack based esoteric programming language with exactly 26 commands * Each command is represented by a single character [a - z] * Numbers [..." > 1521067763 794926 PRIVMSG #esoteric :14[[07User:DMC14]]4 M10 02https://esolangs.org/w/index.php?diff=54334&oldid=54314 5* 03DMC 5* (+5) 10 > 1521067785 208037 PRIVMSG #esoteric :14[[07Alphabet Stew14]]4 M10 02https://esolangs.org/w/index.php?diff=54335&oldid=54333 5* 03DMC 5* (+1) 10/* External resources */ > 1521067854 327493 PRIVMSG #esoteric :14[[07Alphabet Stew14]]4 M10 02https://esolangs.org/w/index.php?diff=54336&oldid=54335 5* 03DMC 5* (+1) 10/* External resources */ > 1521067886 361570 PRIVMSG #esoteric :14[[07Alphabet Stew14]]4 M10 02https://esolangs.org/w/index.php?diff=54337&oldid=54336 5* 03DMC 5* (-1) 10/* External resources */ > 1521067966 297928 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=54338&oldid=54308 5* 03DMC 5* (+20) 10/* A */ < 1521068036 427194 :augur_!~augur@2600:380:456b:fb38:c0f4:e344:8ce3:a635 JOIN :#esoteric > 1521068088 610847 PRIVMSG #esoteric :14[[07Alphabet Stew14]]4 M10 02https://esolangs.org/w/index.php?diff=54339&oldid=54337 5* 03DMC 5* (+56) 10 > 1521068205 253147 PRIVMSG #esoteric :14[[07Alphabet Stew14]]4 M10 02https://esolangs.org/w/index.php?diff=54340&oldid=54339 5* 03DMC 5* (+3) 10 < 1521068213 720425 :augur!~augur@2600:380:4540:2442:44e6:b49f:8f63:e96d QUIT :Ping timeout: 276 seconds > 1521068271 798788 PRIVMSG #esoteric :14[[07User:DMC14]]4 M10 02https://esolangs.org/w/index.php?diff=54341&oldid=54334 5* 03DMC 5* (-44) 10 < 1521068538 884098 :LKoen!~LKoen@2a01:e35:2eed:a430:10c1:a574:83da:c292 JOIN :#esoteric < 1521068643 159436 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, is a Minsky machine with one counter a PDA? I guess not, it's a bit less powerful than that? < 1521068666 335677 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like, it can match brackets if there's only one sort of bracket, but I can't see a way to match brackets if there are two of them < 1521068675 470652 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :whereas a PDA can handle both those cases < 1521068697 987322 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :yeah < 1521068702 825730 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :it's just a 1-symbolb PDA < 1521068706 764181 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :*symbol < 1521068746 894906 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( "I don't remember anything except that I've been here for a long, long time." :-P ) < 1521069279 478973 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :alercah: I meant universal PDA < 1521069332 226192 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1521069338 488048 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(also, the formalization of PDAs given on Wikipedia works StackFlow-style, i.e. you must never let the stack become empty, in which case having only one symbol would be entirely useless) < 1521069413 115139 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> let f = (+1); hmm (\(f -> f) -> f -> f) = f^f in hmm 4 < 1521069416 30033 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 3125 < 1521069443 431842 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Suspicious. < 1521069472 368953 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :ais523: right but I mean a PDA is just a FSA with a stack < 1521069472 997673 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what does ^ do on functions? < 1521069481 747438 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :f is an integer in that case. < 1521069492 638997 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :so a 1-stack minsky machine is a special case of a PDA (modulo your comment aboutempty stacks) < 1521069496 715829 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I figured ^ fit in with the -> theme. < 1521069498 877810 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1521069507 487044 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: and 4 is a function? < 1521069517 269960 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, 4 is also an integer. < 1521069532 794417 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or, well, that's quite a confusing computation < 1521069569 223245 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't see how 4 matches (\(f -> f) -> f -> f) < 1521069636 475487 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :I don't see how lambdas are accepted in patterns < 1521069668 917780 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there anything in between one counter and two counters? < 1521069719 67289 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, something natural expressed in terms of counters or something similar. < 1521069748 942945 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: one stack is intermediate in power between the two < 1521069759 112071 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can emulate a counter with a stack and a stack with two counters < 1521069765 543585 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but then, you can emulate just about anything with two counters < 1521069769 983208 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you can -- right. < 1521069966 539164 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: that took me too long to figure out and it proves they definitely chose the wrong syntax. < 1521069988 37384 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: blint-e hth < 1521069988 857943 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :oerjan: what is it? < 1521070011 440199 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :alercah: view patterns < 1521070050 366355 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1521070052 507345 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :alercah: View patterns have the pattern syntax "f (g -> x) = ..." meaning "f y = case g y of x -> ..." < 1521070058 492628 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :ahhh < 1521070070 261518 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :god that's horrid < 1521070070 587577 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And g can be a lambda, which apparently doesn't need parentheses. < 1521070203 735136 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> f ((+1) -> (+1) -> x) = x in f 0 < 1521070207 689351 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:23: error: < 1521070207 827354 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : parse error on input ‘=’ < 1521070207 827397 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Perhaps you need a 'let' in a 'do' block? < 1521070212 512141 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oops < 1521070217 607226 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> let f ((+1) -> (+1) -> x) = x in f 0 < 1521070220 973629 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 2 < 1521070243 264308 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh man. < 1521070254 279304 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> let f ((+1) -> (+1) -> x) = x in f 1 < 1521070255 744153 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That should've been obvious but I didn't think about it. < 1521070257 215572 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 3 < 1521070265 886924 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wait, I expected to get a match failure there < 1521070281 491820 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> let f ((1:) -> (2:) -> result) = result in f [] < 1521070284 351378 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [2,1] < 1521070289 743767 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This is great! It's like a pipeline of operations. < 1521070294 226738 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1521070296 36563 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ooh, is it a /nested/ view pattern? < 1521070308 227395 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, the thing on the right side of the -> is another pattern. < 1521070320 800409 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And this arrow, unlike the one int-e used, is right-associative. < 1521070361 404786 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's not obeying normal associativity rules at all < 1521070388 492096 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :to take one of the few right-associative operators in common use, a = b = c assigns c to b, then the result of the assignment to a < 1521070407 50485 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :whereas this is doing the equivalent of prepending 1 to the argument, then 2 to the argument < 1521070408 400765 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :-> used with types is definitely right associative, and rightly so. < 1521070439 716448 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so it's evaluating from outside to inside < 1521070458 792037 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :foo (f -> g -> x) = ... is the same as foo (f -> (g -> x)) = ..., so I'd call itt right-associative < 1521070487 476398 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, so it's right-associative but inside-out < 1521070506 36859 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :data from the outside, return value on the inside < 1521071202 881071 :augur_!~augur@2600:380:456b:fb38:c0f4:e344:8ce3:a635 QUIT :Remote host closed the connection < 1521071461 51138 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :moony: hey and g'day hth < 1521071483 974657 :moony!moony@unaffiliated/moonythedwarf PRIVMSG #esoteric :o/ < 1521071772 773259 :LKoen!~LKoen@2a01:e35:2eed:a430:10c1:a574:83da:c292 QUIT :Remote host closed the connection < 1521071831 195429 :augur!~augur@104-244-24-85.PUBLIC.monkeybrains.net JOIN :#esoteric