Logs: freenode/#haskell
| 2021-03-03 11:46:31 | × | redmp quits (~redmp@172.58.38.139) (Quit: leaving) |
| 2021-03-03 11:46:56 | → | barnowl joins (~myles@gateway/tor-sasl/barnowl) |
| 2021-03-03 11:47:24 | × | wmacmil quits (~wmacmil@84.216.157.27) (Ping timeout: 260 seconds) |
| 2021-03-03 11:47:58 | → | cgadski joins (~textual@a95-95-106-208.cpe.netcabo.pt) |
| 2021-03-03 11:50:46 | → | asdfaaaa joins (3d1a23ba@61-26-35-186.rev.home.ne.jp) |
| 2021-03-03 11:51:03 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-03-03 11:54:07 | ← | asdfaaaa parts (3d1a23ba@61-26-35-186.rev.home.ne.jp) () |
| 2021-03-03 11:54:25 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-03 11:55:11 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-03-03 11:57:58 | × | barnowl quits (~myles@gateway/tor-sasl/barnowl) (Quit: barnowl) |
| 2021-03-03 11:58:09 | → | barnowl joins (~barnowl@gateway/tor-sasl/barnowl) |
| 2021-03-03 11:58:09 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-03 11:58:24 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-03 11:59:13 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-03 11:59:55 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-03 12:01:36 | → | whald joins (~trem@2a02:810a:8100:11a6:ce1b:d0ec:5466:a331) |
| 2021-03-03 12:04:26 | → | __minoru__shirae joins (~shiraeesh@109.166.56.89) |
| 2021-03-03 12:04:38 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 2021-03-03 12:05:34 | → | boxscape joins (4ff0baf3@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.243) |
| 2021-03-03 12:09:39 | → | mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
| 2021-03-03 12:10:11 | → | royal_screwup218 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-03 12:10:24 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2021-03-03 12:14:28 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b5:5f2:242:2b9e) |
| 2021-03-03 12:15:36 | × | geowiesnot_bis quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-03-03 12:17:15 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-03-03 12:17:22 | <romesrf> | --xsperry takeWhile doesn't resolve my problem since i still have to specify a max value for the list from where to takeWhile, i've tried to get it to work with no result |
| 2021-03-03 12:17:35 | jpds_ | is now known as jpds |
| 2021-03-03 12:17:49 | <cheater> | romesrf: you want a fold |
| 2021-03-03 12:17:58 | <romesrf> | :t fold |
| 2021-03-03 12:17:59 | <lambdabot> | (Foldable t, Monoid m) => t m -> m |
| 2021-03-03 12:18:09 | <romesrf> | i'll look into it, thank you |
| 2021-03-03 12:18:15 | × | royal_screwup218 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-03 12:18:25 | <romesrf> | i'm just learning haskell, so Foldable and Monoid is something i don't know yet :) |
| 2021-03-03 12:18:26 | <cheater> | well not the function fold |
| 2021-03-03 12:18:30 | <cheater> | you want /a/ fold |
| 2021-03-03 12:18:31 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-03 12:18:35 | → | royal_screwup218 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-03 12:18:39 | <cheater> | go read up on the differences between foldr and foldl |
| 2021-03-03 12:18:45 | <cheater> | there's that wiki page |
| 2021-03-03 12:18:52 | <romesrf> | Okay, I will |
| 2021-03-03 12:18:55 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b5:5f2:242:2b9e) (Ping timeout: 240 seconds) |
| 2021-03-03 12:18:55 | <tdammers> | (also foldl and foldl') |
| 2021-03-03 12:18:59 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-03 12:19:32 | <tdammers> | ((although at this level, it boils down to "use foldl', not foldl, because Trust Me™)) |
| 2021-03-03 12:20:06 | <cheater> | tdammers: it's the same wiki page |
| 2021-03-03 12:20:06 | <romesrf> | > trust me™ahahahahahaha |
| 2021-03-03 12:20:08 | <lambdabot> | error: Variable not in scope: trust :: t1 -> t0error: |
| 2021-03-03 12:20:08 | <lambdabot> | • Variable not in scope: me |
| 2021-03-03 12:20:08 | <lambdabot> | • Perhaps you meant one of these: |
| 2021-03-03 12:20:23 | <romesrf> | how do i tag people in the channel? (using weechat - also new to it) |
| 2021-03-03 12:20:38 | <tdammers> | you just write their nick without further decorations |
| 2021-03-03 12:20:44 | <tdammers> | like so: romesrf |
| 2021-03-03 12:20:49 | <romesrf> | beatiful +1 |
| 2021-03-03 12:20:58 | <boxscape> | romesrf if you type the beginning of someone's name weechat will let you complete it by hitting `tab` as well |
| 2021-03-03 12:21:06 | <tdammers> | a common format is "nick: message" though |
| 2021-03-03 12:21:10 | <romesrf> | really nice! |
| 2021-03-03 12:21:22 | <tdammers> | and yeah, weechat completion does that automatically at the beginning of a message |
| 2021-03-03 12:21:31 | × | lawid quits (~quassel@dslb-090-186-208-048.090.186.pools.vodafone-ip.de) (Quit: lawid) |
| 2021-03-03 12:22:08 | <mananamenos> | I have Main.hs which import Foo.hs. When running `cabal new-build` I get a warning: These modules are needed for compilation but not listed in your .cabal file's other-modules: Foo. Why? To remove this warning I have to add Foo to other-modules in .cabal file. |
| 2021-03-03 12:22:45 | × | __minoru__shirae quits (~shiraeesh@109.166.56.89) (Ping timeout: 264 seconds) |
| 2021-03-03 12:22:48 | <merijn> | mananamenos: What's the question? |
| 2021-03-03 12:23:53 | → | lawid joins (~quassel@dslb-090-186-208-048.090.186.pools.vodafone-ip.de) |
| 2021-03-03 12:24:31 | <mananamenos> | merijn, I thought that having `hs-source-dirs: src` and having all the module in src dir is enough. Or do I have to each and every module name now in other-modules so I dont see that warning. |
| 2021-03-03 12:24:41 | × | royal_screwup218 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-03 12:25:02 | → | royal_screwup218 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-03 12:25:28 | <merijn> | You have to list every module, yes |
| 2021-03-03 12:28:07 | × | fendor quits (~fendor@91.141.0.81.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-03-03 12:29:04 | × | cocreature quits (~cocreatur@eirene.uberspace.de) (Read error: Connection reset by peer) |
| 2021-03-03 12:32:02 | → | cocreature joins (~cocreatur@eirene.uberspace.de) |
| 2021-03-03 12:32:03 | → | ddellacosta joins (~ddellacos@86.106.143.58) |
| 2021-03-03 12:32:21 | × | ubert quits (~Thunderbi@p200300ecdf25d90eca5b76fffe29f233.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-03-03 12:32:21 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-03 12:32:34 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-03 12:32:42 | → | ubert joins (~Thunderbi@p200300ecdf25d90ee6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-03-03 12:34:12 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-03-03 12:34:52 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-03-03 12:36:43 | × | ddellacosta quits (~ddellacos@86.106.143.58) (Ping timeout: 245 seconds) |
| 2021-03-03 12:39:20 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 256 seconds) |
| 2021-03-03 12:41:28 | × | augnun quits (~augnun@2804:14c:658b:41bb:fb9:bc81:b181:b275) (Quit: WeeChat 3.0.1) |
| 2021-03-03 12:42:13 | × | vs^ quits (vs@ip98-184-89-2.mc.at.cox.net) () |
| 2021-03-03 12:43:10 | → | massma joins (~user@dyn-160-39-62-152.dyn.columbia.edu) |
| 2021-03-03 12:43:36 | <romesrf> | foldl is really nice |
| 2021-03-03 12:44:08 | <romesrf> | i found a beautiful solution for problem euler 5 (im redoing them to learn haskell) |
| 2021-03-03 12:44:23 | <romesrf> | (i didn't write it tho, so i'm gonna still try with what i was doing but...) |
| 2021-03-03 12:44:26 | <romesrf> | foldl' lcm 1 [1..20] |
| 2021-03-03 12:46:01 | × | massma quits (~user@dyn-160-39-62-152.dyn.columbia.edu) (Client Quit) |
| 2021-03-03 12:46:01 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-03 12:46:10 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-03 12:46:22 | → | massma joins (~user@dyn-160-39-62-152.dyn.columbia.edu) |
| 2021-03-03 12:48:25 | → | carlomagno joins (~cararell@148.87.23.6) |
| 2021-03-03 12:55:56 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 240 seconds) |
| 2021-03-03 12:56:16 | → | romesrf_ joins (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 2021-03-03 12:57:58 | → | Wuzzy joins (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) |
| 2021-03-03 12:58:37 | × | romesrf quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2021-03-03 12:58:52 | → | dsrt^ joins (dsrt@ip98-184-89-2.mc.at.cox.net) |
| 2021-03-03 12:59:37 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-03-03 12:59:37 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-03 12:59:45 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-03 13:03:16 | × | royal_screwup218 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-03 13:03:36 | → | royal_screwup218 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
All times are in UTC.