Logs: freenode/#haskell
| 2021-04-05 12:50:47 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-05 12:53:42 | × | plutoniix quits (~q@184.82.201.87) (Quit: Leaving) |
| 2021-04-05 12:55:18 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-04-05 12:55:48 | → | kandV joins (~kand@bzq-79-176-163-212.red.bezeqint.net) |
| 2021-04-05 12:57:41 | × | connrs_ quits (~connrs@connolley.uk) (Quit: ZNC 1.7.1 - https://znc.in) |
| 2021-04-05 12:58:36 | → | connrs joins (~connrs@connolley.uk) |
| 2021-04-05 12:59:37 | → | dcbdan joins (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) |
| 2021-04-05 13:00:23 | × | esp32_prog quits (~esp32_pro@91.193.4.202) (Ping timeout: 260 seconds) |
| 2021-04-05 13:02:01 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 13:02:44 | × | lawid quits (~quassel@2a02:8109:b5c0:8af9:265e:beff:fe2a:dde8) (Quit: lawid) |
| 2021-04-05 13:03:44 | × | connrs quits (~connrs@connolley.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-05 13:04:50 | → | lawid joins (~quassel@2a02:8109:b5c0:8af9:265e:beff:fe2a:dde8) |
| 2021-04-05 13:04:55 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-05 13:06:00 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-05 13:06:11 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Ping timeout: 245 seconds) |
| 2021-04-05 13:09:44 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-04-05 13:12:28 | → | connrs joins (~connrs@connolley.uk) |
| 2021-04-05 13:14:21 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-05 13:14:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-05 13:15:07 | <ukari> | `foo = (,) <$> (+1) <*> (+10)` and `foo = liftA2 (,) (+1) (+10)`, which is the better practise? |
| 2021-04-05 13:15:41 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-04-05 13:17:16 | × | xff0x quits (~xff0x@2001:1a81:523f:b000:e0ec:15c3:a4fa:921e) (Ping timeout: 246 seconds) |
| 2021-04-05 13:18:09 | → | xff0x joins (~xff0x@2001:1a81:523f:b000:f90:eaa6:ad10:8f7) |
| 2021-04-05 13:18:39 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-04-05 13:21:17 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-05 13:21:30 | <kaol> | At least my taste is to go for <$> and <*> if it spans multiple lines. |
| 2021-04-05 13:23:11 | <maerwald> | I can never remember what liftA2 does |
| 2021-04-05 13:23:31 | <maerwald> | lifting is a confusing term anyway |
| 2021-04-05 13:24:19 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-05 13:24:46 | <ukari> | lift to (->) functor |
| 2021-04-05 13:25:02 | <maerwald> | lift what? |
| 2021-04-05 13:25:07 | <maerwald> | why lift? |
| 2021-04-05 13:25:40 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-05 13:25:48 | <maerwald> | "type families" has also confused me for long, until I stopped thinking about families |
| 2021-04-05 13:25:58 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-05 13:26:12 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-05 13:27:20 | <ukari> | I think type families actually means type functions |
| 2021-04-05 13:27:44 | <Logio> | I imagine lift comes from mathematics as most things do |
| 2021-04-05 13:27:57 | → | esp32_prog joins (~esp32_pro@91.193.4.202) |
| 2021-04-05 13:28:06 | <Logio> | you lift things from a structure to another |
| 2021-04-05 13:28:15 | <maerwald> | well, I'm not a native speaker |
| 2021-04-05 13:29:24 | <Logio> | I'd wager very few are native speakers of math, it tends to be a second or third language |
| 2021-04-05 13:30:03 | → | nbloomf joins (nbloomf@gateway/vpn/privateinternetaccess/nbloomf) |
| 2021-04-05 13:30:26 | <maerwald> | that's not what I meant |
| 2021-04-05 13:30:31 | <joel135> | I remember the type of liftA2 (,) by heart but not liftA2 alone. |
| 2021-04-05 13:31:32 | <Logio> | hmm, the docs actually suggest that some functors might have liftA2 implemented more efficiently than <$> and <*> |
| 2021-04-05 13:32:27 | <maerwald> | sounds like GHC should optimize that |
| 2021-04-05 13:32:46 | → | alx741 joins (~alx741@181.196.69.45) |
| 2021-04-05 13:33:14 | <geekosaur> | I suspect auto-optimizing that would involve baking too much of Applicative into ghc |
| 2021-04-05 13:33:24 | → | ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-04-05 13:34:08 | × | nbloomf quits (nbloomf@gateway/vpn/privateinternetaccess/nbloomf) (Client Quit) |
| 2021-04-05 13:34:09 | → | carlomagno joins (~cararell@148.87.23.11) |
| 2021-04-05 13:35:24 | × | shalokshalom quits (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) (Remote host closed the connection) |
| 2021-04-05 13:36:26 | × | esp32_prog quits (~esp32_pro@91.193.4.202) (Ping timeout: 240 seconds) |
| 2021-04-05 13:36:33 | → | Tops2 joins (~Tobias@dyndsl-095-033-016-016.ewe-ip-backbone.de) |
| 2021-04-05 13:36:39 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-04-05 13:37:18 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-05 13:37:34 | → | shalokshalom joins (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) |
| 2021-04-05 13:40:05 | → | nbloomf joins (nbloomf@gateway/vpn/privateinternetaccess/nbloomf) |
| 2021-04-05 13:41:36 | → | epicte7us joins (~epictetus@193.160.245.238) |
| 2021-04-05 13:41:41 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-05 13:43:09 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:24c1:2242:42ca:a4c) |
| 2021-04-05 13:44:16 | × | kafl quits (~kafl@unaffiliated/kafl) (Ping timeout: 268 seconds) |
| 2021-04-05 13:44:33 | → | nbloomf_ joins (nbloomf@gateway/vpn/privateinternetaccess/nbloomf) |
| 2021-04-05 13:44:41 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 240 seconds) |
| 2021-04-05 13:44:45 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-04-05 13:45:34 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-seurarnwgsuldmdb) (Quit: Connection closed for inactivity) |
| 2021-04-05 13:46:35 | × | nbloomf quits (nbloomf@gateway/vpn/privateinternetaccess/nbloomf) (Ping timeout: 260 seconds) |
| 2021-04-05 13:47:07 | <maerwald> | `Data.ByteString.Lazy.readFile "foo" >>= Data.ByteString.Lazy.writeFile "bar"` forces the entire file into memory? |
| 2021-04-05 13:47:42 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:24c1:2242:42ca:a4c) (Ping timeout: 258 seconds) |
| 2021-04-05 13:48:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-05 13:52:21 | × | cpape` quits (~user@static.180.18.203.116.clients.your-server.de) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-04-05 13:52:33 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-mbfvkjlwkgtwrpqh) |
| 2021-04-05 13:52:40 | → | cpape joins (~user@static.180.18.203.116.clients.your-server.de) |
| 2021-04-05 13:53:13 | → | kuribas joins (~user@ptr-25vy0ia1sgpd4zeerw2.18120a2.ip6.access.telenet.be) |
| 2021-04-05 13:53:47 | × | drbean_ quits (~drbean@TC210-63-209-192.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-04-05 13:53:57 | × | solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-04-05 13:56:38 | × | maroloccio quits (~marolocci@pousada3ja.mma.com.br) (Ping timeout: 240 seconds) |
| 2021-04-05 13:56:44 | × | cpape quits (~user@static.180.18.203.116.clients.your-server.de) (Client Quit) |
| 2021-04-05 13:57:02 | → | cpape joins (~user@static.180.18.203.116.clients.your-server.de) |
| 2021-04-05 13:58:46 | × | epicte7us quits (~epictetus@193.160.245.238) (Ping timeout: 260 seconds) |
| 2021-04-05 13:59:10 | → | maroloccio joins (~marolocci@pousada3ja.mma.com.br) |
| 2021-04-05 13:59:41 | × | ajc__ quits (~ajc@69.231.232.79) (Ping timeout: 240 seconds) |
| 2021-04-05 14:00:38 | × | APic quits (apic@apic.name) (Ping timeout: 240 seconds) |
| 2021-04-05 14:01:20 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 2021-04-05 14:01:20 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 2021-04-05 14:01:20 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 2021-04-05 14:02:18 | → | APic joins (apic@apic.name) |
| 2021-04-05 14:02:29 | <kuribas> | I want to create recursive forms, but that would create an infinite form if I just inline the content. |
| 2021-04-05 14:02:34 | → | mkDoku joins (~TheMule@aftr-37-201-195-134.unity-media.net) |
| 2021-04-05 14:02:40 | <kuribas> | Is there a good way to add a unique ID to the form? |
| 2021-04-05 14:02:46 | <kuribas> | perhaps unsafePerformIO? |
| 2021-04-05 14:03:32 | <kuribas> | or I could require the user to prive a unique ID... |
| 2021-04-05 14:07:40 | → | __minoru__shirae joins (~shiraeesh@5.101.59.244) |
| 2021-04-05 14:10:29 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 265 seconds) |
| 2021-04-05 14:10:35 | → | ddellac__ joins (~ddellacos@86.106.143.135) |
| 2021-04-05 14:10:57 | × | kiltzman quits (~k1ltzman@195.189.99.96) (Ping timeout: 252 seconds) |
| 2021-04-05 14:13:23 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-04-05 14:15:03 | × | ddellac__ quits (~ddellacos@86.106.143.135) (Ping timeout: 260 seconds) |
| 2021-04-05 14:16:35 | → | ajc__ joins (~ajc@69.231.232.79) |
All times are in UTC.