Logs: freenode/#haskell
| 2021-05-03 10:02:55 | → | icebreaker joins (michalc@freeshell.de) |
| 2021-05-03 10:02:55 | × | icebreaker quits (michalc@freeshell.de) (Changing host) |
| 2021-05-03 10:02:55 | → | icebreaker joins (michalc@unaffiliated/icebreaker) |
| 2021-05-03 10:03:16 | → | darjeeling_ joins (~darjeelin@115.215.42.118) |
| 2021-05-03 10:03:20 | ← | icebreaker parts (michalc@unaffiliated/icebreaker) () |
| 2021-05-03 10:04:43 | × | Guest66315 quits (~textual@2603-7000-3040-0000-84f4-98d0-a4df-a22f.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 2021-05-03 10:05:59 | → | icebreaker joins (michalc@freeshell.de) |
| 2021-05-03 10:05:59 | × | icebreaker quits (michalc@freeshell.de) (Changing host) |
| 2021-05-03 10:05:59 | → | icebreaker joins (michalc@unaffiliated/icebreaker) |
| 2021-05-03 10:06:50 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-05-03 10:09:27 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 265 seconds) |
| 2021-05-03 10:10:47 | × | constrixor_ quits (~chargen@D964062A.static.ziggozakelijk.nl) (Quit: Leaving) |
| 2021-05-03 10:12:18 | → | philderbeast joins (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) |
| 2021-05-03 10:14:33 | × | xff0x quits (~xff0x@2001:1a81:5320:8100:682a:77dc:98e9:82b8) (Ping timeout: 246 seconds) |
| 2021-05-03 10:15:28 | → | xff0x joins (~xff0x@2001:1a81:5320:8100:b9d9:af98:cb3f:373e) |
| 2021-05-03 10:17:43 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-03 10:19:21 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-03 10:19:41 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-03 10:24:38 | × | malumore_ quits (~malumore@151.62.114.209) (Remote host closed the connection) |
| 2021-05-03 10:25:07 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 2021-05-03 10:26:06 | → | malumore joins (~malumore@151.62.114.209) |
| 2021-05-03 10:26:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-03 10:26:32 | → | v01d4lph4 joins (~v01d4lph4@171.48.62.25) |
| 2021-05-03 10:27:01 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-03 10:29:21 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Ping timeout: 250 seconds) |
| 2021-05-03 10:30:16 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-03 10:32:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-05-03 10:32:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-03 10:34:28 | × | yaroot quits (~yaroot@138.102.13.160.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat) |
| 2021-05-03 10:34:51 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-gywnnzeujjipyggz) (Quit: Connection closed for inactivity) |
| 2021-05-03 10:35:10 | → | yaroot joins (~yaroot@138.102.13.160.dy.iij4u.or.jp) |
| 2021-05-03 10:37:32 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-05-03 10:38:01 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 10:38:04 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-03 10:38:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-03 10:42:06 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-05-03 10:43:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-03 10:44:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-03 10:46:15 | hackage | splitmix-distributions 0.3.0.0 - Random samplers for some common distributions, based on splitmix. https://hackage.haskell.org/package/splitmix-distributions-0.3.0.0 (ocramz) |
| 2021-05-03 10:49:47 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 2021-05-03 10:50:11 | Alleria | is now known as Guest52589 |
| 2021-05-03 10:54:29 | × | zgrep quits (~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep) (Remote host closed the connection) |
| 2021-05-03 10:54:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-05-03 10:55:25 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-03 10:55:49 | → | zgrep joins (~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep) |
| 2021-05-03 11:00:15 | hackage | souffle-haskell 3.0.0 - Souffle Datalog bindings for Haskell https://hackage.haskell.org/package/souffle-haskell-3.0.0 (luc_tielen) |
| 2021-05-03 11:02:41 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-03 11:08:54 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-05-03 11:11:15 | hackage | splitmix-distributions 0.4.0.0 - Random samplers for some common distributions, based on splitmix. https://hackage.haskell.org/package/splitmix-distributions-0.4.0.0 (ocramz) |
| 2021-05-03 11:12:31 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-03 11:13:02 | <siers> | @pl traverse (pure . f) l |
| 2021-05-03 11:13:03 | <lambdabot> | traverse (pure . f) l |
| 2021-05-03 11:13:59 | <siers> | ah, never mind |
| 2021-05-03 11:17:44 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-03 11:18:42 | <siers> | :t foldr |
| 2021-05-03 11:18:44 | <lambdabot> | Foldable t => (a -> b -> b) -> b -> t a -> b |
| 2021-05-03 11:19:04 | <siers> | @hoogle Foldable t => b -> t a -> (a -> b -> b) -> b |
| 2021-05-03 11:19:06 | <lambdabot> | No results found |
| 2021-05-03 11:19:15 | <siers> | @hoogle b -> t a -> (a -> b -> b) -> b |
| 2021-05-03 11:19:16 | <lambdabot> | No results found |
| 2021-05-03 11:23:10 | × | stagn8 quits (~a@78-222-29-85.dyn.estpak.ee) (Quit: Leaving) |
| 2021-05-03 11:25:25 | → | kimpa joins (b9b792ed@gateway/web/cgi-irc/kiwiirc.com/ip.185.183.146.237) |
| 2021-05-03 11:25:42 | × | xprl-gjf quits (~gavin@98.154.147.147.dyn.plus.net) (Quit: haskell) |
| 2021-05-03 11:26:41 | → | juliagoda joins (~juliagoda@2a02:a31a:e13a:eb00:758f:d455:b475:46e4) |
| 2021-05-03 11:28:45 | hackage | splitmix-distributions 0.5.0.0 - Random samplers for some common distributions, based on splitmix. https://hackage.haskell.org/package/splitmix-distributions-0.5.0.0 (ocramz) |
| 2021-05-03 11:29:51 | × | kimpa quits (b9b792ed@gateway/web/cgi-irc/kiwiirc.com/ip.185.183.146.237) (Client Quit) |
| 2021-05-03 11:31:37 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-05-03 11:31:38 | → | kwannoel joins (~Android@2401:7400:6004:e597:1:1:9b0:49b2) |
| 2021-05-03 11:31:50 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) |
| 2021-05-03 11:33:01 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-05-03 11:37:58 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Remote host closed the connection) |
| 2021-05-03 11:38:08 | × | LKoen quits (~LKoen@213.166.9.109.rev.sfr.net) (Remote host closed the connection) |
| 2021-05-03 11:40:26 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-03 11:40:50 | <olligobber> | does anyone here know anything about type level set operations? at the moment I'm using a list of types, and comparing setwise equality, subset, and doing unions would be nice |
| 2021-05-03 11:41:57 | <olligobber> | it's probably not necessary, but it would be cool |
| 2021-05-03 11:42:33 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-03 11:42:44 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-05-03 11:43:50 | <olligobber> | oh, Data.Type.List from type-list seems to have what I want |
| 2021-05-03 11:46:39 | <olligobber> | or I could use type-level-sets |
| 2021-05-03 11:46:46 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-03 11:48:44 | → | rodriga joins (~quassel@134.204.25.66) |
| 2021-05-03 11:49:44 | <olligobber> | I don't see a nice way of checking two type level sets are subsets though |
| 2021-05-03 11:50:21 | <merijn> | THere are no nice ways |
| 2021-05-03 11:50:39 | <merijn> | In fact, this entire line of enquiry leads directly to madness >.> |
| 2021-05-03 11:51:11 | <olligobber> | oh |
| 2021-05-03 11:51:38 | <merijn> | olligobber: I hope you really like long coffee breaks during compilation :p |
| 2021-05-03 11:51:42 | <olligobber> | I guess I can just use append for union, and I don't really need the other things |
| 2021-05-03 11:51:51 | <olligobber> | I'm not gonna use really big sets |
| 2021-05-03 11:52:12 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-03 11:53:37 | <olligobber> | actually, I can just have a thing that goes from Free s -> Free (Union s t) to do subset stuff |
| 2021-05-03 11:53:41 | <olligobber> | or the other way around |
| 2021-05-03 11:53:58 | <phanf> | Hello world what's good |
| 2021-05-03 11:54:04 | <olligobber> | are type-level-sets that slow though? if my sets have like 10 things at most |
| 2021-05-03 11:54:18 | <olligobber> | phanf, type level programming |
| 2021-05-03 11:54:25 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 2021-05-03 11:54:41 | <olligobber> | merijn, I don't like coffee, so how long are the breaks? |
| 2021-05-03 11:54:56 | <olligobber> | I guess I can just write the code and see what happens |
| 2021-05-03 11:54:59 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-03 11:56:01 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-05-03 11:56:27 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
All times are in UTC.