Logs on 2022-02-27 (liberachat/#haskell)
| 00:03:13 | × | komikat quits (~komikat@183.82.154.239) (Ping timeout: 272 seconds) |
| 00:04:58 | × | cynomys quits (~cynomys@user/cynomys) (Quit: Lost terminal) |
| 00:08:36 | → | alx741 joins (~alx741@157.100.197.240) |
| 00:09:28 | → | komikat joins (~komikat@183.82.154.239) |
| 00:10:55 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
| 00:13:33 | <hpc> | maybe after dependent types? :D |
| 00:14:57 | × | kaph quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 00:18:37 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 00:23:43 | <Cale> | The problem is, to the extent that it would really serve a purpose, it's a bit of a research project in and of itself. One of the major reasons you'd want a new Haskell Report is to be able to explain how all the various extensions people are using are meant to fit together and interact with one another. But this is only partly understood, and it's basically a research project that likely requires effort by some of |
| 00:23:43 | <Cale> | the busiest people to actually answer. |
| 00:24:13 | → | dfghjk joins (~asdfghjkl@2001:871:23a:2ac8:3759:5214:cdd8:8e36) |
| 00:24:48 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 00:26:31 | <geekosaur> | not to mention that there's "meant to" vs. "actually do", which at this point probably nobody knows |
| 00:27:11 | → | Techcable joins (~Techcable@168.235.93.147) |
| 00:27:27 | <Cale> | Yeah! |
| 00:27:27 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 00:27:34 | <APic> | yay |
| 00:27:47 | → | kaph joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 00:28:56 | <Cale> | If it's a matter of staring hard at GHC's source code and trying to describe what would happen, that's one thing, but you're going to be reporting on a bunch of stuff that might be considered bugs, and a lot of people think of the Report as a standard. |
| 00:30:14 | × | michalz quits (~michalz@185.246.204.87) (Remote host closed the connection) |
| 00:31:48 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 00:34:01 | × | Ariakenom quits (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Quit: Leaving) |
| 00:35:41 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Remote host closed the connection) |
| 00:37:16 | → | alx741 joins (~alx741@157.100.197.240) |
| 00:38:46 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 00:40:17 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 00:44:12 | × | `2jt quits (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 00:46:05 | × | mmhat quits (~mmh@55d4cbdc.access.ecotel.net) (Quit: WeeChat 3.4) |
| 00:49:02 | → | mvk joins (~mvk@2607:fea8:5cc3:7e00::8c21) |
| 00:52:14 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 00:55:49 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) |
| 00:57:17 | → | alx741 joins (~alx741@157.100.197.240) |
| 01:02:01 | × | jgeerds quits (~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 256 seconds) |
| 01:03:05 | <Unicorn_Princess> | who thought it would be clever to flip the argument order for foldl/foldr anyway? |
| 01:04:02 | <ski> | it's supposed to reflect the ordering in which the elements are combined |
| 01:04:09 | <Unicorn_Princess> | hence "clever" |
| 01:04:27 | <ski> | > foldr (+) z [a,b,c,d] |
| 01:04:29 | <lambdabot> | a + (b + (c + (d + z))) |
| 01:04:31 | <ski> | > foldl (**) z [a,b,c,d] |
| 01:04:33 | <lambdabot> | (((z**a)**b)**c)**d |
| 01:05:10 | <Unicorn_Princess> | ooh, lambdabot does symbolic calcs now? |
| 01:05:10 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 01:05:34 | <Unicorn_Princess> | that's pretty neat |
| 01:05:39 | <geekosaur> | has for a while. you can also do them in ghci, with |
| 01:05:44 | <geekosaur> | @hackage simple-reflect |
| 01:05:44 | <lambdabot> | https://hackage.haskell.org/package/simple-reflect |
| 01:05:46 | × | dfghjk quits (~asdfghjkl@2001:871:23a:2ac8:3759:5214:cdd8:8e36) (Ping timeout: 245 seconds) |
| 01:06:29 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 252 seconds) |
| 01:06:33 | × | off^ quits (~off@50-202-219-146-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 01:07:55 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 01:08:11 | <ski> | SML has |
| 01:08:17 | <ski> | val foldr : ('a * 'r -> 'r) -> 'r -> 'a list -> 'r |
| 01:08:25 | <ski> | val foldl : ('a * 's -> 's) -> 's -> 'a list -> 's |
| 01:08:31 | <ski> | while OCaml has |
| 01:08:37 | <ski> | val fold_right : ('a -> 'r -> 'r) -> ('a list -> 'r -> 'r) |
| 01:08:38 | <ski> | val fold_left : ('s -> 'a -> 's) -> ('s -> 'a list -> 's) |
| 01:10:22 | <ski> | in the SML version, `foldr' and `foldl' has the same type. in the OCaml version, you can do e.g. `fold_right (fold_right f) z' or `(fold_right o fold_right) f z' (and ditto with `fold_left), to fold a list of lists |
| 01:10:48 | <ski> | (since the haskell `foldr' and `foldl' takes the list as the last argument, you can't do that there) |
| 01:10:51 | <Unicorn_Princess> | look i am here to complain, not learn |
| 01:10:53 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:10:59 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 01:11:58 | <ski> | (one could argue that the Haskell ones combine the worst of the other two) |
| 01:13:41 | × | xff0x quits (~xff0x@2001:1a81:5275:9000:6fcf:72fa:90c9:3b0d) (Ping timeout: 245 seconds) |
| 01:14:41 | → | xff0x joins (~xff0x@2001:1a81:5275:9000:7e1f:e9dd:90c3:100) |
| 01:16:22 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 01:16:22 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 01:16:22 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:17:00 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:21:25 | → | alx741 joins (~alx741@157.100.197.240) |
| 01:23:03 | × | AlexNoo quits (~AlexNoo@94.233.240.108) (Read error: Connection reset by peer) |
| 01:23:25 | → | AlexNoo joins (~AlexNoo@94.233.240.108) |
| 01:24:39 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 01:25:24 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 01:26:33 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 01:26:47 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:26:55 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 01:27:09 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:27:11 | × | omantere quits (~pi@85-156-109-34.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
| 01:27:16 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 01:27:30 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:27:38 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 01:27:46 | → | omantere joins (~pi@85-156-109-34.elisa-laajakaista.fi) |
| 01:27:53 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:28:01 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 01:28:15 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:28:23 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 01:28:37 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:28:45 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 01:28:58 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:29:06 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 01:29:20 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:29:28 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 01:29:33 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 01:29:43 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:29:51 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 01:30:06 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:30:14 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 01:30:28 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:30:36 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 01:30:50 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:30:58 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 01:31:12 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:31:20 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 01:31:35 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:31:43 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 01:31:56 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:32:04 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 01:32:19 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:32:27 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 01:33:03 | → | Guest47 joins (~Guest47@2601:182:4300:ad80:4469:39f:2fe1:2401) |
| 01:34:44 | × | Guest47 quits (~Guest47@2601:182:4300:ad80:4469:39f:2fe1:2401) (Client Quit) |
| 01:40:21 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 01:41:26 | → | alx741 joins (~alx741@157.100.197.240) |
| 01:45:43 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 01:51:57 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 01:55:34 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Remote host closed the connection) |
| 02:03:58 | → | alx741 joins (~alx741@157.100.197.240) |
| 02:12:11 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 02:30:35 | → | alx741 joins (~alx741@157.100.197.240) |
| 02:37:14 | × | shapr quits (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 02:37:27 | → | shapr joins (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 02:39:17 | × | justAstache quits (~justache@user/justache) (Remote host closed the connection) |
| 02:39:25 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 02:39:37 | × | mvk quits (~mvk@2607:fea8:5cc3:7e00::8c21) (Ping timeout: 240 seconds) |
| 02:40:14 | → | justAstache joins (~justache@user/justache) |
| 02:42:52 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) |
| 02:42:56 | × | alp quits (~alp@user/alp) (Ping timeout: 268 seconds) |
| 02:45:10 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 02:45:41 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 02:48:22 | → | lavaman joins (~lavaman@98.38.249.169) |
| 02:52:02 | × | xff0x quits (~xff0x@2001:1a81:5275:9000:7e1f:e9dd:90c3:100) (Ping timeout: 260 seconds) |
| 02:52:02 | <systemfault> | If you ever wanted to write an emulator in Haskell, would you use "IORef"s the CPU state or is there a better way to go? |
| 02:53:54 | → | xff0x joins (~xff0x@2001:1a81:5290:f100:db11:c908:8062:e9b4) |
| 02:55:37 | → | alx741 joins (~alx741@157.100.197.240) |
| 02:58:37 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 03:07:17 | × | wroathe quits (~wroathe@user/wroathe) (Quit: leaving) |
| 03:07:39 | × | little_mac quits (~little_ma@2601:410:4300:3ce0:c06a:2206:8e98:4506) (Remote host closed the connection) |
| 03:09:03 | → | little_mac joins (~little_ma@2601:410:4300:3ce0:2d88:c0d2:c5af:c01e) |
| 03:09:15 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 03:13:12 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:13:12 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:13:12 | finn_elija | is now known as FinnElija |
| 03:17:01 | → | alx741 joins (~alx741@157.100.197.240) |
| 03:17:31 | × | mason0 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC) |
| 03:20:09 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 03:22:42 | × | td_ quits (~td@94.134.91.30) (Ping timeout: 272 seconds) |
| 03:23:48 | → | td_ joins (~td@muedsl-82-207-238-210.citykom.de) |
| 03:25:58 | → | jz99 joins (~jz99@150.203.66.198) |
| 03:26:20 | × | jz99 quits (~jz99@150.203.66.198) (Remote host closed the connection) |
| 03:29:37 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 03:29:57 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Client Quit) |
| 03:30:36 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 03:37:02 | → | alx741 joins (~alx741@157.100.197.240) |
| 03:37:48 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 03:38:12 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 03:40:55 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 03:41:32 | → | alx741 joins (~alx741@157.100.197.240) |
| 03:42:24 | → | lavaman joins (~lavaman@98.38.249.169) |
| 03:45:58 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 03:47:29 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:47:56 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Quit: leaving) |
| 03:50:00 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 03:50:00 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 03:50:00 | → | wroathe joins (~wroathe@user/wroathe) |
| 03:54:52 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 03:56:31 | <ski> | systemfault : do you need multiple threads ? |
| 03:56:55 | <systemfault> | ski: I don't |
| 03:57:58 | <ski> | perhaps it'd be enough just to use `STRef', or maybe `State'/`StateT' ? |
| 03:59:24 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 04:00:44 | <systemfault> | I really want "actual mutations" for things like CPU registers so I wanted to avoid State(T), but STRef looks perfect |
| 04:00:59 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 04:01:04 | <ski> | for memory, perhaps you could use `STArray' |
| 04:01:10 | <ski> | (or `STUArray') |
| 04:01:27 | <systemfault> | U? Unboxed? |
| 04:01:31 | <ski> | yea |
| 04:01:52 | <systemfault> | Makes sense, thank you :) |
| 04:03:53 | → | alx741 joins (~alx741@157.100.197.240) |
| 04:04:12 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 04:06:53 | <ski> | np |
| 04:11:16 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 04:18:12 | × | yuvi quits (~uv125@192.54.96.185) (Ping timeout: 240 seconds) |
| 04:24:56 | × | adanwan_ quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 04:25:10 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 04:25:56 | × | ddb quits (~ddb@ipv6two.tilde.club) (Quit: WeeChat 3.4) |
| 04:27:13 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 04:28:31 | → | komikat_ joins (~komikat@183.82.154.152) |
| 04:28:35 | → | mcglk joins (~mcglk@131.191.49.120) |
| 04:29:05 | × | mcglk_ quits (~mcglk@131.191.49.120) (Ping timeout: 256 seconds) |
| 04:29:22 | → | alx741 joins (~alx741@157.100.197.240) |
| 04:30:47 | × | komikat quits (~komikat@183.82.154.239) (Ping timeout: 256 seconds) |
| 04:31:06 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 04:31:37 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 04:32:48 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 04:33:03 | × | mcglk quits (~mcglk@131.191.49.120) (Ping timeout: 256 seconds) |
| 04:33:08 | → | mcglk_ joins (~mcglk@131.191.49.120) |
| 04:34:17 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 04:35:37 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 04:40:57 | × | mcglk_ quits (~mcglk@131.191.49.120) (Ping timeout: 240 seconds) |
| 04:41:55 | → | lavaman joins (~lavaman@98.38.249.169) |
| 04:43:47 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 04:45:20 | → | deadmarshal joins (~deadmarsh@95.38.228.84) |
| 04:51:13 | → | alx741 joins (~alx741@181.199.42.143) |
| 04:55:28 | → | sleblanc joins (~sleblanc@user/sleblanc) |
| 04:55:57 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 05:02:32 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 05:06:57 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 05:12:38 | → | alx741 joins (~alx741@181.199.42.143) |
| 05:16:18 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 05:17:28 | → | mcglk joins (~mcglk@131.191.49.120) |
| 05:18:57 | × | xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 05:25:35 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 05:31:56 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 05:33:05 | → | alx741 joins (~alx741@157.100.197.240) |
| 05:34:58 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 05:37:06 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 05:40:45 | × | wroathe quits (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 05:47:25 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 05:48:25 | × | deadmarshal quits (~deadmarsh@95.38.228.84) (Ping timeout: 256 seconds) |
| 05:49:03 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 05:50:05 | → | bahamas joins (~lucian@84.232.140.52) |
| 05:55:36 | → | alx741 joins (~alx741@181.199.42.143) |
| 06:00:02 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 06:09:41 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 06:10:19 | × | komikat_ quits (~komikat@183.82.154.152) (Remote host closed the connection) |
| 06:10:31 | → | komikat joins (~komikat@183.82.154.152) |
| 06:10:43 | <gentauro> | I'm trying to figure out `sequenceA` and it seems that I go in some self referencing `meh`. Apparently `sequenceA` is based on `traverse` and `traverse` is based on `sequenceA` … https://hackage.haskell.org/package/base-4.16.0.0/docs/src/Data.Traversable.html#sequenceA and https://hackage.haskell.org/package/base-4.16.0.0/docs/src/Data.Traversable.html#traverse |
| 06:13:26 | <c_wraith> | traverse = fmap + sequenceA |
| 06:14:05 | <c_wraith> | Instances of Traversable have to be instances of Functor, so you get to implement either traverse or sequenceA and get the other for free |
| 06:14:42 | <ski> | mutually recursive default implementations |
| 06:15:04 | <ski> | same deal as with `(==)' and `(/=)', for `Eq' |
| 06:15:12 | <c_wraith> | That's the important part - they both belong to Traversable. You need to define one of them in your instance. |
| 06:15:18 | <c_wraith> | (or both, if you want) |
| 06:15:40 | <c_wraith> | So there really isn't a generic implementation. They're all type-specific |
| 06:15:59 | <ski> | {-# MINIMAL traverse | sequenceA #-} -- minimal complete definition requires one of these |
| 06:16:31 | × | Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 06:17:01 | → | alx741 joins (~alx741@181.199.42.143) |
| 06:17:49 | × | phma quits (~phma@host-67-44-208-8.hnremote.net) (Read error: Connection reset by peer) |
| 06:18:44 | → | phma joins (phma@2001:5b0:211b:a778:8216:9331:d066:4cc5) |
| 06:20:07 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 06:21:29 | → | deadmarshal joins (~deadmarsh@95.38.228.84) |
| 06:22:09 | × | dolio quits (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 06:28:25 | → | dolio joins (~dolio@130.44.130.54) |
| 06:29:49 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 06:31:00 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 06:31:59 | → | bahamas joins (~lucian@84.232.140.52) |
| 06:32:10 | → | yuvi joins (~uv125@192.54.96.185) |
| 06:34:33 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 06:35:36 | × | alMalsamo quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 06:36:35 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 06:37:09 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 06:37:32 | → | alx741 joins (~alx741@157.100.197.240) |
| 06:38:08 | → | bahamas joins (~lucian@84.232.140.52) |
| 06:38:11 | → | img joins (~img@user/img) |
| 06:38:37 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 06:39:04 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 06:39:23 | → | kmein joins (~weechat@user/kmein) |
| 06:40:25 | → | cynomys joins (~cynomys@user/cynomys) |
| 06:40:59 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 06:42:08 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 06:42:36 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 06:48:43 | → | analognoise joins (~analognoi@ip98-176-154-48.sd.sd.cox.net) |
| 06:57:45 | → | alx741 joins (~alx741@181.199.42.143) |
| 06:58:25 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 06:59:10 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 07:01:10 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 07:02:49 | → | alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 07:07:09 | → | alMalsam1 joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 07:08:32 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 07:08:47 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 07:13:00 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 07:16:38 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 07:18:12 | → | alx741 joins (~alx741@157.100.197.240) |
| 07:19:50 | → | fef joins (~thedawn@user/thedawn) |
| 07:21:35 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 07:28:05 | → | img joins (~img@user/img) |
| 07:29:50 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 07:32:40 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 07:36:35 | → | little_mac_ joins (~little_ma@c-24-127-188-93.hsd1.mi.comcast.net) |
| 07:37:16 | × | little_mac_ quits (~little_ma@c-24-127-188-93.hsd1.mi.comcast.net) (Client Quit) |
| 07:38:33 | → | little_mac_ joins (~little_ma@c-24-127-188-93.hsd1.mi.comcast.net) |
| 07:38:37 | × | little_mac quits (~little_ma@2601:410:4300:3ce0:2d88:c0d2:c5af:c01e) (Ping timeout: 240 seconds) |
| 07:39:37 | → | alx741 joins (~alx741@157.100.197.240) |
| 07:43:22 | → | Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 07:43:22 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 07:44:02 | → | vorpuni joins (~pvorp@2001:861:3881:c690:fccd:4785:fec8:6e0c) |
| 07:45:50 | → | bahamas joins (~lucian@84.232.140.52) |
| 07:46:37 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 07:47:57 | × | Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 07:50:17 | × | komikat quits (~komikat@183.82.154.152) (Remote host closed the connection) |
| 07:50:39 | → | komikat joins (~komikat@183.82.154.152) |
| 07:51:52 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 272 seconds) |
| 07:53:53 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 08:01:14 | → | alx741 joins (~alx741@181.199.42.143) |
| 08:04:02 | → | _xor joins (~xor@dsl-50-5-233-169.fuse.net) |
| 08:05:39 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 08:09:45 | → | yauhsien_ joins (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) |
| 08:10:45 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 08:10:52 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 08:11:54 | × | srk quits (~sorki@user/srk) (Remote host closed the connection) |
| 08:12:11 | → | srk joins (~sorki@user/srk) |
| 08:12:55 | × | yauhsienhuangtw quits (~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 08:19:31 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 08:20:35 | × | yuvi quits (~uv125@192.54.96.185) (Ping timeout: 256 seconds) |
| 08:22:22 | → | little_mac joins (~little_ma@2601:410:4300:3ce0:2d88:c0d2:c5af:c01e) |
| 08:23:08 | × | little_mac quits (~little_ma@2601:410:4300:3ce0:2d88:c0d2:c5af:c01e) (Client Quit) |
| 08:23:46 | → | little_mac joins (~little_ma@2601:410:4300:3ce0:2d88:c0d2:c5af:c01e) |
| 08:23:57 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 08:24:18 | → | bahamas joins (~lucian@84.232.140.52) |
| 08:25:26 | × | little_mac_ quits (~little_ma@c-24-127-188-93.hsd1.mi.comcast.net) (Ping timeout: 272 seconds) |
| 08:27:36 | → | alx741 joins (~alx741@157.100.197.240) |
| 08:27:53 | × | little_mac quits (~little_ma@2601:410:4300:3ce0:2d88:c0d2:c5af:c01e) (Client Quit) |
| 08:28:36 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 08:29:05 | × | cynomys quits (~cynomys@user/cynomys) (Ping timeout: 256 seconds) |
| 08:32:21 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 08:40:39 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 08:44:32 | → | agumonkey joins (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 08:45:42 | → | cynomys joins (~cynomys@user/cynomys) |
| 08:50:09 | → | alx741 joins (~alx741@157.100.197.240) |
| 08:51:18 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 08:53:00 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 08:53:41 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 09:00:13 | × | soft quits (~soft@2001:470:69fc:105::c75) (Quit: You have been kicked for being idle) |
| 09:00:13 | × | benjamin[m]123 quits (~benjaminm@2001:470:69fc:105::1:3f2f) (Quit: You have been kicked for being idle) |
| 09:00:22 | → | alp joins (~alp@user/alp) |
| 09:00:28 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 09:01:42 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Remote host closed the connection) |
| 09:02:00 | × | analognoise quits (~analognoi@ip98-176-154-48.sd.sd.cox.net) (Quit: Leaving) |
| 09:02:20 | → | bahamas joins (~lucian@84.232.140.52) |
| 09:04:40 | → | Akiva joins (~Akiva@user/Akiva) |
| 09:05:47 | → | random-jellyfish joins (~random-je@user/random-jellyfish) |
| 09:09:16 | → | alx741 joins (~alx741@157.100.197.240) |
| 09:13:18 | → | lavaman joins (~lavaman@98.38.249.169) |
| 09:13:25 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 09:15:36 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 09:15:57 | × | xff0x quits (~xff0x@2001:1a81:5290:f100:db11:c908:8062:e9b4) (Ping timeout: 240 seconds) |
| 09:16:26 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 09:16:34 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:17:05 | → | xff0x joins (~xff0x@2001:1a81:5290:f100:89ec:887a:1b64:e62f) |
| 09:25:08 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 09:30:23 | → | mbuf joins (~Shakthi@122.162.139.196) |
| 09:33:37 | → | alx741 joins (~alx741@157.100.197.240) |
| 09:35:48 | × | Akiva quits (~Akiva@user/Akiva) (Ping timeout: 240 seconds) |
| 09:36:52 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 09:43:00 | × | alp quits (~alp@user/alp) (Ping timeout: 240 seconds) |
| 09:43:34 | → | img joins (~img@user/img) |
| 09:44:04 | → | lavaman joins (~lavaman@98.38.249.169) |
| 09:48:16 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 09:48:26 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 09:51:46 | × | phma quits (phma@2001:5b0:211b:a778:8216:9331:d066:4cc5) (Read error: Connection reset by peer) |
| 09:52:27 | → | dfghjk joins (~asdfghjkl@2001:871:23a:2ac8:a707:a23c:188e:f142) |
| 09:53:25 | → | phma joins (phma@2001:5b0:211c:1ab8:fe78:9588:6bf8:c889) |
| 09:53:52 | → | alx741 joins (~alx741@181.199.42.143) |
| 09:56:58 | → | notzmv joins (~zmv@user/notzmv) |
| 09:58:00 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 09:58:24 | → | jespada joins (~jespada@148.252.133.30) |
| 10:00:06 | × | cynomys quits (~cynomys@user/cynomys) (Quit: Lost terminal) |
| 10:02:06 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) |
| 10:03:51 | × | jespada quits (~jespada@148.252.133.30) (Read error: Connection reset by peer) |
| 10:04:36 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 10:05:58 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 10:06:10 | → | fendor joins (~fendor@178.165.185.73.wireless.dyn.drei.com) |
| 10:06:16 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 10:06:17 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Ping timeout: 240 seconds) |
| 10:08:08 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 10:08:16 | → | cynomys joins (~cynomys@user/cynomys) |
| 10:09:28 | → | fef joins (~thedawn@user/thedawn) |
| 10:09:43 | → | mmhat joins (~mmh@55d4782f.access.ecotel.net) |
| 10:10:43 | → | bahamas joins (~lucian@84.232.140.52) |
| 10:12:14 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 10:12:35 | × | dextaa_ quits (~dextaa@user/dextaa) (Read error: Connection reset by peer) |
| 10:12:57 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 10:14:12 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 10:14:50 | → | dextaa_ joins (~dextaa@user/dextaa) |
| 10:15:15 | → | alx741 joins (~alx741@157.100.197.240) |
| 10:18:54 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 10:22:37 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 272 seconds) |
| 10:24:20 | → | `2jt joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 10:27:23 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 10:33:43 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 10:36:52 | → | alx741 joins (~alx741@157.100.197.240) |
| 10:38:24 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 10:39:55 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 10:48:56 | × | dfghjk quits (~asdfghjkl@2001:871:23a:2ac8:a707:a23c:188e:f142) (Ping timeout: 252 seconds) |
| 10:53:37 | → | bahamas joins (~lucian@84.232.140.52) |
| 10:54:31 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 10:57:08 | → | alx741 joins (~alx741@157.100.197.240) |
| 10:57:23 | → | lavaman joins (~lavaman@98.38.249.169) |
| 11:00:37 | × | thebnq quits (~bnq@66-37-19-52.phx.onelemur.com) (Ping timeout: 272 seconds) |
| 11:00:37 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 11:01:32 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 11:02:25 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 11:02:52 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 11:09:29 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 11:09:49 | → | bendo joins (~bendo@95.91.235.187) |
| 11:10:07 | → | Guest66 joins (~Guest66@vmi275462.contaboserver.net) |
| 11:10:27 | <Guest66> | Hi guys - has a simple pattern matching question |
| 11:10:35 | <Guest66> | is this the right place to ask? |
| 11:10:47 | <tomsmeding> | sure :) |
| 11:12:26 | → | thebnq joins (~bnq@66-37-19-52.phx.onelemur.com) |
| 11:12:33 | <Guest66> | How do i pattern match a list with a single element? I've seen some people use simply [x] but how does the compiler know that x is an instance of a single element and not a list in itself |
| 11:12:53 | <tomsmeding> | does it matter that x is itself not a list? |
| 11:13:59 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 11:14:03 | <Guest66> | what confuses me is that x is just the convention isn't it? how would the compiler differentiate between [x] and [xs] ? I believe both are just placeholders |
| 11:14:10 | <Guest66> | Or I maybe wrong |
| 11:14:18 | <tomsmeding> | yes there is no difference, x or xs is just a variable name |
| 11:14:34 | <tomsmeding> | % f1 :: Show a => [a] -> String ; f [guest66favourite] = "yep, only one: " ++ show guest66favourite ; f _ = "nope, not precisely one" |
| 11:14:34 | <yahb> | tomsmeding: ; <interactive>:4:1: error:; The type signature for `f1' lacks an accompanying binding; Perhaps you meant `f' (Defined at <interactive>:4:33) |
| 11:14:41 | <tomsmeding> | % f1 :: Show a => [a] -> String ; f1 [guest66favourite] = "yep, only one: " ++ show guest66favourite ; f1 _ = "nope, not precisely one" |
| 11:14:42 | <yahb> | tomsmeding: |
| 11:14:46 | <tomsmeding> | f1 [42] |
| 11:14:51 | <tomsmeding> | % f1 [42] |
| 11:14:51 | <yahb> | tomsmeding: "yep, only one: 42" |
| 11:14:57 | <tomsmeding> | % f1 [1,2,3] |
| 11:14:57 | <yahb> | tomsmeding: "nope, not precisely one" |
| 11:14:59 | <tomsmeding> | % f1 [] |
| 11:14:59 | <yahb> | tomsmeding: "nope, not precisely one" |
| 11:15:11 | <tomsmeding> | (sorry for messing up a bit) |
| 11:15:50 | <Guest66> | Ok - so I was basically trying to solve for a function recursively that picks the last element of a list. |
| 11:15:51 | <Guest66> | the way I defined it was this |
| 11:15:51 | <Guest66> | lst :: [a] -> a |
| 11:15:52 | <Guest66> | lst (x:xs) | null xs = x |
| 11:15:52 | <Guest66> | | otherwise = lst xs |
| 11:16:04 | <Guest66> | is this the correct way? Or is there a "better way" ? |
| 11:16:23 | <tomsmeding> | well it's _correct_ for sure, but I think it can be written slightly more neatly |
| 11:16:45 | <tomsmeding> | % lst :: [a] -> a ; lst [x] = x ; lst (_:xs) = lst xs ; lst [] = error "lst on empty list" |
| 11:16:45 | <yahb> | tomsmeding: |
| 11:16:50 | <Guest66> | please tell me how. This is what got me thinking about matching a single element list |
| 11:16:53 | <tomsmeding> | (read a newline in place of the ; ) |
| 11:17:17 | × | thebnq quits (~bnq@66-37-19-52.phx.onelemur.com) (Ping timeout: 240 seconds) |
| 11:17:25 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 11:17:28 | <tomsmeding> | the first case ("lst [x] = x") only matches if the input list has precisely one element, and if so, returns that element |
| 11:17:51 | → | fendor_ joins (~fendor@77.119.171.203.wireless.dyn.drei.com) |
| 11:18:06 | <tomsmeding> | if the input list doesn't have precisely one element, but if it does match "_:xs" (where "xs" is of course an arbitrary name), then it's nonempty, and thus of length >=2; we recurse |
| 11:18:26 | <Guest66> | ah ok so [x] is the idiomatic way of pattern checking for a single element? |
| 11:18:38 | <tomsmeding> | otherwise, the argument must be empty, in which case we error (you omitted this case, which basically means the same thing, except the error you get is "nonexhaustive pattern" instead of my custom string) |
| 11:18:43 | <tomsmeding> | yeah |
| 11:18:46 | → | alx741 joins (~alx741@181.199.42.143) |
| 11:19:42 | <Guest66> | ok, thanks - yes, omitted the error, just getting started with solving problems from the Hutton book |
| 11:20:15 | × | fendor quits (~fendor@178.165.185.73.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 11:20:26 | <tomsmeding> | some general rules of thumb in haskell: 1. if you're using head/tail, you should probably have pattern-matched somewhere. 2. if you're using null, then there's a good chance you should have pattern-matched somewhere: by pattern-matching, you get _proof_ that the argument is indeed of that form, meaning that in the alternative case you _know_ it's non-empty without the compiler complaining |
| 11:21:21 | <tomsmeding> | in your case neither of these is really a problem -- which is why they're called rules of thumb, not laws -- but still, if you can replace head/tail/null with pattern matching, it's usually nicer |
| 11:21:41 | <Guest66> | hmm that's helpful to know, hope i remember, a little too much for me to grasp |
| 11:21:48 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 11:22:06 | → | __monty__ joins (~toonn@user/toonn) |
| 11:22:32 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 11:22:44 | → | thebnq joins (~bnq@66-37-19-52.phx.onelemur.com) |
| 11:23:14 | → | alx741 joins (~alx741@181.199.42.143) |
| 11:24:02 | <tomsmeding> | I guess an example is this: suppose you write "sum' l = if null l then 0 else head l + sum' (tail l)". Perfectly working function that computes the sum of a list. |
| 11:24:35 | <tomsmeding> | but it's easy to accidentally switch the branches around: "sum' l = if null l then head l + sum' (tail l) else l" |
| 11:24:43 | <tomsmeding> | and the compiler will not warn you |
| 11:24:52 | <tomsmeding> | (but it will completely fail at runtime) |
| 11:25:21 | <tomsmeding> | however, if you wrote the function like this: "sum' [] = 0 ; sum' (x:xs) = x + sum' xs", then not only is it shorter, you also can't make a mistake: |
| 11:25:55 | <tomsmeding> | if you accidentally write "sum' [] = x + sum' xs ; sum (x:xs) = 0", then, well, you won't make that mistake because it looks stupid, but also you can't because the compiler will of course complain that x and xs are out of scope :) |
| 11:26:19 | <tomsmeding> | Guest66: does that help? |
| 11:26:55 | <Guest66> | somewhat |
| 11:26:56 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 11:27:27 | <Guest66> | thanks a ton tomsmeding - you're awesome. I think I should join this chat and talk more while I try to learn |
| 11:27:34 | <tomsmeding> | :) |
| 11:27:39 | <tomsmeding> | good luck! |
| 11:27:52 | <Rembane> | Guest66: This chat is very good for learning by osmosis imo. |
| 11:28:36 | <Guest66> | Rembane yes, I realised just now. otherwise it seemed like I was the only person on the planet trying to learn this language :) |
| 11:29:30 | <Guest66> | btw are there notebook environments for haskell? like for python that makes prototyping/sharing code easier |
| 11:29:43 | <Rembane> | Guest66: There's a variant of Jupyter notebooks but for Haskell |
| 11:29:54 | <Rembane> | Guest66: I haven't used it in years though. |
| 11:30:17 | <Rembane> | Guest66: https://github.com/gibiansky/IHaskell <- this one |
| 11:30:26 | <Guest66> | Oh ok. Yes, that's why I asked because I am under the impression that people stop working on such projects |
| 11:30:41 | <Guest66> | cool, thanks |
| 11:31:23 | → | ccntrq joins (~Thunderbi@2a01:e34:eccb:b060:e7a0:e139:e720:60eb) |
| 11:31:24 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 11:32:07 | <Guest66> | how easy/difficult is it to built websites? using haskell on the backend. |
| 11:32:34 | × | shriekingnoise quits (~shrieking@201.231.16.156) (Quit: Quit) |
| 11:33:42 | → | Midjak joins (~Midjak@82.66.147.146) |
| 11:33:57 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 11:34:15 | <c_wraith> | if you know how http servers work and how haskell works, it's quite easy to use any of a large number of libraries or frameworks to do that |
| 11:34:18 | → | __monty__ joins (~toonn@user/toonn) |
| 11:34:26 | <c_wraith> | I don't think any of them really teach you http or haskell, though |
| 11:35:52 | <bendo> | Hi guys, I would like to write simple library for streamdeck (usb keyboard device) using hidapi library |
| 11:35:56 | <Guest66> | hmm so kind of uphill |
| 11:36:41 | <bendo> | just little be woried if I can screw up my hardware some way |
| 11:37:35 | <bendo> | or it is totaly safe to communicate with usb device |
| 11:38:33 | → | coot joins (~coot@213.134.190.95) |
| 11:38:40 | <bendo> | or is there some way to simulate streamdeck (usb device) and write against it? |
| 11:39:48 | → | amazigh joins (~amirouche@user/amirouche) |
| 11:41:48 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 11:43:33 | → | alx741 joins (~alx741@157.100.197.240) |
| 11:46:26 | → | alp joins (~alp@user/alp) |
| 11:46:27 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 11:51:47 | → | worldhelloworld joins (uid543174@id-543174.helmsley.irccloud.com) |
| 11:52:09 | → | zeenk joins (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 11:52:13 | <worldhelloworld> | Joined :) |
| 11:52:42 | → | Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 11:52:50 | <worldhelloworld> | Any opinions on Programming in Haskell by Graham Hutton 2nd Edition? |
| 11:53:33 | <worldhelloworld> | Trying to solve first few chapters. Hope it will hold me in good stead |
| 11:54:55 | <geekosaur> | it's a good book |
| 11:55:59 | <bendo> | yes, it is good book |
| 11:56:57 | <bendo> | A Type of Programming by Renzo Carbonara is also nice book for evening reading :) |
| 11:57:19 | × | Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 11:57:20 | <worldhelloworld> | Great. Hoping solving exercises from Hutton will get me to a proficient level. |
| 11:57:47 | <worldhelloworld> | @bendo: hope it isn't too long. |
| 11:57:48 | <lambdabot> | Unknown command, try @list |
| 11:59:08 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 11:59:37 | → | coot joins (~coot@213.134.190.95) |
| 12:00:52 | <bendo> | I think is good to read more books. Every has different approach, or concentrate on diffrent things. |
| 12:01:40 | <worldhelloworld> | Definitely agree, just asking from a time optimization perspective. Have little and don't want to spread myself too thin. |
| 12:01:47 | <zero> | 1` |
| 12:01:57 | <worldhelloworld> | What would be your best recommendation in that case? |
| 12:02:40 | → | alx741 joins (~alx741@157.100.197.240) |
| 12:03:41 | <bendo> | if you don't have time. you can quickly check http://learnyouahaskell.com/chapters but it will maybe not explain some principles. |
| 12:04:16 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) |
| 12:06:17 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 12:06:23 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 12:06:43 | <bendo> | and maybe also check this lectures: https://www.cis.upenn.edu/~cis194/spring13/lectures.html |
| 12:07:23 | <bendo> | if you have a lot of time then go with A Type of Programming, it's really nice book |
| 12:08:24 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 12:08:46 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Ping timeout: 260 seconds) |
| 12:11:04 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 12:13:49 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 12:15:29 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 12:16:01 | × | Guest66 quits (~Guest66@vmi275462.contaboserver.net) (Ping timeout: 256 seconds) |
| 12:16:44 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 12:18:17 | × | Techcable quits (~Techcable@168.235.93.147) (Ping timeout: 256 seconds) |
| 12:20:11 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 12:20:18 | <__monty__> | The Hutton book is often recommended, LYAH isn't much more than a shallow introductionto FP. |
| 12:21:32 | <__monty__> | The lectures are also commonly recommended, specifically when Brent Yorgey taught them. |
| 12:22:41 | → | alx741 joins (~alx741@157.100.197.240) |
| 12:23:28 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 12:24:24 | → | dfghjk joins (~asdfghjkl@2001:871:23a:2ac8:49ae:fb0b:ec42:2df8) |
| 12:25:21 | × | mmhat quits (~mmh@55d4782f.access.ecotel.net) (Quit: WeeChat 3.4) |
| 12:26:21 | × | alp quits (~alp@user/alp) (Ping timeout: 250 seconds) |
| 12:26:56 | → | Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 12:28:08 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 12:29:05 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 12:29:45 | <worldhelloworld> | Thanks. Will definitely try to take a look at which is more suitable |
| 12:29:55 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 12:30:32 | × | komikat quits (~komikat@183.82.154.152) (Remote host closed the connection) |
| 12:31:24 | × | Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 12:31:25 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 12:31:38 | → | komikat joins (~komikat@183.82.154.152) |
| 12:33:21 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 12:37:48 | × | rtsn quits (~nstr@user/rtsn) (Ping timeout: 240 seconds) |
| 12:39:54 | → | rtsn joins (~nstr@h-155-4-221-229.NA.cust.bahnhof.se) |
| 12:40:57 | × | zeenk quits (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 12:44:00 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 12:45:05 | × | rtsn quits (~nstr@h-155-4-221-229.NA.cust.bahnhof.se) (Changing host) |
| 12:45:05 | → | rtsn joins (~nstr@user/rtsn) |
| 12:46:00 | × | komikat quits (~komikat@183.82.154.152) (Remote host closed the connection) |
| 12:46:02 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 12:48:20 | → | komikat joins (~komikat@183.82.154.152) |
| 12:49:19 | → | alx741 joins (~alx741@157.100.197.240) |
| 12:50:07 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 12:50:27 | × | komikat quits (~komikat@183.82.154.152) (Remote host closed the connection) |
| 12:50:39 | → | polezaivsani joins (~polezaivs@orangeshoelaces.net) |
| 12:50:49 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 12:52:34 | → | bahamas joins (~lucian@84.232.140.52) |
| 12:53:21 | → | komikat joins (~komikat@183.82.154.152) |
| 12:55:41 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 12:56:00 | → | lavaman joins (~lavaman@98.38.249.169) |
| 13:00:15 | → | Tuplanolla joins (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 13:00:24 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 13:00:42 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 13:01:28 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 13:04:56 | × | dfghjk quits (~asdfghjkl@2001:871:23a:2ac8:49ae:fb0b:ec42:2df8) (Ping timeout: 245 seconds) |
| 13:06:27 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 13:07:19 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 13:12:25 | → | deadmarshal_ joins (~deadmarsh@95.38.115.158) |
| 13:13:24 | × | deadmarshal quits (~deadmarsh@95.38.228.84) (Ping timeout: 240 seconds) |
| 13:14:08 | → | alx741 joins (~alx741@181.199.42.143) |
| 13:16:05 | × | cynomys quits (~cynomys@user/cynomys) (Ping timeout: 256 seconds) |
| 13:16:56 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 13:17:36 | → | alx741 joins (~alx741@157.100.197.240) |
| 13:20:27 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 13:20:40 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 13:21:45 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 13:22:58 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 13:33:25 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 13:33:48 | → | Vajb joins (~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) |
| 13:37:47 | → | alx741 joins (~alx741@157.100.197.240) |
| 13:40:24 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 13:40:24 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 13:40:39 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 13:40:54 | → | fef joins (~thedawn@user/thedawn) |
| 13:41:15 | × | fef quits (~thedawn@user/thedawn) (Client Quit) |
| 13:41:16 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 13:42:37 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 13:45:48 | × | bendo quits (~bendo@95.91.235.187) (Quit: leaving) |
| 13:48:05 | × | quintasan quits (~quassel@quintasan.pl) () |
| 13:48:38 | → | quintasan joins (~quassel@quintasan.pl) |
| 13:49:30 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 13:52:15 | × | sleblanc quits (~sleblanc@user/sleblanc) (Read error: Connection reset by peer) |
| 13:53:32 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 13:55:40 | → | bendo joins (~bendo@ip5f5bebbb.dynamic.kabel-deutschland.de) |
| 13:57:37 | → | bahamas joins (~lucian@84.232.140.52) |
| 13:57:48 | → | alx741 joins (~alx741@157.100.197.240) |
| 13:59:42 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 14:00:13 | × | tafa quits (~tafa@user/tafa) (Quit: ZNC - https://znc.in) |
| 14:01:38 | → | tafa joins (~tafa@user/tafa) |
| 14:01:38 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 14:05:27 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 14:06:03 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 14:06:04 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 14:10:21 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 14:12:12 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 240 seconds) |
| 14:12:35 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 14:16:13 | × | kaph quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 14:16:34 | → | fef joins (~thedawn@user/thedawn) |
| 14:16:39 | → | kaph joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 14:18:04 | → | alx741 joins (~alx741@157.100.197.240) |
| 14:19:34 | × | random-jellyfish quits (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 14:22:43 | × | Vajb quits (~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) (Read error: Connection reset by peer) |
| 14:22:56 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 14:24:38 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 14:24:38 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 14:27:17 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 14:27:36 | → | dfghjk joins (~asdfghjkl@2001:871:23a:2ac8:b7c9:3428:caec:95b3) |
| 14:29:45 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 14:32:07 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 14:36:37 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 14:41:15 | → | alx741 joins (~alx741@157.100.197.240) |
| 14:42:38 | → | lbseale joins (~ep1ctetus@user/ep1ctetus) |
| 14:42:47 | × | deadmarshal_ quits (~deadmarsh@95.38.115.158) (Ping timeout: 256 seconds) |
| 14:43:48 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 14:46:36 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 14:46:56 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 14:49:49 | → | son0p joins (~ff@181.136.122.143) |
| 14:50:13 | → | sofviic[m] joins (~sofviicma@2001:470:69fc:105::1:51fd) |
| 14:50:15 | → | lbseale_ joins (~ep1ctetus@user/ep1ctetus) |
| 14:53:23 | → | lbseale__ joins (~ep1ctetus@user/ep1ctetus) |
| 14:53:31 | × | lbseale__ quits (~ep1ctetus@user/ep1ctetus) (Client Quit) |
| 14:53:53 | × | lbseale quits (~ep1ctetus@user/ep1ctetus) (Ping timeout: 256 seconds) |
| 14:54:21 | × | komikat quits (~komikat@183.82.154.152) (Remote host closed the connection) |
| 14:56:35 | × | aforemny quits (~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 14:56:43 | <juri_> | CAF is a menace in my call graphs. that is all. |
| 14:57:23 | × | lbseale_ quits (~ep1ctetus@user/ep1ctetus) (Ping timeout: 268 seconds) |
| 14:59:07 | → | aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 14:59:16 | → | komikat joins (~komikat@183.82.154.152) |
| 14:59:44 | → | fef joins (~thedawn@user/thedawn) |
| 15:00:37 | → | alx741 joins (~alx741@157.100.197.240) |
| 15:00:42 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:03:20 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 15:06:41 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 15:08:34 | × | aforemny quits (~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:08:54 | <hpc> | juri_: you'd think you were writing coffeescript with how CAFinated your code is? |
| 15:11:16 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 250 seconds) |
| 15:11:36 | → | aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 15:13:05 | → | Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 15:14:49 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 15:15:59 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 15:17:01 | × | dfghjk quits (~asdfghjkl@2001:871:23a:2ac8:b7c9:3428:caec:95b3) (Ping timeout: 240 seconds) |
| 15:19:41 | × | aforemny quits (~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:19:44 | → | alx741 joins (~alx741@157.100.197.240) |
| 15:20:24 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 15:20:24 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Client Quit) |
| 15:21:43 | → | aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 15:22:32 | → | kaph_ joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 15:22:36 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 15:22:42 | × | kaph quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 15:23:30 | × | kaph_ quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Remote host closed the connection) |
| 15:23:46 | → | kaph joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 15:33:08 | → | komikat_ joins (~komikat@183.82.153.11) |
| 15:33:47 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 15:34:55 | × | komikat quits (~komikat@183.82.154.152) (Ping timeout: 256 seconds) |
| 15:37:50 | → | neurocyte0917090 joins (~neurocyte@IP-185238252134.dynamic.medianet-world.de) |
| 15:37:50 | × | neurocyte0917090 quits (~neurocyte@IP-185238252134.dynamic.medianet-world.de) (Changing host) |
| 15:37:50 | → | neurocyte0917090 joins (~neurocyte@user/neurocyte) |
| 15:39:36 | → | komikat joins (~komikat@183.82.153.11) |
| 15:40:16 | × | aforemny quits (~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:40:25 | → | alx741 joins (~alx741@157.100.197.240) |
| 15:40:36 | × | jonathanx__ quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 15:40:44 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Quit: WeeChat 3.4) |
| 15:40:56 | → | jonathanx__ joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 15:41:11 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 15:41:28 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 15:42:51 | × | komikat_ quits (~komikat@183.82.153.11) (Ping timeout: 256 seconds) |
| 15:43:48 | → | aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 15:43:48 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 15:45:37 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 15:49:29 | × | aforemny quits (~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:51:30 | → | aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 15:53:16 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 15:54:43 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 15:56:21 | × | Franciman quits (~Franciman@mx1.fracta.dev) (Remote host closed the connection) |
| 16:00:08 | × | aidy quits (~aidy@2001:470:69fc:105::c7b4) (Quit: You have been kicked for being idle) |
| 16:00:23 | → | cosimone joins (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 16:02:03 | → | alx741 joins (~alx741@157.100.197.240) |
| 16:04:12 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 16:04:31 | → | dsrt^ joins (~dsrt@50-202-219-146-static.hfc.comcastbusiness.net) |
| 16:05:19 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 16:05:28 | → | wroathe joins (~wroathe@user/wroathe) |
| 16:07:31 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) |
| 16:11:48 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Ping timeout: 240 seconds) |
| 16:12:29 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) |
| 16:12:40 | → | razetime joins (~quassel@117.254.34.170) |
| 16:16:32 | × | mbuf quits (~Shakthi@122.162.139.196) (Quit: Leaving) |
| 16:17:09 | → | Franciman joins (~Franciman@mx1.fracta.dev) |
| 16:22:18 | → | alx741 joins (~alx741@157.100.197.240) |
| 16:22:23 | → | bahamas joins (~lucian@84.232.140.52) |
| 16:25:33 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 16:25:48 | → | wombat875 joins (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 16:25:52 | → | xkuru joins (~xkuru@user/xkuru) |
| 16:26:12 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 16:26:26 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 16:28:02 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 16:29:36 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 16:30:57 | × | cosimone quits (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 16:31:38 | → | cosimone joins (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 16:37:51 | → | econo joins (uid147250@user/econo) |
| 16:37:57 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 16:38:39 | → | coot joins (~coot@213.134.190.95) |
| 16:39:29 | ← | Tisoxin parts (~ikosit@user/ikosit) () |
| 16:42:08 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 16:42:33 | → | alx741 joins (~alx741@157.100.197.240) |
| 16:42:53 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 16:45:48 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 16:47:24 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 16:47:26 | → | perro joins (~perro@072-191-245-069.res.spectrum.com) |
| 16:47:48 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 16:49:25 | × | n8chan quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 16:49:35 | → | mmhat joins (~mmh@55d4782f.access.ecotel.net) |
| 16:54:27 | → | dfghjk joins (~asdfghjkl@2001:871:23a:2ac8:f39:9b2:1d80:bff4) |
| 17:02:35 | → | alx741 joins (~alx741@157.100.197.240) |
| 17:03:37 | × | `2jt quits (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 256 seconds) |
| 17:04:55 | → | dvdrw joins (~dvdrw@user/dvdrw) |
| 17:05:25 | × | razetime quits (~quassel@117.254.34.170) (Ping timeout: 250 seconds) |
| 17:05:53 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 17:05:55 | × | dvdrw quits (~dvdrw@user/dvdrw) (Client Quit) |
| 17:10:00 | → | yuvi joins (~uv125@192.54.96.185) |
| 17:10:19 | → | sleblanc joins (~sleblanc@user/sleblanc) |
| 17:12:13 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 17:12:41 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Ping timeout: 256 seconds) |
| 17:13:49 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 17:22:57 | → | zebrag joins (~chris@user/zebrag) |
| 17:24:12 | → | alx741 joins (~alx741@157.100.197.240) |
| 17:24:41 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 17:25:23 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 17:25:28 | → | dvdrw joins (~dvdrw@user/dvdrw) |
| 17:26:24 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 17:28:36 | × | TonyStone quits (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 240 seconds) |
| 17:30:27 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 17:31:36 | × | alMalsamo quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 17:31:56 | × | alMalsam1 quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 17:34:43 | → | `2jt joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 17:39:24 | × | dfghjk quits (~asdfghjkl@2001:871:23a:2ac8:f39:9b2:1d80:bff4) (Remote host closed the connection) |
| 17:39:31 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 17:39:42 | → | dfghjk joins (~asdfghjkl@2001:871:23a:2ac8:88e9:e94c:848a:6b8f) |
| 17:40:45 | → | bahamas joins (~lucian@84.232.140.52) |
| 17:45:06 | → | TonyStone joins (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 17:45:11 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 17:46:36 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 17:47:25 | → | alx741 joins (~alx741@181.199.42.143) |
| 17:47:51 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds) |
| 17:48:55 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 17:50:08 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 17:51:01 | → | alp joins (~alp@user/alp) |
| 17:51:46 | × | TonyStone quits (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 260 seconds) |
| 17:52:45 | × | agumonkey quits (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Remote host closed the connection) |
| 17:54:03 | × | dvdrw quits (~dvdrw@user/dvdrw) (Quit: leaving) |
| 17:54:27 | × | mrus quits (~mrus@2001:19f0:5:1535:5400:3ff:fe7d:10ae) (Quit: Surfing the great wave off Kanagawa) |
| 17:57:43 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 17:59:53 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds) |
| 18:00:14 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 18:01:48 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 18:05:48 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 18:06:45 | → | alx741 joins (~alx741@157.100.197.240) |
| 18:09:31 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 18:09:37 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 18:13:07 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 18:19:55 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 18:21:34 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 18:23:43 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 18:24:59 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 18:26:05 | → | alx741 joins (~alx741@181.199.42.143) |
| 18:26:25 | → | deadmarshal joins (~deadmarsh@95.38.115.158) |
| 18:27:54 | × | dfghjk quits (~asdfghjkl@2001:871:23a:2ac8:88e9:e94c:848a:6b8f) (Remote host closed the connection) |
| 18:28:12 | → | dfghjk joins (~asdfghjkl@2001:871:23a:2ac8:8c40:dcd:5770:7609) |
| 18:28:51 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 18:29:34 | → | alx741 joins (~alx741@157.100.197.240) |
| 18:29:45 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 18:30:30 | × | dfghjk quits (~asdfghjkl@2001:871:23a:2ac8:8c40:dcd:5770:7609) (Client Quit) |
| 18:31:02 | × | deadmarshal quits (~deadmarsh@95.38.115.158) (Ping timeout: 250 seconds) |
| 18:32:31 | × | komikat quits (~komikat@183.82.153.11) (Remote host closed the connection) |
| 18:32:59 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 18:33:11 | → | komikat joins (~komikat@183.82.153.11) |
| 18:40:36 | × | paddymahoney quits (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 18:43:02 | → | dvdrw joins (~dvdrw@user/dvdrw) |
| 18:43:54 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:46:09 | × | dvdrw quits (~dvdrw@user/dvdrw) (Client Quit) |
| 18:46:43 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 18:48:00 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 18:51:08 | → | alx741 joins (~alx741@157.100.197.240) |
| 18:52:40 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 18:53:17 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 18:53:45 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 19:01:28 | → | TonyStone joins (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 19:05:01 | × | mc47 quits (~mc47@xmonad/TheMC47) (Ping timeout: 240 seconds) |
| 19:08:46 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
| 19:09:00 | × | ccntrq quits (~Thunderbi@2a01:e34:eccb:b060:e7a0:e139:e720:60eb) (Ping timeout: 240 seconds) |
| 19:09:02 | × | shapr quits (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 19:09:34 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 19:10:29 | → | alx741 joins (~alx741@157.100.197.240) |
| 19:10:57 | × | `2jt quits (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 19:14:17 | → | AlexZenon_2 joins (~alzenon@94.233.240.108) |
| 19:14:18 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 19:15:55 | × | AlexZenon quits (~alzenon@94.233.240.108) (Ping timeout: 256 seconds) |
| 19:16:45 | × | komikat quits (~komikat@183.82.153.11) (Remote host closed the connection) |
| 19:16:59 | → | komikat joins (~komikat@183.82.153.11) |
| 19:17:31 | <Zemyla> | Bool should be a monoid with the operation xor. |
| 19:17:56 | <Zemyla> | Because we already have newtypes around Bool which turn it into monoids with the operations and and or. |
| 19:19:08 | → | agumonkey joins (~user@88.163.231.79) |
| 19:21:02 | × | komikat quits (~komikat@183.82.153.11) (Remote host closed the connection) |
| 19:21:24 | → | komikat joins (~komikat@183.82.153.11) |
| 19:23:39 | × | komikat quits (~komikat@183.82.153.11) (Remote host closed the connection) |
| 19:24:58 | → | komikat joins (~komikat@183.82.153.11) |
| 19:25:34 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 19:29:26 | → | wroathe joins (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) |
| 19:29:26 | × | wroathe quits (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Changing host) |
| 19:29:26 | → | wroathe joins (~wroathe@user/wroathe) |
| 19:30:30 | → | alx741 joins (~alx741@157.100.197.240) |
| 19:30:36 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 19:31:58 | <davean> | Zemyla: No, because it isn't unambiguous which monoid Bool would be |
| 19:31:59 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 19:32:38 | <Zemyla> | Well, then we need an Xor newtype. |
| 19:33:21 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 19:34:55 | <sshine> | seems a bit fringe. admittedly like some other things in base. |
| 19:36:05 | <monochrom> | Did you know that xnor is also a Bool monoid operation :) |
| 19:39:09 | <davean> | make sure to include nand |
| 19:39:35 | <sshine> | and nor? |
| 19:39:40 | <davean> | Zemyla: it would be trivial for you to prepare a patch for such inclusion, and propose it |
| 19:41:11 | × | cosimone quits (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 19:41:49 | → | cosimone joins (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 19:43:21 | <monochrom> | No, nand is not associative. |
| 19:43:41 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 19:44:12 | <sshine> | it seems that the universal reversible gates I know (CSWAP, CCNOT) take three operands, so no luck there. |
| 19:44:38 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 19:44:45 | × | TonyStone quits (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 268 seconds) |
| 19:45:20 | → | TonyStone joins (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 19:45:52 | AlexZenon_2 | is now known as AlexZenon |
| 19:47:17 | → | alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 19:47:56 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 19:49:22 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 19:49:25 | → | cjb joins (~cjb@user/cjb) |
| 19:49:50 | → | alx741 joins (~alx741@157.100.197.240) |
| 19:50:13 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 19:50:57 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 19:50:59 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 19:51:57 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 19:52:44 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 19:53:50 | × | Kaiepi quits (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
| 19:54:00 | <monochrom> | You probably want universal primitives to break associativity somewhere. Lest you couldn't express non-associative functions. :) |
| 19:55:40 | → | Kaiepi joins (~Kaiepi@156.34.47.253) |
| 19:56:15 | → | wroathe joins (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) |
| 19:56:15 | × | wroathe quits (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Changing host) |
| 19:56:15 | → | wroathe joins (~wroathe@user/wroathe) |
| 19:57:51 | <c_wraith> | what? no one's ever needed division! |
| 19:58:15 | <geekosaur> | sounds divisive to me |
| 19:59:25 | <monochrom> | Do you need subtraction? :) |
| 20:00:08 | <monochrom> | If you remove subtraction, that's subtractive. >:) |
| 20:00:52 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
| 20:01:07 | → | Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 20:01:27 | → | lavaman joins (~lavaman@98.38.249.169) |
| 20:02:29 | → | ccntrq joins (~Thunderbi@imx92-1-78-204-187-6.fbx.proxad.net) |
| 20:04:36 | × | fendor_ quits (~fendor@77.119.171.203.wireless.dyn.drei.com) (Remote host closed the connection) |
| 20:06:01 | <byorgey> | exactly 8 of the 16 possible binary boolean functions are associative. Of those, 4 have an identity and thus form a monoid: and, or, xor (aka (/=)), xnor (aka (==)). |
| 20:06:24 | <byorgey> | the other 4 associative functions are boring: f _ _ = True, f _ _ = False, f x _ = x, and f _ y = y. |
| 20:06:57 | <byorgey> | which makes sense: a function that ignores one or both arguments can't have an identity. |
| 20:07:35 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Quit: Leaving) |
| 20:07:36 | × | komikat quits (~komikat@183.82.153.11) (Remote host closed the connection) |
| 20:07:39 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 20:07:46 | × | [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 20:07:57 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 20:09:11 | → | alx741 joins (~alx741@157.100.197.240) |
| 20:11:37 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 20:14:19 | <sshine> | byorgey, f x _ = x and f _ y = y aren't boring! |
| 20:14:52 | <sshine> | well, okay, they are boring. but they can be useful! |
| 20:17:00 | <byorgey> | I never said they aren't useful! =) |
| 20:17:07 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 20:19:06 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 20:23:49 | <__monty__> | But XOR wouldn't be a monoid, would it? |
| 20:23:54 | <__monty__> | There's no unit. |
| 20:23:56 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 20:24:00 | <__monty__> | Semigroup, yes. |
| 20:24:25 | <byorgey> | xor does have a unit. Think about it. |
| 20:24:39 | <__monty__> | Ah, yes. |
| 20:25:33 | <__monty__> | Don't mind me shimmying out of the room in embarassment. 😳 |
| 20:25:45 | <byorgey> | hehe, no worries =) |
| 20:26:01 | <byorgey> | xnor has a unit also (but the opposite one from xor, of course). |
| 20:26:17 | → | backes joins (~backes@85.195.206.214) |
| 20:27:23 | → | Techcable joins (~Techcable@168.235.93.147) |
| 20:28:11 | <backes> | hey, I installed ghc 8.6 on macos M1 with brew and rosetta, and now I installed the corresponding cabal version from https://www.haskell.org/cabal/download.html with the included readme . When I do `ghc-pkg list` the it shows me Cabal-2.4.0.1, however I don't know where the binary is installed. I can't execute "cabal-install" |
| 20:29:39 | → | alx741 joins (~alx741@157.100.197.240) |
| 20:29:58 | → | simeon joins (~pi@dslb-090-186-003-168.090.186.pools.vodafone-ip.de) |
| 20:30:23 | <geekosaur> | the Cabal library is not cabal-install |
| 20:31:09 | <geekosaur> | also why ghc 8.6? 8.10.7 has native M1 support |
| 20:31:42 | <geekosaur> | (confusingly, the cabal-install package installs an executable named "cabal") |
| 20:32:10 | <backes> | because I need to run a program that requires 8.6 and it throws errors on 8.10 |
| 20:32:28 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 20:32:30 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 20:33:11 | <backes> | it's part of the build process for an experimental OS and there is no possibility to fix it... So I'm just trying to install the recommended toolchain on macos |
| 20:33:47 | <backes> | however brew doesn't bundle old cabal-install packages, so I had to download and install it myself |
| 20:34:26 | → | yauhsien joins (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) |
| 20:34:27 | <byorgey> | backes: the executable for the cabal-instal package is named 'cabal' |
| 20:34:55 | × | sshine quits (~simon@hubris.eta.solutions) (Quit: 再见) |
| 20:35:08 | <geekosaur> | newer cabal-install should work with older ghc, but there would still be a problem because brewwould install a native one which would expect 8.10.7 and native libraries instead of 8.6 and rosetta |
| 20:35:16 | <backes> | still doesn't work. Can't find the file. I don't know where it's located, as $HOME/.cabal/bin is empty but it shouldn't according to the Readme |
| 20:35:54 | <backes> | geekosaur: yes, that's why I wanted to install cabal myself instead of messing with brew |
| 20:38:28 | <sm> | the binary is "cabal" |
| 20:38:55 | <geekosaur> | but where did it land, if .cabal/bin is empty? |
| 20:39:10 | <sm> | if stilll missing.. how did you install it ? |
| 20:39:16 | <geekosaur> | that I couldn't guess, too many weird variables here |
| 20:39:29 | <geekosaur> | " from https://www.haskell.org/cabal/download.html with the included readme" |
| 20:39:57 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 20:40:48 | sm | imagines a huge flowchart for resolving these install/uninstall issues, and an automated bot |
| 20:40:52 | → | michalz joins (~michalz@185.246.204.87) |
| 20:41:11 | → | simon_ joins (~simon@zhen.eta.solutions) |
| 20:41:36 | <backes> | I downloaded the tar, then followed the steps under "Installing as a user" which says that it installs cabal into $HOME/.cabal on Unix |
| 20:41:39 | simon_ | is now known as sshine |
| 20:41:39 | × | yauhsien quits (~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 20:41:45 | <backes> | I didn't get an error, but there's no binary at that location |
| 20:44:25 | <sm> | which tar, backes ? |
| 20:44:52 | <backes> | https://downloads.haskell.org/~cabal/Cabal-2.4.0.1/Cabal-2.4.0.1.tar.gz |
| 20:45:22 | × | alp quits (~alp@user/alp) (Ping timeout: 260 seconds) |
| 20:45:25 | → | Pickchea joins (~private@user/pickchea) |
| 20:45:26 | <backes> | the one that was listed as compatible with GHC 8.6.5 . I don't know if this is correct |
| 20:45:47 | <backes> | I just want to get this build script running and then forget about dependencies forever |
| 20:47:02 | <sm> | not correct, that's a source package for the Cabal library |
| 20:48:11 | <sm> | do you have any version of cabal |
| 20:48:11 | <sm> | or stack installed ? |
| 20:48:19 | × | alMalsamo quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 20:48:35 | → | alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 20:48:39 | <backes> | I had the one from brew installed before, but I removed it |
| 20:48:53 | <backes> | so no, I don't have cabal installed |
| 20:49:00 | → | alx741 joins (~alx741@157.100.197.240) |
| 20:51:11 | <sm> | there are probably many ways through the maze, but hard to describe one reliably without testing. Here's one I think would be effective: install multipass (easy ubuntu vm for your mac) and build in there, that would insulate you from the current intel vs arm complications |
| 20:51:47 | <sm> | what's your idea geekosaur |
| 20:52:22 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 20:52:29 | <backes> | I thought about a container, but they also all run on aarch64 except if I use a proper virtual machine. However virtualbox doesn't support the M1 as host... |
| 20:52:48 | <geekosaur> | that sounds sensible to me, since pretty much anything else invokes the whole m1 mess and a native built cabal or stack will force native libs etc. |
| 20:53:27 | <backes> | does ghc 8.6 run on arm linux? |
| 20:53:48 | <sm> | multipass runs.. an arm ubuntu, that's right. Still I'm assuming things would just work. But... |
| 20:54:36 | <sm> | alternative: as a stack user I'd probably use that - the one from fpcomplete's site which I think is still intel (not the one from ghcup) |
| 20:56:39 | <sm> | actually, you can force brew to install intel binaries by running it in rosetta. I forget exactly how, arch command I think. But I wouldn't really recommend it, having two brew worlds installed is confusing (even though they use different paths) |
| 20:57:06 | <backes> | sm: that's what I did to install ghc 8.6.5 but I'm now stuck at the second step, cabal |
| 20:57:56 | <backes> | I'm not sure if I can use a container, since I need qemu for virtualization and also USB passthrough to flash an embedded device. That might also be a hassle to get working |
| 20:58:36 | <sm> | isn't "Binary download for macOS (x86-64)" the tarball you want ? |
| 20:59:09 | <sm> | on https://www.haskell.org/cabal/download.html |
| 20:59:16 | → | jgeerds joins (~jgeerds@d53600c5.access.ecotel.net) |
| 20:59:18 | × | zmt00 quits (~zmt00@user/zmt00) (Quit: Leaving) |
| 20:59:32 | <backes> | can I use an arbitrary cabal version with ghc 8.6.5? I thought I'd need to match the versions somehow |
| 20:59:59 | <sm> | it looks like an intel binary and will work with ghc 8.6 just fine |
| 21:00:25 | <backes> | I noticed that ghc is not backwards compatible (ghc 8.10 doesn't work on this ghc 8.6.5 code) so I thought that now I need to be more carefull when installing dependencies |
| 21:00:27 | <sm> | cabal supports "all" ghc versions (generally speaking) |
| 21:00:48 | <backes> | okay, I'll give it a try. Thanks |
| 21:00:53 | → | pavonia joins (~user@user/siracusa) |
| 21:00:57 | <sm> | it will install deps specific to the ghc version used |
| 21:01:07 | → | zmt00 joins (~zmt00@user/zmt00) |
| 21:02:15 | <sm> | stack is a little better for replicating old builds, but yes give it a try |
| 21:02:33 | <geekosaur> | a Cabal library version comes with ghc and matches it. the cabal-install tool works with any version |
| 21:03:52 | <geekosaur> | and a newer Cabal library will work with an older ghc although I think the reverse is not always true |
| 21:04:35 | <backes> | that seems to work, I'm now installing cabal dependencies and get less and less errors! Thanks |
| 21:04:37 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 21:04:45 | <backes> | by "that", I mean the x86 binary of cabal for macos |
| 21:10:37 | → | alx741 joins (~alx741@157.100.197.240) |
| 21:12:17 | → | bahamas joins (~lucian@84.232.140.52) |
| 21:13:24 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 21:16:25 | <backes> | I now get errors about parsec, even though I installed parsec3 https://paste.tomsmeding.com/zXl7E7aN . The ubuntu 20.04 instructions say to install libghc-parsec3-dev , I installed parsec3 : https://hackage.haskell.org/package/parsec3 with cabal |
| 21:16:36 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 21:29:39 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 21:29:58 | → | alx741 joins (~alx741@157.100.197.240) |
| 21:30:46 | × | neurocyte0917090 quits (~neurocyte@user/neurocyte) (Read error: Connection reset by peer) |
| 21:31:20 | × | xff0x quits (~xff0x@2001:1a81:5290:f100:89ec:887a:1b64:e62f) (Ping timeout: 252 seconds) |
| 21:32:12 | → | neurocyte0917090 joins (~neurocyte@IP-185238252134.dynamic.medianet-world.de) |
| 21:32:12 | × | neurocyte0917090 quits (~neurocyte@IP-185238252134.dynamic.medianet-world.de) (Changing host) |
| 21:32:12 | → | neurocyte0917090 joins (~neurocyte@user/neurocyte) |
| 21:32:15 | → | xff0x joins (~xff0x@2001:1a81:5290:f100:b98a:22f8:9c9c:82d0) |
| 21:32:25 | <geekosaur> | that'sa missing dependency in the cabal file |
| 21:33:17 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 21:37:48 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 21:38:21 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:39:44 | → | cynomys joins (~cynomys@user/cynomys) |
| 21:40:51 | × | wroathe quits (~wroathe@user/wroathe) (Quit: leaving) |
| 21:40:59 | → | wroathe joins (~wroathe@user/wroathe) |
| 21:42:11 | × | wroathe quits (~wroathe@user/wroathe) (Client Quit) |
| 21:42:23 | → | zeenk joins (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 21:43:18 | <backes> | it compiles haskell from a shell script, which calls ghc directly: https://github.com/BarrelfishOS/barrelfish/blob/master/hake/hake.sh#L224 and it doesn't include parsec as -package . However I'm the only one with this problem, so I think it's my setup and not the install script |
| 21:43:48 | × | vorpuni quits (~pvorp@2001:861:3881:c690:fccd:4785:fec8:6e0c) (Quit: bye) |
| 21:44:33 | <backes> | adding it to the script as "-package parsec" didn't solve the problem |
| 21:46:39 | <Unicorn_Princess> | > foldl (+) [a,b,c] |
| 21:46:42 | <lambdabot> | error: |
| 21:46:42 | <lambdabot> | • Could not deduce (Num [Expr]) arising from a use of ‘+’ |
| 21:46:42 | <lambdabot> | from the context: Foldable t |
| 21:48:46 | <geekosaur> | > foldl (+) (0::Expr) [a,b,c] |
| 21:48:48 | <lambdabot> | 0 + a + b + c |
| 21:48:59 | <Unicorn_Princess> | ah, ofc. i misremembered that foldl demo as being without an accumulator |
| 21:49:30 | <geekosaur> | sure it wans't foldl1? |
| 21:50:13 | → | alx741 joins (~alx741@157.100.197.240) |
| 21:50:15 | <Unicorn_Princess> | oh yeah yeah. the confusion is entirely of my own making |
| 21:50:35 | <Unicorn_Princess> | but it has been cleared up |
| 21:50:48 | → | wroathe joins (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) |
| 21:50:48 | × | wroathe quits (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Changing host) |
| 21:50:48 | → | wroathe joins (~wroathe@user/wroathe) |
| 21:50:52 | <Unicorn_Princess> | (by checking history and seeing the accumulator there) |
| 21:51:40 | <Unicorn_Princess> | anyway, as you were. turns out one can also pm lambdabot and avoid spamming this channel for experiments :) |
| 21:52:04 | <geekosaur> | yep, I keep query windows open to both lambdabot and yahb |
| 21:56:53 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 21:57:15 | → | little_mac joins (~little_ma@2601:410:4300:3ce0:e0b0:8aea:9541:b1dc) |
| 22:01:22 | → | agumonke` joins (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 22:03:05 | × | agumonkey quits (~user@88.163.231.79) (Ping timeout: 272 seconds) |
| 22:06:35 | → | komikat joins (~komikat@183.82.153.11) |
| 22:07:26 | → | rond_ joins (~rond_@90.251.84.153) |
| 22:08:09 | × | wroathe quits (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 22:08:52 | × | cynomys quits (~cynomys@user/cynomys) (Quit: Lost terminal) |
| 22:09:27 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:10:57 | × | komikat quits (~komikat@183.82.153.11) (Ping timeout: 240 seconds) |
| 22:13:25 | → | alx741 joins (~alx741@157.100.197.240) |
| 22:13:33 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 22:15:58 | × | Kaiepi quits (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
| 22:16:14 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 22:16:18 | → | Kaiepi joins (~Kaiepi@156.34.47.253) |
| 22:16:56 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:e14b:875c:3570:34de) (Quit: WeeChat 3.3) |
| 22:17:44 | <backes> | I tried ghc-pkg expose parsec but I still get the error that the package is hidden. Is there some other way to expose a package? |
| 22:17:57 | → | shriekingnoise joins (~shrieking@201.231.16.156) |
| 22:20:01 | <geekosaur> | you may need to either reinstall parsec with cabal v1-install or use cabal install --lib |
| 22:20:20 | <backes> | I used cabal install --lib for all the dependencies |
| 22:20:27 | <backes> | they all worked so far, except parsec |
| 22:20:38 | <backes> | what is cabal v1-install ? |
| 22:21:24 | <geekosaur> | it makes cabal behave the old way, inparticular installing things in the old user package database instead of internal to cabal (cabal install) or an environment file (cabal install --lib) |
| 22:21:47 | × | cosimone quits (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC (IRC client for Emacs 27.1)) |
| 22:21:57 | <geekosaur> | it's not recommended becauseit can make messes if you have two versions of the same library installed; ghc is not smart enough to pick the version you need |
| 22:22:22 | <geekosaur> | this is pretty much why modern cabal and stack exist |
| 22:23:01 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Remote host closed the connection) |
| 22:24:05 | <backes> | for some reason this didn't help. That doesn't make any sense. I tried adding it with `-package parsec3` to the ghc command, using --lib, exposing it with ghc-pkg, and now using v1-install. Is it possible that I have the wrong version of the package? |
| 22:26:14 | → | `2jt joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 22:27:28 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 22:27:46 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 22:27:53 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 22:29:27 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:32:18 | × | wroathe quits (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 22:32:32 | → | alx741 joins (~alx741@157.100.197.240) |
| 22:34:12 | <geekosaur> | unlikely |
| 22:34:33 | <geekosaur> | it knows it'spart of the installed parsec3 package; I don't know why it claims it to be hidden |
| 22:34:46 | <geekosaur> | we're getting outside what I know of cabal, sadly |
| 22:35:21 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 22:36:12 | → | wroathe joins (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) |
| 22:36:13 | × | wroathe quits (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Changing host) |
| 22:36:13 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:37:23 | × | wroathe quits (~wroathe@user/wroathe) (Client Quit) |
| 22:38:58 | <backes> | thanks for your help |
| 22:39:45 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 22:39:46 | <geekosaur> | wonder if sclv or some other cabal expert is around today |
| 22:40:22 | <geekosaur> | you might also ask in #haskage since that'swherethecabal folks hang out |
| 22:40:33 | <geekosaur> | *that's where the cabal |
| 22:40:59 | → | Guest66 joins (~Guest66@vmi275462.contaboserver.net) |
| 22:44:27 | <geekosaur> | er, #hackage |
| 22:44:34 | <geekosaur> | what is with my typoes today |
| 22:46:21 | × | kaph quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 22:47:51 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 22:48:20 | <sclv> | backes: are you sure you shouldn’t add -package parsec3 to the script? |
| 22:48:32 | <sclv> | Not just parsec as such? |
| 22:49:02 | <backes> | I also tried that but it didn't help |
| 22:49:37 | <sclv> | have the script run ghc-pkg list and see what it dumps out? |
| 22:49:45 | <backes> | that's a good idea |
| 22:50:39 | <backes> | damn, it contains parsec3 ... |
| 22:50:44 | <sclv> | also is that call to ghc what fails? |
| 22:50:52 | → | kaph joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 22:50:56 | <sclv> | It looks like its failing building other later stuff |
| 22:51:24 | <backes> | the file linked above is the only script I call for now |
| 22:51:48 | <backes> | maybe it calls another, I'll dig a bit around |
| 22:51:54 | → | alx741 joins (~alx741@181.199.42.143) |
| 22:53:10 | <sclv> | its last line is to call make on a bunch of other stuff |
| 22:54:15 | <geekosaur> | I'm worried about both that and that ghc-pkg can't be used to list stuff in the environment (but then I don't know if that can be hidden either) |
| 22:55:13 | <sclv> | hake generates make rules. That script builds hake, runs it, then runs make rules generated by it which i assume build more haskell |
| 22:55:31 | <backes> | what are all the options to build haskell code besides calling "ghc" ? I found another file https://github.com/BarrelfishOS/barrelfish/blob/master/hake/Hakefile but also adding `-package parsec3` to that didn't help |
| 22:56:30 | <geekosaur> | backes, as sclv just said, hake is generating a Makefile. you might need to edit that before running it. or edit hake to add the -package parameter to the generated Makefile |
| 22:57:34 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 22:57:59 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 22:58:45 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection) |
| 23:00:33 | → | burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 23:05:56 | × | Guest66 quits (~Guest66@vmi275462.contaboserver.net) (Quit: Client closed) |
| 23:08:12 | → | irishman joins (~vshev4enk@178.151.117.243) |
| 23:08:26 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 23:09:16 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 23:09:56 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 23:10:33 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 23:10:40 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:11:06 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:11:50 | × | polezaivsani quits (~polezaivs@orangeshoelaces.net) (Ping timeout: 250 seconds) |
| 23:12:31 | × | irishman quits (~vshev4enk@178.151.117.243) (Ping timeout: 256 seconds) |
| 23:14:48 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) |
| 23:15:20 | → | alx741 joins (~alx741@181.199.42.143) |
| 23:15:39 | × | totte quits (~totte@h-82-196-112-155.A166.priv.bahnhof.se) (Ping timeout: 268 seconds) |
| 23:17:12 | <backes> | I can't get this to work. The makefile has the flags that I provide in the shellscripts (and a lot more stuff). I'll give it a try in a docker container tomorrow. Thanks |
| 23:19:56 | → | miremeister joins (uid387155@id-387155.uxbridge.irccloud.com) |
| 23:21:53 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 23:23:25 | × | michalz quits (~michalz@185.246.204.87) (Remote host closed the connection) |
| 23:23:26 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) |
| 23:24:37 | × | backes quits (~backes@85.195.206.214) (Quit: leaving) |
| 23:24:56 | × | ccntrq quits (~Thunderbi@imx92-1-78-204-187-6.fbx.proxad.net) (Remote host closed the connection) |
| 23:26:28 | × | steerio quits (~steerio@aviv.kinneret.de) (Remote host closed the connection) |
| 23:26:41 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: Textual IRC Client: www.textualapp.com) |
| 23:27:09 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 23:27:09 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 23:27:09 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:27:48 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Ping timeout: 240 seconds) |
| 23:29:42 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 23:29:55 | → | lavaman joins (~lavaman@98.38.249.169) |
| 23:32:23 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 23:33:53 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 23:33:59 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Ping timeout: 252 seconds) |
| 23:34:36 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 23:38:46 | → | alx741 joins (~alx741@181.199.42.143) |
| 23:39:35 | → | totte joins (~totte@h-82-196-112-155.A166.priv.bahnhof.se) |
| 23:39:56 | <sm> | backes: is there anywhere in these interesting build scripts that specifies the versions of all the haskell packages ? If not, it's not a repeatable script, and not surprising it doesn't work 3 years later |
| 23:40:27 | miremeister | is now known as levi |
| 23:40:51 | × | rond_ quits (~rond_@90.251.84.153) (Quit: Client closed) |
| 23:41:14 | levi | is now known as zoe |
| 23:41:31 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 23:42:05 | × | Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 23:42:12 | <sm> | (I looked but didn't find it) |
| 23:42:14 | → | alx741 joins (~alx741@157.100.197.240) |
| 23:42:43 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 23:43:57 | zoe | is now known as levi__ |
| 23:44:48 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 23:45:09 | × | Cena quits (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:45:22 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 23:46:10 | <sm> | this is a hard enough task I would do it on an intel machine/vps first |
| 23:46:34 | <sm> | (as you already discovered) |
| 23:46:53 | ← | levi__ parts (uid387155@id-387155.uxbridge.irccloud.com) () |
| 23:47:24 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 23:48:35 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 23:48:38 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 23:50:51 | <sm> | oops, talking to myself |
| 23:55:24 | × | `2jt quits (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 23:56:39 | → | alp joins (~alp@user/alp) |
| 23:57:32 | → | Cena joins (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
| 23:58:13 | × | Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
| 23:59:01 | → | Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 23:59:40 | × | burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
All times are in UTC on 2022-02-27.