Logs: freenode/#haskell
| 2021-05-04 14:42:36 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 14:43:08 | <Gurkenglas> | (And Paladinbot, which cooperates iff the opponent would cooperates against Cooperatebot, can't be implemented.) |
| 2021-05-04 14:44:18 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-04 14:44:21 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-04 14:45:31 | <chisui> | Gurkenglas are these bots different processes? If not you could implement them all in the same application. You wouldn't need any frameworks |
| 2021-05-04 14:46:23 | <Gurkenglas> | chisui, I expect that some language makes it easy to define and work with these. |
| 2021-05-04 14:46:43 | <l-as> | geekosaur: Thanks. I'll likely have to make something myself then. |
| 2021-05-04 14:46:51 | <l-as> | I'm trying to use GHCi as a shell, and it works mostly fine, except that part. |
| 2021-05-04 14:47:08 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-04 14:48:27 | → | cdsmith joins (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) |
| 2021-05-04 14:48:57 | <chisui> | Gurkenglas So you want to define a protocol that can be implemented by multiple clients? What are your requirements/constraints? |
| 2021-05-04 14:50:14 | <Gurkenglas> | chisui, I expect all the experiments to happen on a single machine. I don't plan for the bots to know anything about the hardware. |
| 2021-05-04 14:50:16 | → | ecrance joins (~Adium@2a01cb058dba1100b064de7ae4382049.ipv6.abo.wanadoo.fr) |
| 2021-05-04 14:50:45 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-04 14:52:08 | ← | ecrance parts (~Adium@2a01cb058dba1100b064de7ae4382049.ipv6.abo.wanadoo.fr) () |
| 2021-05-04 14:52:09 | → | ecrance joins (~Adium@2a01cb058dba1100b064de7ae4382049.ipv6.abo.wanadoo.fr) |
| 2021-05-04 14:52:47 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b9513a5163a3f5f418180.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-04 14:57:01 | → | safinaskar joins (~user@109.252.90.136) |
| 2021-05-04 14:57:25 | <safinaskar> | why this two pages look different? http://hackage.haskell.org/package/ghc-prim-0.7.0/docs/GHC-CString.html http://hackage.haskell.org/package/kleene-0.1/docs/Kleene-ERE.html |
| 2021-05-04 14:57:36 | → | philderbeast joins (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) |
| 2021-05-04 14:57:55 | <safinaskar> | the first has purple heading, the second has black one |
| 2021-05-04 14:58:05 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 14:58:14 | <thblt> | I've implemented a Writer as a small learning exercise, and I think the implementation for >>= could be nicer. It's here: https://paste.thb.lt/1620139243.hs.html Any ideas? Thanks. |
| 2021-05-04 15:00:31 | → | LKoen joins (~LKoen@140.170.9.109.rev.sfr.net) |
| 2021-05-04 15:00:40 | → | tlaxkit joins (~konversat@185.228.153.18) |
| 2021-05-04 15:00:45 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-04 15:00:46 | <mniip> | safinaskar, new haddock vs old haddock |
| 2021-05-04 15:01:03 | <safinaskar> | mniip: why not regenerate all docs? |
| 2021-05-04 15:01:05 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:85a:4fb7:871c:f700) |
| 2021-05-04 15:01:06 | → | boxscape joins (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
| 2021-05-04 15:01:11 | <merijn> | safinaskar: Docs are generated at build time |
| 2021-05-04 15:01:22 | <boxscape> | % ((undefined :: b) :: forall a . a) :: forall b . b |
| 2021-05-04 15:01:23 | <yahb> | boxscape: ; <interactive>:31:3: error:; * Couldn't match expected type `a' with actual type `b1'; `a' is a rigid type variable bound by; an expression type signature:; forall a. a; at <interactive>:31:22-33; `b1' is a rigid type variable bound by; an expression type signature:; forall b1. b1; at <interactive>:31:39-50; * In the expression: ((undef |
| 2021-05-04 15:01:26 | <merijn> | safinaskar: Because building docs requires compiling and ancient packages may not compile anymore |
| 2021-05-04 15:01:28 | <boxscape> | seems kind of weird that this doesn't work |
| 2021-05-04 15:01:40 | <safinaskar> | merijn: mniip: ok, thanks |
| 2021-05-04 15:01:46 | <boxscape> | % ((undefined :: a) :: forall a . a) :: forall b . b |
| 2021-05-04 15:01:46 | <yahb> | boxscape: *** Exception: Prelude.undefined; CallStack (from HasCallStack):; error, called at libraries/base/GHC/Err.hs:75:14 in base:GHC.Err; undefined, called at <interactive>:32:3 in interactive:Ghci16 |
| 2021-05-04 15:01:52 | <boxscape> | whereas this does |
| 2021-05-04 15:02:10 | <mniip> | scopedTyVars? |
| 2021-05-04 15:02:13 | <boxscape> | yes |
| 2021-05-04 15:02:54 | ← | safinaskar parts (~user@109.252.90.136) () |
| 2021-05-04 15:03:08 | <mniip> | % :set -XNoScopedTypeVariables |
| 2021-05-04 15:03:08 | <yahb> | mniip: |
| 2021-05-04 15:03:10 | <mniip> | % ((undefined :: b) :: forall a . a) :: forall b . b |
| 2021-05-04 15:03:10 | <yahb> | mniip: *** Exception: Prelude.undefined; CallStack (from HasCallStack):; error, called at libraries/base/GHC/Err.hs:75:14 in base:GHC.Err; undefined, called at <interactive>:35:3 in interactive:Ghci17 |
| 2021-05-04 15:03:15 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-05-04 15:04:52 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds) |
| 2021-05-04 15:06:12 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-04 15:07:26 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-04 15:08:10 | → | ADG1089 joins (~aditya@122.163.161.198) |
| 2021-05-04 15:08:19 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 2021-05-04 15:08:47 | → | totte joins (~totte@chakra/totte) |
| 2021-05-04 15:11:01 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-05-04 15:11:25 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 2021-05-04 15:11:41 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-04 15:13:30 | → | danso joins (~dan@modemcable156.91-20-96.mc.videotron.ca) |
| 2021-05-04 15:13:31 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-04 15:13:37 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 2021-05-04 15:13:49 | × | v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Remote host closed the connection) |
| 2021-05-04 15:15:45 | × | dan64- quits (~dan64@dannyadam.com) (Quit: ZNC - http://znc.in) |
| 2021-05-04 15:16:05 | → | dan64 joins (~dan64@dannyadam.com) |
| 2021-05-04 15:16:15 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-04 15:16:50 | → | toorevitimirp joins (~tooreviti@117.182.181.119) |
| 2021-05-04 15:17:53 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-04 15:18:40 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 268 seconds) |
| 2021-05-04 15:18:59 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-05-04 15:20:01 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-04 15:21:04 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 15:24:14 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-04 15:24:34 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 15:25:26 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-04 15:27:08 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-04 15:27:59 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-04 15:28:11 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 15:30:11 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 2021-05-04 15:30:44 | → | antoniotrkdz joins (2d8b63d4@gateway/web/cgi-irc/kiwiirc.com/ip.45.139.99.212) |
| 2021-05-04 15:30:47 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-zadqqerhzuegxzed) |
| 2021-05-04 15:31:59 | <antoniotrkdz> | hi |
| 2021-05-04 15:35:26 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 2021-05-04 15:36:02 | <boxscape> | hello |
| 2021-05-04 15:42:04 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 2021-05-04 15:43:49 | → | ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-04 15:44:21 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-04 15:44:46 | <ADG1089> | heya |
| 2021-05-04 15:44:59 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 2021-05-04 15:44:59 | × | toorevitimirp quits (~tooreviti@117.182.181.119) (Quit: Konversation terminated!) |
| 2021-05-04 15:45:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-04 15:45:42 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 265 seconds) |
| 2021-05-04 15:46:45 | → | toorevitimirp joins (~tooreviti@117.182.181.119) |
| 2021-05-04 15:47:48 | × | toorevitimirp quits (~tooreviti@117.182.181.119) (Client Quit) |
| 2021-05-04 15:49:49 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-04 15:50:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-05-04 15:51:56 | → | tomspencer joins (~tomspence@host109-148-131-65.range109-148.btcentralplus.com) |
| 2021-05-04 15:52:18 | → | toorevitimirp joins (~tooreviti@117.182.181.119) |
| 2021-05-04 15:52:20 | <tomspencer> | hi! just started with haskell! |
| 2021-05-04 15:52:32 | <boxscape> | hi :) |
| 2021-05-04 15:53:04 | <antoniotrkdz> | does anybody know a way to make xmonad log applet clickable |
| 2021-05-04 15:53:06 | <antoniotrkdz> | ? |
| 2021-05-04 15:53:40 | × | ADG1089 quits (~aditya@122.163.161.198) (Remote host closed the connection) |
All times are in UTC.