Logs: liberachat/#haskell
| 2021-08-13 17:55:34 | <kuribas> | monochrom: still, the weird naming is making me reluctant to use the Chronicle monad. |
| 2021-08-13 17:55:45 | <kuribas> | good naming can make a difference. |
| 2021-08-13 17:58:11 | <monochrom> | Good names are successful insider mnemonics. |
| 2021-08-13 17:58:21 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-13 17:58:39 | <monochrom> | There is still a difference from "meaningful" names. |
| 2021-08-13 17:58:55 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-08-13 17:59:50 | <Lycurgus> | did you mean semantically correct? |
| 2021-08-13 18:00:08 | <monochrom> | I don't know. |
| 2021-08-13 18:00:15 | <Lycurgus> | guess it's practically the same thing |
| 2021-08-13 18:00:32 | <Lycurgus> | except for stupid people that say "it's just semantics" |
| 2021-08-13 18:01:15 | <monochrom> | Programming gets very niche and vertical very quickly. Most good names require insider context because they are naming things in niche domains. |
| 2021-08-13 18:02:26 | <monochrom> | And at some point you have to give up on accurate names even then, because they would be way too long. You have to settle for mnemonics. |
| 2021-08-13 18:02:51 | <dsal> | https://twitter.com/KentonVarda/status/1425622606821142530 |
| 2021-08-13 18:02:52 | × | smitop quits (~smitop@user/smitop) (Quit: Ping timeout (120 seconds)) |
| 2021-08-13 18:03:08 | <kuribas> | We could name them like vancian spells. |
| 2021-08-13 18:03:11 | <monochrom> | Take note that as the resulting names are either utterly meaningless or utterly misleading for outsiders. |
| 2021-08-13 18:03:16 | <dsal> | tl;dr: stuff is the best name for this field. |
| 2021-08-13 18:03:32 | <kuribas> | listToMaybe => MaerwaldsReductiveTailChomper |
| 2021-08-13 18:03:35 | → | smitop joins (~smitop@user/smitop) |
| 2021-08-13 18:04:00 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 268 seconds) |
| 2021-08-13 18:04:25 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-13 18:04:28 | chris | is now known as Guest7842 |
| 2021-08-13 18:05:07 | <kuribas> | (>>=) => MoggiesEffectfulConnector |
| 2021-08-13 18:05:20 | <monochrom> | :) |
| 2021-08-13 18:05:45 | <monochrom> | Last week I realized that Moggi wrote the first monad transformer paper, too. |
| 2021-08-13 18:05:52 | <dsal> | > [1, 2, 3] ^? folded |
| 2021-08-13 18:05:53 | <lambdabot> | Just 1 |
| 2021-08-13 18:07:16 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-13 18:07:23 | <monochrom> | That tweet makes another point I thought of too. Hamming distances. |
| 2021-08-13 18:07:58 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-13 18:07:59 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-13 18:07:59 | <monochrom> | A good name has smaller Hamming distances from related things and larger Hamming distances from unrelated things. |
| 2021-08-13 18:08:01 | allbery_b | is now known as geekosaur |
| 2021-08-13 18:08:09 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-13 18:08:32 | <dsal> | Heh. I had to go back and read that to figure out what you meant, but yeah, that makes sense. |
| 2021-08-13 18:08:36 | <monochrom> | If you called it "context" it would have 0 distance from unrelated things in the same system. That's why it's so bad. |
| 2021-08-13 18:08:55 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-08-13 18:09:36 | <dsal> | Yeah, I have that problem doing go readability because there's a thing called `context.Context` that means something specific, but sometimes conflicts in ways that cause confusion. |
| 2021-08-13 18:10:19 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 244 seconds) |
| 2021-08-13 18:12:19 | × | Core6866 quits (~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea) (Read error: Connection reset by peer) |
| 2021-08-13 18:12:33 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-08-13 18:12:35 | → | agua_pesada joins (~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea) |
| 2021-08-13 18:12:57 | × | jeslie0 quits (~user@108.162.150.9) (Remote host closed the connection) |
| 2021-08-13 18:13:46 | → | Core6816 joins (~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea) |
| 2021-08-13 18:13:49 | × | agua_pesada quits (~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea) (Read error: Connection reset by peer) |
| 2021-08-13 18:16:15 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-13 18:16:32 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-08-13 18:17:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-13 18:18:11 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-08-13 18:19:59 | × | burnsidesLlama quits (~burnsides@dhcp168-014.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-13 18:20:30 | → | burnsidesLlama joins (~burnsides@dhcp168-014.wadham.ox.ac.uk) |
| 2021-08-13 18:22:25 | × | fabfianda quits (~fabfianda@37.183.255.57) (Ping timeout: 248 seconds) |
| 2021-08-13 18:23:25 | → | fabfianda joins (~fabfianda@mob-5-91-126-104.net.vodafone.it) |
| 2021-08-13 18:24:49 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-13 18:24:53 | × | mr-red quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 252 seconds) |
| 2021-08-13 18:24:57 | × | burnsidesLlama quits (~burnsides@dhcp168-014.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-08-13 18:25:05 | → | jeslie0 joins (~user@108.162.150.9) |
| 2021-08-13 18:25:46 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-13 18:27:34 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-08-13 18:28:54 | × | Guest7842 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-13 18:29:54 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-08-13 18:31:15 | × | epolanski quits (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-13 18:32:01 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-08-13 18:33:59 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-13 18:34:02 | chris | is now known as Guest2332 |
| 2021-08-13 18:34:05 | → | mr-red joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-08-13 18:34:17 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 245 seconds) |
| 2021-08-13 18:34:30 | × | Guest2332 quits (~chris@81.96.113.213) (Read error: Connection reset by peer) |
| 2021-08-13 18:35:14 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-13 18:35:26 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-13 18:35:45 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-13 18:35:48 | chris | is now known as Guest1551 |
| 2021-08-13 18:36:58 | → | Skyfire joins (~pyon@user/pyon) |
| 2021-08-13 18:39:17 | × | the_proffesor quits (~theproffe@c-24-9-30-127.hsd1.co.comcast.net) (Changing host) |
| 2021-08-13 18:39:17 | → | the_proffesor joins (~theproffe@user/theproffesor) |
| 2021-08-13 18:39:27 | the_proffesor | is now known as theproffesor |
| 2021-08-13 18:39:35 | × | Guest1551 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-13 18:40:43 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2021-08-13 18:44:25 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-13 18:44:28 | chris | is now known as Guest1076 |
| 2021-08-13 18:46:13 | → | Cajun joins (~Cajun@user/cajun) |
| 2021-08-13 18:48:44 | × | Guest1076 quits (~chris@81.96.113.213) (Ping timeout: 256 seconds) |
| 2021-08-13 18:51:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-13 18:51:40 | × | mattil quits (~mattilinn@84-253-224-16.bb.dnainternet.fi) (Remote host closed the connection) |
| 2021-08-13 18:52:44 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-08-13 19:04:25 | × | keutoi quits (~keutoi@157.47.115.91) (Quit: leaving) |
| 2021-08-13 19:06:57 | <falsifian> | Does anyone here have experience building ghcjs? I'm trying to add it back to nixpkgs: https://github.com/NixOS/nixpkgs/issues/133271 |
| 2021-08-13 19:07:37 | <falsifian> | One thing I'm wondering: is it okay to try to build ghcjs 8.10.5 using ghc 8.10.4? Or should the versions match? |
| 2021-08-13 19:11:06 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-13 19:11:11 | chris | is now known as Guest2507 |
| 2021-08-13 19:13:40 | × | mr-red quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 268 seconds) |
| 2021-08-13 19:13:40 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2021-08-13 19:14:57 | <maerwald> | falsifian: it works for GHC at least |
| 2021-08-13 19:15:00 | <maerwald> | not sure about ghcjs |
| 2021-08-13 19:15:09 | <Las[m]> | I don't see why it wouldn't work |
| 2021-08-13 19:15:34 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-13 19:16:08 | <falsifian> | Thanks for the info. I'm still scratching my head over the issue I mention in the last comment there. |
| 2021-08-13 19:16:29 | <Las[m]> | falsifian: Can I ask why you want GHCJS? |
| 2021-08-13 19:16:47 | <Las[m]> | I haven't used it, but from my perspective Asterius seems superior |
| 2021-08-13 19:17:10 | <falsifian> | Las[m]: I never heard of Asterius. |
All times are in UTC.