Logs: freenode/#haskell
| 2020-10-20 11:32:02 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2020-10-20 11:32:34 | → | acidjnk_new joins (~acidjnk@p200300d0c723787960581240d4a66b7e.dip0.t-ipconnect.de) |
| 2020-10-20 11:33:00 | → | dhil joins (~dhil@195.213.192.122) |
| 2020-10-20 11:33:07 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds) |
| 2020-10-20 11:33:43 | → | alp joins (~alp@2a01:e0a:58b:4920:3cec:cc43:6a50:5c5c) |
| 2020-10-20 11:35:11 | × | Buntspecht quits (~user@unaffiliated/siracusa) (Ping timeout: 258 seconds) |
| 2020-10-20 11:35:13 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 11:35:21 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-jhjfudcxbbzyovpj) |
| 2020-10-20 11:35:30 | × | polyrain quits (~polyrain@2001:8003:e501:6901:14f1:da8f:9790:497b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 11:36:27 | → | Buntspecht joins (~user@unaffiliated/siracusa) |
| 2020-10-20 11:36:28 | hackage | phonetic-languages-rhythmicity 0.1.2.0 - Allows to estimate the rhythmicity metrices for the text (usually, the Ukrainian poetic one) https://hackage.haskell.org/package/phonetic-languages-rhythmicity-0.1.2.0 (OleksandrZhabenko) |
| 2020-10-20 11:36:34 | → | polyrain joins (~polyrain@2001:8003:e501:6901:14f1:da8f:9790:497b) |
| 2020-10-20 11:37:23 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 11:40:05 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 272 seconds) |
| 2020-10-20 11:40:08 | → | lawr3nce joins (~lawr3nce@gateway/tor-sasl/lawr3nce) |
| 2020-10-20 11:40:56 | × | Maxdamantus quits (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 258 seconds) |
| 2020-10-20 11:41:34 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2020-10-20 11:42:36 | → | Maxdamantus joins (~Maxdamant@unaffiliated/maxdamantus) |
| 2020-10-20 11:44:10 | × | Benzi-Junior quits (~BenziJuni@88-149-67-198.du.xdsl.is) (Ping timeout: 256 seconds) |
| 2020-10-20 11:44:51 | × | bitmagie quits (~Thunderbi@200116b80684bf00347699f0d62b2dcb.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2020-10-20 11:45:02 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:1565:fd9f:5ba9:4bbe) (Ping timeout: 244 seconds) |
| 2020-10-20 11:45:48 | → | Plantain joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 2020-10-20 11:48:34 | × | Iwawa quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 246 seconds) |
| 2020-10-20 11:48:42 | → | dcoutts_ joins (~duncan@33.14.75.194.dyn.plus.net) |
| 2020-10-20 11:52:43 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:c431:b9e9:64f3:556) |
| 2020-10-20 11:53:10 | → | Buntspecht_ joins (~user@unaffiliated/siracusa) |
| 2020-10-20 11:53:23 | → | Benzi-Junior joins (~BenziJuni@88-149-67-198.du.xdsl.is) |
| 2020-10-20 11:54:44 | × | alx741 quits (~alx741@186.178.110.100) (Ping timeout: 260 seconds) |
| 2020-10-20 11:57:02 | × | Buntspecht quits (~user@unaffiliated/siracusa) (Ping timeout: 260 seconds) |
| 2020-10-20 11:57:05 | Buntspecht_ | is now known as Buntspecht |
| 2020-10-20 11:57:36 | → | jonatanb joins (~jonatanb@83.24.185.240.ipv4.supernova.orange.pl) |
| 2020-10-20 11:58:21 | → | whatisRT joins (~whatisRT@2002:5b41:6a33:0:85b0:5e47:1897:223c) |
| 2020-10-20 12:00:01 | × | havenwood1 quits (~havenwood@185.163.110.116) () |
| 2020-10-20 12:04:49 | → | dmiles joins (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) |
| 2020-10-20 12:05:54 | × | MindlessDrone quits (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 265 seconds) |
| 2020-10-20 12:06:45 | Hatsue[m] | is now known as PotatoHatsue[Q] |
| 2020-10-20 12:07:20 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-10-20 12:07:40 | → | djellemah joins (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) |
| 2020-10-20 12:07:47 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 12:07:51 | → | alx741 joins (~alx741@186.178.110.244) |
| 2020-10-20 12:08:05 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-20 12:08:16 | → | GyroW joins (~GyroW@d54C03E98.access.telenet.be) |
| 2020-10-20 12:08:16 | × | GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 2020-10-20 12:08:16 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 12:08:34 | × | lawr3nce quits (~lawr3nce@gateway/tor-sasl/lawr3nce) (Quit: Leaving) |
| 2020-10-20 12:12:27 | hackage | sweet-egison 0.1.1.3 - Shallow embedding implementation of non-linear pattern matching https://hackage.haskell.org/package/sweet-egison-0.1.1.3 (SatoshiEgi) |
| 2020-10-20 12:12:30 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-10-20 12:12:57 | → | drbean joins (~drbean@TC210-63-209-185.static.apol.com.tw) |
| 2020-10-20 12:13:20 | → | MindlessDrone joins (~MindlessD@unaffiliated/mindlessdrone) |
| 2020-10-20 12:17:25 | <dminuoso> | Mmm, Im generating a lot of boiler plate code using haskell-src-exts, suddenly I realized I might want to generate a few bits of haddock as well, but haskell-src-exts seems to not know about comments at all. |
| 2020-10-20 12:17:27 | <dminuoso> | What are my options here? |
| 2020-10-20 12:19:04 | × | jonatanb quits (~jonatanb@83.24.185.240.ipv4.supernova.orange.pl) (Quit: Leaving...) |
| 2020-10-20 12:19:28 | <dminuoso> | Oh.. turns out I wasn't reading the haddock clearly. |
| 2020-10-20 12:19:30 | <dminuoso> | http://hackage.haskell.org/package/haskell-src-exts-1.18.2/docs/Language-Haskell-Exts-Comments.html |
| 2020-10-20 12:22:25 | × | xff0x quits (~fox@2001:1a81:5267:b200:9f10:7d31:322:f836) (Ping timeout: 240 seconds) |
| 2020-10-20 12:23:27 | → | xff0x joins (~fox@2001:1a81:5267:b200:bab1:2e74:50b1:426) |
| 2020-10-20 12:24:08 | → | texasmynsted joins (~texasmyns@104.140.53.123) |
| 2020-10-20 12:25:03 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:6cd0:22a:1738:5d24) |
| 2020-10-20 12:26:58 | → | Pitaya joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 2020-10-20 12:28:50 | → | knupfer joins (~Thunderbi@dynamic-046-114-146-209.46.114.pool.telefonica.de) |
| 2020-10-20 12:28:52 | × | knupfer quits (~Thunderbi@dynamic-046-114-146-209.46.114.pool.telefonica.de) (Client Quit) |
| 2020-10-20 12:29:08 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:6cd0:22a:1738:5d24) (Client Quit) |
| 2020-10-20 12:29:10 | → | knupfer joins (~Thunderbi@dynamic-046-114-146-209.46.114.pool.telefonica.de) |
| 2020-10-20 12:29:43 | × | Plantain quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 260 seconds) |
| 2020-10-20 12:29:53 | → | ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2020-10-20 12:32:19 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 2020-10-20 12:33:23 | <tomjaguarpaw> | What's the standard idiom for zipping more than three lists together? |
| 2020-10-20 12:33:27 | × | fendor quits (~fendor@e237-037.eduroam.tuwien.ac.at) (Ping timeout: 258 seconds) |
| 2020-10-20 12:33:39 | <merijn> | tomjaguarpaw: Applicative |
| 2020-10-20 12:33:48 | <merijn> | tomjaguarpaw: Lemme introduce you to your saviour |
| 2020-10-20 12:34:05 | <merijn> | > (+) <$> ZipList [1..5] <*> ZipList [6..10] |
| 2020-10-20 12:34:08 | <lambdabot> | ZipList {getZipList = [7,9,11,13,15]} |
| 2020-10-20 12:34:20 | × | haasn quits (~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2020-10-20 12:34:37 | <merijn> | tomjaguarpaw: Turns out n-wise zipping is a lawful Applicative ;) |
| 2020-10-20 12:35:26 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 12:36:16 | → | haasn joins (~nand@mpv/developer/haasn) |
| 2020-10-20 12:37:14 | × | texasmynsted quits (~texasmyns@104.140.53.123) (Remote host closed the connection) |
| 2020-10-20 12:37:22 | ← | earldouglas parts (~james@unaffiliated/jamestastic) () |
| 2020-10-20 12:38:08 | → | texasmynsted joins (~texasmyns@104.140.53.123) |
| 2020-10-20 12:39:19 | <ski> | > [x + y | x <- [1 .. 5] | y <- [6 .. 10]] |
| 2020-10-20 12:39:22 | <lambdabot> | [7,9,11,13,15] |
| 2020-10-20 12:39:57 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 246 seconds) |
| 2020-10-20 12:40:45 | <merijn> | ski: That one requires an extension, though :p |
| 2020-10-20 12:42:27 | × | texasmynsted quits (~texasmyns@104.140.53.123) (Read error: Connection reset by peer) |
| 2020-10-20 12:43:17 | <tomjaguarpaw> | Thanks, I think I will use zipWith ($) |
| 2020-10-20 12:45:09 | → | cristi_ joins (~cristi@82.76.158.82) |
| 2020-10-20 12:45:22 | <merijn> | That doesn't work for more than 3, though :p |
| 2020-10-20 12:45:58 | × | unlink2 quits (~unlink2@p200300ebcf3c54001b9e8be0a8d0c9c4.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2020-10-20 12:47:26 | → | unlink2 joins (~unlink2@p200300ebcf3c54001b9e8be0a8d0c9c4.dip0.t-ipconnect.de) |
| 2020-10-20 12:52:53 | × | jedws quits (~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 12:53:19 | → | aGHz_nfb joins (~aGHz_nfb@185.163.110.116) |
| 2020-10-20 12:53:39 | → | thir joins (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 12:56:29 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2020-10-20 12:56:42 | → | fendor joins (~fendor@212095005156.public.telering.at) |
| 2020-10-20 12:57:38 | <dminuoso> | ski: ParallelListComp is an extension I've never seen in use anywhere. |
| 2020-10-20 12:58:11 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-10-20 12:58:43 | <Taneb> | > (,,,,) <$> ZipList "hello" <*> ZipList [1..5] <*> ZipList "world" <*> ZipList [6..10] |
| 2020-10-20 12:58:45 | <lambdabot> | error: |
| 2020-10-20 12:58:45 | <lambdabot> | • No instance for (Typeable e0) |
| 2020-10-20 12:58:45 | <lambdabot> | arising from a use of ‘show_M2158027891849958446363’ |
All times are in UTC.