Logs on 2021-01-03 (freenode/#haskell)
| 00:01:32 | <Squarism> | Rembane, 10 would be stretching it. Typically 2-4. |
| 00:01:35 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:02:41 | <Rembane> | Squarism: Cool, because I was thinking of building your own sequencing type, but it eventually boils down putting all of the types in a sum type anyway, so it's not a too exciting solution. |
| 00:03:06 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 00:03:48 | <Squarism> | Maybe I should look into HList =/ |
| 00:04:07 | <Rembane> | Yeah. |
| 00:07:38 | → | cheater joins (~user@unaffiliated/cheater) |
| 00:08:47 | → | falafel joins (~falafel@pool-108-31-243-192.washdc.fios.verizon.net) |
| 00:11:36 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 00:14:08 | → | christo joins (~chris@81.96.113.213) |
| 00:15:34 | × | carthia quits (~carthia@gateway/tor-sasl/carthia) (Remote host closed the connection) |
| 00:16:18 | → | carthia joins (~carthia@gateway/tor-sasl/carthia) |
| 00:24:13 | × | madjestic quits (~Android@86-88-72-244.fixed.kpn.net) (Ping timeout: 264 seconds) |
| 00:25:03 | → | ph88^ joins (~ph88@ip5f5af6cd.dynamic.kabel-deutschland.de) |
| 00:29:11 | × | ph88_ quits (~ph88@2a02:8109:9e00:7e5c:6177:8b5f:aca9:602e) (Ping timeout: 272 seconds) |
| 00:32:10 | × | safinaskar quits (6dfc5ba3@109-252-91-163.nat.spd-mgts.ru) (Ping timeout: 245 seconds) |
| 00:32:29 | × | carthia quits (~carthia@gateway/tor-sasl/carthia) (Quit: carthia) |
| 00:32:55 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 00:33:15 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 00:34:22 | × | theDon quits (~td@muedsl-82-207-238-216.citykom.de) (Ping timeout: 272 seconds) |
| 00:35:39 | → | theDon joins (~td@muedsl-82-207-238-124.citykom.de) |
| 00:36:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 00:36:18 | → | smitop joins (uid328768@gateway/web/irccloud.com/x-iwjcwisgjfpgyqcb) |
| 00:39:07 | → | kam1 joins (~kam1@24.231.108.143) |
| 00:44:41 | × | cads quits (~cads@ip-64-72-99-232.lasvegas.net) (Read error: Connection reset by peer) |
| 00:44:48 | → | cads2 joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 00:46:03 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Remote host closed the connection) |
| 00:48:23 | × | cads2 quits (~cads@ip-64-72-99-232.lasvegas.net) (Read error: Connection reset by peer) |
| 00:48:32 | → | cads2 joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 00:57:04 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-mualtkqzycyradrx) (Quit: Connection closed for inactivity) |
| 00:58:19 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:ccd9:595d:1bc6:b87f) |
| 00:59:10 | × | falafel quits (~falafel@pool-108-31-243-192.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 01:00:49 | × | vancz quits (~vancz@unaffiliated/vancz) (Ping timeout: 264 seconds) |
| 01:01:06 | → | vancz joins (~vancz@unaffiliated/vancz) |
| 01:01:06 | → | cads joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 01:01:56 | × | cads2 quits (~cads@ip-64-72-99-232.lasvegas.net) (Read error: Connection reset by peer) |
| 01:02:22 | × | Melanie quits (~Melanie@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 260 seconds) |
| 01:03:43 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 01:03:49 | <spopejoy> | Squarism: instead of HList, is it possible that the list elements need to be a more "free" type like a DSL expression? My problem with HLists, existential lists etc is the worry that the need to "put them in a list" expresses more of a mechanical requirement, and isn't properly descriptive or declarative. Whereas, e.g. if they are all some `Exp` that will be evaluated with some interpreter, then the type doesn't need to concern itself with |
| 01:03:50 | <spopejoy> | actual contents, can be thrown in a vanilla list, etc ... |
| 01:04:46 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 246 seconds) |
| 01:05:33 | <Squarism> | spopejoy, Ah good point. Maybe that could be a feasible path. Ill keep it in mind when I return to that. |
| 01:05:38 | <spopejoy> | To me the real value of an HList is to involve the compiler in the construction of the list, but for many runtime use cases (for instance, reading such a list back from serialization) that can be meaningless. |
| 01:06:11 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:143:c475:d20e:3db4:7e5b) |
| 01:06:13 | × | kam1 quits (~kam1@24.231.108.143) (*.net *.split) |
| 01:06:13 | × | ph88^ quits (~ph88@ip5f5af6cd.dynamic.kabel-deutschland.de) (*.net *.split) |
| 01:06:13 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (*.net *.split) |
| 01:06:13 | × | tsrt^ quits (tsrt@ip98-184-89-2.mc.at.cox.net) (*.net *.split) |
| 01:06:13 | × | Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (*.net *.split) |
| 01:06:13 | × | DTZUZU quits (~DTZUZU@205.ip-149-56-132.net) (*.net *.split) |
| 01:06:13 | × | r4d1x quits (~r4d1x@185.163.110.125) (*.net *.split) |
| 01:06:13 | × | sunrise quits (~sunrise@51.194.80.91) (*.net *.split) |
| 01:06:13 | × | jchia quits (~jchia@58.32.37.71) (*.net *.split) |
| 01:06:13 | × | shatriff quits (~vitaliish@176-52-216-242.irishtelecom.com) (*.net *.split) |
| 01:06:13 | × | phaul quits (~phaul@ruby/staff/phaul) (*.net *.split) |
| 01:06:13 | × | cyphase quits (~cyphase@unaffiliated/cyphase) (*.net *.split) |
| 01:06:13 | × | jluttine quits (~jluttine@87-95-146-110.bb.dnainternet.fi) (*.net *.split) |
| 01:06:13 | × | drewolson quits (~drewolson@64.227.24.16) (*.net *.split) |
| 01:06:13 | × | wz1000 quits (~wz1000@static.11.113.47.78.clients.your-server.de) (*.net *.split) |
| 01:06:13 | × | aidecoe quits (~aidecoe@unaffiliated/aidecoe) (*.net *.split) |
| 01:06:13 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (*.net *.split) |
| 01:06:13 | × | Tene quits (~tene@poipu/supporter/slacker/tene) (*.net *.split) |
| 01:06:13 | × | Dykam quits (Dykam@dykam.nl) (*.net *.split) |
| 01:06:13 | × | kish` quits (~oracle@unaffiliated/oracle) (*.net *.split) |
| 01:06:13 | × | mapperr quits (~mapperr@vmi389916.contaboserver.net) (*.net *.split) |
| 01:06:13 | × | pieguy128 quits (~pieguy128@bras-base-mtrlpq5031w-grc-39-70-27-244-102.dsl.bell.ca) (*.net *.split) |
| 01:06:13 | × | hvr quits (~hvr@haskell/developer/hvr) (*.net *.split) |
| 01:06:13 | × | xsperry quits (~as@unaffiliated/xsperry) (*.net *.split) |
| 01:06:14 | × | Tspoon quits (tlarjoma@hilla.kapsi.fi) (*.net *.split) |
| 01:06:14 | × | grdvnl quits (~gdrvnl@cpe-76-94-36-134.socal.res.rr.com) (*.net *.split) |
| 01:06:14 | × | dequbed quits (~dequbed@yanduxian.paranoidlabs.org) (*.net *.split) |
| 01:06:14 | × | alexelcu quits (~alexelcu@142.93.180.198) (*.net *.split) |
| 01:06:14 | × | gienah quits (~mwright@gentoo/developer/gienah) (*.net *.split) |
| 01:06:14 | × | cross quits (~cross@spitfire.i.gajendra.net) (*.net *.split) |
| 01:06:14 | × | grumble quits (~Thunderbi@freenode/staff/grumble) (*.net *.split) |
| 01:06:14 | × | ekleog quits (~ii@prologin/ekleog) (*.net *.split) |
| 01:06:14 | × | catern quits (~catern@104.131.201.120) (*.net *.split) |
| 01:06:14 | × | madnight quits (~madnight@static.59.103.201.195.clients.your-server.de) (*.net *.split) |
| 01:06:14 | × | pierrot quits (~pi@unaffiliated/pierrot) (*.net *.split) |
| 01:06:14 | × | b3z quits (~b3z@vmd41962.contaboserver.net) (*.net *.split) |
| 01:06:14 | × | Maxdamantus quits (~Maxdamant@unaffiliated/maxdamantus) (*.net *.split) |
| 01:06:14 | × | johnyginthehouse quits (~johnygint@159.203.30.32) (*.net *.split) |
| 01:06:14 | × | TommyC quits (~TommyC@unaffiliated/sepulchralbloom) (*.net *.split) |
| 01:06:14 | × | RoguePointer quits (~jigen@unaffiliated/roguepointer) (*.net *.split) |
| 01:06:14 | × | Deewiant quits (~deewiant@de1.ut.deewiant.iki.fi) (*.net *.split) |
| 01:06:14 | × | connrs_ quits (~connrs@runciter.connrs.uk) (*.net *.split) |
| 01:06:14 | × | w1gz quits (~do@159.89.11.133) (*.net *.split) |
| 01:06:14 | × | tanuki quits (~quassel@173.168.154.189) (*.net *.split) |
| 01:06:14 | × | mmaruseacph2 quits (~mihai@198.199.100.72) (*.net *.split) |
| 01:06:14 | × | dustinm quits (~dustinm@static.38.6.217.95.clients.your-server.de) (*.net *.split) |
| 01:06:14 | × | marble_visions quits (~user@68.183.79.8) (*.net *.split) |
| 01:06:14 | × | cynick quits (~worm@ec2-52-206-86-1.compute-1.amazonaws.com) (*.net *.split) |
| 01:06:14 | × | jtobin quits (~jtobin@li1555-212.members.linode.com) (*.net *.split) |
| 01:06:14 | × | cpape quits (~user@static.180.18.203.116.clients.your-server.de) (*.net *.split) |
| 01:06:14 | × | sepples quits (~sepples@67.205.168.224) (*.net *.split) |
| 01:06:14 | × | dwts quits (pid@gateway/shell/blinkenshell.org/x-hdcyxbuhngzudhpp) (*.net *.split) |
| 01:06:14 | × | comboy quits (~quassel@tesuji.pl) (*.net *.split) |
| 01:06:14 | × | noctuks quits (LXxZtpfPfM@unaffiliated/noctux) (*.net *.split) |
| 01:06:14 | × | reactormonk quits (~reactormo@mehl.schokokeks.org) (*.net *.split) |
| 01:06:14 | × | canta quits (~canta@cvm0.d5k.one) (*.net *.split) |
| 01:06:14 | × | kaol quits (~kaol@178.62.241.234) (*.net *.split) |
| 01:07:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:07:56 | <Squarism> | yeah, that I see no real value of the types at runtime. Only thing Im interest in are the instances i know all objects possesses. |
| 01:08:06 | → | ekleog joins (~ii@prologin/ekleog) |
| 01:08:32 | → | tsrt^ joins (tsrt@ip98-184-89-2.mc.at.cox.net) |
| 01:08:33 | → | dustinm joins (~dustinm@static.38.6.217.95.clients.your-server.de) |
| 01:08:36 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 01:08:55 | → | mapperr joins (~mapperr@vmi389916.contaboserver.net) |
| 01:09:31 | → | pieguy128 joins (~pieguy128@bras-base-mtrlpq5031w-grc-39-70-27-244-102.dsl.bell.ca) |
| 01:09:31 | → | kam1 joins (~kam1@24.231.108.143) |
| 01:09:31 | → | ph88^ joins (~ph88@ip5f5af6cd.dynamic.kabel-deutschland.de) |
| 01:09:31 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 01:09:31 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 01:09:31 | → | DTZUZU joins (~DTZUZU@205.ip-149-56-132.net) |
| 01:09:31 | → | r4d1x joins (~r4d1x@185.163.110.125) |
| 01:09:31 | → | sunrise joins (~sunrise@51.194.80.91) |
| 01:09:31 | → | jchia joins (~jchia@58.32.37.71) |
| 01:09:31 | → | shatriff joins (~vitaliish@176-52-216-242.irishtelecom.com) |
| 01:09:31 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 01:09:31 | → | cyphase joins (~cyphase@unaffiliated/cyphase) |
| 01:09:31 | → | jluttine joins (~jluttine@87-95-146-110.bb.dnainternet.fi) |
| 01:09:31 | → | drewolson joins (~drewolson@64.227.24.16) |
| 01:09:31 | → | wz1000 joins (~wz1000@static.11.113.47.78.clients.your-server.de) |
| 01:09:31 | → | aidecoe joins (~aidecoe@unaffiliated/aidecoe) |
| 01:09:31 | → | Tene joins (~tene@poipu/supporter/slacker/tene) |
| 01:09:31 | → | Dykam joins (Dykam@dykam.nl) |
| 01:09:31 | → | kish` joins (~oracle@unaffiliated/oracle) |
| 01:09:31 | → | hvr joins (~hvr@haskell/developer/hvr) |
| 01:09:31 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 01:09:31 | → | Tspoon joins (tlarjoma@hilla.kapsi.fi) |
| 01:09:31 | → | grdvnl joins (~gdrvnl@cpe-76-94-36-134.socal.res.rr.com) |
| 01:09:31 | → | dequbed joins (~dequbed@yanduxian.paranoidlabs.org) |
| 01:09:31 | → | alexelcu joins (~alexelcu@142.93.180.198) |
| 01:09:31 | → | gienah joins (~mwright@gentoo/developer/gienah) |
| 01:09:31 | → | cross joins (~cross@spitfire.i.gajendra.net) |
| 01:09:31 | → | grumble joins (~Thunderbi@freenode/staff/grumble) |
| 01:09:31 | → | madnight joins (~madnight@static.59.103.201.195.clients.your-server.de) |
| 01:09:31 | → | sepples joins (~sepples@67.205.168.224) |
| 01:09:31 | → | pierrot joins (~pi@unaffiliated/pierrot) |
| 01:09:31 | → | b3z joins (~b3z@vmd41962.contaboserver.net) |
| 01:09:31 | → | Maxdamantus joins (~Maxdamant@unaffiliated/maxdamantus) |
| 01:09:31 | → | johnyginthehouse joins (~johnygint@159.203.30.32) |
| 01:09:31 | → | TommyC joins (~TommyC@unaffiliated/sepulchralbloom) |
| 01:09:31 | → | RoguePointer joins (~jigen@unaffiliated/roguepointer) |
| 01:09:31 | → | Deewiant joins (~deewiant@de1.ut.deewiant.iki.fi) |
| 01:09:31 | → | connrs_ joins (~connrs@runciter.connrs.uk) |
| 01:09:31 | → | w1gz joins (~do@159.89.11.133) |
| 01:09:31 | → | tanuki joins (~quassel@173.168.154.189) |
| 01:09:31 | → | mmaruseacph2 joins (~mihai@198.199.100.72) |
| 01:09:31 | → | marble_visions joins (~user@68.183.79.8) |
| 01:09:31 | → | cynick joins (~worm@ec2-52-206-86-1.compute-1.amazonaws.com) |
| 01:09:32 | → | jtobin joins (~jtobin@li1555-212.members.linode.com) |
| 01:09:32 | → | cpape joins (~user@static.180.18.203.116.clients.your-server.de) |
| 01:09:32 | → | dwts joins (pid@gateway/shell/blinkenshell.org/x-hdcyxbuhngzudhpp) |
| 01:09:32 | → | comboy joins (~quassel@tesuji.pl) |
| 01:09:32 | → | noctuks joins (LXxZtpfPfM@unaffiliated/noctux) |
| 01:09:32 | → | reactormonk joins (~reactormo@mehl.schokokeks.org) |
| 01:09:32 | → | canta joins (~canta@cvm0.d5k.one) |
| 01:09:32 | → | kaol joins (~kaol@178.62.241.234) |
| 01:09:32 | × | d34df00d quits (~d34df00d@104-14-27-213.lightspeed.austtx.sbcglobal.net) (Excess Flood) |
| 01:10:10 | × | dwts quits (pid@gateway/shell/blinkenshell.org/x-hdcyxbuhngzudhpp) (Max SendQ exceeded) |
| 01:10:10 | × | kam1 quits (~kam1@24.231.108.143) (Max SendQ exceeded) |
| 01:11:07 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 260 seconds) |
| 01:11:36 | → | dwts joins (pid@gateway/shell/blinkenshell.org/x-irepyeqrcbcxhiib) |
| 01:11:37 | × | canta quits (~canta@cvm0.d5k.one) (Ping timeout: 264 seconds) |
| 01:12:45 | → | canta joins (~canta@cvm0.d5k.one) |
| 01:13:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 01:13:31 | × | Jajik quits (xchlup2@gateway/shell/fi.muni.cz/x-qhjnriwuikjiveet) (Ping timeout: 246 seconds) |
| 01:14:11 | → | Jajik joins (xchlup2@gateway/shell/fi.muni.cz/x-zzgqerztklgehnpm) |
| 01:15:04 | → | catern joins (~catern@104.131.201.120) |
| 01:16:15 | → | flux67 joins (2fe3e53b@047-227-229-059.res.spectrum.com) |
| 01:16:39 | <flux67> | is there some function where i can go like (Just 3) some operator (Just 4) (+) = Just 7? |
| 01:16:53 | <flux67> | like apply a function inside the functor |
| 01:16:58 | <Vulfe> | fmap? |
| 01:17:14 | <Vulfe> | oh, never mind, I just understood what you wrote |
| 01:17:16 | <Vulfe> | let's see |
| 01:17:43 | <flux67> | i tried to hoogle `f a -> f b -> (a->b->c) -> f c` but didn't get anything |
| 01:17:55 | <Rembane> | :t (<*>) |
| 01:17:57 | <lambdabot> | Applicative f => f (a -> b) -> f a -> f b |
| 01:18:14 | <Vulfe> | yeah, you can do something like (pure f) <*> a <*> b |
| 01:18:20 | <Vulfe> | if you have an applicative functor |
| 01:18:21 | <Rembane> | > (+) <$> Just 3 <*> Just 5 |
| 01:18:23 | <lambdabot> | Just 8 |
| 01:18:31 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 01:18:46 | <Rembane> | flux67: Is something like that what you have in mind? |
| 01:18:51 | <Vulfe> | > (pure (+)) <*> Just 3 <*> Just 5 |
| 01:18:51 | <flux67> | yeah, thanks! |
| 01:18:53 | <lambdabot> | Just 8 |
| 01:18:57 | <flux67> | how do you come up with that? |
| 01:18:57 | <Vulfe> | (same thing) |
| 01:19:36 | <Rembane> | flux67: I asked here, many years ago. :) |
| 01:19:58 | <Vulfe> | well, the type of fmap is (a -> b) -> f a -> f b, but you want something with multiple inputs |
| 01:20:09 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Client Quit) |
| 01:20:27 | <Vulfe> | so if you have (a -> b -> c), you can think of that as a -> (b -> c), so fmap spits out something like f a -> f (b -> c) |
| 01:20:48 | <Vulfe> | but now you need an applicative <*> to turn f (b -> c) into f b -> f c |
| 01:21:13 | <Vulfe> | so the point is that if you want to do "something like fmap but with more inputs", then you want to use applicative <*> to reduce the inputs away one-by-one |
| 01:21:25 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 01:26:43 | <boxscape> | % :t liftA2 |
| 01:26:44 | <yahb> | boxscape: Applicative f => (a -> b -> c) -> f a -> f b -> f c |
| 01:26:58 | <boxscape> | is the same thing but packaged into a single function, so it's a common pattern |
| 01:27:39 | <boxscape> | actually I'm surprised that hoogle didn't show that to you |
| 01:28:24 | → | kam1 joins (~kam1@24.231.108.143) |
| 01:30:22 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 01:32:16 | × | GRemLin quits (~GRemLin@45.32.110.226) (Ping timeout: 240 seconds) |
| 01:32:54 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 01:33:15 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 01:34:52 | × | columbarius quits (~columbari@87.123.198.45) (Ping timeout: 246 seconds) |
| 01:37:22 | → | columbarius joins (~columbari@i5E86B379.versanet.de) |
| 01:39:43 | → | frankdmartinez joins (~frankdmar@138.199.52.27) |
| 01:40:56 | <cnmne[m]> | hi, I'm trying to follow the example from https://www.haskell.org/alex/doc/html/introduction.html |
| 01:40:56 | <cnmne[m]> | but when I run any of =/+/-/* etc. I get a Var, and trying to produce a variable produces a lexical error exception |
| 01:42:30 | <cnmne[m]> | I'm running `alexScanTokens somestring` |
| 01:42:46 | <cnmne[m]> | after loading in ghci |
| 01:43:12 | → | frankdmartinez_ joins (~frankdmar@184.170.253.89) |
| 01:43:17 | × | hiroaki quits (~hiroaki@2a02:908:4b18:8c40::4b02) (Ping timeout: 272 seconds) |
| 01:43:56 | × | frankdmartinez quits (~frankdmar@138.199.52.27) (Ping timeout: 240 seconds) |
| 01:43:56 | frankdmartinez_ | is now known as frankdmartinez |
| 01:46:26 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
| 01:46:31 | <pavonia> | cnmne[m]: What is the error message? |
| 01:46:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:46:45 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:962:7b2a:874f:a73d) |
| 01:48:20 | <cnmne[m]> | pavonia: https://bpa.st/RBDQ |
| 01:49:09 | × | lawid quits (~quassel@dslb-090-186-035-082.090.186.pools.vodafone-ip.de) (Quit: lawid) |
| 01:49:22 | <pavonia> | Hhm, that's not a very helpful message |
| 01:49:48 | → | ezrakilty joins (~ezrakilty@75-172-99-84.tukw.qwest.net) |
| 01:51:02 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Ping timeout: 264 seconds) |
| 01:51:07 | → | lawid joins (~quassel@dslb-090-186-035-082.090.186.pools.vodafone-ip.de) |
| 01:52:45 | × | teardown_ quits (~user@gateway/tor-sasl/mrush) (Quit: leaving) |
| 01:52:53 | <ezrakilty> | I'm trying to use an unreleased version of GHC, which I've never done before, and without building it myself. https://downloads.haskell.org/ghc/9.0.1-rc1/ Having downloaded and untarred it, I'm not sure what to do next. |
| 01:53:17 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 01:53:36 | <ezrakilty> | There are some binaries, such as ghc/stage2/build/tmp/ghc-stage2, but they aren't pointed at their LD_LIBRARY_PATHs, so they don't immediately load the shared libraries. |
| 01:54:15 | <ezrakilty> | Running "make install", on the other hand, seems to trigger a full build |
| 01:54:23 | <pavonia> | cnmne[m]: Works here. What alex version are you using? |
| 01:54:31 | <ezrakilty> | Is there some simple way to run ghc from the tarball? |
| 01:55:00 | <cnmne[m]> | pavonia: alex 3.2.6 |
| 01:55:23 | → | hiroaki joins (~hiroaki@2a02:908:4b18:8c40::ee4f) |
| 01:56:36 | <cnmne[m]> | I'm confused because even when I remove the `$alpha [...] { \s -> Var s }` line, `alexScanTokens "*"` gives me `[Var "*"]` maybe that's a separate problem, but how is a `Var` even being constructed? |
| 01:57:32 | <boxscape> | ezrakilty IIRC make install doesn't actually build it, it really does install it. I followed the instructions of the INSTALL file a couple days ago and it seemed to work. |
| 01:57:56 | <ezrakilty> | @boxscape Ah OK, let me try that, thanks. |
| 01:57:56 | <lambdabot> | Unknown command, try @list |
| 02:00:02 | <boxscape> | ezrakilty just making sure, you did download a binary build and not the source tar, yes? |
| 02:00:36 | <boxscape> | I suppose if you have the ghc-stage2 binary you must have |
| 02:01:40 | <boxscape> | (...downloaded the correct one, to end that sentence) |
| 02:02:30 | <pavonia> | cnmne[m]: Did you copy the example literally? Are you really using the correct file etc.? |
| 02:04:06 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 02:04:11 | × | kam1 quits (~kam1@24.231.108.143) (Read error: Connection reset by peer) |
| 02:05:30 | <ezrakilty> | boxscape, yeah, it was the binary build. Running "make install" wants a C compiler, so I'm wondering if this will work, but giving it a go. |
| 02:05:31 | → | kam1 joins (~kam1@24.231.108.143) |
| 02:06:01 | × | kam1 quits (~kam1@24.231.108.143) (Client Quit) |
| 02:06:58 | <cnmne[m]> | pavonia: alright, i figured it out (silly mistake of course) didn't run alex on the file again after editing... |
| 02:07:10 | <cnmne[m]> | pavonia: thanks for the help haha sorry for the trouble |
| 02:10:05 | → | teardown_ joins (~user@gateway/tor-sasl/mrush) |
| 02:11:30 | <cnmne[m]> | for some reason I had it in my head that recompiling the module every time i loaded it in the ghci it would update the file. but that's just the generated `.hs` from the modified `.x` |
| 02:13:12 | × | Tops2 quits (~Tobias@dyndsl-095-033-022-018.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 02:13:14 | × | zfnmxt quits (~zfnmxt@unaffiliated/zfnmxt) (Quit: Bye!) |
| 02:13:23 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 240 seconds) |
| 02:13:41 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:143:c475:d20e:3db4:7e5b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 02:15:09 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 02:15:19 | → | zfnmxt joins (~zfnmxt@unaffiliated/zfnmxt) |
| 02:16:49 | × | flux67 quits (2fe3e53b@047-227-229-059.res.spectrum.com) (Remote host closed the connection) |
| 02:18:03 | × | teardown_ quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 240 seconds) |
| 02:18:47 | × | ph88^ quits (~ph88@ip5f5af6cd.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 02:18:55 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
| 02:18:59 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:ad76:8f15:d0f4:d04e) (Read error: Connection reset by peer) |
| 02:19:44 | <frankdmartinez> | I am reviewing https://wiki.haskell.org/Pronunciation. Is `({)}` seriously an operator? If so, what manner of thing does it do? |
| 02:21:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 02:21:30 | <exarkun> | It looks like a joke to me |
| 02:22:30 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:22:45 | <exarkun> | And is a syntax error, as I hoped it would be |
| 02:22:51 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 02:23:19 | <exarkun> | note the description and that () and {} are both haskell syntax used for grouping |
| 02:23:48 | <frankdmartinez> | Thank G-d for that. |
| 02:24:21 | <ezrakilty> | update on running the unreleased ghc: "make install" does indeed install it without building, however there were a few flies in the ointment: |
| 02:24:51 | <ezrakilty> | 1. It requires running ./configure, which wants to search for a C compiler, even though I guess it isn't going to run it to compile anything. |
| 02:25:28 | <ezrakilty> | 2. It gave a surprising error about not being able to find libtinfo.so.5, so I had to track down how to install that. |
| 02:26:05 | <ezrakilty> | (The above were hit on a fresh Ubuntu 20.04 installation on a VM.) Having hurdled those, I have a working ghc 9, thanks for your help boxscape. |
| 02:26:42 | <boxscape> | ah, yeah I had to install libtinfo as well |
| 02:27:56 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Ping timeout: 240 seconds) |
| 02:30:26 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 02:31:02 | <ezrakilty> | Yeah, "sudo apt install libtinfo5" in particular :shrug: |
| 02:32:11 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:962:7b2a:874f:a73d) () |
| 02:32:41 | × | lawid quits (~quassel@dslb-090-186-035-082.090.186.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 02:32:54 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 02:33:07 | → | lawid joins (~quassel@dslb-090-186-198-069.090.186.pools.vodafone-ip.de) |
| 02:33:15 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 02:34:14 | → | gienah_ joins (~mwright@119-18-2-241.771202.syd.nbn.aussiebb.net) |
| 02:34:38 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:34:57 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 02:34:58 | → | shatriff_ joins (~vitaliish@176-52-216-242.irishtelecom.com) |
| 02:35:01 | → | wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 02:35:02 | → | cpape` joins (~user@static.180.18.203.116.clients.your-server.de) |
| 02:35:03 | → | hvr_ joins (~hvr@haskell/developer/hvr) |
| 02:35:03 | → | dcoutts_ joins (~dcoutts@33.14.75.194.dyn.plus.net) |
| 02:35:03 | × | dcoutts_ quits (~dcoutts@33.14.75.194.dyn.plus.net) (Changing host) |
| 02:35:03 | → | dcoutts_ joins (~dcoutts@unaffiliated/dcoutts) |
| 02:35:04 | → | sm2n_ joins (~sm2n@bras-base-hmtnon1497w-grc-43-64-231-95-247.dsl.bell.ca) |
| 02:35:05 | → | tzh_ joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 02:35:13 | → | b4er_ joins (~b4er@91.193.4.138) |
| 02:35:14 | → | dirediresalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 02:35:27 | → | zfnmxt_ joins (~zfnmxt@unaffiliated/zfnmxt) |
| 02:35:28 | → | nrdmn9 joins (~nrdmn@95.129.53.118) |
| 02:35:31 | → | russruss0 joins (~russruss@my.russellmcc.com) |
| 02:35:37 | → | leafiest4 joins (~leafiest@165.227.53.12) |
| 02:35:55 | → | DTZUZU_ joins (~DTZUZU@205.ip-149-56-132.net) |
| 02:35:56 | → | Tesseraction_p joins (~Tesseract@unaffiliated/tesseraction) |
| 02:36:13 | → | ridcully_ joins (~ridcully@pd951f4de.dip0.t-ipconnect.de) |
| 02:36:19 | → | madnight_ joins (~madnight@static.59.103.201.195.clients.your-server.de) |
| 02:36:28 | → | codedmart_ joins (~codedmart@149.28.9.205) |
| 02:36:29 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 02:36:31 | → | marble_visions_ joins (~user@68.183.79.8) |
| 02:36:35 | → | drewolson3 joins (~drewolson@64.227.24.16) |
| 02:36:36 | → | dequbed_ joins (~dequbed@2001:bc8:3f24:100::1) |
| 02:36:36 | → | RoguePointer_ joins (~jigen@94.177.235.178) |
| 02:36:54 | → | connrs- joins (~connrs@runciter.connrs.uk) |
| 02:37:06 | → | djanatyn_ joins (~djanatyn@ec2-18-209-155-56.compute-1.amazonaws.com) |
| 02:37:09 | → | azuline joins (~blissful@unaffiliated/azuline) |
| 02:37:39 | → | clynamen_ joins (~clynamen@net-93-71-86-202.cust.vodafonedsl.it) |
| 02:37:55 | → | Dykam_ joins (Dykam@dykam.nl) |
| 02:38:16 | → | Plas joins (plasma@unaffiliated/plasmastar) |
| 02:38:19 | × | wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Client Quit) |
| 02:38:24 | → | Majoo joins (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) |
| 02:38:26 | → | pierrot_ joins (~pi@vmi95795.contabo.host) |
| 02:38:26 | → | alexelcu_ joins (~alexelcu@142.93.180.198) |
| 02:38:33 | → | aidecoe_ joins (~aidecoe@unaffiliated/aidecoe) |
| 02:38:41 | → | Tene_ joins (~tene@mail.digitalkingdom.org) |
| 02:38:42 | → | d-q-d joins (id@wikipedia/dqd) |
| 02:38:45 | → | some02 joins (~lax@unaffiliated/laxask) |
| 02:38:46 | → | kav_ joins (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) |
| 02:38:48 | → | cross_ joins (~cross@spitfire.i.gajendra.net) |
| 02:38:49 | → | eager_lambda joins (~gdrvnl@cpe-76-94-36-134.socal.res.rr.com) |
| 02:38:50 | → | comboy_ joins (~quassel@tesuji.pl) |
| 02:38:53 | → | m1dnight1 joins (~m1dnight@188.ip-51-91-158.eu) |
| 02:38:54 | → | energizer_ joins (~energizer@unaffiliated/energizer) |
| 02:38:55 | → | Vq_ joins (~vq@90-227-195-41-no77.tbcn.telia.com) |
| 02:38:56 | → | ahf_ joins (ahf@irssi/staff/ahf) |
| 02:39:00 | → | jchia__ joins (~jchia@jungle.jchia.net) |
| 02:39:04 | → | kelton joins (~keltono@x-160-94-179-178.acm.umn.edu) |
| 02:39:06 | → | kaol_ joins (~kaol@178.62.241.234) |
| 02:39:10 | → | ayako joins (~bnq@herrokitty.com) |
| 02:39:12 | → | Cheery_ joins (~cheery@7-239-179-185.static.tentacle.fi) |
| 02:39:20 | → | cynick_ joins (~worm@ec2-52-206-86-1.compute-1.amazonaws.com) |
| 02:39:21 | → | EvanR_ joins (~evan@mail.evanr.info) |
| 02:39:29 | → | ezzieygu1wuf joins (~Unknown@unaffiliated/ezzieyguywuf) |
| 02:39:31 | → | forell_ joins (~forell@unaffiliated/forell) |
| 02:39:36 | → | klardots1 joins (~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net) |
| 02:39:49 | → | w2gz joins (~do@159.89.11.133) |
| 02:39:56 | → | zx__ joins (~oracle@unaffiliated/oracle) |
| 02:40:02 | × | Vulfe quits (~vulfe@2600:1702:31b0:34e0:b1ad:809d:33ad:d747) (Remote host closed the connection) |
| 02:40:22 | → | Maxdaman1us joins (~Maxdamant@unaffiliated/maxdamantus) |
| 02:40:24 | → | infinity0_ joins (~infinity0@occupy.ecodis.net) |
| 02:40:24 | × | infinity0_ quits (~infinity0@occupy.ecodis.net) (Changing host) |
| 02:40:24 | → | infinity0_ joins (~infinity0@freenet/developer/infinity0) |
| 02:40:24 | × | infinity0 quits (~infinity0@freenet/developer/infinity0) (Killed (moon.freenode.net (Nickname regained by services))) |
| 02:40:24 | infinity0_ | is now known as infinity0 |
| 02:40:36 | → | columbarius1 joins (~columbari@i5E86B379.versanet.de) |
| 02:40:44 | → | patrick2 joins (~tarpk@ool-182dca76.dyn.optonline.net) |
| 02:40:56 | → | noctux` joins (AKT8cvvYoA@unaffiliated/noctux) |
| 02:41:07 | → | _phaul joins (~phaul@ruby/staff/phaul) |
| 02:41:23 | → | davve_ joins (davve@bsd.douchedata.com) |
| 02:41:40 | → | b3zi joins (~b3z@vmd41962.contaboserver.net) |
| 02:42:16 | → | stefan-__ joins (~cri@42dots.de) |
| 02:42:33 | → | zmagii_ joins (~zmagii@unaffiliated/zmagii) |
| 02:42:34 | → | wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 02:42:39 | → | cyphase_eviltwin joins (~cyphase@unaffiliated/cyphase) |
| 02:43:00 | → | sepples_ joins (~sepples@67.205.168.224) |
| 02:43:30 | → | rkv joins (~user@138.197.72.132) |
| 02:43:30 | → | tanuki_ joins (~quassel@173.168.154.189) |
| 02:43:46 | → | jtobin_ joins (~jtobin@li1555-212.members.linode.com) |
| 02:43:47 | → | Tspoon_ joins (tlarjoma@hilla.kapsi.fi) |
| 02:43:52 | × | zfnmxt quits (~zfnmxt@unaffiliated/zfnmxt) (*.net *.split) |
| 02:43:52 | × | ezrakilty quits (~ezrakilty@75-172-99-84.tukw.qwest.net) (*.net *.split) |
| 02:43:52 | × | columbarius quits (~columbari@i5E86B379.versanet.de) (*.net *.split) |
| 02:43:52 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (*.net *.split) |
| 02:43:52 | × | b4er quits (~b4er@91.193.4.138) (*.net *.split) |
| 02:43:52 | × | thebnq quits (~bnq@herrokitty.com) (*.net *.split) |
| 02:43:52 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (*.net *.split) |
| 02:43:52 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (*.net *.split) |
| 02:43:52 | × | ezzieyguywuf quits (~Unknown@unaffiliated/ezzieyguywuf) (*.net *.split) |
| 02:43:52 | × | klardotsh quits (~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net) (*.net *.split) |
| 02:43:52 | × | Tesseraction quits (~Tesseract@unaffiliated/tesseraction) (*.net *.split) |
| 02:43:52 | × | sm2n quits (~sm2n@bras-base-hmtnon1497w-grc-43-64-231-95-247.dsl.bell.ca) (*.net *.split) |
| 02:43:52 | × | leafiest quits (~leafiest@165.227.53.12) (*.net *.split) |
| 02:43:52 | × | jchia__1 quits (~jchia@58.32.64.17) (*.net *.split) |
| 02:43:52 | × | PlasmaStar quits (plasma@unaffiliated/plasmastar) (*.net *.split) |
| 02:43:52 | × | forell quits (~forell@unaffiliated/forell) (*.net *.split) |
| 02:43:52 | × | fiddlerwoaroof quits (~fiddlerwo@unaffiliated/fiddlerwoaroof) (*.net *.split) |
| 02:43:52 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (*.net *.split) |
| 02:43:52 | × | ridcully quits (~ridcully@pd951f4de.dip0.t-ipconnect.de) (*.net *.split) |
| 02:43:52 | × | lyxia quits (~lyxia@poisson.chat) (*.net *.split) |
| 02:43:52 | × | Majiir quits (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) (*.net *.split) |
| 02:43:52 | × | zmagii quits (~zmagii@unaffiliated/zmagii) (*.net *.split) |
| 02:43:52 | × | tolt quits (~weechat-h@li219-154.members.linode.com) (*.net *.split) |
| 02:43:52 | × | Clint quits (~Clint@libre.fm/hacker/clint) (*.net *.split) |
| 02:43:52 | × | patrick1 quits (~tarpk@ool-182dca76.dyn.optonline.net) (*.net *.split) |
| 02:43:52 | × | arahael quits (~arahael@194-193-194-178.tpgi.com.au) (*.net *.split) |
| 02:43:52 | × | stefan-_ quits (~cri@42dots.de) (*.net *.split) |
| 02:43:52 | × | cgfbee quits (~bot@oc1.itim-cj.ro) (*.net *.split) |
| 02:43:52 | × | keltono quits (~keltono@x-160-94-179-178.acm.umn.edu) (*.net *.split) |
| 02:43:52 | × | kav quits (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) (*.net *.split) |
| 02:43:52 | × | clynamen quits (~clynamen@net-93-71-86-202.cust.vodafonedsl.it) (*.net *.split) |
| 02:43:52 | × | dcoutts quits (~dcoutts@unaffiliated/dcoutts) (*.net *.split) |
| 02:43:52 | × | russruss quits (~russruss@my.russellmcc.com) (*.net *.split) |
| 02:43:52 | × | codedmart quits (~codedmart@149.28.9.205) (*.net *.split) |
| 02:43:52 | × | blissful quits (~blissful@unaffiliated/azuline) (*.net *.split) |
| 02:43:52 | × | dqd quits (id@wikipedia/dqd) (*.net *.split) |
| 02:43:52 | × | djanatyn quits (~djanatyn@ec2-18-209-155-56.compute-1.amazonaws.com) (*.net *.split) |
| 02:43:52 | × | Vq quits (~vq@90-227-195-41-no77.tbcn.telia.com) (*.net *.split) |
| 02:43:52 | × | nrdmn quits (~nrdmn@95.129.53.118) (*.net *.split) |
| 02:43:52 | × | so quits (~so@unaffiliated/so) (*.net *.split) |
| 02:43:52 | × | sudden quits (~lax@unaffiliated/laxask) (*.net *.split) |
| 02:43:52 | × | rkvist quits (~user@138.197.72.132) (*.net *.split) |
| 02:43:52 | × | Cheery quits (~cheery@7-239-179-185.static.tentacle.fi) (*.net *.split) |
| 02:43:52 | × | davve quits (davve@bsd.douchedata.com) (*.net *.split) |
| 02:43:52 | × | saurik quits (saurik@carrier.saurik.com) (*.net *.split) |
| 02:43:52 | × | m1dnight_ quits (~m1dnight@188.ip-51-91-158.eu) (*.net *.split) |
| 02:43:52 | × | s4msung quits (XqcfcDRHGx@karif.server-speed.net) (*.net *.split) |
| 02:43:52 | × | EvanR quits (~evan@unaffiliated/evanr) (*.net *.split) |
| 02:43:52 | × | energizer quits (~energizer@unaffiliated/energizer) (*.net *.split) |
| 02:43:52 | × | Drezil quits (~sdressel@pwning.de) (*.net *.split) |
| 02:43:52 | × | ahf quits (ahf@irssi/staff/ahf) (*.net *.split) |
| 02:43:52 | × | lnx quits (~irssi@167.71.7.27) (*.net *.split) |
| 02:43:52 | × | kloeri quits (~kloeri@freenode/staff/exherbo.kloeri) (*.net *.split) |
| 02:43:52 | × | Varis quits (~Tadas@unaffiliated/varis) (*.net *.split) |
| 02:43:52 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (*.net *.split) |
| 02:43:52 | × | Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (*.net *.split) |
| 02:43:52 | × | DTZUZU quits (~DTZUZU@205.ip-149-56-132.net) (*.net *.split) |
| 02:43:52 | × | r4d1x quits (~r4d1x@185.163.110.125) (*.net *.split) |
| 02:43:52 | × | sunrise quits (~sunrise@51.194.80.91) (*.net *.split) |
| 02:43:52 | × | jchia quits (~jchia@58.32.37.71) (*.net *.split) |
| 02:43:52 | × | shatriff quits (~vitaliish@176-52-216-242.irishtelecom.com) (*.net *.split) |
| 02:43:52 | × | phaul quits (~phaul@ruby/staff/phaul) (*.net *.split) |
| 02:43:52 | × | cyphase quits (~cyphase@unaffiliated/cyphase) (*.net *.split) |
| 02:43:52 | × | jluttine quits (~jluttine@87-95-146-110.bb.dnainternet.fi) (*.net *.split) |
| 02:43:52 | × | drewolson quits (~drewolson@64.227.24.16) (*.net *.split) |
| 02:43:52 | × | wz1000 quits (~wz1000@static.11.113.47.78.clients.your-server.de) (*.net *.split) |
| 02:43:52 | × | aidecoe quits (~aidecoe@unaffiliated/aidecoe) (*.net *.split) |
| 02:43:52 | × | Tene quits (~tene@poipu/supporter/slacker/tene) (*.net *.split) |
| 02:43:52 | × | Dykam quits (Dykam@dykam.nl) (*.net *.split) |
| 02:43:52 | × | kish` quits (~oracle@unaffiliated/oracle) (*.net *.split) |
| 02:43:52 | × | hvr quits (~hvr@haskell/developer/hvr) (*.net *.split) |
| 02:43:52 | × | xsperry quits (~as@unaffiliated/xsperry) (*.net *.split) |
| 02:43:52 | × | Tspoon quits (tlarjoma@hilla.kapsi.fi) (*.net *.split) |
| 02:43:52 | × | grdvnl quits (~gdrvnl@cpe-76-94-36-134.socal.res.rr.com) (*.net *.split) |
| 02:43:52 | × | dequbed quits (~dequbed@yanduxian.paranoidlabs.org) (*.net *.split) |
| 02:43:52 | × | alexelcu quits (~alexelcu@142.93.180.198) (*.net *.split) |
| 02:43:52 | × | gienah quits (~mwright@gentoo/developer/gienah) (*.net *.split) |
| 02:43:52 | × | cross quits (~cross@spitfire.i.gajendra.net) (*.net *.split) |
| 02:43:52 | × | grumble quits (~Thunderbi@freenode/staff/grumble) (*.net *.split) |
| 02:43:52 | × | madnight quits (~madnight@static.59.103.201.195.clients.your-server.de) (*.net *.split) |
| 02:43:52 | × | pierrot quits (~pi@unaffiliated/pierrot) (*.net *.split) |
| 02:43:52 | × | b3z quits (~b3z@vmd41962.contaboserver.net) (*.net *.split) |
| 02:43:52 | × | Maxdamantus quits (~Maxdamant@unaffiliated/maxdamantus) (*.net *.split) |
| 02:43:52 | × | johnyginthehouse quits (~johnygint@159.203.30.32) (*.net *.split) |
| 02:43:52 | × | TommyC quits (~TommyC@unaffiliated/sepulchralbloom) (*.net *.split) |
| 02:43:52 | × | RoguePointer quits (~jigen@unaffiliated/roguepointer) (*.net *.split) |
| 02:43:52 | × | Deewiant quits (~deewiant@de1.ut.deewiant.iki.fi) (*.net *.split) |
| 02:43:52 | × | connrs_ quits (~connrs@runciter.connrs.uk) (*.net *.split) |
| 02:43:52 | × | w1gz quits (~do@159.89.11.133) (*.net *.split) |
| 02:43:52 | × | tanuki quits (~quassel@173.168.154.189) (*.net *.split) |
| 02:43:52 | × | mmaruseacph2 quits (~mihai@198.199.100.72) (*.net *.split) |
| 02:43:52 | × | marble_visions quits (~user@68.183.79.8) (*.net *.split) |
| 02:43:52 | × | cynick quits (~worm@ec2-52-206-86-1.compute-1.amazonaws.com) (*.net *.split) |
| 02:43:52 | × | jtobin quits (~jtobin@li1555-212.members.linode.com) (*.net *.split) |
| 02:43:52 | × | cpape quits (~user@static.180.18.203.116.clients.your-server.de) (*.net *.split) |
| 02:43:52 | × | sepples quits (~sepples@67.205.168.224) (*.net *.split) |
| 02:43:52 | × | comboy quits (~quassel@tesuji.pl) (*.net *.split) |
| 02:43:52 | × | noctuks quits (LXxZtpfPfM@unaffiliated/noctux) (*.net *.split) |
| 02:43:52 | × | reactormonk quits (~reactormo@mehl.schokokeks.org) (*.net *.split) |
| 02:43:52 | × | kaol quits (~kaol@178.62.241.234) (*.net *.split) |
| 02:43:52 | rkv | is now known as rkvist |
| 02:43:53 | → | lyxia_ joins (~lyxia@poisson.chat) |
| 02:43:54 | Plas | is now known as PlasmaStar |
| 02:43:54 | leafiest4 | is now known as leafiest |
| 02:43:54 | russruss0 | is now known as russruss |
| 02:43:54 | drewolson3 | is now known as drewolson |
| 02:43:57 | Lord_of_Life_ | is now known as Lord_of_Life |
| 02:43:57 | azuline | is now known as blissful |
| 02:44:06 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 02:44:10 | → | fiddlerwoaroof joins (~fiddlerwo@unaffiliated/fiddlerwoaroof) |
| 02:44:19 | → | grumble joins (~Thunderbi@freenode/staff/grumble) |
| 02:44:25 | → | TommyC joins (~TommyC@unaffiliated/sepulchralbloom) |
| 02:44:29 | → | wz1000 joins (~wz1000@static.11.113.47.78.clients.your-server.de) |
| 02:44:32 | forell_ | is now known as forell |
| 02:44:33 | dcoutts_ | is now known as dcoutts |
| 02:44:45 | lyxia_ | is now known as lyxia |
| 02:44:48 | → | tolt joins (~weechat-h@li219-154.members.linode.com) |
| 02:44:50 | → | jluttine joins (~jluttine@87-95-146-110.bb.dnainternet.fi) |
| 02:45:05 | cyphase_eviltwin | is now known as cyphase |
| 02:45:11 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 02:45:34 | → | cgfbee joins (~bot@oc1.itim-cj.ro) |
| 02:45:35 | × | ezzieygu1wuf quits (~Unknown@unaffiliated/ezzieyguywuf) (Quit: leaving) |
| 02:45:45 | → | kloeri joins (~kloeri@freenode/staff/exherbo.kloeri) |
| 02:45:53 | → | ezzieyguywuf joins (~Unknown@unaffiliated/ezzieyguywuf) |
| 02:46:07 | → | ezrakilty joins (~ezrakilty@75-172-99-84.tukw.qwest.net) |
| 02:46:14 | × | xff0x_ quits (~fox@2001:1a81:5204:2a00:adb6:cba:f871:aaef) (Ping timeout: 264 seconds) |
| 02:46:30 | → | johnyginthehouse joins (~johnygint@159.203.30.32) |
| 02:47:02 | → | saurik joins (saurik@carrier.saurik.com) |
| 02:47:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:48:05 | → | xff0x_ joins (~fox@2001:1a81:523c:2500:f1ae:7341:a74:d8a4) |
| 02:49:30 | → | Deewiant joins (~deewiant@de1.ut.deewiant.iki.fi) |
| 02:49:31 | → | Clint joins (~Clint@libre.fm/hacker/clint) |
| 02:49:47 | → | mmaruseacph2 joins (~mihai@198.199.100.72) |
| 02:49:47 | × | crblmr quits (~carbolyme@matrix.dropacid.net) (Ping timeout: 272 seconds) |
| 02:49:49 | → | s4msung joins (LcSHfG9cfA@karif.server-speed.net) |
| 02:51:08 | → | arahael joins (~arahael@194-193-194-178.tpgi.com.au) |
| 02:51:20 | → | reactormonk joins (~reactormo@mehl.schokokeks.org) |
| 02:51:33 | → | jchia joins (~jchia@58.32.37.71) |
| 02:51:34 | → | crblmr joins (~carbolyme@matrix.dropacid.net) |
| 02:52:16 | DTZUZU_ | is now known as DTZUZU |
| 02:52:20 | × | ezrakilty quits (~ezrakilty@75-172-99-84.tukw.qwest.net) (Remote host closed the connection) |
| 02:52:50 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 265 seconds) |
| 02:52:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 02:53:25 | × | wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 02:53:39 | × | jmchael quits (~jmchael@81.174.205.210) (Ping timeout: 256 seconds) |
| 02:56:36 | energizer_ | is now known as energizer |
| 02:57:03 | × | perdent quits (~perdent@101.175.79.103) (Read error: No route to host) |
| 02:58:17 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 02:59:23 | → | sunrise- joins (~sunrise@51.194.80.91) |
| 02:59:23 | → | lnx joins (~irssi@167.71.7.27) |
| 02:59:33 | → | so joins (~so@unaffiliated/so) |
| 03:02:57 | → | artyom joins (uid480728@gateway/web/irccloud.com/x-nqqalknrlwpfzvsu) |
| 03:03:04 | × | sunrise- quits (~sunrise@51.194.80.91) (Ping timeout: 246 seconds) |
| 03:04:43 | ← | artyom parts (uid480728@gateway/web/irccloud.com/x-nqqalknrlwpfzvsu) () |
| 03:04:51 | → | artyom joins (uid480728@gateway/web/irccloud.com/x-nqqalknrlwpfzvsu) |
| 03:05:49 | → | sunrise joins (~sunrise@51.194.80.91) |
| 03:05:55 | × | b4er_ quits (~b4er@91.193.4.138) (Quit: bye!) |
| 03:06:02 | → | b4er_ joins (~b4er@91.193.4.138) |
| 03:06:45 | × | b4er_ quits (~b4er@91.193.4.138) (Client Quit) |
| 03:06:55 | → | b4er joins (~b4er@91.193.4.138) |
| 03:08:36 | → | xirhtogal joins (~lagothrix@unaffiliated/lagothrix) |
| 03:08:36 | lagothrix | is now known as Guest41137 |
| 03:08:36 | × | Guest41137 quits (~lagothrix@unaffiliated/lagothrix) (Killed (verne.freenode.net (Nickname regained by services))) |
| 03:08:36 | xirhtogal | is now known as lagothrix |
| 03:10:16 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 03:11:38 | → | sgibber2018 joins (~arch-gibb@208.85.237.144) |
| 03:15:13 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 03:15:48 | → | Vulfe joins (~vulfe@2600:1702:31b0:34e0:b1ad:809d:33ad:d747) |
| 03:18:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:20:07 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:143:c475:d20e:3db4:7e5b) |
| 03:20:11 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 03:20:23 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 03:20:25 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-134-164.cust.tzulo.com) (Quit: Leaving) |
| 03:22:40 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 03:23:28 | × | DavidEichmann quits (~david@98.27.93.209.dyn.plus.net) (Ping timeout: 272 seconds) |
| 03:23:35 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 03:27:43 | → | jedws joins (~jedws@121.209.189.201) |
| 03:32:59 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 03:33:15 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 03:37:49 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 03:38:17 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ccd9:595d:1bc6:b87f) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:45:54 | → | rcdilorenzo joins (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) |
| 03:47:44 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 03:51:15 | × | elliott_ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Quit: WeeChat 3.0) |
| 03:51:40 | → | paintedindigo joins (~paintedin@2603-6011-4a41-8ada-018a-f7f2-872c-c5dd.res6.spectrum.com) |
| 03:52:17 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 03:53:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 03:54:46 | × | paintedindigo quits (~paintedin@2603-6011-4a41-8ada-018a-f7f2-872c-c5dd.res6.spectrum.com) (Client Quit) |
| 03:55:25 | → | Tario joins (~Tario@201.192.165.173) |
| 03:55:34 | × | b4er quits (~b4er@91.193.4.138) (Ping timeout: 246 seconds) |
| 03:56:29 | × | theDon quits (~td@muedsl-82-207-238-124.citykom.de) (Ping timeout: 260 seconds) |
| 03:56:37 | × | sunrise quits (~sunrise@51.194.80.91) (Ping timeout: 246 seconds) |
| 03:58:05 | → | theDon joins (~td@94.134.91.73) |
| 04:00:35 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 04:02:53 | × | zyeri quits (zyeri@tilde.team/users/zyeri) (Ping timeout: 260 seconds) |
| 04:03:34 | × | Feuermagier quits (~Feuermagi@213.178.26.41) (Ping timeout: 268 seconds) |
| 04:04:02 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 04:05:25 | × | smitop quits (uid328768@gateway/web/irccloud.com/x-iwjcwisgjfpgyqcb) (Quit: Connection closed for inactivity) |
| 04:05:49 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
| 04:08:28 | × | Guest63263 quits (~azure@36.79.200.71) (Quit: WeeChat 2.9) |
| 04:10:22 | → | drbean joins (~drbean@TC210-63-209-88.static.apol.com.tw) |
| 04:14:02 | → | FreeBirdLjj joins (~freebirdl@101.87.175.26) |
| 04:14:10 | × | FreeBirdLjj quits (~freebirdl@101.87.175.26) (Read error: Connection reset by peer) |
| 04:19:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:24:49 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 04:29:01 | → | Saukk joins (~Saukk@83-148-239-3.dynamic.lounea.fi) |
| 04:32:54 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 04:33:14 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 04:33:42 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 04:42:31 | → | Guest_32 joins (ae72a197@cpe00fc8d386d93-cm00fc8d386d90.cpe.net.cable.rogers.com) |
| 04:44:40 | × | Guest_32 quits (ae72a197@cpe00fc8d386d93-cm00fc8d386d90.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 04:44:49 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 04:44:54 | × | dfeuer quits (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 04:47:26 | × | PyroLagus quits (PyroLagus@i.have.ipv6.on.coding4coffee.org) (Ping timeout: 264 seconds) |
| 04:48:02 | × | raid_ quits (macbookpro@irc-1.coding4.coffee) (Ping timeout: 264 seconds) |
| 04:50:43 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 240 seconds) |
| 04:52:35 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:53:07 | × | dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 04:53:22 | EvanR_ | is now known as EvanR |
| 04:53:27 | → | dirediresalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 04:53:33 | × | EvanR quits (~evan@mail.evanr.info) (Changing host) |
| 04:53:33 | → | EvanR joins (~evan@unaffiliated/evanr) |
| 04:55:00 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 04:56:09 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 05:00:13 | → | PyroLagus joins (PyroLagus@i.have.ipv6.on.coding4coffee.org) |
| 05:02:09 | → | raid joins (macbookpro@irc-1.coding4.coffee) |
| 05:06:53 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 05:08:38 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 258 seconds) |
| 05:12:34 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 05:14:03 | × | jchia__ quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 05:14:44 | → | jchia__ joins (~jchia@58.32.64.17) |
| 05:16:48 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:143:c475:d20e:3db4:7e5b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 05:21:33 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 05:24:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:ccd9:595d:1bc6:b87f) |
| 05:24:50 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 05:26:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 05:28:50 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 264 seconds) |
| 05:29:33 | → | jane_ joins (~jane@71-208-213-249.ftmy.qwest.net) |
| 05:30:20 | × | jane_ quits (~jane@71-208-213-249.ftmy.qwest.net) (Remote host closed the connection) |
| 05:31:06 | → | jane_ joins (~jane@71-208-213-249.ftmy.qwest.net) |
| 05:31:55 | × | jane_ quits (~jane@71-208-213-249.ftmy.qwest.net) (Remote host closed the connection) |
| 05:34:25 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Ping timeout: 240 seconds) |
| 05:38:44 | → | jakob_ joins (~textual@p200300f49f08720095c6e51be9f71be9.dip0.t-ipconnect.de) |
| 05:40:11 | → | cassim- joins (~cassim_@51.194.80.91) |
| 05:41:21 | × | jakob_ quits (~textual@p200300f49f08720095c6e51be9f71be9.dip0.t-ipconnect.de) (Client Quit) |
| 05:41:58 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 05:47:38 | Maxdaman1us | is now known as Maxdamantus |
| 05:48:49 | × | xsperry quits (~as@unaffiliated/xsperry) (Ping timeout: 264 seconds) |
| 05:53:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:58:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 06:01:22 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 06:04:02 | × | frankdmartinez quits (~frankdmar@184.170.253.89) (Ping timeout: 256 seconds) |
| 06:05:11 | × | Lowl3v3l quits (~Lowl3v3l@dslb-084-062-101-233.084.062.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 06:11:33 | → | Lowl3v3l joins (~Lowl3v3l@dslb-084-062-101-233.084.062.pools.vodafone-ip.de) |
| 06:15:23 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 06:18:08 | × | Vulfe quits (~vulfe@2600:1702:31b0:34e0:b1ad:809d:33ad:d747) (Remote host closed the connection) |
| 06:21:27 | × | gioyik_ quits (~gioyik@179.32.228.107) (Quit: WeeChat 3.0) |
| 06:21:37 | → | olligobber joins (~olligobbe@unaffiliated/olligobber) |
| 06:21:46 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Ping timeout: 256 seconds) |
| 06:31:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:32:07 | × | dan64- quits (~dan64@dannyadam.com) (Quit: ZNC - http://znc.in) |
| 06:32:31 | → | dan64 joins (~dan64@dannyadam.com) |
| 06:33:30 | → | Vulfe joins (~vulfe@2600:1702:31b0:34e0:b1ad:809d:33ad:d747) |
| 06:35:15 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 06:38:21 | × | Vulfe quits (~vulfe@2600:1702:31b0:34e0:b1ad:809d:33ad:d747) (Ping timeout: 268 seconds) |
| 06:40:16 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:45:56 | → | iqubic` joins (~user@c-67-171-38-72.hsd1.wa.comcast.net) |
| 06:46:01 | × | iqubic` quits (~user@c-67-171-38-72.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 06:46:14 | × | solonarv quits (~solonarv@astrasbourg-653-1-252-231.w92-161.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 06:46:27 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 06:47:30 | × | iqubic quits (~user@2601:602:9500:4870:b553:c156:aded:724d) (Read error: Connection reset by peer) |
| 06:48:43 | × | tzh_ quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 06:51:13 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 06:52:26 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 06:56:14 | × | Nikotiini quits (~ubuntu@ec2-52-213-118-142.eu-west-1.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 07:02:39 | → | ezrakilty joins (~ezrakilty@75-172-99-84.tukw.qwest.net) |
| 07:02:47 | → | philopsos joins (~caecilius@gateway/tor-sasl/caecilius) |
| 07:04:53 | → | Vulfe joins (~vulfe@2600:1702:31b0:34e0:b1ad:809d:33ad:d747) |
| 07:05:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 07:07:14 | × | ezrakilty quits (~ezrakilty@75-172-99-84.tukw.qwest.net) (Ping timeout: 264 seconds) |
| 07:09:38 | × | Vulfe quits (~vulfe@2600:1702:31b0:34e0:b1ad:809d:33ad:d747) (Ping timeout: 264 seconds) |
| 07:10:15 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 07:14:29 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-hqfdpizxijwctpzd) (Quit: Connection closed for inactivity) |
| 07:18:24 | × | boxscape quits (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) (Quit: Connection closed) |
| 07:20:01 | × | mozzarella quits (~sam@unaffiliated/sam113101) (Read error: Connection reset by peer) |
| 07:27:11 | → | ezrakilty joins (~ezrakilty@75-172-99-84.tukw.qwest.net) |
| 07:33:03 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:36:39 | × | Saukk quits (~Saukk@83-148-239-3.dynamic.lounea.fi) (Remote host closed the connection) |
| 07:38:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 07:39:58 | → | c94a7 joins (62232e67@c-98-35-46-103.hsd1.ca.comcast.net) |
| 07:41:03 | → | Nikotiini joins (~ubuntu@ec2-52-213-118-142.eu-west-1.compute.amazonaws.com) |
| 07:44:00 | × | c94a7 quits (62232e67@c-98-35-46-103.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 07:44:36 | → | chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
| 07:45:24 | × | chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Client Quit) |
| 07:48:06 | → | mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
| 07:48:22 | → | c94a7 joins (62232e67@c-98-35-46-103.hsd1.ca.comcast.net) |
| 07:48:35 | <c94a7> | so, using parametricity, you can show that any element of type `forall t:*, t -> t` is the polymorphic identity function |
| 07:49:35 | <c94a7> | can you do the same for `forall f:*->*, forall a:*, f a -> f a`? |
| 07:50:57 | <c94a7> | expanding out the free |
| 07:51:17 | <c94a7> | theorem doesn't give me what I want because it's too hard to use the free theorem for f |
| 07:51:36 | <c94a7> | even though it's obvious that "there's only the identity function you can define" |
| 07:57:11 | × | c94a7 quits (62232e67@c-98-35-46-103.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 07:58:22 | → | c94a7 joins (62232e67@c-98-35-46-103.hsd1.ca.comcast.net) |
| 08:05:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:06:46 | → | hololeap joins (~hololeap@unaffiliated/hololeap) |
| 08:07:10 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ccd9:595d:1bc6:b87f) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 08:07:12 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-tmfywdizfrmonpis) (Quit: Connection closed for inactivity) |
| 08:08:06 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 08:10:37 | <gentauro> | any users of `xmonad` know how to `spawn` a `xterm` and run a `command`? I'm looking to hook up my F7 (Screen with code 0x1008FF59) to starting `xterm and running xrandr` |
| 08:17:38 | → | Deide joins (~Deide@217.155.19.23) |
| 08:19:35 | × | fissureman quits (~quassel@c-73-163-84-25.hsd1.dc.comcast.net) (Quit: No Ping reply in 180 seconds.) |
| 08:20:23 | × | c94a7 quits (62232e67@c-98-35-46-103.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 08:21:16 | → | fissureman joins (~quassel@c-73-163-84-25.hsd1.dc.comcast.net) |
| 08:25:46 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 08:29:19 | <gentauro> | this seems to work: `, ((0, 0x1008FF59), spawn $ "uxterm -e \"xrandr && read -n1 -r -p 'Press any key to continue…' key\"")` |
| 08:30:13 | → | boxscape joins (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) |
| 08:33:20 | <boxscape> | % :t id @Show |
| 08:33:20 | <yahb> | boxscape: ; <interactive>:1:5: error:; * Expecting one more argument to `Show'; Expected a type, but `Show' has kind `* -> Constraint'; * In the type `Show'; In the expression: id @Show |
| 08:33:21 | × | ezrakilty quits (~ezrakilty@75-172-99-84.tukw.qwest.net) (Remote host closed the connection) |
| 08:33:25 | <boxscape> | interesting |
| 08:33:35 | <boxscape> | I have no output in my version |
| 08:34:05 | <boxscape> | % :!ghc --version |
| 08:34:05 | <yahb> | boxscape: The Glorious Glasgow Haskell Compilation System, version 8.10.1 |
| 08:34:08 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Read error: No route to host) |
| 08:34:20 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 08:35:30 | <boxscape> | ah, https://gitlab.haskell.org/ghc/ghc/-/issues/18775 |
| 08:35:39 | <gentauro> | boxscape: there is no Showable for `functions` as I recall it |
| 08:35:47 | <gentauro> | % :t id |
| 08:35:47 | <yahb> | gentauro: a -> a |
| 08:36:19 | <boxscape> | gentauro I'm fine with yahb's error message, I was concerned about the lack of an error message in my version |
| 08:36:33 | <gentauro> | boxscape: ahhh |
| 08:39:13 | → | HenryCH joins (~henry@2001:8e0:2003:e600:51f4:ff3a:3320:8dc6) |
| 08:39:49 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 08:39:57 | × | crblmr quits (~carbolyme@matrix.dropacid.net) (Ping timeout: 260 seconds) |
| 08:40:55 | → | Goldio joins (uid478328@gateway/web/irccloud.com/x-rkxhifcclthcpxay) |
| 08:43:10 | → | crblmr joins (~carbolyme@matrix.dropacid.net) |
| 08:44:57 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 08:52:17 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 08:56:54 | → | otulp joins (~otulp@ti0187q162-6038.bb.online.no) |
| 08:57:00 | → | v_m_v joins (~vm_v@31-10-157-87.cgn.dynamic.upc.ch) |
| 08:57:14 | → | mozzarella joins (~sam@unaffiliated/sam113101) |
| 08:58:00 | × | v_m_v quits (~vm_v@31-10-157-87.cgn.dynamic.upc.ch) (Remote host closed the connection) |
| 08:58:25 | → | v_m_v joins (~vm_v@2a02:aa12:3200:6480:14d3:e041:99da:4fe5) |
| 09:02:37 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Remote host closed the connection) |
| 09:05:26 | _phaul | is now known as phaul |
| 09:07:30 | × | jedws quits (~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 09:07:48 | ← | kelton parts (~keltono@x-160-94-179-178.acm.umn.edu) ("WeeChat 2.9") |
| 09:08:26 | → | keltono joins (~keltono@x-160-94-179-178.acm.umn.edu) |
| 09:11:17 | <L29Ah> | upgraded my lambdabot to ghc-8.10.3, now it throws this at me at every interpreter use: |
| 09:11:18 | <L29Ah> | mueval-core: NotAllowed "These modules are not interpreted:\nL\n" |
| 09:11:19 | <L29Ah> | CallStack (from HasCallStack): |
| 09:11:20 | <L29Ah> | error, called at ./Mueval/Interpreter.hs:149:31 in main:Mueval.Interpreter |
| 09:11:24 | <L29Ah> | how do i fix this? |
| 09:11:38 | <L29Ah> | alternatively, are there sources of yahb available anywhere? |
| 09:15:36 | × | Ekho quits (~Ekho@unaffiliated/ekho) (Ping timeout: 268 seconds) |
| 09:15:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:17:48 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:143:c475:d20e:3db4:7e5b) |
| 09:18:38 | RoguePointer_ | is now known as RoguePointer |
| 09:18:38 | × | RoguePointer quits (~jigen@94.177.235.178) (Changing host) |
| 09:18:38 | → | RoguePointer joins (~jigen@unaffiliated/roguepointer) |
| 09:20:32 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 09:21:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 09:21:22 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 09:22:56 | × | drbean quits (~drbean@TC210-63-209-88.static.apol.com.tw) (Ping timeout: 256 seconds) |
| 09:23:34 | × | RoguePointer quits (~jigen@unaffiliated/roguepointer) (Quit: <>) |
| 09:23:56 | → | RoguePointer joins (~jigen@94.177.235.178) |
| 09:23:56 | × | RoguePointer quits (~jigen@94.177.235.178) (Changing host) |
| 09:23:56 | → | RoguePointer joins (~jigen@unaffiliated/roguepointer) |
| 09:24:08 | → | bitmagie joins (~Thunderbi@200116b8067c7200997ddaaffe3e57f9.dip.versatel-1u1.de) |
| 09:24:57 | × | RoguePointer quits (~jigen@unaffiliated/roguepointer) (Client Quit) |
| 09:25:10 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 09:25:22 | → | RoguePointer joins (~jigen@94.177.235.178) |
| 09:25:22 | × | RoguePointer quits (~jigen@94.177.235.178) (Changing host) |
| 09:25:22 | → | RoguePointer joins (~jigen@unaffiliated/roguepointer) |
| 09:26:10 | <nf> | L29Ah: this was fixed in https://github.com/lambdabot/lambdabot/commit/04766801a , so simply upgrade lambdabot |
| 09:26:32 | × | bitmagie quits (~Thunderbi@200116b8067c7200997ddaaffe3e57f9.dip.versatel-1u1.de) (Client Quit) |
| 09:27:39 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 09:29:50 | <boxscape> | hmm 8.10.1 is 8.10.1, right, there aren't multiple slightly different version with that name? Because I'm getting an error in yahb for `:t id @Maybe`, but in my own 8.10.1, I'm not getting an error |
| 09:29:53 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 09:30:13 | <L29Ah> | nf: thanks! |
| 09:31:16 | <nf> | maybe yahb has some extension enabled that changes the behaviour? |
| 09:32:20 | <boxscape> | that could be |
| 09:32:31 | <boxscape> | oh, I should check -f-defer-type-errors, I have that on by default |
| 09:32:42 | <boxscape> | % :set -fdefer-type-errors |
| 09:32:42 | <yahb> | boxscape: |
| 09:32:47 | <boxscape> | % :t id @Maybe |
| 09:32:47 | <yahb> | boxscape: |
| 09:32:52 | <boxscape> | there we go |
| 09:32:54 | <boxscape> | thanks nf |
| 09:34:11 | <nf> | % () :: () () |
| 09:34:11 | <yahb> | nf: ; <interactive>:157:7: error:; * Expected kind `* -> *', but `()' has kind `*'; * In an expression type signature: () (); In the expression: () :: () (); In an equation for `it': it = () :: () () |
| 09:34:25 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 09:40:07 | → | Ekho joins (~Ekho@unaffiliated/ekho) |
| 09:45:55 | × | boxscape quits (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) (Ping timeout: 246 seconds) |
| 09:46:21 | <tomsmeding> | defer type errors, not kind errors :) |
| 09:47:37 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:49:39 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 09:55:35 | <idnar> | haha |
| 09:57:16 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 10:00:00 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-pggmrnaelsyxiuyq) (Quit: Connection closed for inactivity) |
| 10:11:23 | → | jneira joins (5127ac9c@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.156) |
| 10:11:43 | × | olligobber quits (~olligobbe@unaffiliated/olligobber) (Remote host closed the connection) |
| 10:13:13 | × | HenryCH quits (~henry@2001:8e0:2003:e600:51f4:ff3a:3320:8dc6) () |
| 10:21:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 10:23:38 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection) |
| 10:29:59 | <nf> | oh |
| 10:30:09 | <nf> | % () :: Int |
| 10:30:10 | <yahb> | nf: ; <interactive>:158:1: error:; * Couldn't match expected type `Int' with actual type `()'; * In the expression: () :: Int; In an equation for `it': it = () :: Int |
| 10:30:36 | <nf> | hm |
| 10:31:25 | <nf> | i guess that's runtime |
| 10:31:29 | <nf> | % :t () :: Int |
| 10:31:30 | <yahb> | nf: ; <interactive>:1:1: warning: [-Wdeferred-type-errors]; * Couldn't match expected type `Int' with actual type `()'; * In the expression: () :: Int; Int |
| 10:31:42 | <nf> | ah, warning |
| 10:39:43 | × | xff0x_ quits (~fox@2001:1a81:523c:2500:f1ae:7341:a74:d8a4) (Ping timeout: 272 seconds) |
| 10:40:06 | → | xff0x_ joins (~fox@2001:1a81:523c:2500:f644:81a2:cc72:acd9) |
| 10:44:16 | → | kuribas joins (~user@ptr-25vy0i9khg66sw78tsx.18120a2.ip6.access.telenet.be) |
| 10:50:36 | × | Goldio quits (uid478328@gateway/web/irccloud.com/x-rkxhifcclthcpxay) (Quit: Connection closed for inactivity) |
| 10:50:40 | × | mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 10:52:54 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:143:c475:d20e:3db4:7e5b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 10:52:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:53:29 | → | CoolMa7 joins (~ColMa7@ip5b40916b.dynamic.kabel-deutschland.de) |
| 10:54:31 | × | CoolMa7 quits (~ColMa7@ip5b40916b.dynamic.kabel-deutschland.de) (Client Quit) |
| 10:54:55 | × | xff0x_ quits (~fox@2001:1a81:523c:2500:f644:81a2:cc72:acd9) (Ping timeout: 272 seconds) |
| 10:55:22 | → | xff0x_ joins (~fox@2001:1a81:523c:2500:c455:def8:ed0e:7eec) |
| 10:58:03 | → | ljubinkovicdj93 joins (b2ddb932@178-221-185-50.dynamic.isp.telekom.rs) |
| 10:58:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 11:03:32 | → | madjestic joins (~Android@86-88-72-244.fixed.kpn.net) |
| 11:04:17 | → | fendor joins (~fendor@178.115.129.22.wireless.dyn.drei.com) |
| 11:11:49 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 11:12:17 | → | frankdmartinez joins (~frankdmar@184.170.253.89) |
| 11:13:45 | → | Franciman joins (~francesco@host-95-250-152-231.retail.telecomitalia.it) |
| 11:15:11 | → | rmk236 joins (~lcampos@2a02:908:3616:b100:ad41:f5e6:8b3a:bfc3) |
| 11:18:48 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 11:22:35 | × | ljubinkovicdj93 quits (b2ddb932@178-221-185-50.dynamic.isp.telekom.rs) (Ping timeout: 245 seconds) |
| 11:24:38 | → | knupfer joins (~Thunderbi@200116b824c74600c8c21bfffe9df23e.dip.versatel-1u1.de) |
| 11:27:02 | × | knupfer quits (~Thunderbi@200116b824c74600c8c21bfffe9df23e.dip.versatel-1u1.de) (Remote host closed the connection) |
| 11:27:15 | → | knupfer joins (~Thunderbi@200116b824c74600fc8281fa176f08a2.dip.versatel-1u1.de) |
| 11:28:58 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 11:29:45 | × | cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 240 seconds) |
| 11:30:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:30:33 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:143:c475:d20e:3db4:7e5b) |
| 11:30:34 | × | knupfer quits (~Thunderbi@200116b824c74600fc8281fa176f08a2.dip.versatel-1u1.de) (Client Quit) |
| 11:30:46 | → | knupfer joins (~Thunderbi@200116b824c74600fc8281fa176f08a2.dip.versatel-1u1.de) |
| 11:31:58 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 246 seconds) |
| 11:36:46 | <kuribas> | why do haskell libraries have to make things complicated? For example: https://hackage.haskell.org/package/logging-effect-1.3.12/docs/Control-Monad-Log.html#v:logMessageFree |
| 11:37:08 | <kuribas> | That could be just message -> m () |
| 11:37:13 | <merijn> | Don't use libraries who make things complicated? Problem solved |
| 11:37:41 | <kuribas> | it's a trend. |
| 11:37:52 | <merijn> | It's not a trend. That's always been the case |
| 11:38:08 | <kuribas> | ah right :-) |
| 11:38:25 | <merijn> | One third of hackage is abstract nonsense, one third is pragmatic libraries for getting shit done, final third is somewhere in between |
| 11:38:28 | <kuribas> | to be fair, other language have the same problem. |
| 11:38:40 | <merijn> | If you want a simple logging interface, just use monad-logger |
| 11:38:54 | <merijn> | (although I'd wish it'd slim down on dependencies a bit) |
| 11:39:10 | <kuribas> | I don't like that one either. |
| 11:39:19 | <merijn> | Why? |
| 11:39:29 | <merijn> | Can't be due to making things complicated... |
| 11:39:30 | <Uniaika> | bloody hell what is this API |
| 11:39:40 | <kuribas> | TH for logging, really?N |
| 11:39:44 | <__monty__> | kuribas: The docs seem to suggest you want logMessage rather than logMessageFree. |
| 11:39:46 | <merijn> | kuribas: TH is optional |
| 11:40:09 | <merijn> | kuribas: The TH versions are just for getting automtic source locations, you can just...use the non-template versions? |
| 11:40:31 | <kuribas> | __monty__: I have to implement an instance of MonadLog |
| 11:40:46 | <kuribas> | merijn: hmm, okay |
| 11:41:12 | <kuribas> | IMO the rest of logging-effect is fine. |
| 11:41:19 | <merijn> | kuribas: https://hackage.haskell.org/package/monad-logger-0.3.36/docs/Control-Monad-Logger.html#g:8 |
| 11:42:02 | <merijn> | kuribas: "logging with source location" seems a reasonable feature to provide and there's no real way to do that without TH that I can think off |
| 11:42:16 | <kuribas> | yeah |
| 11:42:35 | <merijn> | I just use the non-TH versions in most of my code, though |
| 11:44:16 | <kuribas> | The structure logging from logging-effect is nice though... |
| 11:46:42 | → | dhil joins (~dhil@78.156.97.38) |
| 11:46:45 | → | safinaskar2 joins (~user@109-252-91-163.nat.spd-mgts.ru) |
| 11:47:15 | ← | safinaskar2 parts (~user@109-252-91-163.nat.spd-mgts.ru) () |
| 11:49:24 | <Kronic> | So I'm not alone in completely missing the point of the more abstract libs out there... good to know, although I will say I've found most of the libraries I've come across thus far pretty fun to use with few surprises |
| 11:50:34 | <merijn> | Kronic: Some are really abstract and really useful, some are just really abstract, some are more experimental researchy play things. It all depends |
| 11:50:48 | × | hiroaki quits (~hiroaki@2a02:908:4b18:8c40::ee4f) (Remote host closed the connection) |
| 11:52:23 | → | hiroaki joins (~hiroaki@2a02:908:4b18:8c40::ee4f) |
| 11:52:40 | <kuribas> | IMO most of lens can be done simply in another way. |
| 11:53:47 | <kuribas> | I think microlens exports a useful subset of lens. |
| 11:54:55 | → | cyphase joins (~cyphase@unaffiliated/cyphase) |
| 11:55:15 | <__monty__> | Microlens and optics had the advantage of lens already being a thing though. |
| 11:56:55 | <kuribas> | sure |
| 12:02:14 | <kuribas> | abstract nonsense can often turn out to be useful :) |
| 12:02:38 | × | knupfer quits (~Thunderbi@200116b824c74600fc8281fa176f08a2.dip.versatel-1u1.de) (Ping timeout: 258 seconds) |
| 12:04:01 | <__monty__> | That's why a hackage without impractical libraries wouldn't be nearly as interesting. |
| 12:04:04 | <kuribas> | I think the usefulness of monads outweight their complexity. |
| 12:04:51 | <__monty__> | Are bind and return really that complex? |
| 12:05:04 | <kuribas> | __monty__: monad transformers are... |
| 12:05:37 | <__monty__> | How was I supposed to know you elided transformers? |
| 12:06:13 | <kuribas> | elided? |
| 12:06:48 | → | Shiranai joins (beed4728@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.71.40) |
| 12:06:58 | <__monty__> | You said monads and there was no context to suggest you meant monad transformers. |
| 12:07:14 | <kuribas> | monad transformers are monads |
| 12:07:56 | <__monty__> | But they're not very useful if you only use the monadic interface? |
| 12:08:18 | <kuribas> | is there another interface? |
| 12:08:33 | <kuribas> | you mean mtl? |
| 12:08:42 | × | sgibber2018 quits (~arch-gibb@208.85.237.144) (Quit: WeeChat 3.0) |
| 12:08:57 | <__monty__> | No, I mean without lifts a monad transformer isn't appreciably different from a monad. |
| 12:09:06 | <__monty__> | And hence not more complex either. |
| 12:09:42 | <kuribas> | monads aren't very useful without composing them... |
| 12:09:48 | → | drbean joins (~drbean@TC210-63-209-41.static.apol.com.tw) |
| 12:10:21 | <merijn> | disagree, tbh |
| 12:10:26 | <Kronic> | more complex or not, it took me a good while to understand what it is and why I might want it, and I only kind of understood it once I ran into the problems you face without it |
| 12:10:41 | <merijn> | Kronic: That applies to many things ;) |
| 12:11:03 | <__monty__> | And imo the persistent "Monads are hard" is what makes them hard to grasp for some people. |
| 12:11:13 | <Shiranai> | Hello, can anyone please help me understand how is it that I should read this? `map = flip foldRight Nil . ((:.) .)` By that I mean the order and implicit parenthesis |
| 12:11:15 | <merijn> | Kronic: Rank2Types/RankNTypes are utterly confusing and inscrutable, until you run into a problem that's solved by them and then you go "ooooh!" |
| 12:11:18 | <kuribas> | merijn: indeed. monads etc are complex. But so is OO, and software engineering in general. |
| 12:11:41 | <merijn> | __monty__: No, the real problem is people who aren't used to mathematical abstractions trying to understand them by staring at the definition |
| 12:11:44 | <__monty__> | @pointful flip foldRight Nil . ((:.) .) |
| 12:11:44 | <lambdabot> | (\ x -> foldRight (\ x0 -> ((:.)) (x x0)) Nil) |
| 12:11:50 | <kuribas> | and in languages which are made to be "easier", like clojure, you just run into the same problems. |
| 12:11:54 | <merijn> | That only works for simple abstractions AND only if you're used to that |
| 12:12:14 | → | ezrakilty joins (~ezrakilty@75-172-99-84.tukw.qwest.net) |
| 12:12:33 | <merijn> | __monty__: See also my favourite quote about teaching abstractions in math |
| 12:12:34 | <merijn> | "Suppose that you want to teach the 'cat' concept to a very young child. Do you explain that a cat is a relatively small, primarily carnivorous mammal with retractible claws, a distinctive sonic output, etc.? I'll bet not. You probably show the kid a lot of different cats, saying 'kitty' each time, until it gets the idea. To put it more generally, generalizations are best made by abstraction from |
| 12:12:41 | <merijn> | experience." |
| 12:12:56 | <Shiranai> | I know it's just the usual map on lists, but how do you convert it? I thought functions were left associative so I assume flip is acting upon foldR? but that doesn't make sense as foldR takes three parameters? |
| 12:13:10 | <merijn> | But people don't like "you can't learn this by seeing the definition, you gotta look at many examples" answer |
| 12:13:15 | <kuribas> | Shiranai: why would you even attempt to read that? |
| 12:13:43 | × | philopsos quits (~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds) |
| 12:13:44 | <Shiranai> | kuribas: I want to check if I'm understanding haskell syntax correctly |
| 12:13:56 | <merijn> | Shiranai: Unless that's homework I'd just whack whoever wrote that with the "sensible stick" and rewrite it simpler :p |
| 12:13:59 | <kuribas> | Shiranai: I'd use sane example to learn haskell syntax. |
| 12:14:01 | <__monty__> | :t flip foldRight |
| 12:14:01 | <Shiranai> | I got that functino from a pointfree converter so don't really care about that particular exampe |
| 12:14:03 | <lambdabot> | error: |
| 12:14:03 | <lambdabot> | Variable not in scope: foldRight :: a -> b -> c |
| 12:14:17 | <__monty__> | :t flip foldr |
| 12:14:19 | <lambdabot> | Foldable t => b -> (a -> b -> b) -> t a -> b |
| 12:14:27 | <merijn> | Shiranai: foldR doesn't take 3 parametes |
| 12:14:35 | <merijn> | Shiranai: Every function only ever takes one |
| 12:15:05 | <merijn> | Shiranai: Remember that "a -> b -> c" is just "a -> (b -> c)" |
| 12:15:14 | <merijn> | :t flip |
| 12:15:15 | <lambdabot> | (a -> b -> c) -> b -> a -> c |
| 12:15:16 | <Shiranai> | ahh I see, thought some currying was going on, but how do I interpret flip in this casae? |
| 12:15:49 | <__monty__> | merijn: Maybe my case is unusual but seeing monads being used did nothing for me. It wasn't until I was ready to accept that the definition of return and bind is all there is to them that it clicked for me. |
| 12:16:01 | <merijn> | Shiranai: Well, if you look at the type of flip and foldRight try and identify what part of foldRight's type corresponds to 'a', 'b', and 'c' in flip's type |
| 12:16:01 | × | nek0 quits (~nek0@mail.nek0.eu) (Remote host closed the connection) |
| 12:16:25 | × | ezrakilty quits (~ezrakilty@75-172-99-84.tukw.qwest.net) (Ping timeout: 240 seconds) |
| 12:17:03 | <merijn> | __monty__: I didn't mean seeing them by used, I meant staring at the definitions of each. And of course you will also need to study the laws for a bit, but the problem is that people not used to mathematical abstraction don't accept the "the laws *are* the definition/meaning" view |
| 12:17:22 | <merijn> | They keep wanting to know "what it *really* is", but the answer is of course "anything fitting these laws" |
| 12:18:24 | → | chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
| 12:18:27 | → | Matt_P joins (~Matt_P@185.204.1.185) |
| 12:18:51 | <__monty__> | That sounds like what I was like. But only staring at the Monad method signatures finally made it click. The concrete implementations did nothing for me. |
| 12:19:04 | <itai33[m]> | Is there a good way to implement optional arguments in haskell? This is my usecase: |
| 12:19:08 | <Shiranai> | `foldR :: (b -> (a ->b ->b)) -> (t a) -> b` `flip foldR :: (t a) -> (b -> (a ->b ->b)) -> b` |
| 12:19:14 | × | chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Client Quit) |
| 12:19:21 | <itai33[m]> | I want to add support for the sort and window optional arguments for the find function in libmpd https://www.musicpd.org/doc/html/protocol.html#command-find |
| 12:19:25 | × | frankdmartinez quits (~frankdmar@184.170.253.89) (Ping timeout: 264 seconds) |
| 12:19:29 | <Shiranai> | confusing as hell but I kinda get it, thanks merijn, won't try to read this things anymore haha |
| 12:19:30 | <itai33[m]> | it currently only takes a filter |
| 12:19:32 | <kuribas> | itai33[m]: Maybe is for optional arguments :) |
| 12:19:55 | <itai33[m]> | and the only way i can think how to do it is by adding Maybes, but having to pass two Nothings every time is kind of annoying |
| 12:20:04 | <kuribas> | there is also named: https://hackage.haskell.org/package/named-0.3.0.1 |
| 12:20:31 | <kuribas> | itai33[m]: it uses type level magick to implement named arguments. |
| 12:20:43 | × | Widget quits (~widget@2a04:ee41:6:7207:c11:a26b:c8ca:962a) (Remote host closed the connection) |
| 12:21:22 | <merijn> | itai33[m]: The usual way I do optional arguments is by defining a record for the function's argument and then having a "defaultConfig" value where people can override fields they care about |
| 12:21:32 | <__monty__> | Shiranai: Hmm, that bracketing looks off. |
| 12:21:34 | <merijn> | itai33[m]: That's much simpler than kuribas' suggestion :p |
| 12:21:48 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 12:22:54 | <merijn> | itai33[m]: I even have an example: https://github.com/merijn/tasty-travis/blob/master/Test/Tasty/Travis.hs#L123 then see the TravisConfig type and defaultConfig defined earlier in the file |
| 12:23:34 | <kuribas> | itai33[m]: btw, sort could be a type that includes NoOrder |
| 12:23:44 | <merijn> | itai33[m]: And then you use it something like: https://github.com/merijn/broadcast-chan/blob/master/broadcast-chan-tests/BroadcastChan/Test.hs#L342-L350 |
| 12:23:48 | <kuribas> | itai33[m]: so you don't even need a Maybe there. |
| 12:23:59 | <itai33[m]> | kuribas: what do you mean? |
| 12:24:39 | <itai33[m]> | merijn: I see, i recall hearing that using default values like this was frowned upon |
| 12:24:40 | <kuribas> | itai33[m]: I mean, TYPE would be an enum, no? |
| 12:24:55 | <itai33[m]> | or was it the default typeclass |
| 12:25:09 | → | Vulfe joins (~vulfe@2600:1702:31b0:34e0:b1ad:809d:33ad:d747) |
| 12:25:10 | <kuribas> | itai33[m]: so you include NoOrder in it, meaning, undefined ordering. |
| 12:25:22 | <itai33[m]> | oh right |
| 12:25:23 | <kuribas> | itai33[m]: than you have a single maybe for window, which is fine IMO. |
| 12:25:46 | <kuribas> | it's when you have a string of maybes that things get confusing. |
| 12:25:53 | × | p-core quits (~Thunderbi@koleje-wifi-0045.koleje.cuni.cz) (Quit: p-core) |
| 12:25:55 | <itai33[m]> | this makes it more readable but fundamentally keeps the issue of having to pass extra arguments |
| 12:26:07 | <itai33[m]> | yeah |
| 12:26:10 | → | p-core joins (~Thunderbi@koleje-wifi-0045.koleje.cuni.cz) |
| 12:26:10 | <kuribas> | which is a problem why? |
| 12:26:20 | <itai33[m]> | just kind of annoying |
| 12:26:26 | <itai33[m]> | no other reason really |
| 12:27:07 | <merijn> | itai33[m]: That was the default typeclass, probably. Which I personally frown upon too (since it's hard to reason about) explicitly named defaults are easy to reason about :p |
| 12:27:24 | <itai33[m]> | gotcha |
| 12:27:30 | <merijn> | itai33[m]: Why do you need to pass extra arguments? Any argument you don't use you don't need to update :) |
| 12:27:41 | <merijn> | or was that for kuribas? :) |
| 12:27:50 | <itai33[m]> | that was for kuribas yeah |
| 12:27:53 | → | Widget joins (~widget@2a04:ee41:6:7207:c11:a26b:c8ca:962a) |
| 12:28:16 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:143:c475:d20e:3db4:7e5b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 12:28:30 | <kuribas> | the default options approach is what most libraries use. |
| 12:28:57 | <kuribas> | but overkill for this function IMO |
| 12:29:28 | <itai33[m]> | yeah that's what kind of gets me about merijn's proposal |
| 12:29:38 | <itai33[m]> | all the functions here have like 2 optional arguments max |
| 12:29:48 | × | Vulfe quits (~vulfe@2600:1702:31b0:34e0:b1ad:809d:33ad:d747) (Ping timeout: 260 seconds) |
| 12:30:12 | hvr_ | is now known as hvr |
| 12:30:17 | <itai33[m]> | and there are like, 4 types of optional arguments total, and if i have some sort of master optional argument record i'm breaking type safety which i don't really want to do |
| 12:31:24 | <itai33[m]> | i wonder if there is a way to do optional arguments in a type safe way |
| 12:31:49 | <itai33[m]> | i don't know enough about dependent types to know if that's a thing there |
| 12:32:28 | <kuribas> | itai33[m]: that what the named package does. |
| 12:32:34 | <kuribas> | but it's rather heavy |
| 12:32:54 | <kuribas> | the idiomatic way is either use Maybe or a record. |
| 12:32:55 | × | nek0 quits (~nek0@mail.nek0.eu) (Quit: The Lounge - https://thelounge.chat) |
| 12:32:55 | <merijn> | itai33[m]: Oh, there's an alternative option if it's just 1 or 2 |
| 12:32:59 | × | dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 12:33:09 | <kuribas> | or avoid Maybe by being clever. |
| 12:33:15 | <itai33[m]> | "named is a lightweight library for named function parameters (keyword arguments) " |
| 12:33:25 | <merijn> | itai33[m]: Which is: have 2 maybe arguments, but provide an alternative version of the function with _ or something that has Nothing pre-applied |
| 12:33:28 | → | dirediresalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 12:33:51 | <itai33[m]> | merijn: that is basically what i'm currently doing |
| 12:33:55 | <merijn> | so you have "foo :: Maybe a -> Int -> Foo" and "foo_ :: Int -> Foo; foo_ = foo Nothing" |
| 12:33:59 | <kuribas> | yeah, you could have find and windowedFind. |
| 12:34:03 | <merijn> | itai33[m]: That's reasonable enough, tbh |
| 12:34:10 | <itai33[m]> | it is also probably the best idea because it will keep libmpd backwards compatible |
| 12:34:14 | <itai33[m]> | which is always fun |
| 12:34:23 | <itai33[m]> | i was just wondering in general |
| 12:34:37 | <[exa]> | hm, how do I ask cabal about what precise dependency package versions is it using for building a package? |
| 12:34:52 | <itai33[m]> | well, kind of backwards compatible, there are a few good changes that will have to change type signatures |
| 12:35:01 | <kuribas> | merijn: better use a descriptive name instead of _ and ' |
| 12:35:24 | × | Widget quits (~widget@2a04:ee41:6:7207:c11:a26b:c8ca:962a) (Ping timeout: 268 seconds) |
| 12:35:40 | <dcoutts> | [exa]: if you mean the full nix-style hashes, you can look in dist-newstyle/cache/plan.json |
| 12:35:45 | <itai33[m]> | findSortWindow is kind of long though |
| 12:36:34 | <[exa]> | dcoutts: not really, I'm just trying to constrain dependency versions a bit and I'd love to know what version I'm actually using without too much digging |
| 12:36:53 | <[exa]> | hm, `cabal freeze` + copying the versions out of the freeze file could kinda work |
| 12:37:15 | <dcoutts> | yep, or they're reported when you do cabal configure |
| 12:37:47 | <[exa]> | oh wow, I didn't notice that yet |
| 12:38:11 | <[exa]> | so far it starts to look like "2021: year of constructive failure" |
| 12:38:12 | <itai33[m]> | dcoutts: `cabal configure` doesn't seem to report everything though |
| 12:39:04 | <[exa]> | that gets fixed with --reinstall right? |
| 12:39:22 | <__monty__> | Doesn't cabal-plan also provide this info? |
| 12:40:02 | <Kronic> | __monty__: I don't know if I agree that the public opinion of how hard monads are or aren't is the only factor in understanding them. I'm plenty sure that it is to do with the fact that Haskell has very unfamiliar syntax, and that monads require you to understand much of that in order to be able to prove to yourself why they are useful |
| 12:40:09 | → | Gorbel joins (~Gorbel@p5790e976.dip0.t-ipconnect.de) |
| 12:40:28 | <__monty__> | Kronic: I never said it's the only reason. |
| 12:41:05 | <Kronic> | I was just responding to your earlier message: " And imo the persistent "Monads are hard" is what makes them hard to grasp for some people." Not meaning to put words into your mouth. |
| 12:41:41 | <__monty__> | [exa]: Hmm, this is the second time in as many days I see --reinstall. Wouldn't the problem disappear if you just refrain from using install in the first place? |
| 12:42:21 | <__monty__> | Kronic: And I'm clarifying that I did not mean it's the only reason some people have trouble with understanding monads. |
| 12:42:52 | <Kronic> | Right, I accept that, that's why I said I didn't mean to put words into your mouth :) |
| 12:43:27 | <[exa]> | __monty__: I'm using build + run. Like, there's no problem, I just wanted an easy&comprehensible way to see the dependency versions |
| 12:44:01 | <[exa]> | currently, `configure --reinstall --dry-run` gives best output while not breaking anything |
| 12:44:04 | <__monty__> | Kronic: Which syntax in particular do you mean, do-notation? |
| 12:44:43 | <Kronic> | Do notation is quite familiar, I would say function application and in general the idea that things evaluate rather than execute |
| 12:46:17 | [exa] | discovers cabal gen-bounds |
| 12:46:22 | <[exa]> | </problem> |
| 12:47:42 | <__monty__> | In my case do-notation got in the way of understanding monads. |
| 12:51:22 | → | frankdmartinez joins (~frankdmar@184.170.253.89) |
| 12:54:27 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 12:56:48 | → | Melanie joins (~Melanie@192-0-134-138.cpe.teksavvy.com) |
| 12:57:41 | → | Widget joins (~widget@213.55.224.205) |
| 12:58:35 | <hvr> | [exa]: you might be interested in https://hackage.haskell.org/package/cabal-plan#description which answers the question " what precise dependency package versions is it using for building a package" far more precisely than `cabal freeze` can |
| 12:58:38 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 12:59:11 | → | dennis_ joins (~dennisb@89-160-106-195.cust.bredband2.com) |
| 13:00:09 | × | urdh quits (~urdh@unaffiliated/urdh) (Ping timeout: 260 seconds) |
| 13:00:23 | → | petersen joins (~petersen@redhat/juhp) |
| 13:00:59 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:143:c475:d20e:3db4:7e5b) |
| 13:01:21 | × | Melanie quits (~Melanie@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 265 seconds) |
| 13:01:50 | × | dennisb quits (~dennisb@89-160-106-195.cust.bredband2.com) (Ping timeout: 265 seconds) |
| 13:02:29 | <tomsmeding> | [exa]: holy crap thanks for gen-bounds |
| 13:02:44 | → | urdh joins (~urdh@unaffiliated/urdh) |
| 13:03:04 | → | worc3131 joins (~quassel@2a02:c7f:dcc4:6500:cf0e:3346:8766:ab20) |
| 13:06:08 | → | jchia__1 joins (~jchia@58.32.36.39) |
| 13:06:11 | → | mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
| 13:06:36 | × | Guest99171 quits (~textual@2603-7000-3040-0000-5d20-1671-5668-2bd6.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:07:51 | × | rcdilorenzo quits (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Quit: rcdilorenzo) |
| 13:08:18 | × | v_m_v quits (~vm_v@2a02:aa12:3200:6480:14d3:e041:99da:4fe5) (Remote host closed the connection) |
| 13:08:37 | × | jchia__ quits (~jchia@58.32.64.17) (Ping timeout: 264 seconds) |
| 13:09:56 | × | xff0x_ quits (~fox@2001:1a81:523c:2500:c455:def8:ed0e:7eec) (Ping timeout: 268 seconds) |
| 13:10:41 | → | xff0x_ joins (~fox@2001:1a81:523c:2500:9859:eabe:7765:8baf) |
| 13:12:38 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 13:15:30 | <[exa]> | tomsmeding: surprising right? :D |
| 13:15:56 | <[exa]> | hvr: I've been eyeing that too, thanks! |
| 13:25:03 | × | worc3131 quits (~quassel@2a02:c7f:dcc4:6500:cf0e:3346:8766:ab20) (Ping timeout: 258 seconds) |
| 13:27:29 | → | ph88^ joins (~ph88@2a02:8109:9e00:7e5c:5824:5a47:969d:fa33) |
| 13:33:46 | <merijn> | __monty__: That's why I recommend beginners don't use do notation |
| 13:36:21 | × | Gorbel quits (~Gorbel@p5790e976.dip0.t-ipconnect.de) (Quit: Gorbel) |
| 13:36:38 | → | Wuzzy joins (~Wuzzy@p5790e976.dip0.t-ipconnect.de) |
| 13:37:42 | → | xintron2 joins (~xintron@unaffiliated/xintron) |
| 13:40:20 | × | xintron quits (~xintron@unaffiliated/xintron) (Ping timeout: 272 seconds) |
| 13:40:20 | xintron2 | is now known as xintron |
| 13:40:23 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 258 seconds) |
| 13:40:45 | → | Lurkki[m]1 joins (lurkkifene@gateway/shell/matrix.org/x-jbjjhqmxlbixvnly) |
| 13:42:38 | <nrdmn9> | is using `foreign` declarations on variadic functions undefined behavior? Because it seems it is not possible to declare variadic functions as such. |
| 13:45:02 | × | madjestic quits (~Android@86-88-72-244.fixed.kpn.net) (Quit: -a- Connection Timed Out) |
| 13:45:24 | → | madjestic joins (~Android@86-88-72-244.fixed.kpn.net) |
| 13:46:43 | <nrdmn9> | ghc and some of cabal's dependencies do that in a few places |
| 13:46:45 | × | frankdmartinez quits (~frankdmar@184.170.253.89) (Ping timeout: 240 seconds) |
| 13:47:31 | → | DavidEichmann joins (~david@98.27.93.209.dyn.plus.net) |
| 13:47:49 | × | ph88^ quits (~ph88@2a02:8109:9e00:7e5c:5824:5a47:969d:fa33) (Ping timeout: 272 seconds) |
| 13:50:13 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 13:50:34 | × | drbean quits (~drbean@TC210-63-209-41.static.apol.com.tw) (Ping timeout: 246 seconds) |
| 13:52:07 | × | Tesseraction_p quits (~Tesseract@unaffiliated/tesseraction) (Remote host closed the connection) |
| 13:53:05 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 13:54:34 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 13:54:58 | Alleria | is now known as Guest5142 |
| 13:56:08 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Remote host closed the connection) |
| 13:57:08 | × | Widget quits (~widget@213.55.224.205) (Remote host closed the connection) |
| 13:59:01 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 264 seconds) |
| 13:59:40 | → | superstar64 joins (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
| 14:01:18 | <kuribas> | merijn: what is nice about logging-effect, is that I can store the logging callback in my monadstack environment, deriving the MonadLog typeclass, and if necessary pass the callback to some low level function that needs logging. |
| 14:01:31 | <kuribas> | merijn: this way my monad stack is no "infecting" the whole codebase. |
| 14:01:46 | <kuribas> | I can clearly separate low level code which works only in IO |
| 14:02:11 | <kuribas> | For example database code |
| 14:02:17 | → | Saukk joins (~Saukk@83-148-239-3.dynamic.lounea.fi) |
| 14:02:28 | → | Widget joins (~widget@213.55.224.205) |
| 14:02:29 | → | acidjnk_new joins (~acidjnk@p200300d0c704e739101f4cb6fc9280ae.dip0.t-ipconnect.de) |
| 14:02:31 | <kuribas> | it shouldn't need to know about anything application specific. |
| 14:02:40 | <kuribas> | except, fetch or store this in the DB |
| 14:03:59 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 14:04:03 | <kuribas> | and also nice, I can avoid MonadBaseControl, or UnliftIO. |
| 14:04:40 | → | christo joins (~chris@81.96.113.213) |
| 14:06:30 | <kuribas> | I totally avoid the bracket problem by never bracketing my monad stack. |
| 14:06:47 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a8f8:9aa6:32f8:2a12) |
| 14:07:00 | → | b4er joins (~b4er@91.193.4.138) |
| 14:07:21 | × | Widget quits (~widget@213.55.224.205) (Ping timeout: 256 seconds) |
| 14:09:17 | × | christo quits (~chris@81.96.113.213) (Ping timeout: 260 seconds) |
| 14:09:49 | <kuribas> | I don't see the point of UnliftIO really... |
| 14:11:26 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a8f8:9aa6:32f8:2a12) (Ping timeout: 264 seconds) |
| 14:11:53 | → | Tesseraction joins (~Tesseract@unaffiliated/tesseraction) |
| 14:13:26 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:143:c475:d20e:3db4:7e5b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:13:31 | <superstar64> | this this typeclass seem like it could be useful https://gist.github.com/Superstar64/8cb508537c5a02e1d6abe4da1cef8127 |
| 14:14:11 | <superstar64> | i kinda just look the de brujin indexing of the lambda calculus and made it tagless final |
| 14:16:48 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 14:17:37 | <superstar64> | i'm not actually sure what other monads could fulfill these laws |
| 14:18:38 | → | Melanie joins (~Melanie@192-0-134-138.cpe.teksavvy.com) |
| 14:19:47 | → | ph88^ joins (~ph88@2a02:8109:9e00:7e5c:5824:5a47:969d:fa33) |
| 14:21:45 | → | jrqc joins (~rofl@96.78.87.197) |
| 14:22:42 | × | rmk236 quits (~lcampos@2a02:908:3616:b100:ad41:f5e6:8b3a:bfc3) (Ping timeout: 268 seconds) |
| 14:23:05 | → | worc3131 joins (~quassel@2a02:c7f:dcc4:6500:cf0e:3346:8766:ab20) |
| 14:23:19 | × | hiroaki quits (~hiroaki@2a02:908:4b18:8c40::ee4f) (Ping timeout: 268 seconds) |
| 14:28:14 | × | darjeeling_ quits (~darjeelin@115.215.41.150) (Ping timeout: 260 seconds) |
| 14:29:50 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 14:32:11 | × | HarveyPwca quits (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Quit: Leaving) |
| 14:35:17 | → | son0p joins (~son0p@181.136.122.143) |
| 14:39:14 | <kuribas> | superstar64: that looks like (Monad m, Monoid c) => m c |
| 14:39:44 | <superstar64> | how so? i don't see the connection |
| 14:43:52 | <kuribas> | application is liftA2 (<>) |
| 14:45:50 | <superstar64> | what about lambda? |
| 14:46:03 | <superstar64> | also does the law i made always hold for `liftA2 (<>)`? |
| 14:46:33 | × | Saukk quits (~Saukk@83-148-239-3.dynamic.lounea.fi) (Remote host closed the connection) |
| 14:46:33 | <kuribas> | and lambda is (>>= maybe mempty pure) |
| 14:46:40 | <kuribas> | :t (>>= maybe mempty pure) |
| 14:46:42 | <lambdabot> | (Monad m, Monoid (m b)) => m (Maybe b) -> m b |
| 14:46:51 | → | darjeeling_ joins (~darjeelin@115.215.41.150) |
| 14:47:27 | <kuribas> | :t fmap (fromMaybe mempty) |
| 14:47:29 | <lambdabot> | (Functor f, Monoid b) => f (Maybe b) -> f b |
| 14:49:49 | <superstar64> | ok, but do my laws hold for those? |
| 14:49:52 | → | geekosaur joins (ae68c070@cpe-174-104-192-112.neo.res.rr.com) |
| 14:50:36 | → | zyeri joins (zyeri@gateway/shell/tilde.team/x-kqsbhdwzgpshybvi) |
| 14:50:36 | × | zyeri quits (zyeri@gateway/shell/tilde.team/x-kqsbhdwzgpshybvi) (Changing host) |
| 14:50:36 | → | zyeri joins (zyeri@tilde.team/users/zyeri) |
| 14:51:48 | <superstar64> | is there any sort of distributive monad? |
| 14:51:56 | → | Tario joins (~Tario@201.192.165.173) |
| 14:53:31 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 14:53:36 | <superstar64> | with an additional operation that bind can distribute over? |
| 14:54:00 | <kuribas> | I guess not... |
| 14:56:18 | × | kuribas quits (~user@ptr-25vy0i9khg66sw78tsx.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 14:56:30 | <superstar64> | kuribas, you might be on to something, there might be a way to take a monoid make it fulfill these laws, idk |
| 15:00:01 | × | ph88^ quits (~ph88@2a02:8109:9e00:7e5c:5824:5a47:969d:fa33) (Ping timeout: 272 seconds) |
| 15:02:36 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 15:03:06 | <superstar64> | ok, i included what i based the laws off now https://gist.github.com/Superstar64/8cb508537c5a02e1d6abe4da1cef8127 |
| 15:04:31 | <superstar64> | at least i think my laws hold for what i wrote |
| 15:05:46 | → | Lurkki joins (54f048f5@esm-84-240-72-245.netplaza.fi) |
| 15:07:32 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a8f8:9aa6:32f8:2a12) |
| 15:07:53 | → | Vulfe joins (~vulfe@2600:1702:31b0:34e0:b1ad:809d:33ad:d747) |
| 15:13:14 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a8f8:9aa6:32f8:2a12) (Ping timeout: 264 seconds) |
| 15:14:29 | → | v_m_v joins (~vm_v@2a02:aa12:3200:6480:14d3:e041:99da:4fe5) |
| 15:19:10 | <ij> | how can I rewrite this? should I? http://sprunge.us/8GttUx |
| 15:20:12 | → | notzmv joins (~user@unaffiliated/zmv) |
| 15:21:05 | × | madjestic quits (~Android@86-88-72-244.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 15:23:29 | → | fendor_ joins (~fendor@178.115.130.71.wireless.dyn.drei.com) |
| 15:23:45 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection) |
| 15:24:39 | <ij> | I just discovered null works on tuples :) or doesn't, in a way |
| 15:25:24 | × | mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 15:25:46 | × | fendor quits (~fendor@178.115.129.22.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 15:26:00 | <geekosaur> | so you just discovered Foldable on tuples |
| 15:26:30 | → | _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net) |
| 15:26:43 | <xsperry> | null on tuples is always false? |
| 15:27:39 | × | Shiranai quits (beed4728@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.71.40) (Quit: Connection closed) |
| 15:27:59 | <whataday> | how to describe call function A inside function B, and call function B inside function A? |
| 15:31:48 | <oats> | whataday: mutual recursion? |
| 15:32:22 | → | ClaudiusMaximus joins (~claude@196.67.6.51.dyn.plus.net) |
| 15:32:32 | × | ClaudiusMaximus quits (~claude@196.67.6.51.dyn.plus.net) (Changing host) |
| 15:32:32 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 15:34:07 | × | acidjnk_new quits (~acidjnk@p200300d0c704e739101f4cb6fc9280ae.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 15:34:16 | <whataday> | ok |
| 15:35:14 | → | ph88^ joins (~ph88@2a02:8109:9e00:7e5c:5824:5a47:969d:fa33) |
| 15:36:28 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 15:39:30 | <ij> | xsperry, seems so |
| 15:39:57 | <ij> | geekosaur, yeah. :) ## xsperry, I expected it to be false on (), but it isn't a Foldable |
| 15:43:28 | × | benschza quits (~quassel@2604:1380:2000:cf00::1) (Ping timeout: 260 seconds) |
| 15:47:18 | → | benschza joins (~quassel@2604:1380:2000:cf00::1) |
| 15:48:15 | → | ezrakilty joins (~ezrakilty@75-172-99-84.tukw.qwest.net) |
| 15:48:16 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 15:49:26 | → | madjestic joins (~Android@89-200-2-171.mobile.kpn.net) |
| 15:52:22 | × | ezrakilty quits (~ezrakilty@75-172-99-84.tukw.qwest.net) (Ping timeout: 246 seconds) |
| 15:52:43 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 15:52:48 | → | jakob_ joins (~textual@p200300f49f087200cc6da58df4cb53c4.dip0.t-ipconnect.de) |
| 15:53:14 | × | jakob_ quits (~textual@p200300f49f087200cc6da58df4cb53c4.dip0.t-ipconnect.de) (Client Quit) |
| 15:53:32 | → | jakob_ joins (~textual@p200300f49f087200cc6da58df4cb53c4.dip0.t-ipconnect.de) |
| 15:54:00 | × | jakob_ quits (~textual@p200300f49f087200cc6da58df4cb53c4.dip0.t-ipconnect.de) (Client Quit) |
| 15:54:31 | → | jakob_ joins (~textual@p200300f49f087200cc6da58df4cb53c4.dip0.t-ipconnect.de) |
| 15:54:47 | × | jakob_ quits (~textual@p200300f49f087200cc6da58df4cb53c4.dip0.t-ipconnect.de) (Client Quit) |
| 15:54:51 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-cjvrvhgujfjiqkfn) |
| 15:55:16 | → | jakob_ joins (~textual@p200300f49f087200cc6da58df4cb53c4.dip0.t-ipconnect.de) |
| 15:55:35 | × | jakob_ quits (~textual@p200300f49f087200cc6da58df4cb53c4.dip0.t-ipconnect.de) (Client Quit) |
| 15:56:04 | → | jakob_ joins (~textual@p200300f49f087200cc6da58df4cb53c4.dip0.t-ipconnect.de) |
| 15:56:22 | × | jakob_ quits (~textual@p200300f49f087200cc6da58df4cb53c4.dip0.t-ipconnect.de) (Client Quit) |
| 15:57:02 | × | benschza quits (~quassel@2604:1380:2000:cf00::1) (Ping timeout: 264 seconds) |
| 15:58:30 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-zwenbxsjaehrjmmn) |
| 15:59:44 | <whataday> | how to remove all spaces except strings? |
| 16:00:10 | <whataday> | [a, b] to [a,b] |
| 16:00:36 | → | benschza joins (~quassel@2604:1380:2000:cf00::1) |
| 16:00:42 | <whataday> | [a, "b c"] to [a,"b c"] |
| 16:01:22 | <xerox_> | > concat . words $ "co nc ate n a t ed" |
| 16:01:24 | <lambdabot> | "concatenated" |
| 16:02:22 | × | hekkaidekapus{ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection) |
| 16:02:22 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Write error: Connection reset by peer) |
| 16:02:22 | × | srk quits (~sorki@gateway/tor-sasl/sorki) (Read error: Connection reset by peer) |
| 16:02:22 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Write error: Connection reset by peer) |
| 16:02:22 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Read error: Connection reset by peer) |
| 16:02:22 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Write error: Connection reset by peer) |
| 16:02:22 | × | tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Read error: Connection reset by peer) |
| 16:02:22 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (Read error: Connection reset by peer) |
| 16:02:22 | × | ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Write error: Connection reset by peer) |
| 16:02:22 | × | ech quits (~user@gateway/tor-sasl/ech) (Write error: Connection reset by peer) |
| 16:02:22 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Write error: Connection reset by peer) |
| 16:02:22 | × | xelxebar_ quits (~xelxebar@gateway/tor-sasl/xelxebar) (Write error: Connection reset by peer) |
| 16:02:22 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Write error: Connection reset by peer) |
| 16:02:22 | × | denisse quits (~spaceCat@gateway/tor-sasl/alephzer0) (Write error: Connection reset by peer) |
| 16:02:45 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:f436:5c08:84b:5c55) |
| 16:04:52 | <geekosaur> | xerox_, `words` doesn't know about strings |
| 16:05:16 | <xerox_> | true that |
| 16:07:00 | → | hexo joins (~hexo@gateway/tor-sasl/hexo) |
| 16:07:01 | × | madjestic quits (~Android@89-200-2-171.mobile.kpn.net) (Read error: Connection reset by peer) |
| 16:07:02 | → | srk joins (~sorki@gateway/tor-sasl/sorki) |
| 16:07:06 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 16:07:57 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 16:08:04 | → | ech joins (~user@gateway/tor-sasl/ech) |
| 16:08:07 | → | denisse joins (~spaceCat@gateway/tor-sasl/alephzer0) |
| 16:08:10 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 16:08:17 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 16:08:21 | → | jmchael joins (~jmchael@81.174.205.210) |
| 16:08:50 | → | madjestic joins (~Android@89-200-2-171.mobile.kpn.net) |
| 16:09:01 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 16:09:03 | → | hekkaidekapus{ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 16:09:06 | → | ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 16:09:13 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:58e3:7652:ce04:ac7d) |
| 16:09:59 | <b4er> | What will happen to "Hello\", \" World!"? |
| 16:09:59 | × | madjestic quits (~Android@89-200-2-171.mobile.kpn.net) (Read error: Connection reset by peer) |
| 16:10:07 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 16:10:16 | <b4er> | What about '\t' and all the other valid "spaces"? |
| 16:10:24 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:10:52 | → | tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64) |
| 16:11:00 | → | madjestic joins (~Android@86-88-72-244.fixed.kpn.net) |
| 16:11:04 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 16:11:37 | <xerox_> | if you want to support one or more levels of escaping I guess you have to roll your own thing |
| 16:12:02 | <ij> | the fact that [Right 1, Left ""] type-checks to [Either ..] feels like subtyping :) |
| 16:12:26 | <xerox_> | as for what spaces are eaten, words uses https://www.stackage.org/haddock/lts-16.27/base-4.13.0.0/Data-Char.html#v:isSpace |
| 16:12:28 | <ij> | ah, wait, but Right is either already :P |
| 16:12:30 | <ij> | this is no scala |
| 16:13:25 | <dyeplexer> | > putStrLn "Hello\", \" World!" |
| 16:13:28 | <lambdabot> | <IO ()> |
| 16:13:36 | <dyeplexer> | oops |
| 16:13:43 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:58e3:7652:ce04:ac7d) (Ping timeout: 258 seconds) |
| 16:15:45 | <b4er> | ij, it's not that far away from [False, True] :: [Bool] |
| 16:16:07 | → | teardown_ joins (~user@gateway/tor-sasl/mrush) |
| 16:16:26 | <ij> | b4er, Right. I just thought that Right is a Right before it's coerced to Either like in scala, but this isn't scala :) |
| 16:18:34 | → | Widget joins (~widget@213.55.224.205) |
| 16:19:17 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 16:19:44 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 240 seconds) |
| 16:24:53 | × | ph88^ quits (~ph88@2a02:8109:9e00:7e5c:5824:5a47:969d:fa33) (Ping timeout: 272 seconds) |
| 16:25:16 | × | lawid quits (~quassel@dslb-090-186-198-069.090.186.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 16:26:37 | × | Melanie quits (~Melanie@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 264 seconds) |
| 16:27:43 | → | livvy joins (~livvy@gateway/tor-sasl/livvy) |
| 16:29:07 | → | Melanie joins (~Melanie@192-0-134-138.cpe.teksavvy.com) |
| 16:29:43 | → | lawid joins (~quassel@dslb-090-186-035-044.090.186.pools.vodafone-ip.de) |
| 16:30:05 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 16:30:06 | × | son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 16:31:53 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 16:31:59 | → | lawid_ joins (~quassel@dslb-090-186-198-069.090.186.pools.vodafone-ip.de) |
| 16:33:25 | → | renzhi joins (~renzhi@2607:fa49:653f:ba00::e0e5) |
| 16:34:30 | × | lawid quits (~quassel@dslb-090-186-035-044.090.186.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 16:35:20 | → | christo joins (~chris@81.96.113.213) |
| 16:36:09 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 16:37:39 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 16:37:40 | × | lawid_ quits (~quassel@dslb-090-186-198-069.090.186.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 16:40:43 | × | teardown_ quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 240 seconds) |
| 16:41:03 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds) |
| 16:41:20 | → | ph88^ joins (~ph88@2a02:8109:9e00:7e5c:5824:5a47:969d:fa33) |
| 16:41:43 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 240 seconds) |
| 16:42:06 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 16:43:25 | → | boxscape joins (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) |
| 16:43:31 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 16:43:31 | → | lawid joins (~quassel@dslb-084-059-133-104.084.059.pools.vodafone-ip.de) |
| 16:44:01 | → | teardown_ joins (~user@gateway/tor-sasl/mrush) |
| 16:45:05 | → | chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
| 16:45:16 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 16:46:20 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 16:47:43 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 240 seconds) |
| 16:48:06 | × | Widget quits (~widget@213.55.224.205) (Remote host closed the connection) |
| 16:49:17 | → | u0_a298 joins (~user@65.35.205.131) |
| 16:49:42 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 16:50:00 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-100-102.w86-212.abo.wanadoo.fr) |
| 16:50:32 | → | hekkaidekapus} joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 16:52:43 | × | hekkaidekapus{ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 17:00:47 | × | Franciman quits (~francesco@host-95-250-152-231.retail.telecomitalia.it) (Quit: Leaving) |
| 17:03:02 | → | Widget joins (~widget@213.55.224.205) |
| 17:06:02 | × | renzhi quits (~renzhi@2607:fa49:653f:ba00::e0e5) (Ping timeout: 264 seconds) |
| 17:07:36 | × | Widget quits (~widget@213.55.224.205) (Ping timeout: 256 seconds) |
| 17:10:06 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:58e3:7652:ce04:ac7d) |
| 17:10:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 17:11:45 | → | o1lo01ol1o joins (~o1lo01ol1@176.78.51.169) |
| 17:13:09 | × | o1lo01ol1o quits (~o1lo01ol1@176.78.51.169) (Client Quit) |
| 17:14:26 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:58e3:7652:ce04:ac7d) (Ping timeout: 264 seconds) |
| 17:15:12 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 17:15:12 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 17:15:12 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 17:15:22 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:f436:5c08:84b:5c55) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:15:30 | → | rmk236 joins (~lcampos@ip-37-201-210-153.hsi13.unitymediagroup.de) |
| 17:16:23 | × | livvy quits (~livvy@gateway/tor-sasl/livvy) (Ping timeout: 240 seconds) |
| 17:17:44 | × | xff0x_ quits (~fox@2001:1a81:523c:2500:9859:eabe:7765:8baf) (Ping timeout: 258 seconds) |
| 17:18:29 | → | xff0x_ joins (~fox@2001:1a81:523c:2500:812c:6e79:50a5:bf96) |
| 17:18:36 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection) |
| 17:18:47 | → | Widget joins (~widget@213.55.224.205) |
| 17:19:07 | → | Tops2 joins (~Tobias@dyndsl-095-033-092-191.ewe-ip-backbone.de) |
| 17:21:22 | → | fendor joins (~fendor@178.115.130.71.wireless.dyn.drei.com) |
| 17:21:49 | × | fendor_ quits (~fendor@178.115.130.71.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 17:22:21 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 17:22:59 | <xsperry> | @src Either |
| 17:22:59 | <lambdabot> | Source not found. Maybe if you used more than just two fingers... |
| 17:23:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:f436:5c08:84b:5c55) |
| 17:23:32 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Quit: Leaving) |
| 17:23:40 | <petersen> | How is Stackage Nightly ghc-8.10 on Windows now? |
| 17:24:10 | → | livvy joins (~livvy@gateway/tor-sasl/livvy) |
| 17:24:13 | → | hiroaki joins (~hiroaki@2a02:908:4b18:8c40::ee4f) |
| 17:25:16 | → | fryguybob joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 17:25:47 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:f436:5c08:84b:5c55) (Client Quit) |
| 17:26:20 | → | solonarv joins (~solonarv@astrasbourg-653-1-252-231.w92-161.abo.wanadoo.fr) |
| 17:27:55 | → | nbloomf joins (~nbloomf@76.217.43.73) |
| 17:28:51 | × | hiroaki quits (~hiroaki@2a02:908:4b18:8c40::ee4f) (Ping timeout: 272 seconds) |
| 17:33:17 | × | xff0x_ quits (~fox@2001:1a81:523c:2500:812c:6e79:50a5:bf96) (Ping timeout: 272 seconds) |
| 17:33:42 | → | xff0x_ joins (~fox@2001:1a81:523c:2500:528d:7247:c11a:c6c7) |
| 17:34:42 | <sm[m]> | a good chance it's good I'd say |
| 17:35:37 | × | crblmr quits (~carbolyme@matrix.dropacid.net) (Ping timeout: 264 seconds) |
| 17:37:03 | × | ij quits (~ij@NixOS/user/siers) (Quit: ZNC 1.7.5 - https://znc.in) |
| 17:37:26 | → | crblmr joins (~carbolyme@matrix.dropacid.net) |
| 17:37:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:40:09 | × | boxscape quits (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) (Ping timeout: 260 seconds) |
| 17:41:05 | → | siers joins (~ij@2a03:b0c0:1:e0::366:f001) |
| 17:42:29 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-148.cust.tzulo.com) |
| 17:42:44 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 17:43:57 | × | siers quits (~ij@2a03:b0c0:1:e0::366:f001) (Changing host) |
| 17:43:57 | → | siers joins (~ij@NixOS/user/siers) |
| 17:43:59 | siers | is now known as ij |
| 17:44:12 | × | nbloomf quits (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:44:45 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 17:46:50 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 17:47:04 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:79f9:dc0d:be9d:ef94) |
| 17:47:05 | → | u0_a298 joins (~user@65.35.205.131) |
| 17:49:10 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 17:50:05 | × | rmk236 quits (~lcampos@ip-37-201-210-153.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 17:50:10 | → | u0_a298 joins (~user@65.35.205.131) |
| 17:50:15 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:79f9:dc0d:be9d:ef94) (Client Quit) |
| 17:52:25 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 17:53:15 | → | u0_a298 joins (~user@65.35.205.131) |
| 17:53:30 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:942d:48f2:8bcc:9c19) |
| 17:54:12 | × | notzmv quits (~user@unaffiliated/zmv) (Read error: No route to host) |
| 17:56:06 | → | notzmv joins (~user@unaffiliated/zmv) |
| 17:59:26 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 17:59:34 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-100-102.w86-212.abo.wanadoo.fr) (Ping timeout: 265 seconds) |
| 18:00:05 | × | jneira quits (5127ac9c@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.156) (Ping timeout: 240 seconds) |
| 18:00:10 | → | sdressel joins (~sdressel@pwning.de) |
| 18:00:17 | → | u0_a298 joins (~user@65.35.205.131) |
| 18:00:32 | → | Widget_ joins (~widget@213.55.241.60) |
| 18:00:58 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 18:01:12 | × | chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 18:03:49 | × | Widget quits (~widget@213.55.224.205) (Ping timeout: 264 seconds) |
| 18:05:01 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Ping timeout: 264 seconds) |
| 18:06:30 | → | falsifian joins (~falsifian@exoco.falsifian.org) |
| 18:07:27 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 18:08:06 | <falsifian> | On the libraries list, someone proposed some code that looks like "class (forall c d . Coercible c d => Coercible (f c) (f d)) ) => ...". What language feature is that using? I've never seen => inside the context for a class, and if I try to compile that with just RankNTypes, ghc complains "Malformed head of type or class declaration". |
| 18:08:37 | × | Guest5142 quits (~textual@zrcout.mskcc.org) (Ping timeout: 264 seconds) |
| 18:10:53 | × | u0_a298 quits (~user@65.35.205.131) (Remote host closed the connection) |
| 18:11:16 | → | u0_a298 joins (~user@65.35.205.131) |
| 18:13:24 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 18:14:19 | → | u0_a298 joins (~user@65.35.205.131) |
| 18:14:41 | <EvanR> | PolyKinds ? |
| 18:15:09 | <falsifian> | Just figured out it's QuantifiedConstraints, and after I fix unbalanced parentheses ghc suggests that. |
| 18:15:13 | <petersen> | sm[m]: so 8.10.3 is better than 8.10.2? |
| 18:15:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:15:58 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:58e3:7652:ce04:ac7d) |
| 18:16:08 | <dsal> | petersen: It's a bigger number. Newer is always better. |
| 18:16:20 | <petersen> | hehe ok |
| 18:17:14 | <petersen> | I had the impression 8.10.2 was a bit broken on Windows, at least in some cases |
| 18:18:12 | × | ph88^ quits (~ph88@2a02:8109:9e00:7e5c:5824:5a47:969d:fa33) (Remote host closed the connection) |
| 18:18:40 | → | ph88^ joins (~ph88@2a02:8109:9e00:7e5c:5824:5a47:969d:fa33) |
| 18:19:33 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Read error: Connection reset by peer) |
| 18:19:51 | → | Alleria joins (~textual@2603-7000-3040-0000-0072-420e-44f4-4dab.res6.spectrum.com) |
| 18:20:13 | <petersen> | particularly linking |
| 18:20:15 | Alleria | is now known as Guest82752 |
| 18:20:43 | → | o1lo01ol1o joins (~o1lo01ol1@176.78.51.169) |
| 18:21:14 | → | _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net) |
| 18:21:32 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-ifctsrxnkcmchcxm) |
| 18:22:05 | <dsal> | I don't know anything about Windows. I've seen it in the wild a few times. heh |
| 18:22:57 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 18:25:14 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 18:25:51 | → | u0_a298 joins (~user@65.35.205.131) |
| 18:26:13 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 18:26:53 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 18:28:01 | → | bingoyylo joins (~steven@2600:1700:44d0:1640:a078:3149:de5d:1ce8) |
| 18:28:13 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 18:29:37 | ← | bingoyylo parts (~steven@2600:1700:44d0:1640:a078:3149:de5d:1ce8) () |
| 18:32:02 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 18:32:15 | → | u0_a298 joins (~user@65.35.205.131) |
| 18:33:49 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 260 seconds) |
| 18:36:11 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 18:37:00 | → | u0_a298 joins (~user@65.35.205.131) |
| 18:38:47 | <koz_> | petersen: IIRC, 8.10.3 was partly to fix said issues? |
| 18:39:40 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 18:39:43 | × | v_m_v quits (~vm_v@2a02:aa12:3200:6480:14d3:e041:99da:4fe5) (Remote host closed the connection) |
| 18:39:59 | → | v_m_v joins (~vm_v@2a02:aa12:3200:6480:14d3:e041:99da:4fe5) |
| 18:42:05 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 18:42:21 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 18:42:42 | → | u0_a298 joins (~user@65.35.205.131) |
| 18:44:32 | <sm[m]> | petersen: yes, 8.10.3 is supposed to fix windows issues |
| 18:44:38 | <sm[m]> | why not try it. |
| 18:45:23 | × | worc3131 quits (~quassel@2a02:c7f:dcc4:6500:cf0e:3346:8766:ab20) (Remote host closed the connection) |
| 18:47:36 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 18:48:05 | → | u0_a298 joins (~user@65.35.205.131) |
| 18:50:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 18:51:48 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 18:52:17 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 18:52:32 | → | bingoyylo joins (~steven@2600:1700:44d0:1640:a078:3149:de5d:1ce8) |
| 18:53:01 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds) |
| 18:53:39 | Lord_of_Life_ | is now known as Lord_of_Life |
| 18:55:29 | × | sdressel quits (~sdressel@pwning.de) (Read error: Connection reset by peer) |
| 18:55:40 | → | Tario joins (~Tario@201.192.165.173) |
| 18:56:48 | × | bingoyylo quits (~steven@2600:1700:44d0:1640:a078:3149:de5d:1ce8) (Quit: Leaving) |
| 18:56:55 | → | sdressel joins (~sdressel@pwning.de) |
| 19:03:08 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 19:03:29 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 19:03:38 | → | u0_a298 joins (~user@65.35.205.131) |
| 19:04:27 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 19:06:33 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 19:07:18 | → | u0_a298 joins (~user@65.35.205.131) |
| 19:13:21 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 19:13:45 | → | u0_a298 joins (~user@65.35.205.131) |
| 19:14:23 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds) |
| 19:16:26 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 19:17:15 | → | u0_a298 joins (~user@65.35.205.131) |
| 19:18:09 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 19:18:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 19:20:09 | × | sdressel quits (~sdressel@pwning.de) (Remote host closed the connection) |
| 19:21:58 | → | sdressel joins (~sdressel@pwning.de) |
| 19:23:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 19:25:52 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 19:25:53 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 19:26:17 | → | u0_a298 joins (~user@65.35.205.131) |
| 19:26:44 | → | boxscape joins (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) |
| 19:29:05 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 19:29:34 | kaol_ | is now known as kaol |
| 19:30:12 | × | superstar64 quits (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Remote host closed the connection) |
| 19:30:15 | → | u0_a298 joins (~user@65.35.205.131) |
| 19:35:16 | → | mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
| 19:36:19 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 19:36:41 | × | bwe quits (~bwe@unaffiliated/bwe) (Remote host closed the connection) |
| 19:36:43 | × | u0_a298 quits (~user@65.35.205.131) (Ping timeout: 246 seconds) |
| 19:37:12 | × | ph88^ quits (~ph88@2a02:8109:9e00:7e5c:5824:5a47:969d:fa33) (Ping timeout: 268 seconds) |
| 19:41:06 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 19:42:30 | × | juuandyy quits (~juuandyy@90.166.144.65) (Quit: Konversation terminated!) |
| 19:42:48 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 19:43:31 | → | Franciman joins (~francesco@host-95-250-152-231.retail.telecomitalia.it) |
| 19:43:59 | → | bwe joins (~bwe@unaffiliated/bwe) |
| 19:45:36 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Ping timeout: 240 seconds) |
| 19:45:49 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-100-102.w86-212.abo.wanadoo.fr) |
| 19:46:01 | × | dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 19:46:04 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 19:46:24 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Read error: Connection reset by peer) |
| 19:46:30 | → | dandart1 joins (~Thunderbi@home.dandart.co.uk) |
| 19:46:31 | → | dirediresalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 19:47:24 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-100-102.w86-212.abo.wanadoo.fr) (Client Quit) |
| 19:47:39 | × | boxscape quits (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) (Quit: Connection closed) |
| 19:48:03 | → | larryba joins (~bc812391@217.29.117.252) |
| 19:48:49 | dandart1 | is now known as dandart |
| 19:48:53 | <larryba> | hi. how can I access webcam in haskell on windows? hopefully there's some crossplatform library, so that I don't have to resort to winapi. google is only giving me links to Graphics.Webcam.Linux |
| 19:49:21 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-100-102.w86-212.abo.wanadoo.fr) |
| 19:49:34 | × | juuandyy quits (~juuandyy@90.166.144.65) (Ping timeout: 272 seconds) |
| 19:49:42 | → | hiroaki joins (~hiroaki@ip4d16b6b9.dynamic.kabel-deutschland.de) |
| 19:49:50 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in) |
| 19:50:14 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 19:50:16 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:942d:48f2:8bcc:9c19) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:50:46 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Client Quit) |
| 19:51:49 | <idnar> | wow, compiling this module with -O1 uses like 10 GB of memory |
| 19:53:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 19:53:29 | <koz_> | idnar: Which module? |
| 19:53:42 | <koz_> | larryba: There is, as far as I know, no cross-platform way to do this _in general_. |
| 19:53:50 | → | BaneAliens joins (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) |
| 19:53:57 | <koz_> | Unless there's a cross-platform C library you could wrap? |
| 19:54:18 | <idnar> | koz_: it's in my own private codebase |
| 19:54:43 | <larryba> | opencv can do it supposedly, but it has not been updated on hackage in the past 2 years |
| 19:55:19 | <koz_> | larryba: I dunno about OpenCV. |
| 19:55:26 | <koz_> | It might be worth trying. |
| 19:55:37 | <koz_> | (however, given the difficulty of C libraries and Windows, I'm not sure it's easier) |
| 19:56:34 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 19:57:10 | ← | BaneAliens parts (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) () |
| 19:57:39 | × | Chobbes quits (~Chobbes@pool-98-115-239-235.phlapa.fios.verizon.net) (Changing host) |
| 19:57:39 | → | Chobbes joins (~Chobbes@unaffiliated/chobbes) |
| 19:58:25 | → | BaneAliens joins (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) |
| 19:58:27 | ← | BaneAliens parts (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) () |
| 19:58:31 | → | jakob_ joins (~textual@p200300f49f087200cc6da58df4cb53c4.dip0.t-ipconnect.de) |
| 19:58:57 | → | matryoshka joins (~matryoshk@184.75.223.227) |
| 19:59:08 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 20:01:27 | → | kiwi_38 joins (3e2275cd@gateway/web/cgi-irc/kiwiirc.com/ip.62.34.117.205) |
| 20:01:38 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 20:02:02 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Read error: Connection reset by peer) |
| 20:02:05 | → | ezrakilty joins (~ezrakilty@75-172-99-84.tukw.qwest.net) |
| 20:03:17 | → | _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net) |
| 20:04:43 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 20:08:04 | → | acidjnk_new joins (~acidjnk@p200300d0c704e739101f4cb6fc9280ae.dip0.t-ipconnect.de) |
| 20:11:19 | × | mud quits (~mud@unaffiliated/kadoban) (Read error: Connection reset by peer) |
| 20:11:40 | → | mud joins (~mud@unaffiliated/kadoban) |
| 20:13:31 | → | christo joins (~chris@81.96.113.213) |
| 20:13:45 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 20:14:30 | → | christo joins (~chris@81.96.113.213) |
| 20:15:09 | → | dfeuer joins (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) |
| 20:17:33 | × | livvy quits (~livvy@gateway/tor-sasl/livvy) (Quit: No Ping reply in 180 seconds.) |
| 20:19:03 | → | livvy joins (~livvy@gateway/tor-sasl/livvy) |
| 20:19:30 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Quit: Leaving) |
| 20:22:55 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-100-102.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 20:24:33 | × | kiwi_38 quits (3e2275cd@gateway/web/cgi-irc/kiwiirc.com/ip.62.34.117.205) (Quit: Connection closed) |
| 20:24:38 | <tomsmeding> | idnar: please don't inflict that module on the casual haskell user |
| 20:25:05 | tomsmeding | was already complaining about aeson's 2GB memory usage at compile time or something |
| 20:27:49 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 20:28:14 | koz_ | laughs in pandoc. |
| 20:28:29 | <idnar> | tomsmeding: heh. I think it might be a combination of Data.Generics.Labels and some deep inlining; I still need to check out the STG to see how well this code optimizes |
| 20:30:10 | → | adamwespiser joins (~adamwespi@209.6.43.158) |
| 20:30:14 | × | ezrakilty quits (~ezrakilty@75-172-99-84.tukw.qwest.net) (Remote host closed the connection) |
| 20:30:35 | <tomsmeding> | koz_: fortunately, pandoc is not a dependency of ircbrowse, so I don't need to compile it on a cheap VPS with 1GB of RAM |
| 20:30:55 | <koz_> | tomsmeding: _Un_fortunately, we accept that kind of RAM usage. |
| 20:30:56 | <tomsmeding> | and don't say that I should compile it to a static executable locally, I'm lazy |
| 20:31:34 | <koz_> | tomsmeding: Ehh. |
| 20:31:36 | × | ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection) |
| 20:31:40 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 20:32:02 | → | ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 20:32:17 | <koz_> | Is there a way to build 32-bit executables on x86_64 using GHC? |
| 20:32:59 | <tomsmeding> | Is there a way to build 32-bit executables using GHC? |
| 20:33:07 | <__monty__> | Yes, I've built a 32-bit taskell. |
| 20:33:16 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 265 seconds) |
| 20:33:16 | <tomsmeding> | with a recent ghc |
| 20:33:26 | → | christo joins (~chris@81.96.113.213) |
| 20:33:31 | <__monty__> | Probably 8.6.5 |
| 20:33:33 | <tomsmeding> | there was _something_ to do with 32-bit stuff that was dropped recently, but I forget what |
| 20:34:01 | <koz_> | tomsmeding: Ideally with a recent GHC, but I'll take anything. |
| 20:34:05 | <exarkun> | idnar: I'm curious what kind of stuff you do with Haskell |
| 20:34:06 | <dfeuer> | There's definitely still 32-bit GHC. |
| 20:34:23 | <dfeuer> | I can't answer the cross-compilation question myself. Maybe ask in #ghc? |
| 20:35:05 | <tomsmeding> | apparently there's at least an official linux x86 build: https://www.haskell.org/ghc/download_ghc_8_10_3.html |
| 20:35:34 | <tomsmeding> | koz_: I wonder what would happen if you'd just run that on your x86_64 machine |
| 20:35:43 | <koz_> | tomsmeding: A good question. |
| 20:35:50 | <tomsmeding> | probably linker trouble |
| 20:35:52 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-100-102.w86-212.abo.wanadoo.fr) |
| 20:36:17 | <geekosaur> | missing 32-bit shared libs |
| 20:36:33 | <tomsmeding> | those are easily installed |
| 20:37:06 | <tomsmeding> | I believe for most linux distros there's an official or semi-official repository for 32-bit packages |
| 20:37:08 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 20:37:31 | <tomsmeding> | though, true, that would happen at first :p |
| 20:37:33 | <geekosaur> | sure but you assume they all use the same versions |
| 20:37:48 | <tomsmeding> | as ghc you mean? |
| 20:37:58 | × | hiroaki quits (~hiroaki@ip4d16b6b9.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 20:38:02 | <geekosaur> | distros |
| 20:38:11 | <tomsmeding> | true |
| 20:38:19 | <geekosaur> | there's only one i386 build left iirc, it's deb9 |
| 20:38:21 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 20:38:27 | <geekosaur> | which may not help much on fedora |
| 20:38:40 | <tomsmeding> | that is certainly a good point |
| 20:39:10 | → | BaneAliens joins (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) |
| 20:40:16 | → | ezrakilty joins (~ezrakilty@75-172-99-84.tukw.qwest.net) |
| 20:40:28 | <idnar> | exarkun: this codebase does, uh, not-exactly-high frequency trading |
| 20:41:16 | <exarkun> | heh |
| 20:41:21 | <exarkun> | for fun or for profit? :) |
| 20:42:49 | <idnar> | for (my own) profit, but it's been fun to work on :) |
| 20:43:09 | <koz_> | idnar: So, _literally_ 'for fun and profit'? |
| 20:43:50 | <idnar> | other than that I have some hobby projects like https://www.isaacranks.com/ |
| 20:44:13 | <idnar> | koz_: indeed! |
| 20:44:28 | <koz_> | That has to be the first time I could use that expression in the literal. |
| 20:44:35 | <koz_> | I guess 2021 is a year of firsts? |
| 20:46:00 | <idnar> | (<https://github.com/mithrandi/isaacranks>) |
| 20:48:01 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 20:56:28 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 20:57:22 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:58e3:7652:ce04:ac7d) (Remote host closed the connection) |
| 20:57:23 | <sm[m]> | fun and profit ! Amen to that ! 👍🏻 |
| 20:57:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:58:00 | <sm[m]> | I'd like to make one of those |
| 21:02:29 | <sm[m]> | (A fun-and-profit project.) |
| 21:03:03 | → | cads2 joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 21:03:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 21:06:36 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 21:07:30 | <exarkun> | idnar: cool thanks for the link |
| 21:07:33 | × | Franciman quits (~francesco@host-95-250-152-231.retail.telecomitalia.it) (Quit: Leaving) |
| 21:07:43 | × | ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds) |
| 21:08:04 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds) |
| 21:08:08 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Read error: Connection reset by peer) |
| 21:09:11 | → | ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 21:10:25 | × | Melanie quits (~Melanie@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 264 seconds) |
| 21:10:51 | → | _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net) |
| 21:11:35 | → | TMA joins (tma@twin.jikos.cz) |
| 21:11:45 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 21:13:23 | × | revprez_anzio quits (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 21:13:43 | → | danso joins (~dan@23-233-111-39.cpe.pppoe.ca) |
| 21:13:58 | → | revprez_anzio joins (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) |
| 21:17:43 | × | livvy quits (~livvy@gateway/tor-sasl/livvy) (Ping timeout: 240 seconds) |
| 21:20:22 | <idnar> | exarkun: <https://github.com/mithrandi/my-kube/tree/master/manifests-base/isaacranks> <https://github.com/mithrandi/my-kube/tree/master/manifests/isaacranks-prod> possibly of related interest |
| 21:20:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 21:21:01 | → | atwm joins (~atwm@19-193-28-81.ftth.cust.kwaoo.net) |
| 21:23:05 | × | geekosaur quits (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Remote host closed the connection) |
| 21:23:35 | × | atwm quits (~atwm@19-193-28-81.ftth.cust.kwaoo.net) (Remote host closed the connection) |
| 21:24:11 | → | atwm joins (~atwm@19-193-28-81.ftth.cust.kwaoo.net) |
| 21:24:12 | → | Tario joins (~Tario@201.192.165.173) |
| 21:25:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 21:28:38 | × | atwm quits (~atwm@19-193-28-81.ftth.cust.kwaoo.net) (Remote host closed the connection) |
| 21:32:11 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 21:32:11 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 21:32:11 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 21:34:18 | tabemann_ | is now known as tabemann |
| 21:34:57 | → | kjak joins (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
| 21:35:54 | nh | is now known as NextHendrix |
| 21:37:30 | → | atwm joins (~atwm@19-193-28-81.ftth.cust.kwaoo.net) |
| 21:39:27 | × | atwm quits (~atwm@19-193-28-81.ftth.cust.kwaoo.net) (Remote host closed the connection) |
| 21:42:03 | → | tmciver joins (~tmciver@cpe-172-101-40-226.maine.res.rr.com) |
| 21:43:14 | NextHendrix | is now known as nh |
| 21:45:02 | → | neiluj_ joins (~jco@91-167-203-101.subs.proxad.net) |
| 21:45:13 | × | neiluj quits (~jco@unaffiliated/neiluj) (Quit: Lost terminal) |
| 21:47:55 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:2101:f3dc:9b10:842c) |
| 21:49:13 | × | v_m_v quits (~vm_v@2a02:aa12:3200:6480:14d3:e041:99da:4fe5) (Remote host closed the connection) |
| 21:49:39 | → | GuerrillaMonkey joins (~Jeanne-Ka@static-198-54-134-170.cust.tzulo.com) |
| 21:50:25 | → | Franciman joins (~francesco@host-95-250-152-231.retail.telecomitalia.it) |
| 21:52:35 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-134-148.cust.tzulo.com) (Ping timeout: 256 seconds) |
| 21:55:25 | × | xff0x_ quits (~fox@2001:1a81:523c:2500:528d:7247:c11a:c6c7) (Quit: xff0x_) |
| 21:55:32 | → | xff0x joins (~fox@2001:1a81:523c:2500:528d:7247:c11a:c6c7) |
| 21:55:54 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 21:58:06 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:982f:4b7c:5672:7373) |
| 21:59:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:00:46 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 22:02:45 | × | ezrakilty quits (~ezrakilty@75-172-99-84.tukw.qwest.net) (Remote host closed the connection) |
| 22:02:57 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:982f:4b7c:5672:7373) (Ping timeout: 260 seconds) |
| 22:07:22 | → | ezrakilt_ joins (~ezrakilty@75-172-99-84.tukw.qwest.net) |
| 22:08:13 | × | wagle quits (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 22:08:43 | → | wagle joins (~wagle@quassel.wagle.io) |
| 22:08:57 | × | dfeuer quits (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) (Remote host closed the connection) |
| 22:09:05 | × | mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Quit: mputz) |
| 22:10:30 | × | xff0x quits (~fox@2001:1a81:523c:2500:528d:7247:c11a:c6c7) (Quit: xff0x) |
| 22:10:36 | → | xff0x joins (~fox@2001:1a81:523c:2500:528d:7247:c11a:c6c7) |
| 22:10:55 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 22:15:15 | × | jakob_ quits (~textual@p200300f49f087200cc6da58df4cb53c4.dip0.t-ipconnect.de) (Quit: My Laptop has gone to sleep. ZZZzzz…) |
| 22:15:22 | → | jneira joins (5127ac9c@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.156) |
| 22:15:34 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9188:afb8:416b:5229) |
| 22:16:31 | → | christo joins (~chris@81.96.113.213) |
| 22:16:50 | → | jakob_ joins (~textual@p200300f49f0872003869e83adafdf05c.dip0.t-ipconnect.de) |
| 22:20:59 | → | knupfer joins (~Thunderbi@mue-88-130-61-217.dsl.tropolys.de) |
| 22:21:53 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 22:22:37 | × | Matt_P quits (~Matt_P@185.204.1.185) (Remote host closed the connection) |
| 22:26:35 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Remote host closed the connection) |
| 22:26:55 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 22:28:05 | → | electricityZZZZ joins (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net) |
| 22:31:58 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 22:32:17 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 22:32:42 | × | fendor quits (~fendor@178.115.130.71.wireless.dyn.drei.com) (Remote host closed the connection) |
| 22:33:06 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:33:49 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 22:35:43 | × | BaneAliens quits (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Read error: Connection reset by peer) |
| 22:36:05 | → | BaneAliens joins (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) |
| 22:37:19 | × | wagle quits (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 22:37:49 | → | wagle joins (~wagle@quassel.wagle.io) |
| 22:42:10 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 22:42:20 | → | muku79 joins (~dh@2001:16b8:a024:6200:b4dc:df80:172c:8f7) |
| 22:42:21 | ← | muku79 parts (~dh@2001:16b8:a024:6200:b4dc:df80:172c:8f7) () |
| 22:42:42 | → | muku79 joins (~dh@2001:16b8:a024:6200:b4dc:df80:172c:8f7) |
| 22:43:45 | <muku79> | Sorry, I have a question, why does 'try (readIO <$> getLine)' not catch exceptions, see https://pastebin.com/FsLKqpET |
| 22:44:16 | <muku79> | try (getLine >>= readIO) though works |
| 22:45:23 | <b4er> | :t readIO <$> getLine |
| 22:45:25 | <lambdabot> | Read a => IO (IO a) |
| 22:45:46 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 22:47:00 | <muku79> | So exceptions in the inner IO are not caught_ |
| 22:47:03 | <muku79> | ? |
| 22:47:36 | <Rembane> | The inner IO is probably not even run. |
| 22:47:41 | <b4er> | The `readIO` is not evaluated at all |
| 22:48:06 | <muku79> | I am assuming it is throwing a parse error |
| 22:48:09 | <Rembane> | Try this: `try (join (fmap readIO getLine)) |
| 22:48:11 | <Rembane> | ` |
| 22:48:15 | → | philopsos joins (~caecilius@gateway/tor-sasl/caecilius) |
| 22:48:39 | <b4er> | If you closed stdin it should catch it because then `getLine` fails |
| 22:49:20 | <b4er> | :t getLine >>= readIO |
| 22:49:21 | <lambdabot> | Read b => IO b |
| 22:49:22 | × | Franciman quits (~francesco@host-95-250-152-231.retail.telecomitalia.it) (Quit: Leaving) |
| 22:50:15 | <muku79> | for "try (readIO <$> getLine)" it just crashes if the parse in readIO fails |
| 22:50:20 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 22:50:21 | × | DavidEichmann quits (~david@98.27.93.209.dyn.plus.net) (Remote host closed the connection) |
| 22:51:12 | <muku79> | I thought it `try` is used, then no exceptins could escape |
| 22:51:15 | <muku79> | try (readIO <$> getLine) :: IO (Either SomeException (IO Integer)) |
| 22:51:39 | <muku79> | In this particular case I was parsing Integer |
| 22:51:47 | <muku79> | when entering strings it crashes |
| 22:51:54 | <muku79> | try will not catch the exception |
| 22:52:02 | <b4er> | But `readIO <$> getLine` doesn't exception when parsing fails, that will happen later |
| 22:53:19 | <b4er> | If all goes well (ie. stdin is open/getLine succeeds) you still have an `IO Integer`.. |
| 22:53:56 | <b4er> | That will throw an exception if parsing fails |
| 22:54:47 | <b4er> | `x <$> y` and `y >>= x` are two quite different things |
| 22:55:03 | <muku79> | What is different between `MCE.try (readIO <$> getLine) :: IO (Either SomeException (IO Integer))` and `MCE.try (getLine >>= readIO) :: IO (Either SomeException Integer) |
| 22:55:32 | <muku79> | The latter one, the `try` works as I had expected it |
| 22:55:50 | <muku79> | getLine got a string |
| 22:55:51 | <b4er> | One is a pure Integer that is parsed, the other one an Integer that might still cause exceptions. |
| 22:55:56 | × | wagle quits (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 22:56:23 | <b4er> | Pretty much what you observe actually. |
| 22:57:39 | → | wagle joins (~wagle@quassel.wagle.io) |
| 22:57:57 | <muku79> | So the `try` in (readIO <$> getLine) only covers for the getLine? |
| 22:58:36 | → | christo joins (~chris@81.96.113.213) |
| 22:59:20 | <b4er> | Yes, for all we know the inner `IO Integer` might never be evaluated. The exception happens later |
| 22:59:22 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:2101:f3dc:9b10:842c) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 22:59:45 | <muku79> | Thank you for the explanation. |
| 23:00:04 | <Squarism> | I have a heard time coming to grips with this. Why cant it work. Isnt it sufficient to say what constraints a result will have ? https://paste.ofcode.org/LGUmsU5w5f7YUBvYdpYCXX |
| 23:00:10 | <Squarism> | hard* |
| 23:00:12 | <b4er> | But the mystery is: How can you replace one for the other? |
| 23:01:16 | × | muku79 quits (~dh@2001:16b8:a024:6200:b4dc:df80:172c:8f7) (Quit: Leaving) |
| 23:01:24 | × | tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection) |
| 23:01:27 | <b4er> | With the (<$>) version, you're gonna need to evaluate the thing later. That's where the exception will take place. |
| 23:01:51 | → | tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64) |
| 23:03:04 | × | wagle quits (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 23:03:13 | × | christo quits (~chris@81.96.113.213) (Ping timeout: 264 seconds) |
| 23:03:55 | → | wagle joins (~wagle@quassel.wagle.io) |
| 23:05:49 | → | knupfer1 joins (~Thunderbi@200116b824c7460035b9e5cffea3d054.dip.versatel-1u1.de) |
| 23:06:38 | × | knupfer1 quits (~Thunderbi@200116b824c7460035b9e5cffea3d054.dip.versatel-1u1.de) (Client Quit) |
| 23:07:33 | → | mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
| 23:08:11 | → | halbGefressen joins (~halbGefre@2a02:810d:f40:2a9c:40b2:2308:84bd:8b9b) |
| 23:08:24 | × | solonarv quits (~solonarv@astrasbourg-653-1-252-231.w92-161.abo.wanadoo.fr) (Quit: Lost terminal) |
| 23:08:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:08:37 | × | dhil quits (~dhil@78.156.97.38) (Ping timeout: 264 seconds) |
| 23:09:25 | × | knupfer quits (~Thunderbi@mue-88-130-61-217.dsl.tropolys.de) (Ping timeout: 240 seconds) |
| 23:10:20 | <b4er> | Squarism, say if have `Foo (Bar ())` then how can `unpack (..) = (?? :: Bar Char)` ? |
| 23:10:35 | <b4er> | s/Bar/Baz |
| 23:11:19 | <b4er> | The class `Bar` uses universal quantification but the type Foo uses existential quantification. |
| 23:12:30 | <Squarism> | b4er, Hmm, i guess i need to rewire my brain a bit. |
| 23:13:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 23:14:12 | <b4er> | If you have a `Foo` defined that way, once you destruct it you must use it as an Eq and/or Show at once. That's the only thing you can do with it really |
| 23:14:34 | → | greylica joins (~greylica@139.28.218.148) |
| 23:16:05 | × | dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 23:19:02 | <Squarism> | b4er, thanks. I guess I could get it back if i throw in Typeable and do dirty casts right? |
| 23:20:11 | <b4er> | Isn't that what Dynamic do? |
| 23:21:44 | <Squarism> | Maybe, i never used that |
| 23:22:14 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 23:24:58 | → | dfeuer joins (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) |
| 23:25:35 | × | neiluj_ quits (~jco@91-167-203-101.subs.proxad.net) (Quit: leaving) |
| 23:25:42 | × | halbGefressen quits (~halbGefre@2a02:810d:f40:2a9c:40b2:2308:84bd:8b9b) (Quit: halbGefressen) |
| 23:25:50 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 23:25:56 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 23:25:56 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 23:27:14 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 23:27:20 | → | ransom joins (~c4264035@8.47.12.52) |
| 23:27:51 | → | boxscape joins (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) |
| 23:28:46 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 23:28:55 | → | djellemah joins (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) |
| 23:32:16 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving) |
| 23:34:36 | → | neiluj_ joins (~jco@91-167-203-101.subs.proxad.net) |
| 23:36:06 | → | christo joins (~chris@81.96.113.213) |
| 23:37:10 | × | neiluj quits (~jco@unaffiliated/neiluj) (Ping timeout: 246 seconds) |
| 23:38:17 | × | neiluj_ quits (~jco@91-167-203-101.subs.proxad.net) (Client Quit) |
| 23:38:31 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 23:38:31 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 23:38:31 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 23:38:49 | ← | BaneAliens parts (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) ("WeeChat 1.7") |
| 23:38:50 | × | xff0x quits (~fox@2001:1a81:523c:2500:528d:7247:c11a:c6c7) (Quit: xff0x) |
| 23:38:57 | → | xff0x joins (~fox@2001:1a81:523c:2500:528d:7247:c11a:c6c7) |
| 23:40:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:47:14 | × | jakob_ quits (~textual@p200300f49f0872003869e83adafdf05c.dip0.t-ipconnect.de) (Quit: My Laptop has gone to sleep. ZZZzzz…) |
| 23:47:49 | → | jakob_ joins (~textual@p200300f49f0872003869e83adafdf05c.dip0.t-ipconnect.de) |
| 23:47:51 | → | Melanie joins (~Melanie@192-0-134-138.cpe.teksavvy.com) |
| 23:48:00 | × | jakob_ quits (~textual@p200300f49f0872003869e83adafdf05c.dip0.t-ipconnect.de) (Client Quit) |
| 23:48:33 | → | jakob_ joins (~textual@p200300f49f0872003869e83adafdf05c.dip0.t-ipconnect.de) |
| 23:48:46 | × | jakob_ quits (~textual@p200300f49f0872003869e83adafdf05c.dip0.t-ipconnect.de) (Client Quit) |
| 23:48:59 | <ezzieyguywuf> | y'all use any alternative prelude's? |
| 23:49:10 | <ezzieyguywuf> | I think my haskell-fu may be evolved enough to start considering this |
| 23:49:15 | → | jakob_ joins (~textual@p200300f49f0872003869e83adafdf05c.dip0.t-ipconnect.de) |
| 23:49:32 | × | jakob_ quits (~textual@p200300f49f0872003869e83adafdf05c.dip0.t-ipconnect.de) (Client Quit) |
| 23:50:01 | → | jakob_ joins (~textual@p200300f49f0872003869e83adafdf05c.dip0.t-ipconnect.de) |
| 23:50:20 | × | jakob_ quits (~textual@p200300f49f0872003869e83adafdf05c.dip0.t-ipconnect.de) (Client Quit) |
| 23:51:28 | <sm[m]> | You have levelled up! You have acquired the skill: Use Alternative Prelude. Would you like to try some alternative preludes now ? Yes / No |
| 23:52:26 | <b4er> | Maybe |
| 23:52:34 | <aldum> | Just |
| 23:53:07 | <dsal> | I just assume alternative preludes are more trouble than they're worth. |
| 23:53:23 | <ezzieyguywuf> | sm[m]: lol. |
| 23:53:38 | <b4er> | It's a good question though, I've been wondering about this too.. there seem to be quite a few ones, so I always end up using none |
| 23:53:47 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 23:54:25 | <b4er> | Well, I don't go as far as using NoImplicitPrelude |
| 23:54:34 | <ezzieyguywuf> | I just came across relude, while working on some packaging stuff for gentoo |
| 23:54:35 | × | unlink2 quits (~unlink2@p200300ebcf259600e4593ff5d42812d3.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 23:54:45 | <ezzieyguywuf> | seems nice, but I dunno if it's woth the effort |
| 23:54:50 | <sm[m]> | Sooner or later somebody's going to break down and try it (and let us know) |
| 23:54:55 | <ezzieyguywuf> | lol |
| 23:54:58 | → | unlink2 joins (~unlink2@p200300ebcf259600e4593ff5d42812d3.dip0.t-ipconnect.de) |
| 23:55:42 | <sm[m]> | It seems like the easiest way is work on one of the big projects that use one |
| 23:56:43 | <sm[m]> | I think that includes cardano and some fp complete stuff |
| 23:58:57 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Ping timeout: 256 seconds) |
| 23:59:22 | <sm[m]> | or: be doing a string of relatively easy projects and use a different prelude for each |
All times are in UTC on 2021-01-03.