Logs: freenode/#haskell
| 2021-04-20 06:48:02 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-04-20 06:52:11 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 246 seconds) |
| 2021-04-20 06:52:28 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-04-20 06:54:32 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-20 06:54:35 | → | Wizek joins (uid191769@gateway/web/irccloud.com/x-xmeffajrmhvrulqs) |
| 2021-04-20 06:57:05 | → | malumore_ joins (~malumore@151.62.126.110) |
| 2021-04-20 06:57:19 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-04-20 06:59:05 | → | ystael joins (~ystael@209.6.50.55) |
| 2021-04-20 07:00:03 | × | rnat2 quits (uid73555@gateway/web/irccloud.com/x-npgffezputfwgsjb) (Quit: Connection closed for inactivity) |
| 2021-04-20 07:00:45 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-04-20 07:01:10 | → | lovesegfault joins (~bemeurer@37.219.94.34.bc.googleusercontent.com) |
| 2021-04-20 07:03:27 | → | ircbrowse_tom joins (~ircbrowse@64.225.78.177) |
| 2021-04-20 07:03:27 | Server | sets mode +CLnt |
| 2021-04-20 07:06:02 | → | zeenk joins (~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) |
| 2021-04-20 07:08:04 | <Uniaika> | @hoogle concatMap |
| 2021-04-20 07:08:05 | <lambdabot> | Prelude concatMap :: Foldable t => (a -> [b]) -> t a -> [b] |
| 2021-04-20 07:08:05 | <lambdabot> | Data.List concatMap :: Foldable t => (a -> [b]) -> t a -> [b] |
| 2021-04-20 07:08:05 | <lambdabot> | Data.Foldable concatMap :: Foldable t => (a -> [b]) -> t a -> [b] |
| 2021-04-20 07:08:10 | <Uniaika> | lovesegfault: ^ ? |
| 2021-04-20 07:10:51 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 260 seconds) |
| 2021-04-20 07:11:11 | <lovesegfault> | Uniaika: Ah, yes, that looks like it! |
| 2021-04-20 07:11:13 | <lovesegfault> | Thanks :) |
| 2021-04-20 07:11:36 | <Uniaika> | lovesegfault: 👍 have fun in Haskell-land! |
| 2021-04-20 07:14:15 | × | xff0x quits (~xff0x@2001:1a81:5214:2600:9688:e220:3a3b:b1e5) (Ping timeout: 260 seconds) |
| 2021-04-20 07:15:11 | → | xff0x joins (~xff0x@2001:1a81:5214:2600:9556:d2d0:9e03:65e7) |
| 2021-04-20 07:15:51 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-20 07:15:56 | → | Lowl3v3l joins (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) |
| 2021-04-20 07:17:45 | × | sagax quits (~sagax_nb@213.138.71.146) (Remote host closed the connection) |
| 2021-04-20 07:18:11 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-04-20 07:19:28 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-04-20 07:21:11 | × | ystael quits (~ystael@209.6.50.55) (Ping timeout: 240 seconds) |
| 2021-04-20 07:22:27 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-20 07:26:23 | × | jesystani quits (~thorn@2404:4404:17f1:4900:e0ee:a921:39f9:daa0) (Ping timeout: 260 seconds) |
| 2021-04-20 07:27:05 | → | jesystani joins (~thorn@2404:4404:17f1:4900:5d5d:4b64:8f45:cb7b) |
| 2021-04-20 07:27:58 | <lovesegfault> | The syntax is a bit alien right now, but I'm sure I'll get used to it :P |
| 2021-04-20 07:28:04 | → | ystael joins (~ystael@209.6.50.55) |
| 2021-04-20 07:28:28 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:2126:aa80:b49b:4f77) |
| 2021-04-20 07:29:19 | → | michalz joins (~user@185.246.204.47) |
| 2021-04-20 07:30:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-20 07:30:41 | × | ashesham` quits (~user@d8D87D1B0.access.telenet.be) (Ping timeout: 246 seconds) |
| 2021-04-20 07:30:51 | → | ashesham` joins (~user@d8D87D1B0.access.telenet.be) |
| 2021-04-20 07:33:06 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-20 07:33:07 | → | garFF joins (~garff@0x3e2c8755.mobile.telia.dk) |
| 2021-04-20 07:33:27 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-04-20 07:37:22 | <Axman6> | lovesegfault: flatMap is the name others have given to Haskell's (>>=) (pronounced bind), and you'll find list's implementation of the Monad class defines (>>=) as concatMap |
| 2021-04-20 07:37:26 | × | __minoru__shirae quits (~shiraeesh@5.101.59.44) (Ping timeout: 240 seconds) |
| 2021-04-20 07:38:45 | × | garFF quits (~garff@0x3e2c8755.mobile.telia.dk) (Quit: Leaving) |
| 2021-04-20 07:41:06 | × | michalz quits (~user@185.246.204.47) (Ping timeout: 240 seconds) |
| 2021-04-20 07:41:32 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-04-20 07:41:48 | → | michalz joins (~user@185.246.204.61) |
| 2021-04-20 07:43:45 | → | s00pcan joins (~chris@107.181.165.217) |
| 2021-04-20 07:43:48 | → | johny9 joins (~bc8134e3@217.29.117.252) |
| 2021-04-20 07:45:39 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-04-20 07:46:13 | → | nyd joins (~nyd@unaffiliated/elysian) |
| 2021-04-20 07:47:06 | × | tlgl^nix quits (~damien@S0106008ef25e98fb.su.shawcable.net) (Ping timeout: 240 seconds) |
| 2021-04-20 07:47:49 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-20 07:48:21 | → | dolio joins (~dolio@haskell/developer/dolio) |
| 2021-04-20 07:48:38 | <johny9> | hi. can someone explain how this works? |
| 2021-04-20 07:48:46 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-04-20 07:48:51 | <johny9> | > [ (a,b,c) | c <- [1..], b <- [1..c], a <- [1..b], a^2 + b^2 == c^2 ] |
| 2021-04-20 07:48:55 | <lambdabot> | [(3,4,5),(6,8,10),(5,12,13),(9,12,15),(8,15,17),(12,16,20),(15,20,25),(7,24,... |
| 2021-04-20 07:51:18 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-20 07:51:20 | ← | nut parts (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) () |
| 2021-04-20 07:51:25 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-20 07:51:36 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Quit: dpl) |
| 2021-04-20 07:51:53 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-20 07:52:05 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-20 07:54:35 | → | timCF joins (~i.tkachuk@200-149-20-81.sta.estpak.ee) |
| 2021-04-20 07:54:43 | × | Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Remote host closed the connection) |
| 2021-04-20 07:55:07 | <timCF> | Hello! Is there well-known name for `((f <$>) <$>)` ? |
| 2021-04-20 07:55:19 | <timCF> | For example to map over functor in IO |
| 2021-04-20 07:56:42 | → | __minoru__shirae joins (~shiraeesh@5.101.59.44) |
| 2021-04-20 07:57:37 | → | nicholas_ joins (~nicholasb@2601:900:4301:da0:c46c:29eb:6d58:88ee) |
| 2021-04-20 07:58:11 | × | todda7 quits (~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2021-04-20 08:02:11 | × | nicholas_ quits (~nicholasb@2601:900:4301:da0:c46c:29eb:6d58:88ee) (Ping timeout: 258 seconds) |
| 2021-04-20 08:03:22 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-04-20 08:05:09 | → | jophish__ joins (ca536851@202.83.104.81) |
| 2021-04-20 08:07:15 | × | fiedlr quits (~fiedlr@83.148.33.254) () |
| 2021-04-20 08:07:30 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-04-20 08:08:07 | → | hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-20 08:10:21 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-04-20 08:13:22 | × | akhesacaro quits (~caro@212.83.144.58) (Quit: leaving) |
| 2021-04-20 08:18:47 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-04-20 08:21:05 | <edwardk> | timcf: fmap.fmap fmap.fmap.fmap build up the ability to map over layers like these in series. lenses generalize this pattern. cale (used to advocate for . being a better name for fmap, so the names :. for fmap . fmap = (.).(.) came up in various flavors, but its not standardly packaged into base. |
| 2021-04-20 08:24:06 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds) |
| 2021-04-20 08:26:14 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-20 08:26:26 | × | jesystani quits (~thorn@2404:4404:17f1:4900:5d5d:4b64:8f45:cb7b) (Remote host closed the connection) |
| 2021-04-20 08:26:46 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-20 08:26:52 | → | jesystani joins (~thorn@2404:4404:17f1:4900:e17d:57ca:df47:fd0b) |
| 2021-04-20 08:28:11 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-20 08:28:26 | → | LKoen joins (~LKoen@92.163.9.109.rev.sfr.net) |
| 2021-04-20 08:28:27 | → | todda7 joins (~torstein@ppp-2-85-110-156.home.otenet.gr) |
| 2021-04-20 08:28:29 | <merijn> | timCF: semantic editor combinators? |
| 2021-04-20 08:31:48 | → | fendor joins (~fendor@178.165.131.162.wireless.dyn.drei.com) |
| 2021-04-20 08:32:16 | → | DavidEichmann joins (~david@147.136.46.217.dyn.plus.net) |
| 2021-04-20 08:32:33 | × | zeenk quits (~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) (Quit: Konversation terminated!) |
| 2021-04-20 08:34:00 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-20 08:37:52 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
| 2021-04-20 08:38:19 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) () |
| 2021-04-20 08:38:24 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
All times are in UTC.