| 2021-04-04 00:01:16 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-04-04 00:02:19 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-04 00:02:26 +0200 | <edwardk> | Biff started as the bifunctor functor functor bifunctor |
| 2021-04-04 00:02:57 +0200 | <edwardk> | then tannen was from the lack of a name for the opposite wrapping til i realized it was the same as the cayley construction |
| 2021-04-04 00:03:23 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-04-04 00:04:04 +0200 | slack1256 | (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-04-04 00:04:12 +0200 | xff0x | (~xff0x@2001:1a81:5382:2700:3e60:8ef5:8d8c:59f2) (Ping timeout: 246 seconds) |
| 2021-04-04 00:04:15 +0200 | Chousuke | (oranenj@coffee.modeemi.fi) (Ping timeout: 246 seconds) |
| 2021-04-04 00:04:21 +0200 | Chousuke | (oranenj@coffee.modeemi.fi) |
| 2021-04-04 00:04:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-04 00:05:23 +0200 | <edwardk> | profunctors will soon have quantified superclasses so i'll be able to retire Tannen potentially |
| 2021-04-04 00:08:21 +0200 | nckx | jorts |
| 2021-04-04 00:08:30 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-04 00:08:46 +0200 | Feuermagier | (~Feuermagi@213.178.26.41) (Ping timeout: 240 seconds) |
| 2021-04-04 00:09:25 +0200 | xff0x | (~xff0x@2001:1a81:53a1:c700:42a:90b8:2b01:39ec) |
| 2021-04-04 00:09:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-04-04 00:11:49 +0200 | _noblegas | (uid91066@gateway/web/irccloud.com/x-qofejsurifxshhgi) (Quit: Connection closed for inactivity) |
| 2021-04-04 00:12:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-04 00:12:55 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-04-04 00:14:06 +0200 | ADG1089 | (~aditya@223.235.216.238) (Remote host closed the connection) |
| 2021-04-04 00:14:23 +0200 | Alleria | (~textual@2603-7000-3040-0000-c51d-1cd0-a8e6-1189.res6.spectrum.com) |
| 2021-04-04 00:14:47 +0200 | Alleria | Guest57863 |
| 2021-04-04 00:20:04 +0200 | DigitalKiwi | (~kiwi@unaffiliated/digitalkiwi) (Killed (Sigyn (Spam is off topic on freenode.))) |
| 2021-04-04 00:20:07 +0200 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-04-04 00:20:49 +0200 | DigitalKiwi | (~kiwi@unaffiliated/digitalkiwi) |
| 2021-04-04 00:21:33 +0200 | DigitalKiwi | (~kiwi@unaffiliated/digitalkiwi) (Remote host closed the connection) |
| 2021-04-04 00:21:33 +0200 | noan | (~noan@2604:a880:400:d0::12fc:5001) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-04 00:21:41 +0200 | dyamon | (~dyamon@cpc69058-oxfd26-2-0-cust662.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-04 00:21:56 +0200 | DigitalKiwi | (~kiwi@unaffiliated/digitalkiwi) |
| 2021-04-04 00:21:57 +0200 | noan | (~noan@2604:a880:400:d0::12fc:5001) |
| 2021-04-04 00:24:37 +0200 | dinciorip | (~dincio@5.171.36.128) (Quit: WeeChat 3.1) |
| 2021-04-04 00:27:12 +0200 | Paks | (~paks@c-69-136-183-189.hsd1.il.comcast.net) |
| 2021-04-04 00:27:39 +0200 | xff0x | (~xff0x@2001:1a81:53a1:c700:42a:90b8:2b01:39ec) (Ping timeout: 246 seconds) |
| 2021-04-04 00:29:38 +0200 | xff0x | (~xff0x@2001:1a81:53a1:f600:fe5e:e55e:8502:8002) |
| 2021-04-04 00:32:46 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-04 00:33:20 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-04 00:33:22 +0200 | mouseghost | (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-04-04 00:35:21 +0200 | usr25 | (~usr25@unaffiliated/usr25) |
| 2021-04-04 00:36:19 +0200 | usr25 | (~usr25@unaffiliated/usr25) () |
| 2021-04-04 00:36:25 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-04 00:38:11 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 2021-04-04 00:42:46 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-04 00:43:14 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-04-04 00:46:52 +0200 | shatriff | (~vitaliish@176.52.216.242) |
| 2021-04-04 00:51:21 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b95616541deb5a58528aa.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-04-04 00:52:35 +0200 | bitmapper | (uid464869@gateway/web/irccloud.com/x-tyfptednkskarnir) |
| 2021-04-04 00:56:07 +0200 | xff0x | (~xff0x@2001:1a81:53a1:f600:fe5e:e55e:8502:8002) (Ping timeout: 250 seconds) |
| 2021-04-04 00:57:49 +0200 | xff0x | (~xff0x@2001:1a81:53a2:3400:9191:7a44:6803:ee4d) |
| 2021-04-04 00:58:00 +0200 | shalokshalom | (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) |
| 2021-04-04 00:58:51 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-04-04 00:59:16 +0200 | vv8 | (~egp_@2.95.145.35) (Read error: Connection reset by peer) |
| 2021-04-04 00:59:17 +0200 | <sim590> | When you have `newtype A = B deriving Show` where B is not an instance of Show. How do you make it so `let a = B ; show a` works, i.e. that a is interpreted as type A so that the Show instance comes into play? |
| 2021-04-04 01:00:14 +0200 | <sim590> | In short, I have a type which doesn't implement Show and I want to print this type in another module without deriving Show on the type for in the first module. I just want to have a derivation of show for some debugging purposes through another module. |
| 2021-04-04 01:00:44 +0200 | <L29Ah> | sim590: write an instance declaration |
| 2021-04-04 01:01:05 +0200 | <sim590> | Why doesn't deriving work? |
| 2021-04-04 01:01:05 +0200 | ezrakilty | (~ezrakilty@97-126-95-37.tukw.qwest.net) (Read error: Connection reset by peer) |
| 2021-04-04 01:01:28 +0200 | <sim590> | It compiles, but just doesn't work as I would want it at run time. |
| 2021-04-04 01:03:14 +0200 | <sim590> | This: http://ix.io/2UX6 compiles, but when I do `fromBSTree (Leaf $ (LBSLeaf 0 0 :: DebugLBSNode Int))`, I get Couldn't match expected type ‘DebugLBSNode Int’ with actual type ‘LBSNode Integer’. |
| 2021-04-04 01:03:49 +0200 | stree | (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-04-04 01:04:14 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-04 01:05:32 +0200 | <sim590> | L29Ah: and if I try to write an instance of Show, I get the same type of error about not being able to match the type. |
| 2021-04-04 01:08:29 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-04-04 01:09:08 +0200 | <sim590> | I get it. I need a constructor for the newtype. |
| 2021-04-04 01:09:57 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) (Remote host closed the connection) |
| 2021-04-04 01:10:15 +0200 | <sim590> | But, I would have preferred using Deriving for something so simple. |
| 2021-04-04 01:10:29 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) |
| 2021-04-04 01:11:12 +0200 | xff0x | (~xff0x@2001:1a81:53a2:3400:9191:7a44:6803:ee4d) (Ping timeout: 258 seconds) |
| 2021-04-04 01:11:53 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-wqegmyveynqiexyu) (Quit: Connection closed for inactivity) |
| 2021-04-04 01:12:48 +0200 | <dmwit> | sim590: Probably the simplest thing is to go the other direction: have an internal normal data type with a Show instance, then write a newtype wrapper that doesn't have it. |
| 2021-04-04 01:13:01 +0200 | xff0x | (~xff0x@2001:1a81:53a3:9100:8289:a74a:7ec1:fdb0) |
| 2021-04-04 01:13:07 +0200 | <dmwit> | Then you can use deriving for the Show instance on the internal type. |
| 2021-04-04 01:13:46 +0200 | tpefreedom | (~tpefreedo@98.125.189.230) (Ping timeout: 260 seconds) |
| 2021-04-04 01:16:11 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) (Ping timeout: 258 seconds) |
| 2021-04-04 01:16:20 +0200 | <sim590> | dmwit: But then all my functions that are already defined for the internal type will need to have a counter part defined for the exposed type. Is there a way to create that substitution easily without making a one-to-one match of functions in another module? |
| 2021-04-04 01:16:35 +0200 | <dmwit> | no =( |
| 2021-04-04 01:16:50 +0200 | <sim590> | :( indeed. |
| 2021-04-04 01:18:24 +0200 | son0p | (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 2021-04-04 01:18:29 +0200 | xff0x | (~xff0x@2001:1a81:53a3:9100:8289:a74a:7ec1:fdb0) (Ping timeout: 258 seconds) |
| 2021-04-04 01:19:02 +0200 | minoru_shiraeesh | (~shiraeesh@109.166.57.249) (Ping timeout: 260 seconds) |
| 2021-04-04 01:20:15 +0200 | xff0x | (~xff0x@2001:1a81:53a4:1a00:48ea:a3f5:e79e:50d4) |
| 2021-04-04 01:22:25 +0200 | shatriff | (~vitaliish@176.52.216.242) (Remote host closed the connection) |
| 2021-04-04 01:30:34 +0200 | shatriff | (~vitaliish@176.52.216.242) |
| 2021-04-04 01:32:31 +0200 | xff0x | (~xff0x@2001:1a81:53a4:1a00:48ea:a3f5:e79e:50d4) (Ping timeout: 250 seconds) |
| 2021-04-04 01:33:57 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-04-04 01:34:28 +0200 | xff0x | (~xff0x@2001:1a81:53a6:2500:c709:94de:ef18:691) |
| 2021-04-04 01:34:43 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-04 01:34:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-04 01:35:03 +0200 | jorts | nckx |
| 2021-04-04 01:36:42 +0200 | mkDoku | (~TheMule@aftr-37-201-195-134.unity-media.net) (Ping timeout: 260 seconds) |
| 2021-04-04 01:38:21 +0200 | ezrakilty | (~ezrakilty@97-126-95-37.tukw.qwest.net) |
| 2021-04-04 01:39:11 +0200 | xff0x | (~xff0x@2001:1a81:53a6:2500:c709:94de:ef18:691) (Ping timeout: 258 seconds) |
| 2021-04-04 01:40:40 +0200 | xff0x | (~xff0x@2001:1a81:53a6:6d00:9534:7b3e:fc60:2ec7) |
| 2021-04-04 01:42:51 +0200 | chenin | (bab724b4@186.183.36.180) |
| 2021-04-04 01:48:22 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 2021-04-04 01:56:57 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-04 02:04:09 +0200 | Khisanth | (~Khisanth@24.sub-174-244-147.myvzw.com) (Ping timeout: 250 seconds) |
| 2021-04-04 02:06:44 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 246 seconds) |
| 2021-04-04 02:08:02 +0200 | slack1256 | (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection) |
| 2021-04-04 02:11:11 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-04 02:11:34 +0200 | DTZUZU_ | (~DTZUZO@207.81.119.43) (Ping timeout: 265 seconds) |
| 2021-04-04 02:15:13 +0200 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-04-04 02:16:25 +0200 | chenin | (bab724b4@186.183.36.180) () |
| 2021-04-04 02:17:00 +0200 | Khisanth | (~Khisanth@167.sub-174-197-129.myvzw.com) |
| 2021-04-04 02:18:21 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-04-04 02:20:47 +0200 | kadoban_ | (~mud@unaffiliated/kadoban) (Quit: bye) |
| 2021-04-04 02:21:21 +0200 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-04-04 02:23:02 +0200 | Ishutin_ | (~ishutin@94-21-108-5.pool.digikabel.hu) |
| 2021-04-04 02:23:46 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-04-04 02:24:09 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-04 02:24:38 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-04 02:24:58 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2021-04-04 02:26:14 +0200 | _bin | (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) (Quit: ZNC - https://znc.in) |
| 2021-04-04 02:26:20 +0200 | Ishutin | (~ishutin@87-97-30-197.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2021-04-04 02:26:36 +0200 | _bin | (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) |
| 2021-04-04 02:28:26 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 246 seconds) |
| 2021-04-04 02:28:42 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2021-04-04 02:31:46 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 2021-04-04 02:32:57 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-04 02:35:04 +0200 | Tario | (~Tario@200.119.186.63) |
| 2021-04-04 02:48:51 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-leagdtamtaexonnr) |
| 2021-04-04 02:51:07 +0200 | Tario | (~Tario@200.119.186.63) (Read error: Connection reset by peer) |
| 2021-04-04 02:52:24 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-04 02:53:40 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-04-04 02:59:58 +0200 | yahb | (xsbot@haskell/bot/yahb) (Ping timeout: 240 seconds) |
| 2021-04-04 03:00:17 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
| 2021-04-04 03:02:43 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) |
| 2021-04-04 03:05:11 +0200 | mniip | (mniip@freenode/staff/mniip) (Ping timeout: 615 seconds) |
| 2021-04-04 03:05:43 +0200 | remby | (~rcg@bras-base-london1483w-grc-33-70-50-136-176.dsl.bell.ca) |
| 2021-04-04 03:07:42 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-04-04 03:08:07 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-04 03:09:27 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-04-04 03:10:38 +0200 | Rudd0 | (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
| 2021-04-04 03:10:57 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-04 03:11:15 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-04 03:11:58 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-04 03:14:15 +0200 | elliott_ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-04-04 03:14:20 +0200 | DTZUZU_ | (~DTZUZO@207.81.119.43) |
| 2021-04-04 03:16:06 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-04-04 03:16:57 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 268 seconds) |
| 2021-04-04 03:25:36 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-04 03:27:53 +0200 | remby | (~rcg@bras-base-london1483w-grc-33-70-50-136-176.dsl.bell.ca) (Quit: Konversation terminated!) |
| 2021-04-04 03:28:06 +0200 | remby | (~rcg@bras-base-london1483w-grc-33-70-50-136-176.dsl.bell.ca) |
| 2021-04-04 03:33:12 +0200 | Sorna | (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-04-04 03:35:00 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-04 03:36:26 +0200 | Sornaensis | (~Sornaensi@185.192.69.50) (Ping timeout: 240 seconds) |
| 2021-04-04 03:41:26 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-hgimmdjguzsfapni) (Quit: Connection closed for inactivity) |
| 2021-04-04 03:42:35 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-04-04 03:47:55 +0200 | Sgeo_ | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-04 03:48:44 +0200 | xff0x | (~xff0x@2001:1a81:53a6:6d00:9534:7b3e:fc60:2ec7) (Ping timeout: 245 seconds) |
| 2021-04-04 03:49:11 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-04 03:52:19 +0200 | xff0x | (~xff0x@2001:1a81:5210:1000:fa01:c98e:d190:2ce0) |
| 2021-04-04 03:57:38 +0200 | tmciver | (~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 260 seconds) |
| 2021-04-04 03:58:17 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-hncllipeficcbcan) (Quit: Connection closed for inactivity) |
| 2021-04-04 03:58:33 +0200 | xff0x | (~xff0x@2001:1a81:5210:1000:fa01:c98e:d190:2ce0) (Ping timeout: 250 seconds) |
| 2021-04-04 03:59:15 +0200 | tmciver | (~tmciver@cpe-172-101-40-226.maine.res.rr.com) |
| 2021-04-04 04:00:31 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-04 04:00:31 +0200 | xff0x | (~xff0x@2001:1a81:5210:ca00:fdb1:3c24:1234:2ac1) |
| 2021-04-04 04:02:46 +0200 | DTZUZU_ | (~DTZUZO@207.81.119.43) (Ping timeout: 240 seconds) |
| 2021-04-04 04:08:44 +0200 | shatriff | (~vitaliish@176.52.216.242) (Remote host closed the connection) |
| 2021-04-04 04:09:18 +0200 | shatriff | (~vitaliish@176.52.216.242) |
| 2021-04-04 04:10:27 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) (Remote host closed the connection) |
| 2021-04-04 04:12:22 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) |
| 2021-04-04 04:17:12 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) (Remote host closed the connection) |
| 2021-04-04 04:20:44 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) |
| 2021-04-04 04:20:49 +0200 | xff0x | (~xff0x@2001:1a81:5210:ca00:fdb1:3c24:1234:2ac1) (Ping timeout: 245 seconds) |
| 2021-04-04 04:22:37 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-04 04:22:51 +0200 | xff0x | (~xff0x@2001:1a81:5213:6700:e31e:a344:a799:7115) |
| 2021-04-04 04:23:06 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-04-04 04:23:34 +0200 | ajc_ | (~ajc@69.231.232.79) |
| 2021-04-04 04:24:55 +0200 | noexcept | (~noexcept@2a03:b0c0:3:d0::33:9001) (*.net *.split) |
| 2021-04-04 04:24:55 +0200 | sphalerite | (~sphalerit@NixOS/user/lheckemann) (*.net *.split) |
| 2021-04-04 04:24:55 +0200 | lambda | (~xiretza@mail.xiretza.xyz) (*.net *.split) |
| 2021-04-04 04:24:55 +0200 | ocharles | (sid30093@musicbrainz/user/ocharles) (*.net *.split) |
| 2021-04-04 04:24:55 +0200 | hazard-pointer_ | (sid331723@gateway/web/irccloud.com/x-wushqlykrygajcur) (*.net *.split) |
| 2021-04-04 04:24:55 +0200 | agander_m | (sid407952@gateway/web/irccloud.com/x-pursommpxzploatw) (*.net *.split) |
| 2021-04-04 04:24:55 +0200 | milessabin | (sid86799@gateway/web/irccloud.com/x-hmfsltgzvlhcmkqq) (*.net *.split) |
| 2021-04-04 04:24:55 +0200 | ghuntley | (sid16877@gateway/web/irccloud.com/x-edeyartuzjnymnlf) (*.net *.split) |
| 2021-04-04 04:24:55 +0200 | dani- | (sid341953@gateway/web/irccloud.com/x-rsbykznomadfhydo) (*.net *.split) |
| 2021-04-04 04:24:55 +0200 | rslima_____ | (sid26145@gateway/web/irccloud.com/x-bsjjzrtkvhqfkopf) (*.net *.split) |
| 2021-04-04 04:24:55 +0200 | winny | (~winny@fsf/member/winstonw) (*.net *.split) |
| 2021-04-04 04:24:55 +0200 | Firedancer | (sid336191@gateway/web/irccloud.com/x-mtbaiflqonfwpdpt) (*.net *.split) |
| 2021-04-04 04:24:55 +0200 | entel | (uid256215@botters/entel) (*.net *.split) |
| 2021-04-04 04:24:55 +0200 | Zialus_PT | (~RMF@2001:818:de63:c300:211:32ff:fe8d:ad29) (*.net *.split) |
| 2021-04-04 04:24:55 +0200 | okad | (~okad@ec2-18-135-78-237.eu-west-2.compute.amazonaws.com) (*.net *.split) |
| 2021-04-04 04:24:55 +0200 | wraithm | (~wraithm@unaffiliated/wraithm) (*.net *.split) |
| 2021-04-04 04:24:55 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split) |
| 2021-04-04 04:24:55 +0200 | thaumavorio | (~thaumavor@thaumavor.io) (*.net *.split) |
| 2021-04-04 04:24:55 +0200 | vancz | (~vancz@unaffiliated/vancz) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | iptq | (~michael@142.93.75.170) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | mupf | (~micha@v22017094964653601.ultrasrv.de) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | stilgart | (~Christoph@chezlefab.net) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | tomjaguarpaw | (~tom@li367-225.members.linode.com) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | ent- | (entgod@kapsi.fi) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | M2tias_ | (m2@seri.fi) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | Mzg_ | (Mzg@s1.ct8.pl) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | SanchayanMaity | (sid478177@gateway/web/irccloud.com/x-yrcsnbnrakrsvhfl) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | dgpratt | (sid193493@gateway/web/irccloud.com/x-woogguzeplzoavpn) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | tiru | (tiru@gateway/web/irccloud.com/x-yvriqigkdgcytdrs) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | jtmar | (james@jtmar.me) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | lechner | (~lechner@letbox-vps.us-core.com) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | elvishjerricco | (sid237756@NixOS/user/ElvishJerricco) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | lexi-lambda | (sid92601@gateway/web/irccloud.com/x-oglwobzdzlunivgx) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | JSharp | (sid4580@wikia/JSharp) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | Tritlo | (sid58727@gateway/web/irccloud.com/x-geglvmlluszkfqin) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | edwinb | (sid69486@gateway/web/irccloud.com/x-jjzemvhemvqrtzqr) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | higherorder__ | (sid185221@gateway/web/irccloud.com/x-lcdnfhiahwbndmco) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | AndreasK | (sid320732@gateway/web/irccloud.com/x-uinzyrworkhwzace) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | mstruebing | (~mstruebin@2001:41d0:8:93c7::1) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | trevorriles | (sid469656@gateway/web/irccloud.com/x-ftfflnuszupfnvyt) (*.net *.split) |
| 2021-04-04 04:24:56 +0200 | `slikts | (~nelabs@wikipedia/reinis) (*.net *.split) |
| 2021-04-04 04:25:01 +0200 | stilgart | (~Christoph@chezlefab.net) |
| 2021-04-04 04:25:02 +0200 | noexcept | (~noexcept@noexcept.org) |
| 2021-04-04 04:25:03 +0200 | Mzg | (Mzg@s1.ct8.pl) |
| 2021-04-04 04:25:03 +0200 | ent | (entgod@kapsi.fi) |
| 2021-04-04 04:25:05 +0200 | M2tias | (m2@seri.fi) |
| 2021-04-04 04:25:07 +0200 | tomjaguarpaw | (~tom@li367-225.members.linode.com) |
| 2021-04-04 04:25:09 +0200 | ocharles | (sid30093@musicbrainz/user/ocharles) |
| 2021-04-04 04:25:11 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-04 04:25:11 +0200 | mupf | (~micha@v22017094964653601.ultrasrv.de) |
| 2021-04-04 04:25:12 +0200 | jamestmartin | (james@jtmar.me) |
| 2021-04-04 04:25:14 +0200 | dgpratt | (sid193493@gateway/web/irccloud.com/x-urdajyvmrwxnrqme) |
| 2021-04-04 04:25:14 +0200 | Firedancer | (sid336191@gateway/web/irccloud.com/x-ymzfrqjvnjogppne) |
| 2021-04-04 04:25:15 +0200 | agander_m | (sid407952@gateway/web/irccloud.com/x-olfvvsvzckwflxmz) |
| 2021-04-04 04:25:15 +0200 | dani- | (sid341953@gateway/web/irccloud.com/x-enxplehsvwdxnwfi) |
| 2021-04-04 04:25:15 +0200 | lexi-lambda | (sid92601@gateway/web/irccloud.com/x-ziectdehwbawptyu) |
| 2021-04-04 04:25:15 +0200 | edwinb | (sid69486@gateway/web/irccloud.com/x-zkwljnhotbnadxsf) |
| 2021-04-04 04:25:15 +0200 | Tritlo | (sid58727@gateway/web/irccloud.com/x-ebgcghokgzjiocde) |
| 2021-04-04 04:25:15 +0200 | elvishjerricco | (sid237756@NixOS/user/ElvishJerricco) |
| 2021-04-04 04:25:15 +0200 | mstruebing | (~mstruebin@2001:41d0:8:93c7::1) |
| 2021-04-04 04:25:15 +0200 | ghuntley | (sid16877@gateway/web/irccloud.com/x-qpvlvzzjxknipbhd) |
| 2021-04-04 04:25:20 +0200 | lambda | (~xiretza@mail.xiretza.xyz) |
| 2021-04-04 04:25:22 +0200 | milessabin | (sid86799@gateway/web/irccloud.com/x-aurnquefvyorfrgg) |
| 2021-04-04 04:25:23 +0200 | okad | (~okad@ec2-18-135-78-237.eu-west-2.compute.amazonaws.com) |
| 2021-04-04 04:25:23 +0200 | iptq | (~michael@142.93.75.170) |
| 2021-04-04 04:25:23 +0200 | entel | (uid256215@botters/entel) |
| 2021-04-04 04:25:25 +0200 | stilgart | Guest15377 |
| 2021-04-04 04:25:28 +0200 | sphalerite | (~sphalerit@NixOS/user/lheckemann) |
| 2021-04-04 04:25:29 +0200 | hazard-pointer_ | (sid331723@gateway/web/irccloud.com/x-djvxjvpwtslqokxt) |
| 2021-04-04 04:25:30 +0200 | rslima_____ | (sid26145@gateway/web/irccloud.com/x-goofybjtwpxkxwqn) |
| 2021-04-04 04:25:31 +0200 | SanchayanMaity | (sid478177@gateway/web/irccloud.com/x-lbidgqvllugcofen) |
| 2021-04-04 04:25:32 +0200 | trevorriles | (sid469656@gateway/web/irccloud.com/x-ztfsmauikpdgmwtj) |
| 2021-04-04 04:25:34 +0200 | tiru | (tiru@gateway/web/irccloud.com/x-mnvdiojttnfqdzkx) |
| 2021-04-04 04:25:36 +0200 | AndreasK | (sid320732@gateway/web/irccloud.com/x-pgqteyfipgnoghyc) |
| 2021-04-04 04:25:37 +0200 | JSharp | (sid4580@wikia/JSharp) |
| 2021-04-04 04:25:40 +0200 | lechner | (~lechner@2a0b:ae40:2:4a0b::1) |
| 2021-04-04 04:25:45 +0200 | thaumavorio | (~thaumavor@thaumavor.io) |
| 2021-04-04 04:25:46 +0200 | higherorder__ | (sid185221@gateway/web/irccloud.com/x-akhodmnrphxdcsqt) |
| 2021-04-04 04:25:57 +0200 | ajc | (~ajc@69.231.232.79) (Ping timeout: 252 seconds) |
| 2021-04-04 04:26:02 +0200 | `slikts | (~nelabs@2a00:d880:5:395::37ca) |
| 2021-04-04 04:26:02 +0200 | `slikts | (~nelabs@2a00:d880:5:395::37ca) (Changing host) |
| 2021-04-04 04:26:02 +0200 | `slikts | (~nelabs@wikipedia/reinis) |
| 2021-04-04 04:26:16 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 2021-04-04 04:26:54 +0200 | vancz | (~vancz@unaffiliated/vancz) |
| 2021-04-04 04:26:56 +0200 | wraithm | (~wraithm@unaffiliated/wraithm) |
| 2021-04-04 04:27:20 +0200 | winny | (~winny@fsf/member/winstonw) |
| 2021-04-04 04:27:23 +0200 | mantovani | (~mantovani@104.131.207.121) (Ping timeout: 265 seconds) |
| 2021-04-04 04:27:36 +0200 | Zialus | (~RMF@199.125.37.188.rev.vodafone.pt) |
| 2021-04-04 04:28:05 +0200 | <koz_> | :t maximumBy |
| 2021-04-04 04:28:06 +0200 | <lambdabot> | Foldable t => (a -> a -> Ordering) -> t a -> a |
| 2021-04-04 04:28:10 +0200 | <koz_> | :D |
| 2021-04-04 04:30:05 +0200 | mantovani | (~mantovani@104.131.207.121) |
| 2021-04-04 04:35:06 +0200 | jlamothe | (~jlamothe@198.251.57.81) (Ping timeout: 240 seconds) |
| 2021-04-04 04:36:11 +0200 | jlamothe | (~jlamothe@198.251.57.81) |
| 2021-04-04 04:41:32 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) (Remote host closed the connection) |
| 2021-04-04 04:45:44 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:18c6:bbe2:41d0:8242) |
| 2021-04-04 04:46:28 +0200 | remby | (~rcg@bras-base-london1483w-grc-33-70-50-136-176.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2021-04-04 04:52:50 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-04-04 04:55:54 +0200 | theDon | (~td@muedsl-82-207-238-112.citykom.de) (Ping timeout: 265 seconds) |
| 2021-04-04 04:56:40 +0200 | ezrakilty | (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection) |
| 2021-04-04 04:57:25 +0200 | theDon | (~td@94.134.91.193) |
| 2021-04-04 04:59:13 +0200 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-04 04:59:14 +0200 | finn_elija | Guest9517 |
| 2021-04-04 04:59:14 +0200 | FinnElija | finn_elija |
| 2021-04-04 05:02:21 +0200 | Guest9517 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-04-04 05:02:35 +0200 | conal | (~conal@64.71.133.70) |
| 2021-04-04 05:03:34 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-04 05:12:52 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:1064:5b4f:c9cd:bb5a) (Remote host closed the connection) |
| 2021-04-04 05:16:45 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-04-04 05:19:39 +0200 | spi85 | (b641dde8@182.65.221.232) |
| 2021-04-04 05:19:40 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2021-04-04 05:21:38 +0200 | spi85 | (b641dde8@182.65.221.232) (Client Quit) |
| 2021-04-04 05:21:45 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 2021-04-04 05:22:06 +0200 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-04 05:22:06 +0200 | FinnElija | finn_elija |
| 2021-04-04 05:22:24 +0200 | petersen | (~petersen@redhat/juhp) (Quit: petersen) |
| 2021-04-04 05:23:06 +0200 | petersen | (~petersen@redhat/juhp) |
| 2021-04-04 05:23:15 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-04-04 05:23:35 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2021-04-04 05:26:33 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:18c6:bbe2:41d0:8242) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-04 05:31:35 +0200 | ninedotnine | (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 2021-04-04 05:31:59 +0200 | ninedotnine | (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Client Quit) |
| 2021-04-04 05:32:50 +0200 | danso | (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Read error: Connection reset by peer) |
| 2021-04-04 05:33:41 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-04 05:36:20 +0200 | danso | (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 2021-04-04 05:37:05 +0200 | remby | (~rcg@bras-base-london1483w-grc-33-70-50-136-176.dsl.bell.ca) |
| 2021-04-04 05:37:29 +0200 | DTZUZU_ | (~DTZUZO@207.81.119.43) |
| 2021-04-04 05:37:41 +0200 | remby | (~rcg@bras-base-london1483w-grc-33-70-50-136-176.dsl.bell.ca) (Client Quit) |
| 2021-04-04 05:37:58 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-04 05:39:39 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 252 seconds) |
| 2021-04-04 05:42:58 +0200 | puke | (~vroom@217.138.252.196) |
| 2021-04-04 05:44:43 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:4c29:bb07:9985:fb29) (Ping timeout: 250 seconds) |
| 2021-04-04 05:46:54 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-04 05:52:53 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:781f:32cc:516c:6db5) |
| 2021-04-04 05:53:19 +0200 | minoru_shiraeesh | (~shiraeesh@109.166.57.249) |
| 2021-04-04 05:57:48 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:b427:466b:a007:50eb) |
| 2021-04-04 06:01:11 +0200 | Wuzzy | (~Wuzzy@p57a2fb8a.dip0.t-ipconnect.de) (Quit: Wuzzy) |
| 2021-04-04 06:02:16 +0200 | bitmapper | (uid464869@gateway/web/irccloud.com/x-tyfptednkskarnir) (Quit: Connection closed for inactivity) |
| 2021-04-04 06:02:36 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-04-04 06:03:00 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-04 06:11:58 +0200 | Rudd0 | (~Rudd0@185.189.115.103) |
| 2021-04-04 06:28:11 +0200 | minoru_shiraeesh | (~shiraeesh@109.166.57.249) (Ping timeout: 260 seconds) |
| 2021-04-04 06:30:53 +0200 | <wroathe> | Say I've got a datatype like data Foo a = A [Bar a] [Foo a] | B [Bar a] [Foo a], and I want to derive a Foldable instance, is there a way to get it to ignore the first field of each data constructor and just use the second [Foo a] field when doing so with DeriveFoldable? |
| 2021-04-04 06:31:07 +0200 | <wroathe> | Or do I have to roll the instance by hand? |
| 2021-04-04 06:31:11 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2021-04-04 06:32:02 +0200 | <Uniaika> | wroathe: the level of control you wish to have asks for a manual instance |
| 2021-04-04 06:32:29 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-04 06:32:38 +0200 | <wroathe> | Uniaika: Cool. I thought so, but I figured it couldn't hurt to ask. |
| 2021-04-04 06:33:00 +0200 | <Uniaika> | :) |
| 2021-04-04 06:34:23 +0200 | DTZUZU_ | (~DTZUZO@207.81.119.43) (Ping timeout: 260 seconds) |
| 2021-04-04 06:41:21 +0200 | <arahael> | I'm finding xml processing tedious and painful. I'm trying to get the child nodes from an XmlTree, so I'm tryhing to find a function XmlTree -> XmlTrees |
| 2021-04-04 06:41:46 +0200 | minoru_shiraeesh | (~shiraeesh@109.166.57.249) |
| 2021-04-04 06:42:04 +0200 | <arahael> | (Using HXT). I've found `childNodes`, but it returns a ChildNodes, which is a [(Int, XmlNodeSet)], which is not what I want. |
| 2021-04-04 06:47:36 +0200 | mrchampion | (~mrchampio@38.18.109.23) (Remote host closed the connection) |
| 2021-04-04 06:54:08 +0200 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-04-04 06:55:24 +0200 | <wroathe> | arahael: This isn't very popular, but it looks like they're keeping it up to date, and I tried it out a couple of years ago and remember liking it: https://hackage.haskell.org/package/xeno |
| 2021-04-04 06:55:55 +0200 | <arahael> | wroathe: Yeah, I'm thinking HXT was a bad choice. |
| 2021-04-04 07:11:20 +0200 | alx741 | (~alx741@181.196.68.6) (Quit: alx741) |
| 2021-04-04 07:11:58 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-04-04 07:13:18 +0200 | Feuermagier | (~Feuermagi@213.178.26.41) |
| 2021-04-04 07:13:45 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:fc90:fc9e:e06f:7ac5) |
| 2021-04-04 07:13:59 +0200 | s00pcan | (~chris@107.181.165.217) |
| 2021-04-04 07:18:27 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:fc90:fc9e:e06f:7ac5) (Ping timeout: 258 seconds) |
| 2021-04-04 07:20:08 +0200 | <wroathe> | Say I've got a datatype like the above, but instead of just the A and B constructors, I've got a bunch that all have the same structure... Is there a way to write accessor functions for the first field and the second field that doesn't require me to pattern match against all of the data constructors? |
| 2021-04-04 07:20:25 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 265 seconds) |
| 2021-04-04 07:21:04 +0200 | <wroathe> | Technically I think I could use Generic for that, but I'm thinking even simpler than that |
| 2021-04-04 07:23:36 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-bfjhbskdtcpabmnv) |
| 2021-04-04 07:26:02 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2021-04-04 07:32:00 +0200 | ert345t | (9a10a691@154.16.166.145) |
| 2021-04-04 07:32:51 +0200 | jneira | (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) (Remote host closed the connection) |
| 2021-04-04 07:34:11 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-04 07:35:18 +0200 | xff0x | (~xff0x@2001:1a81:5213:6700:e31e:a344:a799:7115) (Ping timeout: 258 seconds) |
| 2021-04-04 07:37:02 +0200 | xff0x | (~xff0x@2001:1a81:5222:4e00:3716:e584:9ec2:915) |
| 2021-04-04 07:45:25 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-04 07:48:38 +0200 | elliott_ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-04 07:49:49 +0200 | ert345t | (9a10a691@154.16.166.145) (Quit: Connection closed) |
| 2021-04-04 07:54:46 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-04 07:57:27 +0200 | xff0x | (~xff0x@2001:1a81:5222:4e00:3716:e584:9ec2:915) (Ping timeout: 260 seconds) |
| 2021-04-04 07:59:14 +0200 | xff0x | (~xff0x@2001:1a81:5222:8500:a3a1:f5ff:2a0a:6847) |
| 2021-04-04 07:59:55 +0200 | <dmwit> | wroathe: https://stackoverflow.com/q/32158110/791604 |
| 2021-04-04 08:02:01 +0200 | <wroathe> | dmwit: Thanks. For some reason I had gotten it in my head that I'd needed a different function name for each data constructor accessor |
| 2021-04-04 08:02:14 +0200 | <wroathe> | dmwit: Re-ramping up on Haskell after not writing it for a while :P |
| 2021-04-04 08:02:25 +0200 | <dmwit> | Personally, I actually think the Tag solution in my answer there is the better one. But you do you |
| 2021-04-04 08:03:13 +0200 | <dmwit> | Well. Usually the better one. |
| 2021-04-04 08:05:03 +0200 | <wroathe> | I'm just tinkering at the moment and playing around with the idea of representing HTML as data Element a = A [Attributes a] [Elements a] | Abbr [Attributes a] [Elements a] | ... |
| 2021-04-04 08:05:58 +0200 | <shachaf> | That certainly sounds like a place where you'd use the Wagner representation. |
| 2021-04-04 08:06:39 +0200 | <wroathe> | Elm does this as data Element a = Element Tag [Attributes a] [Element a], which is dmwit's suggestion |
| 2021-04-04 08:07:00 +0200 | <dmwit> | Man. After participating in so many online-only events it sounds weird to have something named after my real name and not my sobriquet. |
| 2021-04-04 08:07:15 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-04 08:08:06 +0200 | <wroathe> | s/Attributes/Attribute, s/Elements/Element |
| 2021-04-04 08:08:06 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-04 08:08:58 +0200 | <dmwit> | Oooo, "orthonym" is the word I wanted! |
| 2021-04-04 08:14:43 +0200 | xff0x | (~xff0x@2001:1a81:5222:8500:a3a1:f5ff:2a0a:6847) (Ping timeout: 260 seconds) |
| 2021-04-04 08:14:55 +0200 | <wroathe> | dmwit: As I'm re-ramping up on Haskell I've been seeing your name on stackoverflow a lot. You've certainly put in the work answering questions. |
| 2021-04-04 08:15:08 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-04 08:15:36 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-04 08:16:26 +0200 | xff0x | (~xff0x@2001:1a81:5222:bb00:e59:6490:f3fa:411) |
| 2021-04-04 08:25:55 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-04 08:28:27 +0200 | Sgeo_ | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-04 08:28:28 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-04 08:29:14 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-04 08:30:55 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2021-04-04 08:31:20 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-04 08:33:42 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-04 08:34:20 +0200 | <koz_> | % :t countTrailingZeros |
| 2021-04-04 08:34:30 +0200 | <koz_> | Is yahb dead? |
| 2021-04-04 08:34:33 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-04 08:34:35 +0200 | <koz_> | > :t countTrailingZeros |
| 2021-04-04 08:34:36 +0200 | <lambdabot> | <hint>:1:1: error: <hint>:1:1: error: parse error on input ‘:’ |
| 2021-04-04 08:35:06 +0200 | <koz_> | :t countTrailingZeros |
| 2021-04-04 08:35:07 +0200 | <lambdabot> | FiniteBits b => b -> Int |
| 2021-04-04 08:35:16 +0200 | <koz_> | > countTrailingZeros (0 :: Word64) |
| 2021-04-04 08:35:18 +0200 | <lambdabot> | 64 |
| 2021-04-04 08:35:24 +0200 | <koz_> | Hmm, curious. |
| 2021-04-04 08:41:04 +0200 | davros1 | (~davros@host86-185-126-198.range86-185.btcentralplus.com) |
| 2021-04-04 08:42:19 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-04 08:44:31 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-04 08:46:52 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 268 seconds) |
| 2021-04-04 08:52:29 +0200 | codygman__ | (~user@47.186.207.161) |
| 2021-04-04 08:53:56 +0200 | codygman__ | (~user@47.186.207.161) (Remote host closed the connection) |
| 2021-04-04 08:57:44 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:781f:32cc:516c:6db5) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-04 08:58:12 +0200 | carlomagno | (~cararell@148.87.23.4) (Quit: Leaving.) |
| 2021-04-04 09:01:11 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-04 09:07:51 +0200 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2021-04-04 09:08:16 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-04-04 09:08:49 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-04 09:11:58 +0200 | alct | (~alct@194.37.96.82) (Remote host closed the connection) |
| 2021-04-04 09:13:51 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-04 09:14:39 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-04-04 09:15:55 +0200 | xff0x | (~xff0x@2001:1a81:5222:bb00:e59:6490:f3fa:411) (Ping timeout: 252 seconds) |
| 2021-04-04 09:16:02 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-04-04 09:16:28 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-04 09:16:32 +0200 | irc0331 | (~jeff@183.193.143.60) |
| 2021-04-04 09:17:04 +0200 | dinciorip | (~dincio@5.170.192.218) |
| 2021-04-04 09:17:40 +0200 | xff0x | (~xff0x@2001:1a81:5223:4400:75a1:1e6c:5be8:43d7) |
| 2021-04-04 09:20:22 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:b427:466b:a007:50eb) (Ping timeout: 246 seconds) |
| 2021-04-04 09:21:02 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-04-04 09:31:03 +0200 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-04-04 09:32:46 +0200 | dyamon | (~dyamon@cpc69058-oxfd26-2-0-cust662.4-3.cable.virginm.net) |
| 2021-04-04 09:33:04 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:9c78:153a:cced:11e8) |
| 2021-04-04 09:38:19 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-04-04 09:48:43 +0200 | xff0x | (~xff0x@2001:1a81:5223:4400:75a1:1e6c:5be8:43d7) (Ping timeout: 246 seconds) |
| 2021-04-04 09:50:52 +0200 | xff0x | (~xff0x@2001:1a81:5223:aa00:9be9:f146:f7ea:7b0f) |
| 2021-04-04 09:51:34 +0200 | theGrg | (~theGrg@185.204.1.185) |
| 2021-04-04 09:52:17 +0200 | codygman__ | (~user@47.186.207.161) |
| 2021-04-04 09:52:28 +0200 | laco | (5a40012d@90-64-1-45.dynamic.orange.sk) |
| 2021-04-04 09:53:10 +0200 | codygman__ | (~user@47.186.207.161) (Remote host closed the connection) |
| 2021-04-04 09:53:23 +0200 | <laco> | hi people, does someone here is using telegram? |
| 2021-04-04 09:53:34 +0200 | codygman__ | (~user@47.186.207.161) |
| 2021-04-04 09:55:16 +0200 | <koz_> | laco: Do you have a Haskell-related question? |
| 2021-04-04 09:55:59 +0200 | laco | (5a40012d@90-64-1-45.dynamic.orange.sk) () |
| 2021-04-04 09:56:05 +0200 | eruditass | (uid248673@gateway/web/irccloud.com/x-pubexaikwwqssaxc) |
| 2021-04-04 09:58:10 +0200 | xff0x | (~xff0x@2001:1a81:5223:aa00:9be9:f146:f7ea:7b0f) (Ping timeout: 246 seconds) |
| 2021-04-04 09:58:40 +0200 | codygman__ | (~user@47.186.207.161) (Remote host closed the connection) |
| 2021-04-04 10:00:05 +0200 | xff0x | (~xff0x@2001:1a81:5223:d700:8672:6809:96a2:4fe7) |
| 2021-04-04 10:00:15 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
| 2021-04-04 10:04:06 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-04 10:04:48 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-04 10:06:13 +0200 | xff0x | (~xff0x@2001:1a81:5223:d700:8672:6809:96a2:4fe7) (Ping timeout: 246 seconds) |
| 2021-04-04 10:07:35 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-04 10:10:03 +0200 | xff0x | (~xff0x@port-92-193-234-9.dynamic.as20676.net) |
| 2021-04-04 10:11:25 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-04 10:12:47 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-04 10:13:57 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-04-04 10:15:23 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-04-04 10:17:29 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-04-04 10:20:41 +0200 | stiell | (~stian@fsf/member/stiell) (Ping timeout: 240 seconds) |
| 2021-04-04 10:21:13 +0200 | stiell | (~stian@fsf/member/stiell) |
| 2021-04-04 10:24:12 +0200 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-04-04 10:25:26 +0200 | mkDoku | (~TheMule@aftr-37-201-195-134.unity-media.net) |
| 2021-04-04 10:28:17 +0200 | fendor | (~fendor@178.165.129.178.wireless.dyn.drei.com) |
| 2021-04-04 10:28:38 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-04 10:38:46 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-04 10:40:57 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-04-04 10:51:09 +0200 | irc0331 | (~jeff@183.193.143.60) () |
| 2021-04-04 11:03:05 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) |
| 2021-04-04 11:07:52 +0200 | hexfive | (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 2021-04-04 11:11:28 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-04 11:12:45 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-bfjhbskdtcpabmnv) (Quit: Connection closed for inactivity) |
| 2021-04-04 11:13:56 +0200 | gekh | (~gkh@thor.kevinhill.nl) |
| 2021-04-04 11:15:13 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:f9a3:6c0b:a847:ec57) |
| 2021-04-04 11:17:52 +0200 | ubert | (~Thunderbi@178.115.130.145.wireless.dyn.drei.com) |
| 2021-04-04 11:18:56 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-04-04 11:19:34 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:f9a3:6c0b:a847:ec57) (Ping timeout: 245 seconds) |
| 2021-04-04 11:22:20 +0200 | ADG1089 | (~aditya@223.235.216.238) |
| 2021-04-04 11:24:36 +0200 | malumore | (~malumore@151.62.121.55) |
| 2021-04-04 11:27:12 +0200 | Deide | (~Deide@217.155.19.23) |
| 2021-04-04 11:27:49 +0200 | esp32_prog | (esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) (Ping timeout: 268 seconds) |
| 2021-04-04 11:33:44 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-04 11:34:08 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-04 11:36:12 +0200 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-04-04 11:39:59 +0200 | rprije | (~rprije@59-102-63-15.tpgi.com.au) |
| 2021-04-04 11:44:26 +0200 | minoru_shiraeesh | (~shiraeesh@109.166.57.249) (Ping timeout: 240 seconds) |
| 2021-04-04 11:44:39 +0200 | Guest_43 | (1f242fcf@i16-les03-ntr-31-36-47-207.sfr.lns.abo.bbox.fr) |
| 2021-04-04 11:45:04 +0200 | Guest_43 | (1f242fcf@i16-les03-ntr-31-36-47-207.sfr.lns.abo.bbox.fr) (Client Quit) |
| 2021-04-04 11:47:15 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) |
| 2021-04-04 11:47:35 +0200 | HenryCH | (~henry@2001:8e0:2003:e600:90c2:bde0:c24a:88c) |
| 2021-04-04 11:47:53 +0200 | <cub3s_> | It seems "cabal update" downloads the .cabal files for every version for every package. Why is this needed? The whole thing is hundreds of MBs in a tar file. |
| 2021-04-04 11:52:11 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-04-04 11:53:29 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-04-04 11:54:53 +0200 | ubert | (~Thunderbi@178.115.130.145.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-04-04 11:58:35 +0200 | rprije | (~rprije@59-102-63-15.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2021-04-04 11:59:33 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-04-04 12:00:31 +0200 | <dmwit> | It is needed for dependency resolution. |
| 2021-04-04 12:01:44 +0200 | xff0x | (~xff0x@port-92-193-234-9.dynamic.as20676.net) (Ping timeout: 268 seconds) |
| 2021-04-04 12:02:02 +0200 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-04-04 12:02:21 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-04 12:02:35 +0200 | HenryCH | (~henry@2001:8e0:2003:e600:90c2:bde0:c24a:88c) () |
| 2021-04-04 12:02:38 +0200 | minoru_shiraeesh | (~shiraeesh@109.166.57.249) |
| 2021-04-04 12:02:57 +0200 | <edwardk> | tbh, we _could_ filter that by base version and drop a good chunk of the index. |
| 2021-04-04 12:09:20 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 2021-04-04 12:17:01 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-04 12:18:29 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-04 12:19:11 +0200 | esp32_prog | (esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) |
| 2021-04-04 12:19:54 +0200 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-04-04 12:20:06 +0200 | <maralorn> | It seems the streamly library does not get a lot of adoption in the ecosystem although it seems like it ought to be quite universally applicable. Are there any known critiques of it that I can read? |
| 2021-04-04 12:21:00 +0200 | <maerwald> | maralorn: I don't know of any, except that API is still in flux, lots of stuff needs internal modules (these are exposed) and navigating the documentation can be bewildering |
| 2021-04-04 12:21:24 +0200 | <maerwald> | but it's certainly better than conduit, even in API usability |
| 2021-04-04 12:21:26 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Client Quit) |
| 2021-04-04 12:21:29 +0200 | <cub3s_> | maralorn, i haven't seen any critiques of it. as far as i can tell, it's simply the most superior streaming library given its stream fusion capabilities - focus on speed (tested in benchmarks) |
| 2021-04-04 12:21:57 +0200 | <cub3s_> | everything else is completely overrated imo and is, last time i checked, orders of magnitude slower than C |
| 2021-04-04 12:22:02 +0200 | <cub3s_> | only streamly comes even close to c |
| 2021-04-04 12:23:27 +0200 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 260 seconds) |
| 2021-04-04 12:24:13 +0200 | <cub3s_> | one thing i noticed the "streaming" library (thanks a lot to those guys for naming the library after the general concept /s) can do that streamly can't is a "streams of streams" concept, but the reason for that is again performance. |
| 2021-04-04 12:24:26 +0200 | <cub3s_> | if you don't mind 10x, 100x slowdown, go ahead and abstract your heart away |
| 2021-04-04 12:25:01 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2021-04-04 12:25:15 +0200 | xff0x | (~xff0x@2001:1a81:5223:f300:c02d:18f8:73b8:a77c) |
| 2021-04-04 12:25:41 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-04 12:25:59 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-04 12:27:36 +0200 | <cub3s_> | dmwit, thanks, makes sense. |
| 2021-04-04 12:27:52 +0200 | <cub3s_> | edwardk, i guess it hasn't been done. it's 1.7GB uncompressed. no big deal imo. |
| 2021-04-04 12:28:06 +0200 | <cub3s_> | (i was just curious) |
| 2021-04-04 12:29:03 +0200 | esp32_prog | (esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) (Ping timeout: 260 seconds) |
| 2021-04-04 12:29:45 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-04 12:30:26 +0200 | <maralorn> | cub3s_: After the effectsystem debacle I don‘t trust benchmarks anymore. |
| 2021-04-04 12:30:46 +0200 | vv8 | (~egp_@2.95.145.35) |
| 2021-04-04 12:30:53 +0200 | ADG1089 | (~aditya@223.235.216.238) (Quit: Konversation terminated!) |
| 2021-04-04 12:32:34 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-04 12:33:08 +0200 | <cub3s_> | maralorn, i'm not familiar with that... but https://github.com/composewell/streaming-benchmarks: "Due care has been taken to keep the comparisons fair. Please send an email or a PR if the benchmarking code has a problem or is unfair to some library in any way." |
| 2021-04-04 12:33:37 +0200 | <cub3s_> | anyway i care most about my own code. if i notice order of magnitude speed boosts in real life, i will go for those :D |
| 2021-04-04 12:33:48 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 268 seconds) |
| 2021-04-04 12:34:01 +0200 | <maralorn> | cub3s_: Makes sense. |
| 2021-04-04 12:34:23 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-04 12:35:00 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2021-04-04 12:35:17 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-04 12:35:24 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-04 12:35:26 +0200 | <cub3s_> | tbh, i don't REALLY know what stream fusion even is. all i know it seems to work :D |
| 2021-04-04 12:35:47 +0200 | <cub3s_> | from my point of view so far, it's just magic that compiles away all intermediate haskell stuff |
| 2021-04-04 12:36:13 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-04 12:36:45 +0200 | <maralorn> | cub3s_: I was referring to a talk by lexilambda on last years zurihac. The talk was very good and her point was basically that everyone had been doing effect system benchmarks wrong because polymorphic code in real world applications will get a lot less inlining. |
| 2021-04-04 12:36:59 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-04-04 12:38:47 +0200 | <cub3s_> | maralorn, oh, i think i saw that talk some time ago! streamly relies heavily on inlining. one can forget to inline and one is back to 10x slower. |
| 2021-04-04 12:38:55 +0200 | <cub3s_> | https://www.youtube.com/watch?v=uzsqgdMMgtk streamly author talked about this here |
| 2021-04-04 12:39:11 +0200 | <maralorn> | cub3s_: I think the core idea of stream fusion is to have an optimisation that when you do two subsequent operations on a list of things you don‘t build up the list of intermediate values in memory but directly apply both steps on each value. |
| 2021-04-04 12:39:47 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-04-04 12:39:53 +0200 | <maralorn> | That’s important for vector, text and bytestring. I don‘t really understand how it applies to streamly since it already explicitly uses streams … |
| 2021-04-04 12:43:45 +0200 | kuribas | (~user@ptr-25vy0i83sb71lqt997o.18120a2.ip6.access.telenet.be) |
| 2021-04-04 12:45:13 +0200 | <cub3s_> | maralorn, i haven't fully wrapped my mind around it either |
| 2021-04-04 12:46:51 +0200 | pierro | (524145c7@82-65-69-199.subs.proxad.net) |
| 2021-04-04 12:47:05 +0200 | pierro | (524145c7@82-65-69-199.subs.proxad.net) (Client Quit) |
| 2021-04-04 12:47:09 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-04-04 12:47:17 +0200 | pierro | (524145c7@82-65-69-199.subs.proxad.net) |
| 2021-04-04 12:47:36 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9561c5c4ebb47e158d05.dip0.t-ipconnect.de) |
| 2021-04-04 12:50:07 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-04 12:51:48 +0200 | average | (uid473595@gateway/web/irccloud.com/x-rlnzyfvyufopfriy) (Quit: Connection closed for inactivity) |
| 2021-04-04 12:53:12 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-04 12:53:42 +0200 | average | (uid473595@gateway/web/irccloud.com/x-wmrfwhwgtxjroplx) |
| 2021-04-04 13:03:31 +0200 | pierro | (524145c7@82-65-69-199.subs.proxad.net) () |
| 2021-04-04 13:07:30 +0200 | xff0x | (~xff0x@2001:1a81:5223:f300:c02d:18f8:73b8:a77c) (Ping timeout: 246 seconds) |
| 2021-04-04 13:08:28 +0200 | xff0x | (~xff0x@2001:1a81:5223:f300:8ecc:fc17:b59f:86b8) |
| 2021-04-04 13:10:57 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: disconnected) |
| 2021-04-04 13:12:04 +0200 | <Gurkenglas> | What imaginary language am I writing here? https://gist.github.com/Gurkenglas/9f02cfeba04b35e178753ae4663349ef I want it to prove or disprove my laws and when it can't ask me for help, when I overload (~>) I want it to infer which one I'm using based on what makes it compile, when multiple ways would compile I want it to prove (or disprove or ask for help) they're ==. |
| 2021-04-04 13:15:29 +0200 | son0p | (~son0p@181.58.39.182) |
| 2021-04-04 13:15:57 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:4c29:786d:9d38:3786) |
| 2021-04-04 13:17:14 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:9c78:153a:cced:11e8) (Ping timeout: 258 seconds) |
| 2021-04-04 13:20:18 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:4c29:786d:9d38:3786) (Ping timeout: 258 seconds) |
| 2021-04-04 13:25:41 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-04 13:26:00 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-04 13:27:46 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-04-04 13:27:46 +0200 | <steerio> | hey all! Sandy Maguire's book (and a lot of other resources) talk about star kinds being replaced by "Type". how do I get that? is there a GHC version that has it or an extension I need to enable? |
| 2021-04-04 13:28:39 +0200 | <steerio> | 9.0.1 definitely doesn't have it out of the box, neither does e.g. TypeInType trigger it |
| 2021-04-04 13:29:30 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:3c1:b586:27b7:7153) |
| 2021-04-04 13:35:28 +0200 | ddere | (uid110888@gateway/web/irccloud.com/x-zsaufvbzeddqdaps) |
| 2021-04-04 13:35:47 +0200 | <edwardk> | {-# LANGUAGE NoStarIsType #-} import Data.Kind |
| 2021-04-04 13:36:36 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) |
| 2021-04-04 13:39:05 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:6806:39ee:8b3a:57c8) |
| 2021-04-04 13:40:49 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) (Ping timeout: 245 seconds) |
| 2021-04-04 13:41:21 +0200 | <edwardk> | the definition in Data.Kind is (morally) type Type = * |
| 2021-04-04 13:45:13 +0200 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-04-04 13:53:38 +0200 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-04-04 13:57:22 +0200 | Inoperable | (~PLAYER_1@fancydata.science) (Quit: All your buffer are belong to us!) |
| 2021-04-04 13:59:36 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-04 14:02:14 +0200 | Inoperable | (~PLAYER_1@fancydata.science) |
| 2021-04-04 14:03:27 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-04-04 14:03:31 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-04 14:05:46 +0200 | <steerio> | edwardk: thanks! |
| 2021-04-04 14:06:23 +0200 | <steerio> | edwardk: looks like I could've just done a text search on "star" in the extensions list :) |
| 2021-04-04 14:07:52 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 265 seconds) |
| 2021-04-04 14:22:26 +0200 | <edwardk> | anyways you can use it even without the extension either by defining that type yourself or importing Data.Kind |
| 2021-04-04 14:25:39 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-04 14:25:58 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-04 14:33:42 +0200 | roconnor | (~roconnor@host-184-164-13-101.dyn.295.ca) (Ping timeout: 260 seconds) |
| 2021-04-04 14:35:39 +0200 | yahb | (xsbot@haskell/bot/yahb) |
| 2021-04-04 14:36:42 +0200 | mniip | (mniip@freenode/staff/mniip) |
| 2021-04-04 14:37:06 +0200 | roconnor | (~roconnor@host-192.252-170-125.dyn.295.ca) |
| 2021-04-04 14:41:13 +0200 | conal | (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 2021-04-04 14:43:24 +0200 | enoq | (~textual@194-208-146-143.lampert.tv) |
| 2021-04-04 14:44:26 +0200 | conal | (~conal@64.71.133.70) |
| 2021-04-04 14:47:35 +0200 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) |
| 2021-04-04 14:49:11 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-04 14:49:58 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Read error: Connection reset by peer) |
| 2021-04-04 14:50:16 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-04 14:54:30 +0200 | kfkd | (~anon@37.79.82.208) |
| 2021-04-04 14:54:49 +0200 | <kfkd> | !1 |
| 2021-04-04 14:55:20 +0200 | kfkd | (~anon@37.79.82.208) (Read error: Connection reset by peer) |
| 2021-04-04 14:57:13 +0200 | son0p | (~son0p@181.58.39.182) (Quit: Lost terminal) |
| 2021-04-04 14:57:39 +0200 | anonimous00 | (~anonimous@37.79.82.208) |
| 2021-04-04 14:57:58 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-04 14:58:28 +0200 | anonimous00 | (~anonimous@37.79.82.208) (Remote host closed the connection) |
| 2021-04-04 15:00:06 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-04-04 15:00:09 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-04-04 15:01:45 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-04 15:05:17 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-04-04 15:08:06 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-04 15:10:31 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 2021-04-04 15:11:26 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-04 15:13:11 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-04 15:19:44 +0200 | <L29Ah> | is there an easier to use library for making ghci a physical unit-aware calculator than this? https://hackage.haskell.org/package/units |
| 2021-04-04 15:24:12 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a159:4aa4:6715:99dc) |
| 2021-04-04 15:24:45 +0200 | <hpc> | there's another language that has that sort of thing baked in, but i am completely blanking on what it's called |
| 2021-04-04 15:24:51 +0200 | <hpc> | assuming that works for your purposes |
| 2021-04-04 15:24:53 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9561c5c4ebb47e158d05.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-04-04 15:25:41 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2021-04-04 15:25:57 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-04-04 15:25:58 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-04 15:28:14 +0200 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 246 seconds) |
| 2021-04-04 15:28:26 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-04 15:30:50 +0200 | v01d4lph4 | (~v01d4lph4@223.177.184.123) |
| 2021-04-04 15:30:53 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-04 15:31:17 +0200 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-04-04 15:31:37 +0200 | <L29Ah> | hpc: GNU units, you mean? |
| 2021-04-04 15:31:56 +0200 | L29Ah | is reluctant to move away from beloved ghci |
| 2021-04-04 15:33:09 +0200 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) |
| 2021-04-04 15:34:24 +0200 | <hpc> | almost, the one i am thinking of is a full language |
| 2021-04-04 15:34:26 +0200 | <hpc> | but yeah, that's fair |
| 2021-04-04 15:35:15 +0200 | v01d4lph4 | (~v01d4lph4@223.177.184.123) (Ping timeout: 260 seconds) |
| 2021-04-04 15:36:22 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-04 15:38:44 +0200 | dinciorip | (~dincio@5.170.192.218) (Ping timeout: 265 seconds) |
| 2021-04-04 15:38:46 +0200 | cheater | (~user@unaffiliated/cheater) (Ping timeout: 240 seconds) |
| 2021-04-04 15:42:07 +0200 | Wuzzy | (~Wuzzy@p57a2fb8a.dip0.t-ipconnect.de) |
| 2021-04-04 15:43:22 +0200 | stardustx | (~nebula@115.196.183.0) |
| 2021-04-04 15:43:22 +0200 | supercoven | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 2021-04-04 15:44:35 +0200 | Synthetica | (uid199651@gateway/web/irccloud.com/x-ayszrakheldxtude) |
| 2021-04-04 15:45:03 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-04-04 15:54:44 +0200 | shatriff | (~vitaliish@176.52.216.242) (Remote host closed the connection) |
| 2021-04-04 15:55:00 +0200 | shatriff | (~vitaliish@176.52.216.242) |
| 2021-04-04 15:58:16 +0200 | supercoven_ | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 2021-04-04 15:58:43 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-urmynbwvqdvgbexs) |
| 2021-04-04 15:59:14 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-04 16:00:31 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-rljaqugmkkoyqpis) |
| 2021-04-04 16:00:50 +0200 | urodna | (~urodna@unaffiliated/urodna) |
| 2021-04-04 16:01:26 +0200 | supercoven | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2021-04-04 16:02:39 +0200 | DavidEichmann | (~david@47.27.93.209.dyn.plus.net) |
| 2021-04-04 16:04:45 +0200 | dinciorip | (~dincio@151.66.11.232) |
| 2021-04-04 16:16:32 +0200 | Guest57863 | (~textual@2603-7000-3040-0000-c51d-1cd0-a8e6-1189.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-04 16:21:41 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 2021-04-04 16:22:09 +0200 | mrchampion | (~mrchampio@38.18.109.23) |
| 2021-04-04 16:23:28 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-04-04 16:25:40 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-04 16:26:00 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-04 16:27:29 +0200 | Franciman | (~francesco@host-87-20-23-243.retail.telecomitalia.it) |
| 2021-04-04 16:32:49 +0200 | stardustx | (~nebula@115.196.183.0) (Quit: Leaving) |
| 2021-04-04 16:33:03 +0200 | fendor | (~fendor@178.165.129.178.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-04-04 16:33:21 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-04 16:34:53 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a159:4aa4:6715:99dc) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-04 16:35:35 +0200 | fendor | (~fendor@178.165.129.178.wireless.dyn.drei.com) |
| 2021-04-04 16:36:50 +0200 | son0p | (~son0p@181.136.122.143) |
| 2021-04-04 16:40:11 +0200 | Alleria | (~textual@mskresolve-a.mskcc.org) |
| 2021-04-04 16:40:34 +0200 | Alleria | Guest36200 |
| 2021-04-04 16:43:23 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) |
| 2021-04-04 16:46:53 +0200 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 265 seconds) |
| 2021-04-04 16:48:05 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) (Ping timeout: 258 seconds) |
| 2021-04-04 16:48:41 +0200 | <dinciorip> | ciao |
| 2021-04-04 16:48:48 +0200 | <dinciorip> | sorry didn't mean to send that |
| 2021-04-04 16:49:34 +0200 | dinciorip | (~dincio@151.66.11.232) (Quit: WeeChat 3.1) |
| 2021-04-04 16:56:31 +0200 | mkDoku | (~TheMule@aftr-37-201-195-134.unity-media.net) (Ping timeout: 252 seconds) |
| 2021-04-04 16:59:51 +0200 | solvr | (57e3c46d@87.227.196.109) |
| 2021-04-04 17:03:59 +0200 | solvr | (57e3c46d@87.227.196.109) (Client Quit) |
| 2021-04-04 17:04:40 +0200 | Sean1 | (~Sean@2a02:8071:92ac:1000:91c3:15a4:61c:ab55) |
| 2021-04-04 17:04:46 +0200 | s00pcan | (~chris@107.181.165.217) (Ping timeout: 265 seconds) |
| 2021-04-04 17:05:28 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-04 17:05:57 +0200 | <Sean1> | Hello guys I´m currently learning Haskell |
| 2021-04-04 17:06:15 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 2021-04-04 17:06:34 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) |
| 2021-04-04 17:06:39 +0200 | <Sean1> | Why does this code work add' :: (Num a) => a -> a -> a |
| 2021-04-04 17:06:56 +0200 | <Sean1> | and this doesn´t? add' :: (Int a) => a -> a -> a |
| 2021-04-04 17:07:08 +0200 | <glguy> | Num is a typeclass and Int is not a typeclass |
| 2021-04-04 17:07:25 +0200 | <glguy> | Int is a type values can have |
| 2021-04-04 17:07:30 +0200 | <glguy> | Num is a group of types |
| 2021-04-04 17:07:57 +0200 | <Sean1> | I see, thanks glguy! |
| 2021-04-04 17:13:02 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-04 17:15:47 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-04 17:15:57 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-04-04 17:16:10 +0200 | <xsperry> | add :: Int -> Int -> Int would work |
| 2021-04-04 17:16:12 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-04 17:19:15 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-04-04 17:25:40 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-04 17:25:58 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-04 17:25:59 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-04-04 17:26:43 +0200 | notzmv | (~zmv@unaffiliated/zmv) |
| 2021-04-04 17:27:15 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-04 17:32:02 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-04 17:33:32 +0200 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 246 seconds) |
| 2021-04-04 17:38:38 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-04-04 17:38:53 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-04 17:39:08 +0200 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) |
| 2021-04-04 17:39:09 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-04 17:39:48 +0200 | solvr | (57e3c46d@87.227.196.109) |
| 2021-04-04 17:41:45 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-04 17:43:40 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-04 17:44:29 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-04 17:44:43 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-04 17:48:39 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-04-04 17:49:56 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-04 17:50:41 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-04-04 17:50:42 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Read error: Connection reset by peer) |
| 2021-04-04 17:57:17 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
| 2021-04-04 17:57:45 +0200 | cheater | (~user@unaffiliated/cheater) |
| 2021-04-04 17:58:14 +0200 | <[exa]> | is it possible to easily specify stuff like "UTF operator-like symbol" or "UTF alphanumeric-like symbol" in alex lexer specification? |
| 2021-04-04 18:00:06 +0200 | Pressyware[m] | (pressyware@gateway/shell/matrix.org/x-aixuldvihabgyxzq) (Quit: Idle for 30+ days) |
| 2021-04-04 18:01:06 +0200 | <hpc> | you can define your own character sets, but it doesn't look like those are built in |
| 2021-04-04 18:01:20 +0200 | <hpc> | so you'd have to list everything in those sets, which is impractical |
| 2021-04-04 18:01:49 +0200 | <hpc> | (at least, according to https://www.haskell.org/alex/doc/html/index.html) |
| 2021-04-04 18:03:08 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) |
| 2021-04-04 18:05:01 +0200 | hive-mind | (~hivemind@rrcs-67-53-148-69.west.biz.rr.com) (Remote host closed the connection) |
| 2021-04-04 18:05:58 +0200 | hive-mind | (~hivemind@rrcs-67-53-148-69.west.biz.rr.com) |
| 2021-04-04 18:06:20 +0200 | mkDoku | (~TheMule@aftr-37-201-195-134.unity-media.net) |
| 2021-04-04 18:06:28 +0200 | Sean1 | (~Sean@2a02:8071:92ac:1000:91c3:15a4:61c:ab55) (Quit: Leaving) |
| 2021-04-04 18:08:39 +0200 | <[exa]> | yeah well, I hoped there'd be some cool undocumented support... :] |
| 2021-04-04 18:09:10 +0200 | <[exa]> | I can probably auto-translate the unicode specs to that but that's just as unwieldy and requires modified alex...but I'm likely going to do that anyway |
| 2021-04-04 18:10:59 +0200 | <hpc> | ah, that i don't know about |
| 2021-04-04 18:11:30 +0200 | <hpc> | depending on how it's implemented in alex, it might be a super easy merge request |
| 2021-04-04 18:12:34 +0200 | <hpc> | if the character sets translate directly to haskell's codepoint info, maybe even one or two lines |
| 2021-04-04 18:12:45 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-rljaqugmkkoyqpis) (Quit: Connection closed for inactivity) |
| 2021-04-04 18:16:03 +0200 | <[exa]> | it could work on normalized unicode, no idea how to properly react to stuff in denormalized one... |
| 2021-04-04 18:16:17 +0200 | <[exa]> | unicode is hard |
| 2021-04-04 18:16:21 +0200 | <[exa]> | gonna think about it |
| 2021-04-04 18:17:03 +0200 | <[exa]> | anyway `isAlpha` from Data.Char would probably do |
| 2021-04-04 18:17:41 +0200 | <[exa]> | (I should just copy the operator code from ghc) |
| 2021-04-04 18:21:06 +0200 | <kaol> | Is it possible to write a function f where f 1 x = x, f 2 x = x . x, f 3 x = x . x . x and so on? |
| 2021-04-04 18:22:04 +0200 | <hpc> | it is possible, yes |
| 2021-04-04 18:22:35 +0200 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2021-04-04 18:23:26 +0200 | <hpc> | consider a list where the head is id, and each subsequent element is (x . previous element) |
| 2021-04-04 18:23:32 +0200 | <hpc> | and you index into that list |
| 2021-04-04 18:23:35 +0200 | <tomsmeding> | kaol: hint: f 2 x = x . x, so f 3 x = x . f 2 x |
| 2021-04-04 18:24:16 +0200 | <hpc> | (there's cleaner ways if you take a look through the various modules in base) |
| 2021-04-04 18:25:00 +0200 | <dmwit> | how do I upvote documentation |
| 2021-04-04 18:25:00 +0200 | <SoF> | > let f n x y = head $ drop n $ iterate x y |
| 2021-04-04 18:25:02 +0200 | <lambdabot> | <no location info>: error: |
| 2021-04-04 18:25:02 +0200 | <lambdabot> | not an expression: ‘let f n x y = head $ drop n $ iterate x y ’ |
| 2021-04-04 18:25:46 +0200 | <SoF> | > let f n x y = head $ drop n $ iterate x y in f 3 (+1) 2 |
| 2021-04-04 18:25:47 +0200 | <lambdabot> | 5 |
| 2021-04-04 18:25:50 +0200 | <tomsmeding> | SoF: what about 'iterate x y !! n' :p |
| 2021-04-04 18:26:10 +0200 | <SoF> | not used to it (yet) |
| 2021-04-04 18:26:12 +0200 | <SoF> | but yes lol |
| 2021-04-04 18:26:21 +0200 | <kaol> | But what if my f isn't of type a -> a? |
| 2021-04-04 18:26:30 +0200 | <SoF> | how would that work then? |
| 2021-04-04 18:26:31 +0200 | <hpc> | then you're stuck |
| 2021-04-04 18:26:37 +0200 | <tomsmeding> | kaol: what would be the _type_ of your function f then? |
| 2021-04-04 18:27:13 +0200 | <kaol> | Aww. lisp could do this for certain. |
| 2021-04-04 18:27:25 +0200 | <SoF> | could you give an example? |
| 2021-04-04 18:27:32 +0200 | <SoF> | I don't see the logic behind it |
| 2021-04-04 18:27:34 +0200 | <tomsmeding> | dynamically-typed lisp? or statically-typed lisp? |
| 2021-04-04 18:28:38 +0200 | <maerwald> | isn't all statically typed? |
| 2021-04-04 18:28:56 +0200 | <kaol> | I wrote getSum . (foldMap . foldMap . foldMap . foldMap) Sum and I was wondering if I could clean up something with it. |
| 2021-04-04 18:29:10 +0200 | <tomsmeding> | maerwald: I wouldn't know, though I do know there's some lispy thing called scheme that's dynamically typed :p |
| 2021-04-04 18:29:14 +0200 | <maerwald> | you just overload functions for different types, that's still static |
| 2021-04-04 18:29:47 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-04-04 18:29:54 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-04 18:30:12 +0200 | <dmwit> | kaol: It wouldn't be too hard to write something of type `(f a -> a) -> Many n f a -> a`, where `type family Many n f a where Many Z f a = a; Many (S n) f a = f (Many n f a)`. |
| 2021-04-04 18:30:13 +0200 | <hpc> | everything is statically typed for sufficiently broad definition of "type" |
| 2021-04-04 18:30:42 +0200 | <maerwald> | dynamically typed would be implicit cast/coersion. Like C |
| 2021-04-04 18:30:45 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-04 18:30:49 +0200 | <dmwit> | kaol: Then your thing would be something like `getSum . applyMany @(S (S (S (S n)))) foldMap Sum`. |
| 2021-04-04 18:30:55 +0200 | son0p | (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 2021-04-04 18:31:09 +0200 | elliott_ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-04-04 18:31:11 +0200 | <dmwit> | Sorry, `@(S (S (S (S Z))))`, obviously. |
| 2021-04-04 18:32:12 +0200 | <dmwit> | I guess `applyMany` would have to have a class constraint I didn't mention in my first message. |
| 2021-04-04 18:32:51 +0200 | <kaol> | I don't obviously need that for my code but I was just wondering how one could go about this sort of a thing. |
| 2021-04-04 18:33:52 +0200 | <kaol> | An alternate version of that function would be sum . (toList <=< toList <=< toList <=< toList) |
| 2021-04-04 18:34:10 +0200 | <tomsmeding> | kaol: because haskell is statically typed, you can only do the thing you mean by 1. explicitly introducing dynamic-typedness (that's possible in haskell too); or 2. introducing _more_ types and fixing the composition count at compile time |
| 2021-04-04 18:34:28 +0200 | <tomsmeding> | if you know that number 'n' at compile time, you can make it work |
| 2021-04-04 18:34:31 +0200 | samebchase-6 | samebchase- |
| 2021-04-04 18:34:44 +0200 | <tomsmeding> | but not terribly easily |
| 2021-04-04 18:35:05 +0200 | <dmwit> | There is a third option. But perhaps you will consider it to fall under a sort of expanded dynamic typing regime. |
| 2021-04-04 18:35:29 +0200 | <dmwit> | data SomeMany f a = Zero a | Succ (f (SomeMany f a)) |
| 2021-04-04 18:36:09 +0200 | <tomsmeding> | hah, interesting mix of the two |
| 2021-04-04 18:36:09 +0200 | <dmwit> | And then `many :: (f a -> a) -> SomeMany f a -> a` is easy to write, isn't obviously dynamically typed, and doesn't fix the composition count at compile time. |
| 2021-04-04 18:36:23 +0200 | <dmwit> | yeah =) |
| 2021-04-04 18:36:32 +0200 | carlomagno | (~cararell@148.87.23.10) |
| 2021-04-04 18:37:12 +0200 | <kaol> | I wasn't even thinking of passing n at run time, just about how to avoid some repetitive typing. |
| 2021-04-04 18:37:48 +0200 | <tomsmeding> | dmwit's solution would work |
| 2021-04-04 18:38:18 +0200 | <tomsmeding> | given that you can also make it work with ghc's type-level naturals, i.e. getSum . applyMany @4 foldMap Sum |
| 2021-04-04 18:38:38 +0200 | <tomsmeding> | can't really remove the @ because ghc isn't dynamically typed :) |
| 2021-04-04 18:38:43 +0200 | <tomsmeding> | um |
| 2021-04-04 18:38:49 +0200 | <tomsmeding> | *dependently-typed |
| 2021-04-04 18:39:06 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-04-04 18:39:11 +0200 | <dmwit> | I don't think you can make it work with GHC's type-level naturals, because you can't recurse at the type level with them. |
| 2021-04-04 18:39:13 +0200 | <tomsmeding> | though you can partially fake it with a GADT |
| 2021-04-04 18:39:23 +0200 | <dmwit> | At least, not easily. You need some, like, unsafeCoerce and stuff. |
| 2021-04-04 18:39:28 +0200 | <tomsmeding> | really? |
| 2021-04-04 18:39:33 +0200 | <tomsmeding> | :( |
| 2021-04-04 18:39:33 +0200 | <dmwit> | yeah =( |
| 2021-04-04 18:40:07 +0200 | fendor | (~fendor@178.165.129.178.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-04-04 18:40:08 +0200 | <dmwit> | I think it would be rad to have one extra class in some future GHC that was just a recursion principle for Nat |
| 2021-04-04 18:43:57 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-04-04 18:44:04 +0200 | <monochrom> | Conclusion: Free monads are an expanded dynamic typing regime. (Note that SomeMany f is the free monad from functor f. >:) ) |
| 2021-04-04 18:46:11 +0200 | alx741 | (~alx741@181.196.69.45) |
| 2021-04-04 18:47:12 +0200 | <monochrom> | But what does "many alg (Zero a)" do? |
| 2021-04-04 18:47:37 +0200 | <monochrom> | Err nevermind. |
| 2021-04-04 18:47:58 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Read error: Connection reset by peer) |
| 2021-04-04 18:48:08 +0200 | <dmwit> | You know, I think I could actually get on board with "free monads are an expanded dynamic typing regime". Sounds like excellent propaganda. |
| 2021-04-04 18:48:17 +0200 | <monochrom> | :) |
| 2021-04-04 18:48:42 +0200 | <dmwit> | Those two sentences are completely independent, and neither causes the other. |
| 2021-04-04 18:51:35 +0200 | carlomagno1 | (~cararell@148.87.23.12) |
| 2021-04-04 18:51:45 +0200 | fendor | (~fendor@178.165.129.178.wireless.dyn.drei.com) |
| 2021-04-04 18:52:30 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-04 18:53:22 +0200 | AkechiShiro | (~AkechiShi@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) |
| 2021-04-04 18:54:34 +0200 | carlomagno | (~cararell@148.87.23.10) (Ping timeout: 260 seconds) |
| 2021-04-04 18:56:02 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:69f6:cf35:c577:84e2) |
| 2021-04-04 18:58:21 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-04-04 18:58:37 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-04 18:58:46 +0200 | alx741 | (~alx741@181.196.69.45) (Quit: alx741) |
| 2021-04-04 18:58:55 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-04 18:59:32 +0200 | ambiso99211 | (~ambiso@209.182.239.205) |
| 2021-04-04 18:59:43 +0200 | ambiso9921 | (~ambiso@209.182.239.205) (Ping timeout: 252 seconds) |
| 2021-04-04 19:01:39 +0200 | AkechiShiro | (~AkechiShi@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) (Quit: WeeChat 2.9) |
| 2021-04-04 19:02:06 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-04 19:04:07 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-04 19:05:49 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:69f6:cf35:c577:84e2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-04 19:08:36 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-04-04 19:09:45 +0200 | debugloop | (~danieln@unaffiliated/debugloop) (Quit: WeeChat 3.0) |
| 2021-04-04 19:09:51 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-04 19:10:05 +0200 | debugloop | (~danieln@unaffiliated/debugloop) |
| 2021-04-04 19:13:39 +0200 | AkechiShiro | (~AkechiShi@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) |
| 2021-04-04 19:14:03 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-04 19:18:14 +0200 | elliott_ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Quit: WeeChat 3.1) |
| 2021-04-04 19:24:44 +0200 | ddere | (uid110888@gateway/web/irccloud.com/x-zsaufvbzeddqdaps) (Quit: Connection closed for inactivity) |
| 2021-04-04 19:32:00 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-04-04 19:32:28 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-04 19:36:53 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-04 19:39:42 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-04 19:40:32 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-04-04 19:43:44 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds) |
| 2021-04-04 19:45:23 +0200 | xff0x | (~xff0x@2001:1a81:5223:f300:8ecc:fc17:b59f:86b8) (Ping timeout: 260 seconds) |
| 2021-04-04 19:45:42 +0200 | guest1123581321 | (~jaroslawj@185.234.208.208.r.toneticgroup.pl) |
| 2021-04-04 19:46:02 +0200 | xff0x | (~xff0x@2001:1a81:5223:f300:bd35:cc29:5dd:ed37) |
| 2021-04-04 19:48:55 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-qihmpjrjaahvhsww) |
| 2021-04-04 19:50:13 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-04-04 19:52:23 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-04-04 19:53:10 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-04 20:03:17 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-04 20:04:27 +0200 | esp32_prog | (esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) |
| 2021-04-04 20:04:31 +0200 | enoq | (~textual@194-208-146-143.lampert.tv) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-04 20:05:07 +0200 | solvr | (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-04-04 20:09:09 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Remote host closed the connection) |
| 2021-04-04 20:10:53 +0200 | Franciman | (~francesco@host-87-20-23-243.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-04-04 20:12:21 +0200 | kuribas | (~user@ptr-25vy0i83sb71lqt997o.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-04-04 20:15:46 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-04 20:21:42 +0200 | theGrg | (~theGrg@185.204.1.185) (Remote host closed the connection) |
| 2021-04-04 20:22:10 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-04-04 20:22:32 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-04 20:22:47 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Remote host closed the connection) |
| 2021-04-04 20:23:31 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-tiatbdxsdtnvkusf) |
| 2021-04-04 20:23:35 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-04 20:23:59 +0200 | mkDoku | (~TheMule@aftr-37-201-195-134.unity-media.net) (Ping timeout: 246 seconds) |
| 2021-04-04 20:28:03 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-leagdtamtaexonnr) (Quit: Connection closed for inactivity) |
| 2021-04-04 20:29:12 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Remote host closed the connection) |
| 2021-04-04 20:32:44 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-04 20:32:50 +0200 | DTZUZO | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-04 20:33:00 +0200 | pavonia | (~user@unaffiliated/siracusa) |
| 2021-04-04 20:33:35 +0200 | DTZUZO | (~DTZUZO@205.ip-149-56-132.net) (Client Quit) |
| 2021-04-04 20:33:46 +0200 | DTZUZO | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-04 20:41:05 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Remote host closed the connection) |
| 2021-04-04 20:42:38 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-04 20:46:52 +0200 | mkDoku | (~TheMule@aftr-37-201-195-134.unity-media.net) |
| 2021-04-04 20:47:15 +0200 | dsrt^ | (dsrt@ip98-184-89-2.mc.at.cox.net) () |
| 2021-04-04 20:49:26 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-04-04 20:51:01 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-04 20:54:48 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-04-04 20:56:22 +0200 | __minoru__shirae | (~shiraeesh@5.101.59.244) |
| 2021-04-04 20:57:00 +0200 | minoru_shiraeesh | (~shiraeesh@109.166.57.249) (Ping timeout: 268 seconds) |
| 2021-04-04 20:59:14 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Remote host closed the connection) |
| 2021-04-04 21:00:31 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-04 21:03:56 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-04 21:06:19 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-04 21:06:35 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-04 21:08:41 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-04 21:10:40 +0200 | hidedagger | (~nate@unaffiliated/hidedagger) |
| 2021-04-04 21:12:00 +0200 | hidedagger | (~nate@unaffiliated/hidedagger) (Client Quit) |
| 2021-04-04 21:13:17 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Remote host closed the connection) |
| 2021-04-04 21:14:09 +0200 | malumore | (~malumore@151.62.121.55) (Remote host closed the connection) |
| 2021-04-04 21:14:28 +0200 | malumore | (~malumore@151.62.121.55) |
| 2021-04-04 21:15:08 +0200 | Guest68323 | (~Guest6832@c-67-169-67-94.hsd1.ca.comcast.net) |
| 2021-04-04 21:15:11 +0200 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-04-04 21:15:14 +0200 | guest1123581321 | (~jaroslawj@185.234.208.208.r.toneticgroup.pl) (Quit: Lost terminal) |
| 2021-04-04 21:17:45 +0200 | Guest36200 | (~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-04 21:18:02 +0200 | Lycurgus | (~niemand@98.4.115.201) |
| 2021-04-04 21:21:03 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-04-04 21:24:08 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-04 21:24:19 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
| 2021-04-04 21:25:29 +0200 | asdfghjkl100 | (49336fc4@c-73-51-111-196.hsd1.il.comcast.net) |
| 2021-04-04 21:25:39 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-04 21:25:58 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-04 21:26:11 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-04 21:27:21 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-04 21:27:38 +0200 | retroid_ | (~retro@90.214.167.201) (Ping timeout: 240 seconds) |
| 2021-04-04 21:28:20 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-04 21:30:31 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-04 21:33:11 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-04 21:34:35 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-04 21:35:20 +0200 | Guest68323 | (~Guest6832@c-67-169-67-94.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2021-04-04 21:35:43 +0200 | BartK | (~BartK@195.140.213.38) |
| 2021-04-04 21:38:54 +0200 | fissureman | (~quassel@c-73-201-159-163.hsd1.dc.comcast.net) |
| 2021-04-04 21:39:17 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-04-04 21:40:42 +0200 | <cub3s_> | What is "Haskell NG"? Nix tutorials refer to it but nowhere does anyone say what "NG" is and where this name came from. |
| 2021-04-04 21:41:59 +0200 | <hpc> | looks like it's a new package set? |
| 2021-04-04 21:42:04 +0200 | <hpc> | https://stackoverflow.com/questions/30953382/what-is-haskellng-what-is-the-difference-between-hask… |
| 2021-04-04 21:42:18 +0200 | <hpc> | in any event, it's a nix thing |
| 2021-04-04 21:43:00 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:492b:e982:ce46:2ec3) |
| 2021-04-04 21:45:39 +0200 | <cub3s_> | hpc, thanks! |
| 2021-04-04 21:46:10 +0200 | Lord_of_Life_ | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-04 21:47:03 +0200 | Sorny | (~Sornaensi@185.192.69.50) |
| 2021-04-04 21:47:26 +0200 | <Uniaika> | cub3s_: "If it's not documented anywhere, it does not exist" |
| 2021-04-04 21:47:33 +0200 | <Uniaika> | simple answer :D |
| 2021-04-04 21:48:10 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 2021-04-04 21:49:11 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2021-04-04 21:50:05 +0200 | <hpc> | and if it exists, it's documented anywhere? |
| 2021-04-04 21:50:11 +0200 | Sorna | (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 240 seconds) |
| 2021-04-04 21:50:36 +0200 | <hpc> | actually yeah, that checks out |
| 2021-04-04 21:52:00 +0200 | jaroslawj | (~jaroslawj@185.234.208.208.r.toneticgroup.pl) |
| 2021-04-04 21:54:42 +0200 | <Uniaika> | :] |
| 2021-04-04 21:55:06 +0200 | jneira | (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) |
| 2021-04-04 21:55:14 +0200 | <Uniaika> | heya jneira o/ |
| 2021-04-04 21:55:34 +0200 | <jneira> | hi! |
| 2021-04-04 21:57:37 +0200 | <monochrom> | Vapourware is the most documented and existential kind of software. >:) |
| 2021-04-04 21:57:45 +0200 | <Uniaika> | jneira: did you spend a good semana santa ? |
| 2021-04-04 21:57:56 +0200 | vs^ | (vs@ip98-184-89-2.mc.at.cox.net) |
| 2021-04-04 21:58:20 +0200 | <jneira> | not bad :-) |
| 2021-04-04 21:58:28 +0200 | <hpc> | i read that as "vaporwave" and it took me until "software" to realize i had misread :P |
| 2021-04-04 21:59:36 +0200 | __minoru__shirae | (~shiraeesh@5.101.59.244) (Remote host closed the connection) |
| 2021-04-04 22:00:01 +0200 | Alleria | (~textual@2603-7000-3040-0000-3cf7-4d0d-62b7-f465.res6.spectrum.com) |
| 2021-04-04 22:00:02 +0200 | __minoru__shirae | (~shiraeesh@5.101.59.244) |
| 2021-04-04 22:00:24 +0200 | Alleria | Guest38403 |
| 2021-04-04 22:00:37 +0200 | Guest38403 | (~textual@2603-7000-3040-0000-3cf7-4d0d-62b7-f465.res6.spectrum.com) (Client Quit) |
| 2021-04-04 22:01:32 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-04-04 22:02:19 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-04 22:02:36 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: disconnected) |
| 2021-04-04 22:02:42 +0200 | fresheyeball | (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-04-04 22:03:06 +0200 | <fresheyeball> | I just learned I can put implimentations into .hsig files |
| 2021-04-04 22:03:12 +0200 | <fresheyeball> | how does that work? |
| 2021-04-04 22:03:18 +0200 | <fresheyeball> | what happens if there is a collision? |
| 2021-04-04 22:03:58 +0200 | <Lycurgus> | u could loose ur eyeball, watch out |
| 2021-04-04 22:04:08 +0200 | <fresheyeball> | Eeep! |
| 2021-04-04 22:04:44 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 2021-04-04 22:04:46 +0200 | petersen | (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
| 2021-04-04 22:06:51 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:492b:e982:ce46:2ec3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-04 22:07:10 +0200 | conal | (~conal@64.71.133.70) |
| 2021-04-04 22:07:12 +0200 | petersen | (~petersen@redhat/juhp) |
| 2021-04-04 22:07:22 +0200 | jaroslawj | guest11235813 |
| 2021-04-04 22:10:11 +0200 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 2021-04-04 22:14:01 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-04-04 22:14:26 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-04 22:15:40 +0200 | conal | (~conal@64.71.133.70) |
| 2021-04-04 22:16:51 +0200 | <edwardk> | fresheyeball: everyone has to supply that exact implementation |
| 2021-04-04 22:16:59 +0200 | <edwardk> | fresheyeball it doesn't layer on top or anything |
| 2021-04-04 22:17:13 +0200 | <fresheyeball> | so I put `data Foo m = forall a. Foo (Bar m a)` |
| 2021-04-04 22:17:20 +0200 | <fresheyeball> | into a .hsig and it compiled |
| 2021-04-04 22:17:23 +0200 | <edwardk> | fresheyeball: its because .hsigs are basically .hs-boot files in a wig |
| 2021-04-04 22:17:24 +0200 | <fresheyeball> | I am confused by that |
| 2021-04-04 22:17:44 +0200 | <edwardk> | now when you go to define a module to match that signature it'll need that same definition |
| 2021-04-04 22:18:37 +0200 | <edwardk> | the role of .hs-boot files is to break up cycles by containing enough definitions that a circular dependency between two modules could resolve |
| 2021-04-04 22:18:45 +0200 | <edwardk> | backpack signatures riff off that idea |
| 2021-04-04 22:20:46 +0200 | malumore | (~malumore@151.62.121.55) (Ping timeout: 240 seconds) |
| 2021-04-04 22:25:39 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-04 22:25:59 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-04 22:27:41 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-04-04 22:28:08 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-04-04 22:29:10 +0200 | <fresheyeball> | I see |
| 2021-04-04 22:30:15 +0200 | malumore | (~malumore@151.62.121.55) |
| 2021-04-04 22:32:05 +0200 | ulidtko | (~ulidtko@194.54.80.38) (Ping timeout: 246 seconds) |
| 2021-04-04 22:33:26 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-04 22:35:19 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-04 22:36:12 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-04 22:44:17 +0200 | <fresheyeball> | edwardk: can I have a package with a .hsig |
| 2021-04-04 22:44:23 +0200 | <fresheyeball> | and have a package depend on it |
| 2021-04-04 22:44:27 +0200 | <fresheyeball> | while not filling out the module? |
| 2021-04-04 22:44:38 +0200 | <fresheyeball> | as in kind of delay it further? |
| 2021-04-04 22:44:53 +0200 | <fresheyeball> | package foo has zip.hsig |
| 2021-04-04 22:44:59 +0200 | <fresheyeball> | package bar depends on pacakge foo |
| 2021-04-04 22:45:13 +0200 | <fresheyeball> | package baz depends on package bar and supplies zip.hs |
| 2021-04-04 22:46:04 +0200 | <average> | just wanted to mention I saw a video about visual basic here https://www.youtube.com/watch?v=0o0kkHgoW4M#t=3m21s |
| 2021-04-04 22:46:25 +0200 | <average> | kindof crazy that someone would make a video like that about a programming language |
| 2021-04-04 22:50:08 +0200 | esp361801 | (~esp32_pro@89.36.78.170) |
| 2021-04-04 22:50:38 +0200 | supercoven_ | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2021-04-04 22:51:54 +0200 | <fresheyeball> | average: what is odd about it? |
| 2021-04-04 22:53:27 +0200 | esp32_prog | (esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) (Ping timeout: 260 seconds) |
| 2021-04-04 22:57:47 +0200 | Lycurgus | (~niemand@98.4.115.201) (Quit: Exeunt) |
| 2021-04-04 22:59:52 +0200 | usr25 | (~usr25@unaffiliated/usr25) |
| 2021-04-04 23:01:53 +0200 | esp32_prog | (~esp32_pro@185.254.75.29) |
| 2021-04-04 23:02:49 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-04-04 23:03:15 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-04 23:03:58 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-04 23:04:56 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-04-04 23:05:07 +0200 | esp361801 | (~esp32_pro@89.36.78.170) (Ping timeout: 260 seconds) |
| 2021-04-04 23:07:09 +0200 | vs^ | (vs@ip98-184-89-2.mc.at.cox.net) () |
| 2021-04-04 23:11:05 +0200 | alx741 | (~alx741@181.196.69.45) |
| 2021-04-04 23:11:10 +0200 | <monochrom> | People make videos promoting cobol too. "it reads like English so it's easy to debug" |
| 2021-04-04 23:12:07 +0200 | <pjb> | LOL |
| 2021-04-04 23:13:28 +0200 | <edwardk> | fresheyeball: yes |
| 2021-04-04 23:13:38 +0200 | <edwardk> | fresheyeball: i've done this (see unboxed) |
| 2021-04-04 23:15:22 +0200 | <koz_> | Suppose I have a where-bind 'foo :: SmallArray Int', where the body is 'foo = runST $ do ...'. Is this ST computation gonna get re-run each time I need the value of foo? |
| 2021-04-04 23:15:22 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-04 23:15:34 +0200 | esp381274 | (esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) |
| 2021-04-04 23:16:59 +0200 | son0p | (~son0p@181.136.122.143) |
| 2021-04-04 23:17:40 +0200 | <edwardk> | {-# noinline foo #-} -- if you really want to make sure it doesn't get recreated |
| 2021-04-04 23:17:41 +0200 | DavidEichmann | (~david@47.27.93.209.dyn.plus.net) (Ping timeout: 240 seconds) |
| 2021-04-04 23:17:57 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-04-04 23:18:04 +0200 | <koz_> | But in theory, it shouldn't, right? The idea is I only need it to run once. |
| 2021-04-04 23:18:30 +0200 | <edwardk> | it should try to share rather than inline the definition because doing the latter isn't "work safe" |
| 2021-04-04 23:18:39 +0200 | esp32_prog | (~esp32_pro@185.254.75.29) (Ping timeout: 260 seconds) |
| 2021-04-04 23:18:43 +0200 | <edwardk> | unless there is only one use site |
| 2021-04-04 23:18:48 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-04 23:18:55 +0200 | <koz_> | There are definitely multiple use sites. |
| 2021-04-04 23:21:17 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-04 23:23:56 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b959101a0d9f262d01485.dip0.t-ipconnect.de) |
| 2021-04-04 23:26:44 +0200 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1) |
| 2021-04-04 23:29:01 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-04 23:31:08 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-04 23:32:39 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-04 23:33:11 +0200 | son0p | (~son0p@181.136.122.143) (Remote host closed the connection) |
| 2021-04-04 23:33:35 +0200 | Chorhizo | (5615d9ca@cpc1-cmbg20-2-0-cust457.5-4.cable.virginm.net) |
| 2021-04-04 23:33:45 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-04-04 23:33:46 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-04 23:35:10 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-04-04 23:35:44 +0200 | <Chorhizo> | Hey guys, I've got a quick question. In an OO language I'd usually try and decouple the DTO objects from the domain objects, it seems a bit boilerplatey for Haskell to implement a ton of instance's, am I overthinking this? |
| 2021-04-04 23:36:00 +0200 | fendor_ | (~fendor@77.119.128.7.wireless.dyn.drei.com) |
| 2021-04-04 23:36:12 +0200 | son0p | (~son0p@181.136.122.143) |
| 2021-04-04 23:37:16 +0200 | esp32_prog | (~esp32_pro@193.27.13.234) |
| 2021-04-04 23:38:11 +0200 | fendor | (~fendor@178.165.129.178.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-04-04 23:39:50 +0200 | <c_wraith> | You'd still decouple them in haskell, but the conversion is usually just.. functions. |
| 2021-04-04 23:40:35 +0200 | esp381274 | (esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) (Ping timeout: 260 seconds) |
| 2021-04-04 23:42:56 +0200 | esp344065 | (~esp32_pro@89.45.90.62) |
| 2021-04-04 23:45:47 +0200 | <Chorhizo> | Thanks, I think I briefly lost my mind |
| 2021-04-04 23:46:11 +0200 | esp32_prog | (~esp32_pro@193.27.13.234) (Ping timeout: 260 seconds) |
| 2021-04-04 23:46:54 +0200 | hexfive | (~hexfive@50.35.83.177) |
| 2021-04-04 23:48:12 +0200 | virmaha | (43a131fc@c-67-161-49-252.hsd1.ca.comcast.net) |
| 2021-04-04 23:50:26 +0200 | vv8 | (~egp_@2.95.145.35) (Ping timeout: 260 seconds) |
| 2021-04-04 23:56:16 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-04 23:57:07 +0200 | fendor_ | (~fendor@77.119.128.7.wireless.dyn.drei.com) (Remote host closed the connection) |