Logs on 2022-11-12 (liberachat/#haskell)
| 00:01:55 | × | machinedgod quits (~machinedg@clnet-b05-118.ikbnet.co.at) (Read error: Connection reset by peer) |
| 00:01:55 | → | machined1od joins (~machinedg@clnet-b05-118.ikbnet.co.at) |
| 00:09:14 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 00:12:02 | → | chromoblob joins (~user@37.113.164.122) |
| 00:15:32 | → | werneta_ joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 00:16:09 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 00:16:11 | × | acidjnk quits (~acidjnk@p200300d6e7137a61a1c25cbd352f97cb.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 00:17:12 | → | mestre joins (~mestre@191.177.185.178) |
| 00:17:23 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds) |
| 00:17:33 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 00:20:28 | × | werneta_ quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 00:20:50 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 00:22:58 | × | euandreh quits (~Thunderbi@179.214.113.107) (Quit: euandreh) |
| 00:23:30 | → | euandreh joins (~Thunderbi@179.214.113.107) |
| 00:25:16 | → | bilegeek_ joins (~bilegeek@25.sub-174-208-231.myvzw.com) |
| 00:26:38 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 00:27:04 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 00:27:45 | × | bilegeek quits (~bilegeek@2600:1008:b022:192c:fa51:6abb:9a1d:6b9e) (Ping timeout: 260 seconds) |
| 00:30:31 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer) |
| 00:31:18 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 00:33:55 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 00:35:22 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 00:38:38 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 00:40:49 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 00:57:20 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 00:59:20 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::4b68) (Ping timeout: 255 seconds) |
| 01:03:35 | × | catern quits (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (Remote host closed the connection) |
| 01:07:43 | × | TonyStone quits (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 252 seconds) |
| 01:09:48 | × | Kaiepi quits (~Kaiepi@108.175.84.104) (Ping timeout: 268 seconds) |
| 01:15:35 | × | chromoblob quits (~user@37.113.164.122) (Ping timeout: 260 seconds) |
| 01:16:10 | → | dsrt^ joins (~dsrt@76.145.185.103) |
| 01:20:29 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 255 seconds) |
| 01:20:38 | → | TonyStone joins (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 01:21:24 | × | Guest6024 quits (sid532813@id-532813.tinside.irccloud.com) (Changing host) |
| 01:21:24 | → | Guest6024 joins (sid532813@user/polo) |
| 01:21:26 | Guest6024 | is now known as money |
| 01:22:34 | → | cuz joins (~user@2601:646:c000:4900:502f:7fd5:d66c:4562) |
| 01:23:21 | <cuz> | Hello! Does anyone know how haskell can tell if a pattern isn't exaustive? |
| 01:23:59 | × | machined1od quits (~machinedg@clnet-b05-118.ikbnet.co.at) (Ping timeout: 268 seconds) |
| 01:24:28 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 01:24:53 | <geekosaur> | the compile time checker is quite complex; you'd need a GHC dev who's worked on it |
| 01:25:48 | <geekosaur> | at runtime it's pretty simple, in core all case expressions have DEFAULT clauses and if you don't have your own match-anything pattern then the case falls into that and throws |
| 01:26:09 | <geekosaur> | (or fails, for patterns in do expressions) |
| 01:37:35 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 01:38:03 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 01:39:28 | <lyxia> | cuz: https://stackoverflow.com/questions/7883023/algorithm-for-type-checking-ml-like-pattern-matching |
| 01:47:03 | × | mestre quits (~mestre@191.177.185.178) (Quit: Lost terminal) |
| 01:50:35 | <cuz> | Thanks lyxia |
| 01:50:39 | <cuz> | reading it now |
| 01:51:52 | × | dfee quits (~dfee@162-227-164-101.lightspeed.sntcca.sbcglobal.net) (Quit: dfee) |
| 02:09:40 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 02:09:40 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 02:09:40 | → | wroathe joins (~wroathe@user/wroathe) |
| 02:20:00 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 02:22:19 | × | TonyStone quits (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 260 seconds) |
| 02:28:44 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 02:32:49 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 02:35:15 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 02:35:27 | → | TonyStone joins (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 02:39:42 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:39:42 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:39:42 | finn_elija | is now known as FinnElija |
| 02:39:48 | <schuelermine[m]> | does anybody know if there’s a way to call the eclipse java formatting engine (which is also apparently used by the red hat vscode java extension) from the command line? |
| 02:44:23 | × | poscat0x04 quits (~poscat@2408:8206:4823:fd6f:98ab:5c38:136c:5932) (Quit: Bye) |
| 02:46:38 | → | poscat joins (~poscat@114.245.106.84) |
| 02:56:32 | → | razetime joins (~quassel@117.193.2.37) |
| 03:08:02 | → | nate4 joins (~nate@98.45.169.16) |
| 03:08:30 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 03:09:24 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::4b68) |
| 03:09:34 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 03:09:55 | × | cuz quits (~user@2601:646:c000:4900:502f:7fd5:d66c:4562) (Ping timeout: 260 seconds) |
| 03:10:12 | → | cuz joins (~user@2601:646:c000:4900:754d:f1:b03d:74d1) |
| 03:12:02 | → | chromoblob joins (~user@37.113.164.122) |
| 03:14:45 | × | euandreh quits (~Thunderbi@179.214.113.107) (Remote host closed the connection) |
| 03:15:10 | × | cuz quits (~user@2601:646:c000:4900:754d:f1:b03d:74d1) (Ping timeout: 260 seconds) |
| 03:15:24 | × | td_ quits (~td@83.135.9.13) (Ping timeout: 260 seconds) |
| 03:16:43 | → | td_ joins (~td@83.135.9.7) |
| 03:19:49 | → | euandreh joins (~Thunderbi@179.214.113.107) |
| 03:22:24 | × | libertyprime quits (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 260 seconds) |
| 03:23:34 | × | euandreh quits (~Thunderbi@179.214.113.107) (Remote host closed the connection) |
| 03:33:17 | × | [Leary] quits (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 03:35:10 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 03:35:20 | × | chromoblob quits (~user@37.113.164.122) (Ping timeout: 268 seconds) |
| 03:36:40 | → | [Leary] joins (~Leary]@user/Leary/x-0910699) |
| 03:36:59 | × | razetime quits (~quassel@117.193.2.37) (Ping timeout: 260 seconds) |
| 03:38:20 | → | libertyprime joins (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 03:39:48 | → | cuz joins (~user@2601:646:c000:4900:754d:f1:b03d:74d1) |
| 03:41:59 | → | chromoblob joins (~user@37.113.164.122) |
| 03:50:37 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:50:37 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:50:37 | finn_elija | is now known as FinnElija |
| 03:51:01 | → | euandreh joins (~Thunderbi@179.214.113.107) |
| 03:52:52 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:56:10 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 03:56:11 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 03:56:11 | → | wroathe joins (~wroathe@user/wroathe) |
| 03:56:30 | × | TonyStone quits (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 240 seconds) |
| 04:01:08 | × | xff0x quits (~xff0x@2405:6580:b080:900:d135:3c26:3e1:534d) (Ping timeout: 255 seconds) |
| 04:01:51 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 04:01:53 | → | razetime joins (~quassel@117.193.2.37) |
| 04:06:55 | → | xff0x joins (~xff0x@2405:6580:b080:900:d135:3c26:3e1:534d) |
| 04:07:34 | × | cuz quits (~user@2601:646:c000:4900:754d:f1:b03d:74d1) (Ping timeout: 252 seconds) |
| 04:09:15 | → | TonyStone joins (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 04:16:02 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds) |
| 04:26:54 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 04:27:27 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 04:27:40 | → | DDR joins (~DDR@2604:3d08:4c7f:8250:8f3f:7475:f1e8:32b7) |
| 04:29:39 | → | nate4 joins (~nate@98.45.169.16) |
| 04:29:46 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 04:32:30 | → | bloomndoom joins (~user@104.28.193.173) |
| 04:33:07 | <bloomndoom> | how do i get hls to autocomplete functions from libraries? |
| 04:34:42 | <bloomndoom> | Axman6: yeah i think it might be network issue then |
| 04:35:16 | <bloomndoom> | ive installed JuicyPixels and i get this error when trying to import it |
| 04:35:28 | <bloomndoom> | "Could not load module ‘Codec.Picture’ |
| 04:35:28 | <bloomndoom> | It is a member of the hidden package ‘JuicyPixels-3.3.8’. |
| 04:35:28 | <bloomndoom> | You can run ‘:set -package JuicyPixels’ to expose it." |
| 04:38:56 | → | bloomndo` joins (~user@104.28.193.169) |
| 04:40:30 | × | bloomndoom quits (~user@104.28.193.173) (Ping timeout: 240 seconds) |
| 04:43:10 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 04:44:10 | × | bloomndo` quits (~user@104.28.193.169) (Ping timeout: 240 seconds) |
| 04:44:59 | → | bloomndo` joins (~user@104.28.193.170) |
| 04:45:29 | × | euandreh quits (~Thunderbi@179.214.113.107) (Remote host closed the connection) |
| 04:50:34 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 04:50:38 | <phileasfogg> | https://paste.tomsmeding.com/Q0DTpAA9#file-1 |
| 04:51:05 | → | euandreh joins (~Thunderbi@179.214.113.107) |
| 04:51:36 | <phileasfogg> | Novice here, I'm trying to use Fudgets to display the stdin in real time. |
| 04:53:36 | <phileasfogg> | I tried several methods to acheive that, but looks like this is the eol |
| 04:54:14 | → | bloomndoom joins (~user@104.28.193.170) |
| 04:55:10 | × | bloomndo` quits (~user@104.28.193.170) (Ping timeout: 240 seconds) |
| 04:56:56 | <phileasfogg> | https://paste.tomsmeding.com/jEd9Mw1y |
| 04:59:29 | <dsal> | bloomndoom: are you using stack or cabal? |
| 04:59:46 | <dsal> | "installed JuicyPixels" sounds like a mistake was made somewhere. |
| 05:00:06 | × | InstX1_ quits (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Read error: Connection reset by peer) |
| 05:01:21 | × | euandreh quits (~Thunderbi@179.214.113.107) (Remote host closed the connection) |
| 05:01:30 | × | bloomndoom quits (~user@104.28.193.170) (Ping timeout: 240 seconds) |
| 05:02:19 | → | phma_ joins (phma@2001:5b0:210f:1678:6fe2:e8ab:3dd5:da93) |
| 05:05:22 | → | merijn joins (~merijn@86.86.29.250) |
| 05:05:23 | × | phma quits (~phma@2001:5b0:210f:1678:6fe2:e8ab:3dd5:da93) (Ping timeout: 252 seconds) |
| 05:05:23 | × | nunggu quits (~q@user/nunggu) (Quit: nunggu) |
| 05:09:07 | × | Guest84 quits (~Guest84@23.19.117.56) (Quit: Client closed) |
| 05:14:19 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 05:14:46 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 05:26:06 | → | cuz joins (~user@2601:646:c000:4900:754d:f1:b03d:74d1) |
| 05:28:13 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 05:28:59 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 05:29:29 | Lord_of_Life_ | is now known as Lord_of_Life |
| 05:30:02 | × | nibelungen quits (~asturias@2001:19f0:7001:638:5400:3ff:fef3:8725) (Read error: Software caused connection abort) |
| 05:30:13 | → | nibelungen joins (~asturias@2001:19f0:7001:638:5400:3ff:fef3:8725) |
| 05:31:47 | × | haasn quits (~nand@haasn.dev) (Read error: Software caused connection abort) |
| 05:33:28 | × | mekeor[m] quits (~mekeormat@2001:470:69fc:105::17e4) (Read error: Software caused connection abort) |
| 05:33:48 | → | mekeor[m] joins (~mekeormat@2001:470:69fc:105::17e4) |
| 05:33:58 | × | vglfr quits (~vglfr@145.224.100.100) (Read error: Connection reset by peer) |
| 05:34:11 | → | vglfr joins (~vglfr@145.224.100.100) |
| 05:35:00 | → | haasn joins (~nand@haasn.dev) |
| 05:36:20 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::4b68) (Ping timeout: 260 seconds) |
| 05:36:50 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 240 seconds) |
| 05:37:26 | × | TonyStone quits (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 268 seconds) |
| 05:37:29 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 246 seconds) |
| 05:38:06 | × | disco-dave[m] quits (~disco-dav@2001:470:69fc:105::2:1892) (Read error: Software caused connection abort) |
| 05:39:25 | × | sektor[m] quits (~sektor@2001:470:69fc:105::2:3f60) (Read error: Software caused connection abort) |
| 05:39:30 | × | merijn quits (~merijn@86.86.29.250) (Ping timeout: 240 seconds) |
| 05:39:42 | → | sektor[m] joins (~sektor@2001:470:69fc:105::2:3f60) |
| 05:41:23 | <phileasfogg> | `counterF = displayF >=^^< linesSP >^^=< stdinF` |
| 05:42:24 | <phileasfogg> | why this is not making sense? Since the linesSP can be a postprocessor of the stdinF, I thought piping them is not a bad idea. |
| 05:50:39 | → | TonyStone joins (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 05:54:04 | → | mikoto-chan joins (~mikoto-ch@85-76-104-247-nat.elisa-mobile.fi) |
| 05:54:34 | → | disco-dave[m] joins (~disco-dav@2001:470:69fc:105::2:1892) |
| 05:57:13 | × | megaTherion quits (~therion@unix.io) (*.net *.split) |
| 05:57:13 | × | cyphase quits (~cyphase@user/cyphase) (*.net *.split) |
| 05:57:13 | × | ncf quits (~n@monade.li) (*.net *.split) |
| 05:57:13 | × | drdo quits (~drdo@overlord.drdo.eu) (*.net *.split) |
| 05:57:13 | × | kawen_ quits (~quassel@static.208.191.216.95.clients.your-server.de) (*.net *.split) |
| 05:57:13 | × | xstill_ quits (xstill@fimu/xstill) (*.net *.split) |
| 05:57:13 | × | tired quits (~tired@user/tired) (*.net *.split) |
| 05:57:13 | × | vladan[m] quits (~vladanmat@2001:470:69fc:105::2:24df) (*.net *.split) |
| 05:57:13 | × | _\_ quits (~o@user/offon) (*.net *.split) |
| 05:57:13 | × | superbil quits (~superbil@1-34-176-171.hinet-ip.hinet.net) (*.net *.split) |
| 05:57:13 | × | Las[m] quits (~lasmatrix@2001:470:69fc:105::74e) (*.net *.split) |
| 05:57:13 | × | mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (*.net *.split) |
| 05:57:13 | × | Unhammer quits (~Unhammer@user/unhammer) (*.net *.split) |
| 05:57:13 | × | vjoki quits (~vjoki@2a00:d880:3:1::fea1:9ae) (*.net *.split) |
| 05:57:13 | × | siers quits (~ij@user/ij) (*.net *.split) |
| 05:57:13 | × | ddb quits (~ddb@tilde.club) (*.net *.split) |
| 05:57:13 | × | jneira[m] quits (~jneiramat@2001:470:69fc:105::d729) (*.net *.split) |
| 05:57:13 | × | Guillaum[m] quits (~guiboumat@2001:470:69fc:105::1:72ac) (*.net *.split) |
| 05:57:13 | × | maerwald[m] quits (~maerwaldm@2001:470:69fc:105::1ee) (*.net *.split) |
| 05:57:13 | × | SeanKing[m] quits (~seankingm@2001:470:69fc:105::cf9c) (*.net *.split) |
| 05:57:13 | × | nomagno quits (~nomagno@2001:470:69fc:105::c1f0) (*.net *.split) |
| 05:57:13 | × | neightchan quits (~nate@98.45.169.16) (*.net *.split) |
| 05:57:13 | × | AWizzArd quits (~code@gehrels.uberspace.de) (*.net *.split) |
| 05:57:13 | × | mjacob quits (~mjacob@adrastea.uberspace.de) (*.net *.split) |
| 05:57:13 | × | lyxia quits (~lyxia@poisson.chat) (*.net *.split) |
| 05:57:19 | → | AWizzArd joins (~code@gehrels.uberspace.de) |
| 05:57:21 | → | kawen joins (~quassel@static.208.191.216.95.clients.your-server.de) |
| 05:57:22 | → | mrmonday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 05:57:23 | → | megaTherion joins (~therion@unix.io) |
| 05:57:23 | → | drdo joins (~drdo@overlord.drdo.eu) |
| 05:57:27 | → | _\_ joins (~o@user/offon) |
| 05:57:29 | → | lyxia joins (~lyxia@poisson.chat) |
| 05:57:35 | → | cyphase joins (~cyphase@user/cyphase) |
| 05:57:35 | → | ncf joins (~n@monade.li) |
| 05:57:37 | × | money quits (sid532813@user/polo) (Read error: Software caused connection abort) |
| 05:57:38 | → | tired joins (~tired@user/tired) |
| 05:57:42 | → | siers joins (~ij@user/ij) |
| 05:57:45 | → | Unhammer joins (~Unhammer@user/unhammer) |
| 05:57:47 | → | superbil joins (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 05:57:47 | → | ddb joins (~ddb@tilde.club) |
| 05:58:09 | → | xstill_ joins (xstill@fimu/xstill) |
| 05:58:10 | → | money joins (sid532813@id-532813.tinside.irccloud.com) |
| 05:58:14 | → | vladan[m] joins (~vladanmat@2001:470:69fc:105::2:24df) |
| 05:58:17 | → | neightchan joins (~nate@98.45.169.16) |
| 05:58:23 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 05:58:27 | → | vjoki joins (~vjoki@2a00:d880:3:1::fea1:9ae) |
| 05:59:38 | × | mikoto-chan quits (~mikoto-ch@85-76-104-247-nat.elisa-mobile.fi) (Ping timeout: 268 seconds) |
| 05:59:44 | × | x88x88x quits (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) (Read error: Software caused connection abort) |
| 06:00:05 | → | Las[m] joins (~lasmatrix@2001:470:69fc:105::74e) |
| 06:00:20 | → | nomagno joins (~nomagno@2001:470:69fc:105::c1f0) |
| 06:00:31 | → | SeanKing[m] joins (~seankingm@2001:470:69fc:105::cf9c) |
| 06:01:02 | → | maerwald[m] joins (~maerwaldm@2001:470:69fc:105::1ee) |
| 06:01:20 | → | Guillaum[m] joins (~guiboumat@2001:470:69fc:105::1:72ac) |
| 06:01:35 | → | jneira[m] joins (~jneiramat@2001:470:69fc:105::d729) |
| 06:02:20 | → | mjacob joins (~mjacob@adrastea.uberspace.de) |
| 06:04:49 | → | x88x88x joins (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) |
| 06:05:13 | × | superbil quits (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 268 seconds) |
| 06:06:52 | → | superbil joins (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 06:10:56 | × | sajith quits (~sajith@user/sajith) (Read error: Software caused connection abort) |
| 06:11:14 | → | sajith joins (~sajith@user/sajith) |
| 06:12:26 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 06:12:31 | × | money quits (sid532813@id-532813.tinside.irccloud.com) (Changing host) |
| 06:12:31 | → | money joins (sid532813@user/polo) |
| 06:15:40 | × | chromoblob quits (~user@37.113.164.122) (Ping timeout: 268 seconds) |
| 06:17:45 | × | cuz quits (~user@2601:646:c000:4900:754d:f1:b03d:74d1) (Ping timeout: 260 seconds) |
| 06:19:39 | → | chromoblob joins (~user@37.113.164.122) |
| 06:20:38 | × | superbil quits (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 268 seconds) |
| 06:21:36 | × | money quits (sid532813@user/polo) (*.net *.split) |
| 06:21:36 | × | Vajb quits (~Vajb@2001:999:504:3ad6:52a4:a3b5:32d8:e74d) (*.net *.split) |
| 06:21:36 | × | Patternmaster quits (~georg@user/Patternmaster) (*.net *.split) |
| 06:21:36 | × | teddyc quits (theodorc@cassarossa.samfundet.no) (*.net *.split) |
| 06:21:36 | × | hololeap quits (~quassel@user/hololeap) (*.net *.split) |
| 06:21:36 | × | Ram-Z quits (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (*.net *.split) |
| 06:21:36 | × | heartburn quits (~gass@2a00:d880:3:1::b1e4:b241) (*.net *.split) |
| 06:21:36 | × | nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split) |
| 06:21:36 | × | Franciman quits (~Franciman@mx1.fracta.dev) (*.net *.split) |
| 06:21:36 | × | ajb quits (~ajb@mimas.whatbox.ca) (*.net *.split) |
| 06:21:36 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (*.net *.split) |
| 06:21:36 | × | hexology quits (~hexology@user/hexology) (*.net *.split) |
| 06:21:36 | × | kawzeg quits (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split) |
| 06:21:36 | × | edwtjo quits (~edwtjo@fsf/member/edwtjo) (*.net *.split) |
| 06:21:36 | × | oak- quits (~oak-@2001:470:69fc:105::fcd) (*.net *.split) |
| 06:21:36 | × | drsooch[m] quits (~drsoochma@2001:470:69fc:105::1:c8a1) (*.net *.split) |
| 06:21:36 | × | chreekat quits (~chreekat@2001:470:69fc:105::16b5) (*.net *.split) |
| 06:21:36 | × | jinsun_ quits (~jinsun@user/jinsun) (*.net *.split) |
| 06:21:36 | × | jocke-l quits (jocke-l@a.x0.is) (*.net *.split) |
| 06:21:36 | × | robertm quits (robertm@lattice.rojoma.com) (*.net *.split) |
| 06:21:46 | → | ajb joins (~ajb@mimas.whatbox.ca) |
| 06:21:50 | → | Patternmaster joins (~georg@li1192-118.members.linode.com) |
| 06:21:52 | → | Franciman joins (~Franciman@mx1.fracta.dev) |
| 06:21:53 | × | Patternmaster quits (~georg@li1192-118.members.linode.com) (Changing host) |
| 06:21:53 | → | Patternmaster joins (~georg@user/Patternmaster) |
| 06:21:53 | → | edwtjo joins (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) |
| 06:21:55 | → | teddyc joins (theodorc@cassarossa.samfundet.no) |
| 06:22:00 | × | edwtjo quits (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) (Changing host) |
| 06:22:00 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 06:22:01 | → | kawzeg joins (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) |
| 06:22:02 | → | nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 06:22:02 | → | hololeap joins (~quassel@user/hololeap) |
| 06:22:03 | → | robertm joins (robertm@lattice.rojoma.com) |
| 06:22:03 | → | Vajb joins (~Vajb@2001:999:504:3ad6:52a4:a3b5:32d8:e74d) |
| 06:22:04 | → | Ram-Z joins (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) |
| 06:22:07 | → | hexology joins (~hexology@user/hexology) |
| 06:22:07 | → | heartburn joins (~gass@2a00:d880:3:1::b1e4:b241) |
| 06:22:10 | → | jocke-l joins (jocke-l@a.x0.is) |
| 06:22:12 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 06:22:13 | → | superbil joins (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 06:22:16 | → | chreekat joins (~chreekat@2001:470:69fc:105::16b5) |
| 06:22:35 | → | jinsun_ joins (~jinsun@user/jinsun) |
| 06:24:44 | → | drsooch[m] joins (~drsoochma@2001:470:69fc:105::1:c8a1) |
| 06:25:33 | → | money joins (sid532813@tinside.irccloud.com) |
| 06:25:49 | money | is now known as Guest6482 |
| 06:28:33 | → | oak- joins (~oak-@2001:470:69fc:105::fcd) |
| 06:33:26 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 06:34:47 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds) |
| 06:34:58 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 06:41:59 | × | raoul quits (~raoul@95.179.203.88) (Quit: Ping timeout (120 seconds)) |
| 06:43:25 | → | raoul joins (~raoul@95.179.203.88) |
| 06:49:22 | → | UdayKiran[m] joins (~neoatnebu@2001:470:69fc:105::2:bae0) |
| 06:50:00 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:53:06 | → | Kaiepi joins (~Kaiepi@108.175.84.104) |
| 06:53:57 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 06:56:07 | → | causal joins (~user@50.35.83.177) |
| 06:56:59 | × | glguy quits (~glguy@libera/staff-emeritus/glguy) (Quit: Quit) |
| 06:58:38 | → | glguy joins (~glguy@libera/staff-emeritus/glguy) |
| 06:59:27 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds) |
| 06:59:29 | → | Kaipei joins (~Kaiepi@108.175.84.104) |
| 07:02:50 | × | Kaiepi quits (~Kaiepi@108.175.84.104) (Ping timeout: 240 seconds) |
| 07:05:21 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 07:09:30 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 240 seconds) |
| 07:12:28 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 07:12:54 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 07:14:08 | → | zaquest joins (~notzaques@5.130.79.72) |
| 07:14:29 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 07:24:29 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 07:25:40 | → | zeenk joins (~zeenk@2a02:2f04:a213:900:ec6b:90ab:f67c:4c1a) |
| 07:27:09 | → | Guest|27 joins (~Guest|27@79.184.224.28.ipv4.supernova.orange.pl) |
| 07:27:29 | × | Guest|27 quits (~Guest|27@79.184.224.28.ipv4.supernova.orange.pl) (Client Quit) |
| 07:31:50 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 07:33:10 | × | chromoblob quits (~user@37.113.164.122) (Ping timeout: 240 seconds) |
| 07:33:23 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 07:35:45 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 07:39:03 | → | chomwitt joins (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) |
| 07:43:44 | × | goober quits (~goober@90-231-13-185-no3430.tbcn.telia.com) (Ping timeout: 260 seconds) |
| 07:49:48 | → | goober joins (~goober@90-231-13-185-no3430.tbcn.telia.com) |
| 07:54:20 | × | razetime quits (~quassel@117.193.2.37) (Ping timeout: 268 seconds) |
| 07:56:00 | × | mcglk quits (~mcglk@131.191.49.120) (Read error: Connection reset by peer) |
| 07:58:23 | → | mcglk joins (~mcglk@131.191.49.120) |
| 08:00:50 | × | vglfr quits (~vglfr@145.224.100.100) (Read error: Connection reset by peer) |
| 08:01:00 | → | vglfr joins (~vglfr@145.224.100.100) |
| 08:10:11 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 08:12:47 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:13:46 | → | cuz joins (~user@2601:646:c000:4900:754d:f1:b03d:74d1) |
| 08:16:30 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 240 seconds) |
| 08:16:45 | × | DDR quits (~DDR@2604:3d08:4c7f:8250:8f3f:7475:f1e8:32b7) (Ping timeout: 260 seconds) |
| 08:18:15 | × | cuz quits (~user@2601:646:c000:4900:754d:f1:b03d:74d1) (Ping timeout: 260 seconds) |
| 08:19:28 | → | ensyde joins (~psy@104-62-224-96.lightspeed.chrlnc.sbcglobal.net) |
| 08:21:45 | → | elkcl_ joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 08:22:42 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 08:23:10 | × | elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 260 seconds) |
| 08:23:10 | elkcl_ | is now known as elkcl |
| 08:25:51 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:26:14 | <Athas> | tomsmeding: there will be a Haskell devroom at FOSDEM. You (in the plural sense) should submit something about Accelerate! |
| 08:26:30 | → | razetime joins (~quassel@117.193.2.37) |
| 08:30:19 | × | adamCS quits (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (Read error: Software caused connection abort) |
| 08:30:49 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 08:31:36 | → | adamCS joins (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 08:37:23 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 08:41:42 | tomsmeding | has never been to FOSDEM before |
| 08:41:58 | <tomsmeding> | Athas: how should I see those devrooms, are they like a workshop at a conference like ICFP? |
| 08:44:16 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 08:45:08 | → | acidjnk joins (~acidjnk@p200300d6e7137a61a1c25cbd352f97cb.dip0.t-ipconnect.de) |
| 08:45:08 | → | Tuplanolla joins (~Tuplanoll@91-159-68-194.elisa-laajakaista.fi) |
| 08:48:19 | × | hendi quits (sid489601@lymington.irccloud.com) (Ping timeout: 252 seconds) |
| 08:48:43 | <Athas> | tomsmeding: yes, in the sense that they are smaller than the main track(s) and have more focused topics. |
| 08:49:00 | <Athas> | But FOSDEM devrooms are not academic venues, so you don't have to write a paper or present novel work. |
| 08:49:01 | <tomsmeding> | also in the sense of the program being mostly talks? Or not at all? |
| 08:49:12 | <Athas> | It's talks. |
| 08:50:44 | <tomsmeding> | I saw that some of the other devrooms have a CfP of some sorts; will there also be one for the Haskell one? |
| 08:50:58 | <Athas> | Yes, we're drafting it right now. I think it will be out today or tomorrow. |
| 08:52:29 | <tomsmeding> | it is interesting to look at the various CfP pages and try to match hosting site/method with the relevant community |
| 08:52:35 | → | hendi joins (sid489601@id-489601.lymington.irccloud.com) |
| 08:52:51 | <tomsmeding> | but cool, I'll pass it on to the others here if you have something :) |
| 08:56:39 | × | libertyprime quits (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 260 seconds) |
| 08:57:03 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 08:57:47 | × | ggVGc quits (~ggVGc@2400:8901::f03c:91ff:fef2:bed8) (Read error: Software caused connection abort) |
| 08:58:10 | → | ggVGc joins (~ggVGc@a.lowtech.earth) |
| 08:59:46 | → | chromoblob joins (~user@37.113.164.122) |
| 09:00:13 | → | zer0bitz_ joins (~zer0bitz@196.244.192.57) |
| 09:02:39 | → | machinedgod joins (~machinedg@clnet-b05-118.ikbnet.co.at) |
| 09:02:47 | × | zer0bitz quits (~zer0bitz@196.244.192.62) (Ping timeout: 268 seconds) |
| 09:06:15 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 09:07:01 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 09:07:10 | × | zer0bitz_ quits (~zer0bitz@196.244.192.57) (Ping timeout: 240 seconds) |
| 09:21:09 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 09:21:10 | × | parseval quits (sid239098@id-239098.helmsley.irccloud.com) (Read error: Software caused connection abort) |
| 09:22:35 | → | califax joins (~califax@user/califx) |
| 09:23:20 | × | Xeroine quits (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 09:24:09 | → | Xeroine joins (~Xeroine@user/xeroine) |
| 09:24:19 | → | parseval joins (sid239098@id-239098.helmsley.irccloud.com) |
| 09:25:01 | → | ub joins (~Thunderbi@178.165.179.202.wireless.dyn.drei.com) |
| 09:25:34 | × | AlexNoo quits (~AlexNoo@178.34.160.122) (Quit: Leaving) |
| 09:25:49 | × | ubert quits (~Thunderbi@178.115.32.107.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 09:25:49 | ub | is now known as ubert |
| 09:25:58 | × | Alex_test quits (~al_test@178.34.160.122) (Quit: ;-) |
| 09:26:22 | × | AlexZenon quits (~alzenon@178.34.160.122) (Quit: ;-) |
| 09:27:40 | × | fserucas|eod quits (~fserucas|@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Ping timeout: 252 seconds) |
| 09:28:57 | × | chromoblob quits (~user@37.113.164.122) (Ping timeout: 256 seconds) |
| 09:34:30 | × | zeenk quits (~zeenk@2a02:2f04:a213:900:ec6b:90ab:f67c:4c1a) (Ping timeout: 240 seconds) |
| 09:34:31 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:37:14 | → | zeenk joins (~zeenk@2a02:2f04:a004:a200:6474:681f:7119:ae7e) |
| 09:39:37 | → | zer0bitz joins (~zer0bitz@196.244.192.56) |
| 09:42:15 | × | zeenk quits (~zeenk@2a02:2f04:a004:a200:6474:681f:7119:ae7e) (Ping timeout: 260 seconds) |
| 09:42:35 | → | gmg joins (~user@user/gehmehgeh) |
| 09:44:21 | → | zeenk joins (~zeenk@2a02:2f04:a103:fb00:daf5:5dce:6e13:159a) |
| 09:44:39 | → | AlexNoo joins (~AlexNoo@178.34.160.122) |
| 09:45:36 | × | cstml quits (~cstml@user/cstml) (Quit: WeeChat 3.5) |
| 09:46:36 | → | AlexZenon joins (~alzenon@178.34.160.122) |
| 09:46:53 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 09:47:20 | → | califax joins (~califax@user/califx) |
| 09:48:09 | → | Alex_test joins (~al_test@178.34.160.122) |
| 09:52:03 | × | chomwitt quits (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
| 09:53:11 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 09:59:49 | → | zeenk2 joins (~zeenk@86.121.65.10) |
| 10:00:55 | × | zeenk quits (~zeenk@2a02:2f04:a103:fb00:daf5:5dce:6e13:159a) (Ping timeout: 260 seconds) |
| 10:01:15 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 10:07:29 | × | zeenk2 quits (~zeenk@86.121.65.10) (Ping timeout: 256 seconds) |
| 10:11:45 | × | goober quits (~goober@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
| 10:12:05 | → | chromoblob joins (~user@37.113.164.122) |
| 10:12:50 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 260 seconds) |
| 10:14:24 | × | bilegeek_ quits (~bilegeek@25.sub-174-208-231.myvzw.com) (Quit: Leaving) |
| 10:15:25 | → | goober joins (~goober@90-231-13-185-no3430.tbcn.telia.com) |
| 10:17:35 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 10:17:40 | → | zeenk2 joins (~zeenk@2a02:2f04:a304:a600:825b:9ce6:88db:a7f6) |
| 10:18:39 | <Profpatsch> | Anybody want to pair with me on a GHC optimization bug probably caused by https://gitlab.haskell.org/ghc/ghc/-/commit/46720997a0b1fa2971a884adf43de096ce130a7e in runST? |
| 10:18:55 | <Profpatsch> | somebody help me budget this, my production is dying |
| 10:19:20 | <Profpatsch> | Upstream bug: https://github.com/agrafix/superrecord/issues/38 |
| 10:20:25 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 10:25:11 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 10:26:58 | × | goober quits (~goober@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
| 10:28:02 | → | goober joins (~goober@90-231-13-185-no3430.tbcn.telia.com) |
| 10:31:26 | <[exa]> | Profpatsch: that seems dark |
| 10:31:43 | <Profpatsch> | It’s a floating bug I think |
| 10:31:50 | <Profpatsch> | Stuff floats out too far |
| 10:31:54 | <Profpatsch> | you get the same value |
| 10:31:54 | → | euandreh joins (~Thunderbi@179.214.113.107) |
| 10:32:13 | <Profpatsch> | It was already fixed for unsafePerformIO, but apparently not for runST |
| 10:32:47 | <[exa]> | I detect unsafePerformIO in the package |
| 10:33:26 | × | chromoblob quits (~user@37.113.164.122) (Ping timeout: 268 seconds) |
| 10:33:40 | <Profpatsch> | [exa]: only in the javascript ifdefs |
| 10:33:49 | <Profpatsch> | the GHC branches use runST everywhere |
| 10:34:06 | <Profpatsch> | which is fun, cause you’d expect runST to be “safer” than unsafePerformIO |
| 10:34:22 | <Profpatsch> | if you don’t screw up passing states around |
| 10:35:52 | <Profpatsch> | Ah but there is unsafeCoerce# involved |
| 10:36:28 | <tomsmeding> | Profpatsch: can you reproduce after that commit and not before? |
| 10:36:53 | <Profpatsch> | tomsmeding: I don’t have a GHC build pipeline set up, sorry |
| 10:37:00 | <Profpatsch> | I just want to reproduce first |
| 10:37:04 | <tomsmeding> | right |
| 10:37:19 | × | machinedgod quits (~machinedg@clnet-b05-118.ikbnet.co.at) (Ping timeout: 260 seconds) |
| 10:37:27 | <Profpatsch> | I think adjusting the example in https://gitlab.haskell.org/ghc/ghc/-/issues/19413 to use runST might do the trick |
| 10:38:00 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 10:40:17 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 10:51:47 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 10:52:10 | → | random-jellyfish joins (~random-je@user/random-jellyfish) |
| 10:52:54 | → | malte joins (~malte@mal.tc) |
| 10:53:49 | <Profpatsch> | Can I stop GHC after simplification, before writing any object file? |
| 10:58:12 | × | random-jellyfish quits (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 11:01:15 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 11:01:30 | → | chomwitt joins (~chomwitt@athedsl-351939.home.otenet.gr) |
| 11:05:09 | <[exa]> | Profpatsch: you can probably -ddump-simpl or so |
| 11:06:08 | <[exa]> | (anyway there's still a few intermediate stages between simplification and .o) |
| 11:06:56 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 11:08:00 | → | malte joins (~malte@mal.tc) |
| 11:10:10 | → | chromoblob joins (~user@37.113.164.122) |
| 11:17:20 | × | jlgw quits (~jw@83-233-104-81.cust.bredband2.com) (Remote host closed the connection) |
| 11:18:48 | → | __monty__ joins (~toonn@user/toonn) |
| 11:19:46 | <tomsmeding> | -ddump-cmm gets you pretty far through the pipeline |
| 11:20:33 | <tomsmeding> | or even -ddump-asm though that's probably too far for you |
| 11:27:44 | × | vglfr quits (~vglfr@145.224.100.100) (Read error: Connection reset by peer) |
| 11:28:01 | → | vglfr joins (~vglfr@145.224.100.100) |
| 11:30:51 | × | goober quits (~goober@90-231-13-185-no3430.tbcn.telia.com) (Read error: Connection reset by peer) |
| 11:36:38 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 255 seconds) |
| 11:37:25 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 11:39:29 | → | CiaoSen joins (~Jura@p200300c9571247002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 11:41:42 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 11:46:12 | × | euandreh quits (~Thunderbi@179.214.113.107) (Ping timeout: 268 seconds) |
| 11:49:37 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 11:50:38 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 11:53:39 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 11:54:09 | → | zeenk joins (~zeenk@2a02:2f04:a00d:5e00::7fe) |
| 11:56:50 | × | zeenk2 quits (~zeenk@2a02:2f04:a304:a600:825b:9ce6:88db:a7f6) (Ping timeout: 240 seconds) |
| 12:05:25 | × | pyrex quits (~quassel@user/pyrex) (Ping timeout: 260 seconds) |
| 12:05:47 | → | pyrex joins (~pyrex@user/pyrex) |
| 12:06:59 | → | zeenk2 joins (~zeenk@2a02:2f04:a009:2a00:cd71:a957:cf7b:e82a) |
| 12:09:30 | × | zeenk quits (~zeenk@2a02:2f04:a00d:5e00::7fe) (Ping timeout: 240 seconds) |
| 12:14:39 | → | cuz joins (~user@c-24-23-135-201.hsd1.ca.comcast.net) |
| 12:19:31 | × | cuz quits (~user@c-24-23-135-201.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 12:23:29 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 12:23:30 | × | CiaoSen quits (~Jura@p200300c9571247002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 12:28:01 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 12:30:49 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 12:32:23 | → | shownomercy joins (~TurkChat@91.93.227.24) |
| 12:33:39 | × | Techcable quits (~Techcable@user/Techcable) (Ping timeout: 260 seconds) |
| 12:40:57 | × | shownomercy quits (~TurkChat@91.93.227.24) () |
| 12:42:20 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 12:44:07 | → | Guest75 joins (~Guest75@178.141.177.81) |
| 12:44:34 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 12:46:53 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 12:47:29 | → | califax joins (~califax@user/califx) |
| 12:51:43 | × | chromoblob quits (~user@37.113.164.122) (Ping timeout: 260 seconds) |
| 12:53:59 | → | Inst joins (~Liam@2601:6c4:4081:54f0:8d05:724f:98cd:21a2) |
| 12:54:10 | <Inst> | why is inline-c code benchmarking slower than native Haskell code? |
| 12:54:50 | <Inst> | am i just benchmarking it wrong on criterion? |
| 12:57:37 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 12:59:34 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 13:00:37 | <probie> | What's it doing, and why do you expect it to be faster? |
| 13:01:15 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 13:02:04 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 13:02:22 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 13:10:39 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 13:11:05 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 13:27:10 | <Inst> | because it's c |
| 13:27:20 | <Inst> | i'm calculating fib via an iterate method |
| 13:27:37 | <Inst> | compared to an inline c method using dynamic programming, a for loop that sets array 1 and array 2 variables |
| 13:28:35 | <arahael> | Inst: What's special about C? |
| 13:28:48 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 13:29:01 | <Inst> | low level, i guess |
| 13:29:13 | <Inst> | i'm also annoyed that I tried STRefing stuff, and it was slower than the iterate method |
| 13:29:15 | <Inst> | 20 times slower |
| 13:29:46 | <arahael> | I'm not sure if C is that low level anymore. The abstract machine it works in is... Not always a good match. |
| 13:29:52 | <tdammers> | C isn't magically faster |
| 13:41:10 | × | acidjnk quits (~acidjnk@p200300d6e7137a61a1c25cbd352f97cb.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 13:41:30 | <probie> | By "iterate method" do you mean something like `fib k = snd $ (iterate (\(n, m) -> (m, n+m)) (0,1)) !! k`? |
| 13:48:22 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 13:50:32 | → | InstX1 joins (~Liam@2601:6c4:4081:54f0:1dde:5923:3984:3700) |
| 13:53:19 | × | Inst quits (~Liam@2601:6c4:4081:54f0:8d05:724f:98cd:21a2) (Ping timeout: 260 seconds) |
| 13:53:46 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 13:54:25 | → | coot joins (~coot@213.134.171.3) |
| 14:06:17 | → | Techcable joins (~Techcable@user/Techcable) |
| 14:08:50 | × | raym quits (~ray@user/raym) (Ping timeout: 246 seconds) |
| 14:10:51 | → | raym joins (~ray@user/raym) |
| 14:20:36 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 14:20:55 | → | waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 14:23:23 | × | vglfr quits (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 14:24:07 | → | vglfr joins (~vglfr@145.224.100.100) |
| 14:24:09 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 14:24:40 | → | jlgw joins (~jw@83-233-104-81.cust.bredband2.com) |
| 14:26:14 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt https://tinyurl.com/4m8d4kd5) |
| 14:30:25 | × | waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 14:33:31 | → | waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 14:41:16 | → | beteigeuze1 joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 14:43:15 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 14:43:16 | beteigeuze1 | is now known as beteigeuze |
| 14:51:19 | × | TonyStone quits (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 260 seconds) |
| 14:56:44 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 14:58:29 | → | stef204 joins (~stef204@user/stef204) |
| 14:58:45 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 15:03:50 | → | TonyStone joins (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 15:05:08 | → | epolanski joins (uid312403@id-312403.helmsley.irccloud.com) |
| 15:13:22 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 15:14:51 | × | zeenk2 quits (~zeenk@2a02:2f04:a009:2a00:cd71:a957:cf7b:e82a) (Quit: Konversation terminated!) |
| 15:19:43 | × | waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 15:20:10 | → | possess joins (~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1) |
| 15:21:56 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 15:22:48 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 15:35:39 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 15:39:45 | → | acidjnk joins (~acidjnk@p200300d6e7137a19ad35e2e823f99967.dip0.t-ipconnect.de) |
| 15:45:16 | → | bjourne joins (~bjorn@94.191.136.12.mobile.tre.se) |
| 15:45:50 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 15:50:26 | × | Guest6482 quits (sid532813@tinside.irccloud.com) (Changing host) |
| 15:50:26 | → | Guest6482 joins (sid532813@user/polo) |
| 15:50:30 | Guest6482 | is now known as money |
| 15:52:44 | <Athas> | I need to fix a (probably minor) Windows bug a Haskell program. I have no access to a Windows machine. What's the easiest way to do this? I don't even need GUI access, but I doubt that matters on Windows. |
| 15:54:01 | <geekosaur> | easiest is probably the free win10 download (only costs if you regoster it but you can use it for a while eithout doing that) and vbox |
| 15:54:11 | <geekosaur> | sadly ghc doesn't work under wine last I heard |
| 15:54:12 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:54:46 | <Franciman> | Athas: maybe you can use appveyor? |
| 15:54:58 | <Franciman> | https://www.appveyor.com/ |
| 15:55:15 | <int-e> | hmmmmm adventerous route: https://wiki.haskell.org/GHC_under_WINE (page last updated in 2014!) |
| 15:55:26 | <Franciman> | i recall it offers free windows images |
| 15:55:55 | <int-e> | (Anyone remember the Haskell platform? ;-) ) |
| 15:56:00 | <hpc> | to add to geekosaur's suggestion, on one of the pages of the setup thing you can say "i don't have internet access" or "i want to set it up later" or something along those lines |
| 15:56:01 | <geekosaur> | right, but last I heard the 2-stage allocator got ported to windows and broke wine |
| 15:56:16 | <int-e> | geekosaur: ah, interesting |
| 15:56:24 | <hpc> | and then iirc you don't even have a time limit on the vm, it just has a watermark |
| 15:58:56 | <Athas> | Franciman: I thought AppVeyor was just CI. They also have images you can use interactively? |
| 16:00:10 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 16:00:30 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 16:03:27 | <Franciman> | ah i'm afraid not, i had wrongly interpreted the «no gui access needed» |
| 16:05:24 | <int-e> | "interactive", how do you feel about 10 minutes (order of magnitude) response times... ;) |
| 16:06:26 | <Athas> | To the patient man, anything is interactive. |
| 16:09:44 | <c_wraith> | oops. this universe turned out a bit wonky. just gotta tweak the parameters and try again. |
| 16:10:34 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 16:11:14 | <int-e> | geekosaur: hmm. http://paste.debian.net/1260468/ |
| 16:11:22 | <Athas> | Now, for a start, I'm just trying to build with Windows on GitHub Actions. Then maybe I can obtain the built .exe and run it in Wine. |
| 16:11:30 | × | possess quits (~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1) (Read error: Connection reset by peer) |
| 16:11:44 | <Athas> | But I am already feeling the extreme usual weariness deep in my soul that results from having to interact with Windows. |
| 16:12:04 | <Athas> | It started very early: apparently Windows cannot even checkout my repository because a test file has an asterisk in its name. |
| 16:12:06 | <geekosaur> | that would be a good thing! wine has been broken for a while, if it's working again then it'd help a lot |
| 16:12:11 | <int-e> | that's wine-7.0 (via Debian unstable, which shouldn't matter) |
| 16:13:01 | → | possess joins (~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1) |
| 16:15:39 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 16:15:54 | <geekosaur> | yeh, ghc-built executables used to fail very early, if hello world works now then that's a very good sign |
| 16:16:48 | × | possess quits (~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1) (Read error: Connection reset by peer) |
| 16:19:23 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 268 seconds) |
| 16:22:37 | → | possess joins (~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1) |
| 16:23:39 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:29:48 | × | possess quits (~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1) (Read error: Connection reset by peer) |
| 16:29:58 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 16:30:23 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 16:31:04 | → | zebrag joins (~chris@user/zebrag) |
| 16:32:17 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:33:57 | → | possess joins (~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1) |
| 16:34:33 | → | siinamon joins (~siina@chat.criminallycute.fi) |
| 16:35:11 | × | possess quits (~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1) (Read error: Connection reset by peer) |
| 16:35:58 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 16:36:16 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 16:41:26 | → | possess joins (~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1) |
| 16:41:34 | → | bobbingbob joins (~bobbingbo@2604:3d09:207f:f650::b469) |
| 16:41:49 | × | possess quits (~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1) (Read error: Connection reset by peer) |
| 16:42:13 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 16:44:25 | → | possess joins (~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1) |
| 16:46:28 | × | Kaipei quits (~Kaiepi@108.175.84.104) (Ping timeout: 260 seconds) |
| 16:48:52 | × | possess quits (~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1) (Read error: Connection reset by peer) |
| 16:49:09 | × | stef204 quits (~stef204@user/stef204) (Quit: WeeChat 3.7.1) |
| 16:49:50 | → | odnes joins (~odnes@5-203-242-111.pat.nym.cosmote.net) |
| 16:50:34 | → | machinedgod joins (~machinedg@clnet-b05-118.ikbnet.co.at) |
| 16:50:40 | × | odnes quits (~odnes@5-203-242-111.pat.nym.cosmote.net) (Remote host closed the connection) |
| 16:58:07 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 17:01:34 | → | nate4 joins (~nate@98.45.169.16) |
| 17:05:56 | → | AkechiShiro joins (~licht@user/akechishiro) |
| 17:07:33 | → | blomberg joins (~default_u@117.200.13.41) |
| 17:08:41 | <blomberg> | is there a filterbefore instead of filtering afterwards [1,2,3..] -> [sqares of them] ; to filter odd of second list not but before list |
| 17:09:32 | <blomberg> | A->B filter odd filters B, not corresponding indices of A |
| 17:09:57 | <dolio> | So, you want the numbers in the original list whose squares are odd? |
| 17:09:58 | <tomsmeding> | blomberg: zip the two lists, filter on the snd component, then project out the fst from the result? |
| 17:11:05 | <tomsmeding> | Is there a way to convince ghc to treat some file Foo.hs as if it declared a module with name Foo, instead of whatever module header it actually contains (or doesn't contain)? |
| 17:11:40 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 17:13:05 | <blomberg> | tomsmeding:code |
| 17:13:39 | <blomberg> | > x = 2 |
| 17:13:41 | <lambdabot> | <hint>:1:3: error: parse error on input ‘=’ |
| 17:13:42 | <blomberg> | why error |
| 17:13:54 | <tomsmeding> | that's just lambdabot's behaviour |
| 17:13:56 | <tomsmeding> | % x = 2 |
| 17:13:56 | <yahb2> | <no output> |
| 17:13:57 | <geekosaur> | because it wants an expression |
| 17:13:57 | <dolio> | `filter (p . g) l` gives you the elements of l that correspond to what would end up in `filter p (map g l)` |
| 17:14:07 | <geekosaur> | lambdabot is not ghci. yahb2 is |
| 17:14:46 | <geekosaur> | you can use @let to define things for lambdabot, but you should avoid single character names because simple-reflect uses them |
| 17:14:52 | → | TonyStone31 joins (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 17:14:53 | × | TonyStone quits (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 268 seconds) |
| 17:15:00 | <geekosaur> | > foldr f z [a,b,c] -- simple-reflect |
| 17:15:02 | <lambdabot> | f a (f b (f c z)) |
| 17:16:07 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 17:17:18 | <yushyin> | tomsmeding: you can use cabal's mixins to rename modules. don't know if that helps you |
| 17:18:22 | <tomsmeding> | yushyin: hm, not quite, I'd like to receive a haskell file from someone with any random module header and be able to compile it as a non-Main module without having to parse the source |
| 17:18:46 | <tomsmeding> | but maybe I should just arrange things so that I don't have to do this :p |
| 17:19:18 | <blomberg> | dolio:how |
| 17:19:51 | <dolio> | > filter (odd . (^2)) [1..20] |
| 17:19:52 | <lambdabot> | [1,3,5,7,9,11,13,15,17,19] |
| 17:20:39 | <dolio> | By making the predicate `\x -> odd (x^2)`. |
| 17:21:07 | <blomberg> | sin . cos is sin (cos) |
| 17:21:27 | <dolio> | In this case, you might as well use `odd`, because the square of a number is odd if and only if the original number is odd. |
| 17:21:55 | <dolio> | f . g = \x -> f (g x) |
| 17:22:26 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:22:30 | <dolio> | sin . cos = \x -> sin (cos x) |
| 17:23:26 | → | euandreh joins (~Thunderbi@179.214.113.107) |
| 17:24:05 | <blomberg> | > filter (\x->odd (x^2)) [1..20] |
| 17:24:07 | <lambdabot> | [1,3,5,7,9,11,13,15,17,19] |
| 17:25:25 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 17:27:42 | <int-e> | @check \n -> odd (x^2) == odd x |
| 17:27:44 | <lambdabot> | +++ OK, passed 100 tests. |
| 17:27:49 | <int-e> | @check \x -> odd (x^2) == odd x |
| 17:27:51 | <lambdabot> | +++ OK, passed 100 tests. |
| 17:28:23 | <int-e> | (hah, I expected the first one to fail, but simple-reflect "saved" me.) |
| 17:28:33 | <int-e> | > odd x |
| 17:28:35 | <lambdabot> | True |
| 17:28:41 | <tomsmeding> | lol |
| 17:28:44 | <int-e> | > even x |
| 17:28:46 | <lambdabot> | False |
| 17:28:52 | <tomsmeding> | > odd y |
| 17:28:53 | <lambdabot> | True |
| 17:29:00 | × | razetime quits (~quassel@117.193.2.37) (Remote host closed the connection) |
| 17:29:23 | <monochrom> | That's really odd. >:) |
| 17:29:24 | <tomsmeding> | oh right |
| 17:30:02 | <tomsmeding> | > x `rem` 2 |
| 17:30:04 | <lambdabot> | x `rem` 2 |
| 17:30:08 | <int-e> | > (x `rem` 2) == 0 |
| 17:30:10 | <lambdabot> | False |
| 17:30:36 | <tomsmeding> | simple-reflect defers to equality on `show` if the expressions are nontrivial |
| 17:30:58 | <tomsmeding> | > odd (x^2) |
| 17:31:00 | <lambdabot> | True |
| 17:31:18 | <blomberg> | zip lists and filter on snd ? |
| 17:31:31 | <int-e> | > odd (2 :: Expr) |
| 17:31:33 | <lambdabot> | False |
| 17:31:57 | <tomsmeding> | oh, odd = not . even, and even = n `rem` 2 == 0; even is always False for simple-reflect, so odd is always True |
| 17:32:02 | <tomsmeding> | that took _way_ too long |
| 17:33:26 | <blomberg> | tomsmeding: what do you mean to filter the second one, as filters won't do it |
| 17:33:37 | <blomberg> | i can't |
| 17:34:17 | <tomsmeding> | blomberg: just to check: you have two lists, A and B, and you want to keep the values in A that are in the same position as values in B that are odd |
| 17:34:18 | <tomsmeding> | right? |
| 17:34:25 | × | olivermead quits (~olivermea@cpc72329-sotn15-2-0-cust205.15-1.cable.virginm.net) (Ping timeout: 252 seconds) |
| 17:34:28 | <blomberg> | ya |
| 17:34:34 | <tomsmeding> | % a = [1..5] |
| 17:34:34 | <yahb2> | <no output> |
| 17:34:47 | <tomsmeding> | % b = map (^2) a |
| 17:34:47 | <yahb2> | <no output> |
| 17:34:51 | <tomsmeding> | % zip a b |
| 17:34:51 | <yahb2> | [(1,1),(2,4),(3,9),(4,16),(5,25)] |
| 17:35:02 | <tomsmeding> | blomberg: try filtering on _that_ |
| 17:35:12 | <tomsmeding> | and then transform the result to what you need |
| 17:35:23 | <blomberg> | how |
| 17:35:31 | <tomsmeding> | try |
| 17:35:43 | <blomberg> | i don't have confidence to try code... i prefer eto read it |
| 17:35:55 | <tomsmeding> | the only way you'll learn haskell is by doing it |
| 17:36:06 | <tomsmeding> | trying things, failing, trying again, finding something that works |
| 17:36:18 | <tomsmeding> | while this holds for most things in life, it holds _especially_ for programming |
| 17:36:18 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 17:36:52 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 17:36:53 | <blomberg> | na i read the book learn you a haskell 2days ago, i don't even have ghc installed it's like 1GB on ubuntu haskell-platform |
| 17:37:07 | <tomsmeding> | yeah a haskell install is kind of large |
| 17:37:35 | <tomsmeding> | if you are okay with writing a full program though (instead of using ghci, that is), you can try using https://play-haskell.tomsmeding.com for a while |
| 17:37:43 | × | perrierjouet quits (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1) |
| 17:37:44 | <blomberg> | it's not because of llvm, as julia is 200MB or sth |
| 17:38:11 | <tomsmeding> | reading learn-you-a-haskell without trying anything yourself is not very useful |
| 17:38:13 | <tomsmeding> | :p |
| 17:38:57 | → | perrierjouet joins (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 17:39:52 | <blomberg> | it saves a lot of time, i read it in like a day not monads,etc just control flow |
| 17:40:25 | <tomsmeding> | yeah it sure saves a lot of time, but you didn't learn all that much :) |
| 17:43:02 | <blomberg> | %l = [(1,1),(2,4),(3,9),(4,16),(5,25)] |
| 17:43:21 | <tomsmeding> | (you need a space after the %) |
| 17:43:26 | → | LemanR joins (~LemanR@pool-74-109-28-147.phlapa.fios.verizon.net) |
| 17:43:33 | <blomberg> | % [(1,1),(2,4),(3,9),(4,16),(5,25)] |
| 17:43:33 | <yahb2> | [(1,1),(2,4),(3,9),(4,16),(5,25)] |
| 17:43:41 | <blomberg> | % l=[(1,1),(2,4),(3,9),(4,16),(5,25)] |
| 17:43:41 | <yahb2> | <no output> |
| 17:43:56 | <blomberg> | > filter odd l |
| 17:43:58 | <lambdabot> | error: |
| 17:43:58 | <lambdabot> | • Couldn't match expected type ‘[a]’ with actual type ‘Expr’ |
| 17:43:58 | <lambdabot> | • In the second argument of ‘filter’, namely ‘l’ |
| 17:44:06 | <tomsmeding> | (and if you want to experiment without flooding the channel, you can also message yahb2 directly) |
| 17:44:07 | → | stef204 joins (~stef204@user/stef204) |
| 17:44:12 | <tomsmeding> | (don't forget the %) |
| 17:44:24 | <blomberg> | % filter odd l |
| 17:44:24 | <yahb2> | <interactive>:54:1: error: ; • No instance for (Integral (Integer, Integer)) ; arising from a use of ‘it’ ; • In the first argument of ‘Yahb2Defs.limitedPrint’, namely ‘it’ ; ... |
| 17:44:41 | <blomberg> | % filter (snd odd) l |
| 17:44:41 | <yahb2> | <interactive>:56:13: error: ; • Couldn't match expected type: (a0, (a, b) -> Bool) ; with actual type: a1 -> Bool ; • Probable cause: ‘odd’ is applied to too few arguments... |
| 17:44:41 | → | zeenk joins (~zeenk@2a02:2f04:a009:2a00:cd71:a957:cf7b:e82a) |
| 17:44:43 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:46:06 | <blomberg> | i don't know what you mean tomsmelding to filter on the second part as i need the first part but also you were vague |
| 17:46:15 | <blomberg> | i can't read your mind |
| 17:46:20 | <tomsmeding> | I can't read yours either |
| 17:46:33 | <tomsmeding> | the argument to filter is a function that takes an element from l, and returns a Bool |
| 17:46:48 | <tomsmeding> | l, in this case, contains pairs of indices and squares |
| 17:47:03 | <tomsmeding> | so given a pair of an index and a square, do your thing |
| 17:48:13 | <blomberg> | tomsmeding:yes filter doesn't work on pairs |
| 17:48:33 | → | olivermead joins (~olivermea@cpc72329-sotn15-2-0-cust205.15-1.cable.virginm.net) |
| 17:48:50 | <tomsmeding> | doesn't it? |
| 17:49:02 | <blomberg> | but i like the previous version where an additional function on x gives odd x which gives boolean and x gets filtered |
| 17:49:03 | <tomsmeding> | it works on anything -- as long as you tell it what to do with that anything |
| 17:49:13 | <tomsmeding> | you can do precisely that here |
| 17:49:59 | <blomberg> | tomsmeding:no i won't code myself |
| 17:50:08 | <tomsmeding> | ok |
| 17:50:10 | <LemanR> | hey all, I want to start studying haskell programming, I have a little bit of experience spread across a variety of languages (mostly R and Common Lisp). I've tried exerism.org and got lost pretty quickly as there seems to be missing details (unless it's just me). |
| 17:50:26 | × | bobbingbob quits (~bobbingbo@2604:3d09:207f:f650::b469) (Remote host closed the connection) |
| 17:50:55 | <LemanR> | any advice on online sources that go over the basics of haskell in a detailed manner? |
| 17:51:03 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 17:51:11 | <blomberg> | learn you a haskell online free book is the best |
| 17:51:12 | <tomsmeding> | LemanR: you may or may not like http://learn.hfm.io/ |
| 17:51:43 | <tomsmeding> | (you don't need the 'Haskell for mac' app to use that tutorial; it's just a generic haskell tutorial) |
| 17:52:13 | <blomberg> | exerism.org is down or wrong link LemanR |
| 17:52:18 | <tomsmeding> | exercism.org |
| 17:53:02 | <LemanR> | sorry about the typo https://exercism.org/ |
| 17:53:29 | <blomberg> | how can i remember hfm...? acronym helps |
| 17:53:35 | <LemanR> | tomsmeding good first impressions, I'll look into hfm.io |
| 17:53:39 | <tomsmeding> | blomberg: haskell-for-mac |
| 17:53:39 | <blomberg> | haskell for mac ok |
| 17:55:16 | → | bobbingbob joins (~bobbingbo@2604:3d09:207f:f650::b469) |
| 17:55:28 | <blomberg> | elm,elixir what you think about that |
| 17:55:40 | <blomberg> | isn't it more practical than haskell |
| 17:55:48 | <blomberg> | for the web |
| 17:55:58 | <bobbingbob> | i just borked ~/.stack/global-project/stack.yaml. how do i restore it? |
| 17:56:12 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 17:56:25 | <LemanR> | for hfm you need a mac right? (I have a thinkpad) |
| 17:56:54 | <bobbingbob> | why isn't there a consistent model of copy/paste across applications? |
| 17:56:56 | <tomsmeding> | LemanR: for HfM you need a mac indeed, but the tutorial doesn't require you to use that program |
| 17:57:17 | <LemanR> | ah I see |
| 17:57:21 | <blomberg> | LemanR: why would you need a mac? |
| 17:57:47 | <blomberg> | tomsmeding: did you write that crappy tutorial |
| 17:57:58 | <tomsmeding> | bobbingbob: perhaps put this in it: packages: []\nresolver: lts-18.12 (replacing the \n with an actual newline, and perhaps the resolver with whatever you use) |
| 17:58:05 | <tomsmeding> | blomberg: which? |
| 17:58:09 | <tomsmeding> | the hfm one? no |
| 17:58:13 | <tomsmeding> | what's crappy about it? |
| 17:58:28 | <blomberg> | hfm, every tutorial is crappy and *every language* |
| 17:58:40 | <blomberg> | they are alll bloated |
| 17:59:07 | <blomberg> | it should be like a single page or two for a chapter |
| 17:59:29 | <LemanR> | blomberg content may be different depending on which hardware you have *shrugs* to answer your question earlier |
| 17:59:41 | <tomsmeding> | blomberg: if you don't like the state of the art, go fix it :) |
| 18:00:09 | <tomsmeding> | LemanR: the videos in the hfm tutorial use the HfM software though, but the haskell code shouldn't use platform-specific stuff |
| 18:02:00 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 18:02:28 | <LemanR> | K, I am following the gentoo guide on Haskell to make sure I set it up properly (btw I <3 the linux system I have, it's pretty meta as in it can run different linux distros on the same file systems, currently gentoo & debian) along with a windows partition. But I'll stop there as this is a haskell channel |
| 18:02:41 | <bobbingbob> | tomsmeding: thank you, i knew it was short and simple but i couldn't remember it |
| 18:02:42 | <tomsmeding> | LemanR: are you using ghcup? |
| 18:02:46 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 18:03:19 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 18:03:32 | <blomberg> | is FP quicker 3x than python or js? |
| 18:03:36 | <blomberg> | how come, ? |
| 18:03:39 | <blomberg> | they say it is |
| 18:03:44 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 18:04:03 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 18:04:04 | <blomberg> | in youtube, but most algorithms are pretty simple like making a web app |
| 18:04:09 | <LemanR> | tomsmeding not familiar with it. I know I am setting up the compiler (ghc) |
| 18:04:16 | <[exa]> | LemanR: like literally sharing the root partition? |
| 18:04:48 | <tomsmeding> | LemanR: instead of your system's ghc package it may be worth using ghcup https://www.haskell.org/ghcup/ |
| 18:05:10 | <tomsmeding> | but if using the system packages works for you, then that works too I guess |
| 18:05:18 | → | califax joins (~califax@user/califx) |
| 18:05:23 | <tomsmeding> | (the Arch packages are terribly broken, but I hear that gentoo is better?) |
| 18:06:03 | <LemanR> | [exa] They only share userspace directory and up. I mount needed root directories via an automated script I have. |
| 18:06:06 | <blomberg> | tomsmeding:which arch page is broken? |
| 18:06:35 | <[exa]> | LemanR: ah ok I was wondering how I'd do that to my old gentoos :D |
| 18:06:36 | <yushyin> | not page, *packages* |
| 18:07:14 | <blomberg> | ya typo |
| 18:07:24 | <blomberg> | yushyin:i think i saw you in #python as well? |
| 18:07:28 | <yushyin> | no |
| 18:07:37 | <yushyin> | i don't do python if i can avoid it |
| 18:07:50 | <blomberg> | #lisp or CL i saw you somewhere |
| 18:08:19 | <yushyin> | lisp related channels are more likely, yeah |
| 18:08:41 | <LemanR> | tomsmeding I'll take a look, if it's recommended by haskell it'self I'll do it no questions asked lol the beginners should heed the advise from the experienced and all |
| 18:09:06 | <tomsmeding> | LemanR: what do you mean with "haskell itself" :p |
| 18:09:20 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 18:10:21 | <[exa]> | LemanR: the target of distro packaging is to make maintainable packages for distribution, which in case of haskell often conflicts with the developer's need to have good recent versions of packages and stuff intermingled with compatibility ones etc |
| 18:10:24 | <LemanR> | tomsmeding haskell.org I am assuming is owned by the haskell foundation |
| 18:10:31 | <blomberg> | are there any resources sto make alternative web to http? tomsmeding |
| 18:10:34 | <blomberg> | like the gopher |
| 18:10:51 | <tomsmeding> | LemanR: it is, but hfm is not from haskell.org :p |
| 18:11:05 | <tomsmeding> | (it is from longtime haskellers though) |
| 18:11:29 | <LemanR> | tomsmeding I was referring to the https://www.haskell.org/ghcup/ link |
| 18:11:47 | <tomsmeding> | ooh right yes |
| 18:11:47 | × | bjourne quits (~bjorn@94.191.136.12.mobile.tre.se) (Read error: Connection reset by peer) |
| 18:12:10 | <tomsmeding> | yeah that's the officially recommended haskell install method now, as far as "official" goes |
| 18:13:43 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 18:14:49 | × | acidjnk quits (~acidjnk@p200300d6e7137a19ad35e2e823f99967.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 18:15:13 | → | acidjnk joins (~acidjnk@p200300d6e7137a19ad35e2e823f99967.dip0.t-ipconnect.de) |
| 18:16:14 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 18:19:27 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:21:06 | → | Kaipei joins (~Kaiepi@108.175.84.104) |
| 18:22:48 | × | bobbingbob quits (~bobbingbo@2604:3d09:207f:f650::b469) (Remote host closed the connection) |
| 18:24:53 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:470d:4c78:c477:402b:896a) |
| 18:24:59 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 18:25:19 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:470d:4c78:c477:402b:896a) (Client Quit) |
| 18:26:00 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 18:26:26 | → | califax joins (~califax@user/califx) |
| 18:28:28 | → | bobbingbob joins (~bobbingbo@2604:3d09:207f:f650::b469) |
| 18:29:49 | <LemanR> | well thanks all for the good advise. btw does the channel have a chat channel? Like how gentoo has gentoo-chat on here. |
| 18:30:54 | <sm> | uh, you're in it ? but occasionally folks use #haskell-offtopic or #haskell-blah |
| 18:30:55 | × | LemanR quits (~LemanR@pool-74-109-28-147.phlapa.fios.verizon.net) (Quit: Client closed) |
| 18:30:56 | → | Guest|27 joins (~Guest|27@dynamic-077-179-163-155.77.179.pool.telefonica.de) |
| 18:31:14 | → | LemanR joins (~LemanR@pool-74-109-28-147.phlapa.fios.verizon.net) |
| 18:31:22 | × | Guest|27 quits (~Guest|27@dynamic-077-179-163-155.77.179.pool.telefonica.de) (Client Quit) |
| 18:32:15 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 18:32:41 | <geekosaur> | yeh, this channel is for directly haskell related stuff, -offtopic is for general chat |
| 18:33:03 | → | califax joins (~califax@user/califx) |
| 18:33:08 | <geekosaur> | -blah is pretty much dead at this point, I think it was only carried over onto libera because a few folks were idling in it |
| 18:33:21 | <Rembane> | It's a very good channel to idle in |
| 18:36:03 | × | bobbingbob quits (~bobbingbo@2604:3d09:207f:f650::b469) (Remote host closed the connection) |
| 18:36:12 | <LemanR> | now idling lol |
| 18:38:45 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:38:52 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 18:38:55 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 18:43:09 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 18:44:17 | × | talismanick quits (~talismani@76.133.152.122) (Ping timeout: 246 seconds) |
| 18:46:57 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 18:48:12 | → | bjourne joins (~bjorn@94.191.136.12.mobile.tre.se) |
| 18:48:38 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 18:50:31 | × | chomwitt quits (~chomwitt@athedsl-351939.home.otenet.gr) (Ping timeout: 256 seconds) |
| 18:57:45 | → | dfee joins (~dfee@162-227-164-101.lightspeed.sntcca.sbcglobal.net) |
| 18:58:55 | <EvanR> | the great freenode haskell offtopic schism that I can't even remember the details of finally coming to an end? |
| 18:59:31 | <geekosaur> | was already pretty much over before we left freenode |
| 19:02:09 | <sm> | similar vibes currently with twitter |
| 19:02:38 | <sm> | a big twitter to mastodon migration, eg |
| 19:08:33 | × | coot quits (~coot@213.134.171.3) (Quit: coot) |
| 19:11:48 | <int-e> | yeah you can find quite a few parallels between freenode/twitter, Lee/Musk, and maybe libera/mastodon (though it's too early to be sure) |
| 19:11:52 | → | nate4 joins (~nate@98.45.169.16) |
| 19:13:35 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 19:16:59 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 19:18:08 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 19:19:19 | × | stef204 quits (~stef204@user/stef204) (Quit: WeeChat 3.7.1) |
| 19:20:43 | ← | siinamon parts (~siina@chat.criminallycute.fi) (Oops, I parted!) |
| 19:20:45 | <EvanR> | old hackage package 'henet' bindings to Enet says that there are better native haskell libraries to use instead, but doesn't name any |
| 19:21:08 | <EvanR> | they exist in the classical sense |
| 19:21:45 | → | notzmv joins (~zmv@user/notzmv) |
| 19:23:10 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:23:45 | <geekosaur> | ericson2314 is on irc |
| 19:24:15 | <EvanR> | yo ericson2314 what are these better networking libraries actually |
| 19:24:23 | <ericson2314> | oh god I only started that soooo long ago |
| 19:24:31 | <ericson2314> | no clue lol |
| 19:24:35 | <EvanR> | lol |
| 19:24:46 | <ericson2314> | that package could be deleted |
| 19:25:01 | <ericson2314> | I feel like quic in datagram mode ought to be fine |
| 19:25:04 | <geekosaur> | deletion doesn't happen. you could mark it deprecated though |
| 19:25:15 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 19:25:16 | <ericson2314> | ah sure |
| 19:26:24 | → | zer0bitz_ joins (~zer0bitz@196.244.192.56) |
| 19:26:30 | × | zer0bitz quits (~zer0bitz@196.244.192.56) (Ping timeout: 240 seconds) |
| 19:28:25 | × | LemanR quits (~LemanR@pool-74-109-28-147.phlapa.fios.verizon.net) (Quit: Client closed) |
| 19:28:49 | <EvanR> | QUIC, cool |
| 19:30:46 | × | zer0bitz_ quits (~zer0bitz@196.244.192.56) (Client Quit) |
| 19:33:28 | → | zer0bitz joins (~zer0bitz@196.244.192.56) |
| 19:34:09 | × | blomberg quits (~default_u@117.200.13.41) (Quit: blomberg) |
| 19:35:52 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 19:40:31 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 19:43:37 | × | dfee quits (~dfee@162-227-164-101.lightspeed.sntcca.sbcglobal.net) (Quit: dfee) |
| 19:44:48 | → | DDR joins (~DDR@2604:3d08:4c7f:8250:ab47:a2f3:7012:8f4a) |
| 19:50:11 | → | lechner joins (~lechner@2604:21c0:125:10f0::d35) |
| 19:50:17 | × | lechner quits (~lechner@2604:21c0:125:10f0::d35) (Changing host) |
| 19:50:17 | → | lechner joins (~lechner@debian/lechner) |
| 19:50:35 | × | acidjnk quits (~acidjnk@p200300d6e7137a19ad35e2e823f99967.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 19:52:15 | × | lechner quits (~lechner@debian/lechner) (Read error: Connection reset by peer) |
| 19:52:16 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 19:55:07 | × | Kaipei quits (~Kaiepi@108.175.84.104) (Ping timeout: 256 seconds) |
| 20:00:02 | → | gurkenglas joins (~gurkengla@212.36.32.212) |
| 20:00:45 | → | lechner joins (~lechner@2604:21c0:125:10f0::d35) |
| 20:00:52 | × | lechner quits (~lechner@2604:21c0:125:10f0::d35) (Changing host) |
| 20:00:52 | → | lechner joins (~lechner@debian/lechner) |
| 20:03:03 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 20:07:35 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 20:09:52 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 20:11:42 | → | a6a45081-2b83 joins (~aditya@2601:249:4300:1296:88ec:cc73:84d4:1507) |
| 20:11:47 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 20:14:23 | <a6a45081-2b83> | what is a better way to write this? `iterate (\(xs', y:ys', result) -> (drop y xs', ys', (take y xs'):result)) (xs, ys, [])` |
| 20:14:35 | <a6a45081-2b83> | ignoring non-exhaustive match when ys is empty |
| 20:14:59 | <a6a45081-2b83> | xs=[1..6], ys=[1,2,3] then result=http://en.wikipedia.org/wiki/Special:Search?go=Go&search=1],[2,3],[4,5,6 |
| 20:15:22 | <a6a45081-2b83> | `http://en.wikipedia.org/wiki/Special:Search?go=Go&search=1],[2,3],[4,5,6` |
| 20:15:44 | → | Guest31 joins (~Guest31@p200300ef970b9cda31eab7f863c986c6.dip0.t-ipconnect.de) |
| 20:18:13 | → | cole84 joins (~cole@rrcs-24-43-123-72.west.biz.rr.com) |
| 20:18:31 | <int-e> | > let splits (y:ys) xs = let (xs', xs'') = splitAt y xs in xs' : splits ys xs''; splits _ _ = [] in splits [1..3] [1..6] |
| 20:18:33 | <lambdabot> | [[1],[2,3],[4,5,6]] |
| 20:19:11 | <cole84> | howdy, can someone point me to an example of integrating a source code formatter as part of the build process? |
| 20:20:40 | × | TonyStone31 quits (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 260 seconds) |
| 20:21:11 | <int-e> | a6a45081-2b83: explicit recursion is always an option, and quite often the clearest way to write code |
| 20:21:18 | <a6a45081-2b83> | I see |
| 20:21:54 | <a6a45081-2b83> | > let xs=[1..6]; y=[1..3] in mapAccumL (\xs' y -> (drop y xs', take y xs')) xs ys |
| 20:21:56 | <lambdabot> | error: |
| 20:21:56 | <lambdabot> | • Variable not in scope: ys :: t Int |
| 20:21:56 | <lambdabot> | • Perhaps you meant one of these: |
| 20:22:03 | <a6a45081-2b83> | > let xs=[1..6]; ys=[1..3] in mapAccumL (\xs' y -> (drop y xs', take y xs')) xs ys |
| 20:22:04 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 20:22:05 | <lambdabot> | ([],[[1],[2,3],[4,5,6]]) |
| 20:22:23 | <int-e> | okay, that is cute |
| 20:22:33 | <EvanR> | mapAccumL is great |
| 20:22:42 | <a6a45081-2b83> | i think that lambda is flipped version of splitAt |
| 20:22:54 | <int-e> | too bad that the pair is flipped compared to splitAt |
| 20:23:15 | <int-e> | and indeed the arguments as well |
| 20:23:29 | <a6a45081-2b83> | I see |
| 20:24:08 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 20:24:25 | → | acidjnk joins (~acidjnk@p200300d6e7137a1930cde3464850e818.dip0.t-ipconnect.de) |
| 20:25:47 | × | gurkenglas quits (~gurkengla@212.36.32.212) (Ping timeout: 260 seconds) |
| 20:30:58 | → | gurkenglas joins (~gurkengla@212.36.32.212) |
| 20:31:02 | <int-e> | @pl \a b -> (\(a,b) -> (b,a)) (splitAt b a) |
| 20:31:02 | <lambdabot> | (uncurry (flip (,)) .) . flip splitAt |
| 20:31:27 | <int-e> | ...almost not bad at all ;-) |
| 20:32:00 | → | marinelli joins (~marinelli@gateway/tor-sasl/marinelli) |
| 20:39:27 | ← | marinelli parts (~marinelli@gateway/tor-sasl/marinelli) () |
| 20:40:43 | × | a6a45081-2b83 quits (~aditya@2601:249:4300:1296:88ec:cc73:84d4:1507) (Remote host closed the connection) |
| 20:41:12 | × | cole84 quits (~cole@rrcs-24-43-123-72.west.biz.rr.com) (Quit: Client closed) |
| 20:42:22 | → | caryhartline joins (~caryhartl@2600:1700:2d0:8d30:dcc0:82ac:c37f:ed70) |
| 20:42:43 | → | chromoblob joins (~user@37.113.164.122) |
| 20:43:17 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 20:44:46 | × | epolanski quits (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 20:46:35 | → | Kaipei joins (~Kaiepi@108.175.84.104) |
| 20:47:03 | → | marinelli joins (~marinelli@gateway/tor-sasl/marinelli) |
| 20:48:23 | × | chromoblob quits (~user@37.113.164.122) (Ping timeout: 256 seconds) |
| 20:49:40 | → | TonyStone31 joins (~TonyStone@cpe-74-76-48-136.nycap.res.rr.com) |
| 20:50:07 | → | pavonia joins (~user@user/siracusa) |
| 21:03:07 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 21:03:47 | → | chomwitt joins (~chomwitt@athedsl-351939.home.otenet.gr) |
| 21:08:48 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 21:12:11 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 21:17:44 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 21:24:10 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 240 seconds) |
| 21:25:31 | × | machinedgod quits (~machinedg@clnet-b05-118.ikbnet.co.at) (Ping timeout: 260 seconds) |
| 21:26:07 | × | olivermead quits (~olivermea@cpc72329-sotn15-2-0-cust205.15-1.cable.virginm.net) (Remote host closed the connection) |
| 21:26:27 | × | gurkenglas quits (~gurkengla@212.36.32.212) (Ping timeout: 260 seconds) |
| 21:27:03 | → | machinedgod joins (~machinedg@clnet-b05-118.ikbnet.co.at) |
| 21:30:55 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 21:35:44 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds) |
| 21:36:41 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 21:39:31 | × | TonyStone31 quits (~TonyStone@cpe-74-76-48-136.nycap.res.rr.com) (Ping timeout: 260 seconds) |
| 21:40:51 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 21:46:32 | → | wroathe joins (~wroathe@50.205.197.50) |
| 21:46:32 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 21:46:32 | → | wroathe joins (~wroathe@user/wroathe) |
| 21:48:04 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 248 seconds) |
| 21:50:27 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 21:52:01 | → | TonyStone31 joins (~TonyStone@cpe-74-76-48-136.nycap.res.rr.com) |
| 21:55:16 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 21:55:18 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 21:55:20 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 21:56:36 | → | luseerr joins (~luseerr@145.224.100.107) |
| 21:57:29 | × | luseerr quits (~luseerr@145.224.100.107) (Client Quit) |
| 22:03:16 | → | tatsumaru joins (~tatsumaru@92-247-247-29.spectrumnet.bg) |
| 22:03:28 | ← | tatsumaru parts (~tatsumaru@92-247-247-29.spectrumnet.bg) () |
| 22:09:29 | → | ksqsf joins (~user@2001:da8:d800:611:4053:b72:5ad6:c1e4) |
| 22:09:43 | ← | ksqsf parts (~user@2001:da8:d800:611:4053:b72:5ad6:c1e4) () |
| 22:10:33 | × | TonyStone31 quits (~TonyStone@cpe-74-76-48-136.nycap.res.rr.com) (Ping timeout: 256 seconds) |
| 22:14:39 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:16:16 | ← | mekeor[m] parts (~mekeormat@2001:470:69fc:105::17e4) () |
| 22:24:06 | → | TonyStone31 joins (~TonyStone@cpe-74-76-48-136.nycap.res.rr.com) |
| 22:30:51 | × | InstX1 quits (~Liam@2601:6c4:4081:54f0:1dde:5923:3984:3700) (Ping timeout: 260 seconds) |
| 22:38:27 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 22:38:42 | × | zeenk quits (~zeenk@2a02:2f04:a009:2a00:cd71:a957:cf7b:e82a) (Quit: Konversation terminated!) |
| 22:40:11 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 22:40:50 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 22:42:39 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 22:44:23 | × | Kaipei quits (~Kaiepi@108.175.84.104) (Ping timeout: 260 seconds) |
| 22:44:33 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 22:44:39 | → | zeenk joins (~zeenk@2a02:2f04:a009:2a00::7fe) |
| 22:46:57 | → | InstX1 joins (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 22:48:12 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 22:49:05 | × | chomwitt quits (~chomwitt@athedsl-351939.home.otenet.gr) (Ping timeout: 256 seconds) |
| 23:00:19 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:01:15 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 23:01:18 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 23:06:05 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 23:09:30 | × | machinedgod quits (~machinedg@clnet-b05-118.ikbnet.co.at) (Ping timeout: 240 seconds) |
| 23:12:19 | × | InstX1 quits (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 23:13:33 | → | nate4 joins (~nate@98.45.169.16) |
| 23:14:43 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 23:16:36 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:18:27 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 23:21:11 | × | TonyStone31 quits (~TonyStone@cpe-74-76-48-136.nycap.res.rr.com) (Ping timeout: 268 seconds) |
| 23:22:35 | × | sammelweis quits (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Quit: No Ping reply in 180 seconds.) |
| 23:25:42 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 23:26:41 | × | zeenk quits (~zeenk@2a02:2f04:a009:2a00::7fe) (Quit: Konversation terminated!) |
| 23:31:01 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 23:33:49 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 23:34:17 | → | TonyStone31 joins (~TonyStone@cpe-74-76-48-136.nycap.res.rr.com) |
| 23:35:26 | → | nil joins (~user@2001:da8:d800:611:9159:fcb2:7a41:10d) |
| 23:37:36 | × | acidjnk quits (~acidjnk@p200300d6e7137a1930cde3464850e818.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 23:38:31 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 23:47:32 | × | nil quits (~user@2001:da8:d800:611:9159:fcb2:7a41:10d) (Remote host closed the connection) |
| 23:50:53 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 23:50:54 | × | Sauvin quits (~sauvin@user/Sauvin) (Quit: Leaving) |
| 23:52:44 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 23:52:44 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 23:52:44 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:54:12 | → | Sauvin joins (~sauvin@user/Sauvin) |
| 23:55:48 | × | Guest75 quits (~Guest75@178.141.177.81) (Ping timeout: 260 seconds) |
All times are in UTC on 2022-11-12.