Logs: liberachat/#haskell
| 2021-06-21 17:12:35 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-21 17:12:54 | × | mikail quits (~mikail@2a02:c7f:bc9c:3100:ae93:93fc:603f:ceaf) (Ping timeout: 264 seconds) |
| 2021-06-21 17:13:06 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-21 17:14:33 | × | xkuru quits (~xkuru@user/xkuru) (Quit: Unvirtualizing) |
| 2021-06-21 17:14:50 | → | xkuru joins (~xkuru@user/xkuru) |
| 2021-06-21 17:15:12 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 17:16:43 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 17:17:28 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) |
| 2021-06-21 17:17:33 | → | lbseale__ joins (~lbseale@user/ep1ctetus) |
| 2021-06-21 17:17:39 | → | elf_fortrez joins (~elf_fortr@adsl-64-237-239-58.prtc.net) |
| 2021-06-21 17:18:22 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-06-21 17:18:35 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-06-21 17:18:55 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-06-21 17:19:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-21 17:19:17 | × | xkuru quits (~xkuru@user/xkuru) (Client Quit) |
| 2021-06-21 17:19:35 | → | xkuru joins (~xkuru@user/xkuru) |
| 2021-06-21 17:19:46 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 17:20:52 | × | lbseale_ quits (~lbseale@user/ep1ctetus) (Ping timeout: 250 seconds) |
| 2021-06-21 17:21:19 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 17:22:27 | × | jonatan_ quits (~nate@h77-53-70-163.cust.a3fiber.se) (Ping timeout: 265 seconds) |
| 2021-06-21 17:22:34 | lbseale__ | is now known as lbseale |
| 2021-06-21 17:24:11 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 17:25:43 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 17:26:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-21 17:28:30 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 17:29:35 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-21 17:30:05 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 17:32:20 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:7c55:3c65:74e1:3dc5) |
| 2021-06-21 17:32:53 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 17:33:00 | <dminuoso> | c_wraith: What kind of pattern matching are you thinking of in parametric polymorphism? |
| 2021-06-21 17:33:18 | <dminuoso> | Or did you mean unification? The sentence structure is not clear. |
| 2021-06-21 17:33:26 | × | Morrow quits (~MorrowM_@147.161.13.169) (Ping timeout: 252 seconds) |
| 2021-06-21 17:33:44 | <c_wraith> | in that sentence I meant that unification is a kind of pattern matching, in a very broad sense. |
| 2021-06-21 17:34:00 | <c_wraith> | but that's very different from runtime pattern matching of values. |
| 2021-06-21 17:34:01 | <ski> | _73 : "maybe if I had to account for the possibility of error it would be easier to do this then instead start using the EitherT State transformer?" -- maybe. ("Is this a sensical reason?" -- yes) "Cps is reminding me a lot of monads…" -- there are clear similarities |
| 2021-06-21 17:34:26 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 17:36:02 | <ski> | _73 : it sounds like maybe you'd want to experiment with `ContT o' or `Codensity', or maybe a handwritten CPS monad, over `EitherT Error (State ProgramState) Value' |
| 2021-06-21 17:36:05 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-21 17:37:23 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 17:38:57 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 17:41:12 | → | chomwitt joins (~Pitsikoko@athedsl-351576.home.otenet.gr) |
| 2021-06-21 17:41:40 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 17:43:13 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 17:46:18 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 17:47:08 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-06-21 17:47:51 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 17:48:28 | <ski> | _73 : one of the main reasons for using CPS / `Cont o'/`ContT o'/`Codensity', apart from wanting to do more exotic control behaviour, is for efficiency reasons. you'll sometimes hear "removal of interpretative overhead / avoiding step-by-step percolating errors upward / avoiding left-association", in connection with `(>>=)'. perhaps the `Either' (or maybe the `(,)') could cause some overhead, that could be |
| 2021-06-21 17:48:34 | <ski> | avoided in this way. but i'd say before doing anything like this, you should have some suspicion that this might be a problem; and then, you should really attempt to measure some |
| 2021-06-21 17:49:44 | × | maroloccio quits (~marolocci@189.15.9.54) (Quit: Client closed) |
| 2021-06-21 17:50:39 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 17:51:45 | → | fef joins (~thedawn@user/thedawn) |
| 2021-06-21 17:51:50 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-06-21 17:52:12 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 17:52:19 | × | xff0x quits (~xff0x@2001:1a81:53cb:7800:fb34:5f25:12c9:2a25) (Ping timeout: 268 seconds) |
| 2021-06-21 17:52:36 | → | unyu joins (~pyon@user/pyon) |
| 2021-06-21 17:53:40 | → | xff0x joins (~xff0x@2001:1a81:53f8:8c00:17bc:3aea:ca8:b929) |
| 2021-06-21 17:53:55 | × | elf_fortrez quits (~elf_fortr@adsl-64-237-239-58.prtc.net) (Ping timeout: 246 seconds) |
| 2021-06-21 17:54:53 | → | haltux joins (~haltux@a89-154-181-47.cpe.netcabo.pt) |
| 2021-06-21 17:55:02 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 17:55:11 | <_73> | ski: what is meant by the `o` in `Cont o`? |
| 2021-06-21 17:56:36 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 17:59:35 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 18:01:07 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 18:04:14 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
| 2021-06-21 18:05:39 | × | azeem quits (~azeem@176.201.29.233) (Read error: Connection reset by peer) |
| 2021-06-21 18:05:48 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 18:05:59 | → | mikail joins (~mikail@90.152.14.81) |
| 2021-06-21 18:06:48 | × | yoctocell quits (~user@h87-96-130-155.cust.a3fiber.se) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 2021-06-21 18:06:55 | → | azeem joins (~azeem@dynamic-adsl-84-220-246-6.clienti.tiscali.it) |
| 2021-06-21 18:08:04 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-06-21 18:08:05 | → | yoctocell joins (~user@h87-96-130-155.cust.a3fiber.se) |
| 2021-06-21 18:08:55 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 18:09:05 | → | jonatan joins (~nate@h77-53-70-163.cust.a3fiber.se) |
| 2021-06-21 18:10:28 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 18:11:16 | → | Izem joins (~Izem@bras-base-london1483w-grc-42-65-95-172-41.dsl.bell.ca) |
| 2021-06-21 18:11:30 | <Izem> | do haskellers ever have the need for macros? |
| 2021-06-21 18:12:14 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-06-21 18:13:08 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 18:14:40 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 18:15:11 | <monochrom> | Yes. This is why Template Haskell exists. |
| 2021-06-21 18:15:12 | × | mc47 quits (~mc47@xmonad/TheMC47) (Quit: Leaving) |
| 2021-06-21 18:16:37 | <davean> | though Template Haskell is more than macros in a way, and its not wanted for much in Haskell |
| 2021-06-21 18:17:30 | <Izem> | ok, cool |
| 2021-06-21 18:17:45 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 18:19:21 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 18:22:15 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 18:23:34 | → | x_kuru joins (~xkuru@user/xkuru) |
| 2021-06-21 18:23:48 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 18:24:03 | → | juhp_ joins (~juhp@128.106.188.66) |
| 2021-06-21 18:24:59 | <ski> | _73 : the "final answer type" |
| 2021-06-21 18:26:14 | × | xkuru quits (~xkuru@user/xkuru) (Ping timeout: 252 seconds) |
| 2021-06-21 18:26:46 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 18:27:13 | × | juhp quits (~juhp@128.106.188.66) (Ping timeout: 265 seconds) |
| 2021-06-21 18:27:13 | juhp_ | is now known as juhp |
| 2021-06-21 18:28:21 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-21 18:29:03 | → | _73` joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-06-21 18:29:49 | → | ddellacosta joins (~ddellacos@ool-44c73afc.dyn.optonline.net) |
| 2021-06-21 18:30:45 | × | _73 quits (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-06-21 18:31:02 | × | betelgeuse7 quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-21 18:32:35 | → | betelgeuse7 joins (~john2gb@94-225-47-8.access.telenet.be) |
All times are in UTC.