Logs on 2026-02-09 (liberachat/#haskell)
| 00:01:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:04:14 | × | _JusSx_ quits (~username@37.163.117.200) (Ping timeout: 244 seconds) |
| 00:06:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:09:11 | → | forell joins (~forell@user/forell) |
| 00:17:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:18:41 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:18:55 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 00:20:07 | → | humasect_ joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 00:21:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 00:24:57 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 00:28:16 | → | emmanuelux joins (~em@user/emmanuelux) |
| 00:33:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:35:05 | × | Tuplanolla quits (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Ping timeout: 250 seconds) |
| 00:38:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:49:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:50:13 | × | xff0x quits (~xff0x@2405:6580:b080:900:94ad:d9ab:f90:90c7) (Ping timeout: 244 seconds) |
| 00:53:12 | <ski> | EvanR : with the former, you can do alternative analyses/semantics (perhaps sending the command to a different process, or pretty-printing it, or analyzing commands for potential trouble interaction, &c.) |
| 00:53:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 00:54:19 | <ski> | (cf. using a `String' as an error message, vs. a data type. with the latter, you can e.g. localize it to different languages, portray it differently for different UIs, &c.) |
| 00:54:35 | <ski> | @quote stark |
| 00:54:35 | <lambdabot> | AlanPerlis says: The string is a stark data structure and everywhere it is passed there is much duplication of process. It is a perfect vehicle for hiding information. |
| 01:01:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:03:59 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 01:14:03 | <jreicher> | String is almost not a type at all. |
| 01:24:05 | → | omidmash6 joins (~omidmash@user/omidmash) |
| 01:26:36 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 265 seconds) |
| 01:26:36 | omidmash6 | is now known as omidmash |
| 01:26:43 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 01:26:56 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 01:28:09 | × | Square2 quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 01:35:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:42:00 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:42:30 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Client Quit) |
| 01:44:20 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 01:45:01 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:47:02 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 01:47:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:49:42 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:50:19 | → | emmanuelux joins (~em@user/emmanuelux) |
| 01:52:32 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:53:42 | → | emmanuelux_ joins (~em@2a01cb011051ddce36cff6fffefa7e31.ipv6.abo.wanadoo.fr) |
| 01:53:43 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 01:59:27 | × | twb quits (~twb@user/twb) (Read error: Connection reset by peer) |
| 01:59:49 | → | twb joins (~twb@user/twb) |
| 02:00:55 | × | otto_s quits (~user@p5de2f96c.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 02:01:45 | → | weary-traveler joins (~user@user/user363627) |
| 02:02:23 | → | otto_s joins (~user@p5b044c1a.dip0.t-ipconnect.de) |
| 02:02:45 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 02:02:50 | → | user363627 joins (~user@user/user363627) |
| 02:03:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:03:35 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 02:03:48 | → | emmanuelux joins (~em@user/emmanuelux) |
| 02:04:06 | × | emmanuelux_ quits (~em@2a01cb011051ddce36cff6fffefa7e31.ipv6.abo.wanadoo.fr) (Ping timeout: 244 seconds) |
| 02:06:02 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 02:07:06 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 244 seconds) |
| 02:08:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:10:26 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 02:13:48 | → | emmanuelux joins (~em@user/emmanuelux) |
| 02:17:49 | <ncf> | huh? |
| 02:18:53 | ← | twb parts (~twb@user/twb) (rcirc on GNU Emacs 30.1) |
| 02:19:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:26:47 | <jreicher> | I just mean it's often a bucket for unstructured data. Some uses I've seen feel more like the developer not bothering to figure out the type rather than really determining it's a String. |
| 02:26:56 | × | kimiamania4 quits (~b4b260c9@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 02:27:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 02:27:17 | → | kimiamania4 joins (~b4b260c9@user/kimiamania) |
| 02:29:22 | <geekosaur> | ☝ |
| 02:30:02 | <geekosaur> | or just not thinking that, y'know, I'd prefer not to have to parse an error code out of a possibly localized string |
| 02:33:37 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:33:51 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 02:34:09 | geekosaur | ahem Haskell Report… |
| 02:34:47 | <geekosaur> | (at least ghc has internal APIs that expose `IOError` internals to get the useful stuff) |
| 02:38:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:40:48 | <geekosaur> | sorry, `IOException`. https://hackage-content.haskell.org/package/base-4.22.0.0/docs/GHC-IO-Exception.html#t:IOException |
| 02:44:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 02:50:04 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 02:50:45 | → | gmg joins (~user@user/gehmehgeh) |
| 02:56:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:56:34 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 03:00:20 | → | omidmash joins (~omidmash@user/omidmash) |
| 03:01:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:02:56 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 03:06:12 | → | emmanuelux joins (~em@user/emmanuelux) |
| 03:12:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:13:44 | → | emmanuelux_ joins (~em@2a01cb011051ddce36cff6fffefa7e31.ipv6.abo.wanadoo.fr) |
| 03:13:51 | × | emmanuelux_ quits (~em@2a01cb011051ddce36cff6fffefa7e31.ipv6.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 03:14:22 | × | emmanuelux quits (~em@user/emmanuelux) (Ping timeout: 244 seconds) |
| 03:16:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:17:10 | → | emmanuelux joins (~em@user/emmanuelux) |
| 03:23:50 | → | emmanuelux_ joins (~em@92-184-96-253.mobile.fr.orangecustomers.net) |
| 03:24:05 | × | emmanuelux quits (~em@user/emmanuelux) (Ping timeout: 244 seconds) |
| 03:25:23 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 03:27:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:33:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:36:18 | × | humasect_ quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 03:36:30 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 03:40:13 | → | Pozyomka joins (~pyon@user/pyon) |
| 03:43:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:48:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:59:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:04:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 04:15:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:22:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:23:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:28:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 04:34:16 | × | davl_ quits (~davl@207.154.228.18) (Quit: ...) |
| 04:36:45 | <EvanR> | "this is not a type" :: String |
| 04:39:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:43:23 | → | davl joins (~davl@207.154.228.18) |
| 04:44:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:46:22 | ski | . o O ( "Ceci n'est pas une type." ) |
| 04:46:53 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 04:47:57 | <geekosaur> | (thank you 😛 ) |
| 04:54:18 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) (Remote host closed the connection) |
| 04:55:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:56:17 | → | wickedjargon joins (~user@2605:8d80:5430:714a:f4ec:3ef3:84f4:80f3) |
| 05:00:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 05:04:50 | × | mange quits (~mange@user/mange) (Remote host closed the connection) |
| 05:07:24 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 05:11:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:16:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:24:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:29:16 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 05:34:49 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 05:40:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:45:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:50:54 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 05:51:06 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 05:54:15 | × | wickedjargon quits (~user@2605:8d80:5430:714a:f4ec:3ef3:84f4:80f3) (Remote host closed the connection) |
| 05:56:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:57:40 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.10.1 - https://znc.in) |
| 05:58:14 | × | emaczen quits (~user@user/emaczen) (Ping timeout: 260 seconds) |
| 05:58:52 | → | anpad joins (~pandeyan@user/anpad) |
| 06:00:58 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 06:02:53 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 06:02:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:03:06 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 06:14:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:15:33 | → | michalz joins (~michalz@185.246.207.200) |
| 06:16:29 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 06:18:31 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 06:19:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:20:08 | → | wickedjargon joins (~user@2605:8d80:5430:2d51:a829:6019:d43:6789) |
| 06:25:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:30:32 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 06:35:15 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 06:42:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:43:59 | → | Enrico63 joins (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) |
| 06:47:32 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 06:57:44 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 06:58:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:03:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 07:05:23 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 07:11:28 | × | Enrico63 quits (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) (Quit: Client closed) |
| 07:12:40 | → | jreicher joins (~joelr@user/jreicher) |
| 07:13:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:15:36 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 07:15:50 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 07:19:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 07:26:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:31:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 07:32:25 | → | Enrico63 joins (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) |
| 07:39:30 | × | comonad quits (~comonad@pd9e072e5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 07:40:23 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 07:40:30 | → | comonad joins (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) |
| 07:40:52 | × | Enrico63 quits (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) (Quit: Client closed) |
| 07:42:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:43:19 | × | ft quits (~ft@p508db4c0.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 07:47:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 07:47:41 | → | eason joins (~eason@user/eason) |
| 07:51:25 | <eason> | Hello |
| 07:51:35 | <eason> | Wow |
| 07:51:41 | <eason> | It's my first time using this |
| 07:54:40 | <ski> | hello eason |
| 07:55:21 | → | tromp joins (~textual@2001:1c00:3487:1b00:199:803c:4cc4:404b) |
| 07:55:26 | <ski> | first time using IRC ? |
| 08:02:33 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:06:41 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:14:13 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 08:16:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:17:19 | → | bliminse joins (~bliminse@user/bliminse) |
| 08:21:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 08:25:11 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 08:25:52 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2) |
| 08:27:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:27:59 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 08:32:32 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 08:35:21 | trickard_ | is now known as trickard |
| 08:41:42 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:42:23 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 08:43:20 | × | eason quits (~eason@user/eason) (Quit: leaving) |
| 08:43:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:45:29 | × | emmanuelux_ quits (~em@92-184-96-253.mobile.fr.orangecustomers.net) (Quit: bye) |
| 08:48:06 | → | akegalj joins (~akegalj@141-136-187-111.dsl.iskon.hr) |
| 08:48:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 08:49:33 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 08:53:01 | → | housemate joins (~housemate@202.7.248.67) |
| 08:59:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:04:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 09:06:40 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 09:07:06 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 09:12:52 | trickard_ | is now known as trickard |
| 09:14:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:16:48 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:17:46 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 09:20:32 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 09:20:39 | → | oskarw joins (~user@user/oskarw) |
| 09:22:01 | × | oskarw quits (~user@user/oskarw) (Remote host closed the connection) |
| 09:22:44 | → | oskarw joins (~user@user/oskarw) |
| 09:28:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:29:46 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:30:00 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 09:33:55 | × | Inline quits (~User@2a02:908:1246:26e0:8c1d:56bb:e491:7d2d) (Ping timeout: 246 seconds) |
| 09:36:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 09:47:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:52:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 09:57:18 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 10:03:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:08:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 10:09:17 | × | Googulator quits (~Googulato@2a01-036d-0106-216f-e9c4-b0ef-4e86-2425.pool6.digikabel.hu) (Quit: Client closed) |
| 10:09:34 | → | Googulator joins (~Googulato@2a01-036d-0106-216f-e9c4-b0ef-4e86-2425.pool6.digikabel.hu) |
| 10:19:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:19:33 | → | Inline joins (~User@2a02:908:1246:26e0:3c5:3b59:25f5:429d) |
| 10:21:39 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 10:23:11 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 10:23:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 10:25:57 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 10:29:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:35:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 10:37:37 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:37:51 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 10:38:00 | → | srazkvt joins (~sarah@user/srazkvt) |
| 10:42:57 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 10:45:37 | → | merijn joins (~merijn@62.45.136.136) |
| 10:49:19 | → | __monty__ joins (~toonn@user/toonn) |
| 10:49:19 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 10:50:39 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 265 seconds) |
| 10:57:24 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 11:01:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:02:10 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Remote host closed the connection) |
| 11:03:23 | → | trickard joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 11:03:58 | → | Guest29 joins (~Guest29@2405:201:3021:f843:f8ae:a38d:83c7:bbca) |
| 11:04:16 | → | Pozyomka joins (~pyon@user/pyon) |
| 11:06:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 11:09:59 | × | cyphase quits (~cyphase@user/cyphase) (Quit: cyphase.com) |
| 11:10:16 | → | cyphase joins (~cyphase@user/cyphase) |
| 11:10:22 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 11:16:43 | → | xff0x joins (~xff0x@2405:6580:b080:900:a304:44e0:ba72:c7aa) |
| 11:17:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:19:15 | × | Guest29 quits (~Guest29@2405:201:3021:f843:f8ae:a38d:83c7:bbca) (Ping timeout: 272 seconds) |
| 11:24:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 11:27:22 | × | bggd_ quits (~bgg@2a01:e0a:fd5:f510:7c7b:26be:3fe9:d994) (Remote host closed the connection) |
| 11:30:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:34:11 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer) |
| 11:34:28 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 11:35:58 | × | wickedjargon quits (~user@2605:8d80:5430:2d51:a829:6019:d43:6789) (Ping timeout: 256 seconds) |
| 11:35:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 11:42:21 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 11:43:07 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 11:45:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:50:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 11:50:13 | → | chele joins (~chele@user/chele) |
| 11:53:54 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:54:08 | → | trickard joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 12:01:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:01:48 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 12:02:25 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 12:04:06 | → | Pozyomka joins (~pyon@user/pyon) |
| 12:05:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 12:07:48 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 12:08:37 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 12:16:54 | → | merijn joins (~merijn@62.45.136.136) |
| 12:19:35 | × | Inline quits (~User@2a02:908:1246:26e0:3c5:3b59:25f5:429d) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 12:19:36 | → | wickedjargon joins (~user@2605:8d80:5430:38af:2964:3737:2954:46b8) |
| 12:20:44 | × | wickedjargon quits (~user@2605:8d80:5430:38af:2964:3737:2954:46b8) (Remote host closed the connection) |
| 12:21:01 | → | wickedjargon joins (~user@2605:8d80:5430:38af:2964:3737:2954:46b8) |
| 12:21:04 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 255 seconds) |
| 12:24:42 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 256 seconds) |
| 12:30:51 | → | cyphase joins (~cyphase@user/cyphase) |
| 12:31:29 | → | merijn joins (~merijn@62.45.136.136) |
| 12:36:49 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 255 seconds) |
| 12:41:53 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:42:07 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 12:45:48 | <yin> | either way, welcome to the deep |
| 12:47:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:52:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 12:58:23 | → | Square joins (~Square4@user/square) |
| 13:05:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:12:16 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 13:12:53 | → | emaczen joins (~user@user/emaczen) |
| 13:24:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:29:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 13:32:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:37:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 13:38:03 | → | cipherrot joins (~jez@user/petrichor) |
| 13:38:25 | × | petrichor quits (~jez@user/petrichor) (Ping timeout: 264 seconds) |
| 13:42:34 | × | wickedjargon quits (~user@2605:8d80:5430:38af:2964:3737:2954:46b8) (Ping timeout: 260 seconds) |
| 13:42:54 | × | cipherrot quits (~jez@user/petrichor) (Ping timeout: 256 seconds) |
| 13:44:43 | × | YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:10c6:8cef:b7df:b252) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 13:44:50 | → | kuribas joins (~user@2a02-1810-2825-6000-aa26-243-5761-7363.ip6.access.telenet.be) |
| 13:45:04 | → | YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 13:46:44 | → | acidjnk joins (~acidjnk@p200300d6e700e589bc3447690a0a9402.dip0.t-ipconnect.de) |
| 13:48:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:52:18 | × | p3n quits (~p3n@217.198.124.246) (Quit: ZNC 1.10.1 - https://znc.in) |
| 13:53:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 13:59:06 | → | p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 13:59:56 | × | Googulator quits (~Googulato@2a01-036d-0106-216f-e9c4-b0ef-4e86-2425.pool6.digikabel.hu) (Quit: Client closed) |
| 14:00:11 | → | Googulator joins (~Googulato@2a01-036d-0106-216f-e9c4-b0ef-4e86-2425.pool6.digikabel.hu) |
| 14:01:12 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 14:01:37 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 14:03:47 | → | rekahsoft joins (~rekahsoft@76.67.111.168) |
| 14:04:00 | hadronized | is now known as dumdum |
| 14:04:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:09:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 14:12:18 | × | Katarushisu6 quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 14:12:40 | → | Katarushisu6 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 14:13:21 | × | rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 14:14:30 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 14:15:47 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 14:20:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:25:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 14:27:31 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 14:28:02 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 14:33:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:38:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 14:40:25 | × | tromp quits (~textual@2001:1c00:3487:1b00:199:803c:4cc4:404b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:49:14 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 14:49:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:55:11 | → | petrichor joins (~jez@user/petrichor) |
| 14:56:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 14:59:53 | → | trickard__ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 15:00:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:00:44 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 15:01:07 | × | kimiamania4 quits (~b4b260c9@user/kimiamania) (Quit: PegeLinux) |
| 15:01:53 | → | kimiamania4 joins (~b4b260c9@user/kimiamania) |
| 15:02:43 | × | mangoiv quits (~mangoiv@user/mangoiv) (Quit: The Lounge - https://thelounge.chat) |
| 15:03:07 | → | mangoiv joins (~mangoiv@2a01:4f9:c012:6c0e::) |
| 15:03:20 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:04:48 | × | mangoiv quits (~mangoiv@2a01:4f9:c012:6c0e::) (Changing host) |
| 15:04:48 | → | mangoiv joins (~mangoiv@user/mangoiv) |
| 15:05:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 15:05:21 | → | ar3ph9 joins (~ar3ph@user/ar3ph) |
| 15:08:32 | → | Katarushisu63 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 15:08:54 | × | ar3ph quits (~ar3ph@user/ar3ph) (Ping timeout: 260 seconds) |
| 15:08:54 | ar3ph9 | is now known as ar3ph |
| 15:09:03 | × | Katarushisu6 quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Read error: Connection reset by peer) |
| 15:09:03 | Katarushisu63 | is now known as Katarushisu6 |
| 15:16:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:17:21 | → | tromp joins (~textual@2001:1c00:3487:1b00:199:803c:4cc4:404b) |
| 15:20:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 15:28:54 | → | bggd_ joins (~bgg@2a01:e0a:fd5:f510:870e:b6e1:18ac:1926) |
| 15:31:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:39:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 15:40:10 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 15:44:16 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 15:45:55 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Ping timeout: 264 seconds) |
| 15:46:36 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 15:49:43 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 15:50:01 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 15:50:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:51:23 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 15:51:43 | → | EvanR joins (~EvanR@user/evanr) |
| 15:53:28 | → | st_aldini joins (~Thunderbi@136.48.46.187) |
| 15:53:50 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 15:54:45 | → | Enrico63 joins (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) |
| 15:55:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 15:55:26 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 15:56:28 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Ping timeout: 246 seconds) |
| 15:56:54 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 15:59:23 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 16:01:10 | trickard__ | is now known as trickard |
| 16:01:26 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 16:06:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:06:55 | → | AlexNoo_ joins (~AlexNoo@85.174.182.86) |
| 16:09:01 | → | nshepperd28 joins (~nshepperd@2a01:4f9:3b:4cc9::2) |
| 16:09:02 | → | nek06 joins (~nek0@user/nek0) |
| 16:09:07 | → | priime5 joins (~priime@2a01:4ff:f0:7ccc::1) |
| 16:09:26 | → | dyniec_ joins (~dyniec@dybiec.info) |
| 16:09:26 | × | dyniec quits (~dyniec@dybiec.info) (Killed (tungsten.libera.chat (Nickname regained by services))) |
| 16:09:26 | dyniec_ | is now known as dyniec |
| 16:09:54 | → | edwardk_ joins (sid47016@haskell/developer/edwardk) |
| 16:10:06 | → | firesquidwao joins (~a@put.gay) |
| 16:10:32 | → | NiKaN_ joins (sid385034@id-385034.helmsley.irccloud.com) |
| 16:10:33 | → | arkeet` joins (~arkeet@moriya.ca) |
| 16:10:42 | → | RSBach joins (~RMSBach@2603:6013:9b00:a7c8:e7e5:f272:eb86:ddf) |
| 16:10:44 | → | jinsun- joins (bnc4free@here.and.ready-to.party) |
| 16:10:48 | → | andreas808 joins (andreas303@is.drunk.and.ready-to.party) |
| 16:10:49 | → | Ekho- joins (~Ekho@user/ekho) |
| 16:11:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 16:11:10 | → | ladyfriday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 16:11:19 | → | otto_s_ joins (~user@p5b044c1a.dip0.t-ipconnect.de) |
| 16:11:23 | → | Pozyomka_ joins (~pyon@user/pyon) |
| 16:11:23 | → | takuan_dozo joins (~takuan@d8D86B9E9.access.telenet.be) |
| 16:11:24 | → | sshine_ joins (~simon@dao.mechanicus.xyz) |
| 16:11:27 | → | rncwnd joins (~quassel@2a01:4f8:221:27c6::1) |
| 16:11:28 | → | carbolymer_ joins (~carbolyme@delirium.systems) |
| 16:11:30 | → | janus__ joins (janus@user/janus) |
| 16:11:39 | → | sttau_ joins (~sttau@199.180.255.81) |
| 16:11:47 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Quit: fp) |
| 16:11:59 | × | AlexNoo quits (~AlexNoo@85.174.182.86) (Read error: Connection reset by peer) |
| 16:11:59 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 439 seconds) |
| 16:12:00 | × | juri_ quits (~juri@84.19.175.187) (Read error: Connection reset by peer) |
| 16:12:03 | → | sweater joins (~sweater@206.81.18.26) |
| 16:12:04 | × | tuxpaint quits (~a@2600:3c06::f03c:93ff:fea6:ef0e) (Read error: Connection reset by peer) |
| 16:12:07 | → | juri__ joins (~juri@84.19.175.187) |
| 16:12:14 | → | df_ joins (~ben@justworks.xyz) |
| 16:13:55 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 258 seconds) |
| 16:13:55 | × | otto_s quits (~user@p5b044c1a.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 16:13:55 | × | RMSBach quits (~RMSBach@24.210.9.182) (Ping timeout: 258 seconds) |
| 16:13:55 | × | andreas303 quits (andreas303@is.drunk.and.ready-to.party) (Ping timeout: 258 seconds) |
| 16:13:56 | → | cyphase joins (~cyphase@user/cyphase) |
| 16:13:56 | × | nek0 quits (~nek0@user/nek0) (Ping timeout: 258 seconds) |
| 16:13:56 | × | vulpine quits (xfnw@user/meow/xfnw) (Ping timeout: 258 seconds) |
| 16:13:56 | × | mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Ping timeout: 258 seconds) |
| 16:13:56 | × | rncwnd_ quits (~quassel@2a01:4f8:221:27c6::1) (Ping timeout: 258 seconds) |
| 16:13:56 | × | carbolymer quits (~carbolyme@delirium.systems) (Ping timeout: 258 seconds) |
| 16:13:56 | × | arkeet quits (arkeet@moriya.ca) (Ping timeout: 258 seconds) |
| 16:13:56 | × | Ekho quits (~Ekho@user/ekho) (Ping timeout: 258 seconds) |
| 16:13:56 | × | sshine quits (~simon@dao.mechanicus.xyz) (Ping timeout: 258 seconds) |
| 16:13:56 | × | sweater4 quits (~sweater@206.81.18.26) (Ping timeout: 258 seconds) |
| 16:13:56 | × | jinsun quits (jinsun@user/jinsun) (Ping timeout: 258 seconds) |
| 16:13:56 | × | NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 258 seconds) |
| 16:13:56 | × | priime quits (~priime@2a01:4ff:f0:7ccc::1) (Ping timeout: 258 seconds) |
| 16:13:56 | × | sttau quits (~sttau@199.180.255.81) (Ping timeout: 258 seconds) |
| 16:13:56 | × | df quits (~ben@justworks.xyz) (Ping timeout: 258 seconds) |
| 16:13:56 | × | edwardk quits (sid47016@haskell/developer/edwardk) (Ping timeout: 258 seconds) |
| 16:13:56 | × | nshepperd2 quits (~nshepperd@2a01:4f9:3b:4cc9::2) (Ping timeout: 258 seconds) |
| 16:13:56 | RSBach | is now known as RMSBach |
| 16:13:56 | nek06 | is now known as nek0 |
| 16:13:56 | arkeet` | is now known as arkeet |
| 16:13:56 | nshepperd28 | is now known as nshepperd2 |
| 16:13:57 | priime5 | is now known as priime |
| 16:13:57 | edwardk_ | is now known as edwardk |
| 16:14:00 | NiKaN_ | is now known as NiKaN |
| 16:14:35 | → | jess joins (meow@libera/staff/cat/jess) |
| 16:15:59 | × | janus quits (janus@user/janus) (Ping timeout: 244 seconds) |
| 16:16:05 | × | remexre quits (~remexre@user/remexre) (Ping timeout: 244 seconds) |
| 16:16:20 | × | Ekho- quits (~Ekho@user/ekho) (Max SendQ exceeded) |
| 16:16:30 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 244 seconds) |
| 16:16:41 | → | remexre joins (~remexre@user/remexre) |
| 16:17:28 | × | trickard quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 16:17:38 | → | Ekho joins (~Ekho@user/ekho) |
| 16:17:42 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 16:18:28 | × | Googulator quits (~Googulato@2a01-036d-0106-216f-e9c4-b0ef-4e86-2425.pool6.digikabel.hu) (Quit: Client closed) |
| 16:18:37 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 16:19:00 | → | Googulator joins (~Googulato@2a01-036d-0106-216f-e9c4-b0ef-4e86-2425.pool6.digikabel.hu) |
| 16:21:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:22:11 | × | jess_ quits (meow@libera/staff/cat/jess) (Ping timeout: 610 seconds) |
| 16:23:25 | × | polykernel quits (~polykerne@user/polykernel) (Remote host closed the connection) |
| 16:23:44 | → | polykernel joins (~polykerne@user/polykernel) |
| 16:26:05 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 16:26:25 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 16:26:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 16:31:20 | × | Googulator quits (~Googulato@2a01-036d-0106-216f-e9c4-b0ef-4e86-2425.pool6.digikabel.hu) (Quit: Client closed) |
| 16:31:29 | → | Googulator joins (~Googulato@94-21-139-88.pool.digikabel.hu) |
| 16:32:51 | × | Enrico63 quits (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) (Quit: Client closed) |
| 16:34:20 | → | vulpine joins (xfnw@user/meow/xfnw) |
| 16:35:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:40:14 | → | Googulator49 joins (~Googulato@2a01-036d-0106-216f-e9c4-b0ef-4e86-2425.pool6.digikabel.hu) |
| 16:40:51 | × | Googulator quits (~Googulato@94-21-139-88.pool.digikabel.hu) (Quit: Client closed) |
| 16:42:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 16:43:35 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:44:24 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 16:49:49 | × | janus__ quits (janus@user/janus) (Ping timeout: 260 seconds) |
| 16:50:48 | Googulator49 | is now known as Googulator |
| 16:51:38 | → | janus joins (janus@user/janus) |
| 16:53:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:56:18 | → | Enrico63 joins (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) |
| 16:57:25 | × | petrichor quits (~jez@user/petrichor) (Ping timeout: 244 seconds) |
| 16:58:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 17:05:23 | → | petrichor joins (~jez@user/petrichor) |
| 17:08:10 | × | Enrico63 quits (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) (Quit: Client closed) |
| 17:09:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:10:19 | × | trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 17:10:32 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 17:12:23 | × | Googulator quits (~Googulato@2a01-036d-0106-216f-e9c4-b0ef-4e86-2425.pool6.digikabel.hu) (Quit: Client closed) |
| 17:12:36 | → | Googulator joins (~Googulato@2a01-036d-0106-216f-e9c4-b0ef-4e86-2425.pool6.digikabel.hu) |
| 17:14:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 17:16:13 | × | petrichor quits (~jez@user/petrichor) (Ping timeout: 264 seconds) |
| 17:22:06 | × | tromp quits (~textual@2001:1c00:3487:1b00:199:803c:4cc4:404b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:22:55 | → | tromp joins (~textual@2001:1c00:3487:1b00:199:803c:4cc4:404b) |
| 17:25:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:28:03 | → | petrichor joins (~jez@user/petrichor) |
| 17:30:40 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:32:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 17:34:00 | × | tromp quits (~textual@2001:1c00:3487:1b00:199:803c:4cc4:404b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:36:57 | → | Guest58 joins (~Guest58@194.246.81.225) |
| 17:51:24 | → | tromp joins (~textual@2001:1c00:3487:1b00:199:803c:4cc4:404b) |
| 17:52:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:53:06 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 17:57:13 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 17:57:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 18:06:14 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 18:06:33 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 18:08:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:12:53 | × | kuribas quits (~user@2a02-1810-2825-6000-aa26-243-5761-7363.ip6.access.telenet.be) (Remote host closed the connection) |
| 18:13:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 18:21:15 | × | Guest58 quits (~Guest58@194.246.81.225) (Quit: Client closed) |
| 18:23:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:27:31 | × | tromp quits (~textual@2001:1c00:3487:1b00:199:803c:4cc4:404b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:30:08 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 18:31:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 18:32:25 | × | olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 264 seconds) |
| 18:33:11 | → | olivial joins (~benjaminl@user/benjaminl) |
| 18:33:38 | → | Square2 joins (~Square@user/square) |
| 18:34:25 | × | emaczen quits (~user@user/emaczen) (Remote host closed the connection) |
| 18:35:01 | × | Square quits (~Square4@user/square) (Ping timeout: 246 seconds) |
| 18:36:26 | → | emaczen joins (~user@user/emaczen) |
| 18:41:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:46:28 | trickard_ | is now known as trickard |
| 18:47:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 18:50:02 | → | trickard__ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 18:51:01 | × | trickard quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 18:55:50 | → | hakutaku joins (~textual@user/hakutaku) |
| 18:57:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:01:01 | × | jess quits (meow@libera/staff/cat/jess) () |
| 19:03:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 19:06:12 | × | attlin quits (~user@user/attlin) (Quit: Leaving) |
| 19:06:49 | → | attlin joins (~user@216.126.236.136) |
| 19:06:49 | × | attlin quits (~user@216.126.236.136) (Changing host) |
| 19:06:49 | → | attlin joins (~user@user/attlin) |
| 19:13:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:13:51 | → | ft joins (~ft@p508db4c0.dip0.t-ipconnect.de) |
| 19:15:15 | × | attlin quits (~user@user/attlin) (Quit: Leaving) |
| 19:16:28 | → | Tuplanolla joins (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) |
| 19:18:26 | → | attlin joins (~user@user/attlin) |
| 19:19:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 19:19:18 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:19:36 | × | attlin quits (~user@user/attlin) (Client Quit) |
| 19:20:13 | → | attlin joins (~user@216.126.236.136) |
| 19:20:13 | × | attlin quits (~user@216.126.236.136) (Changing host) |
| 19:20:13 | → | attlin joins (~user@user/attlin) |
| 19:22:43 | × | attlin quits (~user@user/attlin) (Client Quit) |
| 19:22:51 | jmcantrell_ | is now known as jmcantrell |
| 19:23:19 | × | target_i quits (~target_i@user/target-i/x-6023099) (Ping timeout: 240 seconds) |
| 19:24:37 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:25:15 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 19:29:36 | → | merijn joins (~merijn@62.45.136.136) |
| 19:30:44 | → | attlin joins (~user@user/attlin) |
| 19:31:30 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 19:34:09 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 19:34:18 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 19:34:58 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 19:43:56 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 19:44:26 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 19:45:16 | Lord_of_Life_ | is now known as Lord_of_Life |
| 19:45:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:50:32 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 19:57:44 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 20:01:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:03:58 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 20:08:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 20:09:33 | → | messewix joins (~jmc@user/messewix) |
| 20:11:09 | → | s3np41 joins (~s3np41@078088254000.unknown.vectranet.pl) |
| 20:11:29 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 20:12:40 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 255 seconds) |
| 20:14:19 | <s3np41> | Anyone knows of good resources to read up on the ReaderT pattern? |
| 20:15:09 | AlexNoo_ | is now known as AlexNoo |
| 20:17:14 | <EvanR> | there's not much to say about ReaderT itself, which transforms any monad to one with an additional read only context, which you can fully get by writing one yourself |
| 20:17:22 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 20:17:37 | <ncf> | it's not a pattern, it's a monad transformer, and https://hackage-content.haskell.org/package/mtl-2.3.2/docs/Control-Monad-Reader.html |
| 20:17:48 | <ncf> | even has examples! |
| 20:17:57 | <EvanR> | but going further and making the mtl and transformers API more abstract... there's SPJ's paper listed on the haddocks |
| 20:18:16 | × | bggd_ quits (~bgg@2a01:e0a:fd5:f510:870e:b6e1:18ac:1926) (Remote host closed the connection) |
| 20:19:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:19:53 | <s3np41> | well i just wanted to get good examples, so i guess the hackage should suffice? |
| 20:20:00 | <s3np41> | Thanks anyways |
| 20:20:20 | <EvanR> | there do be those there |
| 20:21:05 | <ncf> | if you want an introduction to monad transformers in general then https://en.wikibooks.org/wiki/Haskell/Monad_transformers |
| 20:21:40 | <s3np41> | will read thanks |
| 20:23:02 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 20:24:12 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 20:24:21 | <c_wraith> | There is something people call the "ReaderT pattern" which is not just "this is what ReaderT does". It's about designing your program around a kind of dependency injection in the form of actions being passed around implicitly with ReaderT |
| 20:24:32 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 20:24:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 20:26:26 | <ncf> | seems like a very silly name |
| 20:26:47 | <ncf> | can we not java-fy haskell thanks |
| 20:27:27 | <c_wraith> | Dependency injection is very natural in haskell. It's an overly formal name for "pass parameters", but it's very good to think about doing. |
| 20:28:34 | <EvanR> | don't forget to inject your dependencies |
| 20:28:53 | <c_wraith> | the type checker gets upset when you don't pass enough parameters. |
| 20:29:05 | <ncf> | if you mean dependency injection say dependency injection! |
| 20:29:13 | <EvanR> | I was going to say, if it boils down to passing the arguments you need, there's very little wiggle room to do anything else in haskell |
| 20:29:14 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 20:29:27 | <ncf> | although maybe continuation-passing would be a better name for this |
| 20:29:45 | <EvanR> | if your dependencies are continuations |
| 20:30:11 | <ncf> | sounds like that's what this is, unless i'm misunderstanding what it is people call the "ReaderT pattern" |
| 20:31:07 | <EvanR> | https://academy.fpblock.com/blog/2017/06/readert-design-pattern/ |
| 20:31:08 | <c_wraith> | It's not necessarily continuations. You can pass around `log :: Env -> Level -> Message -> M ()' and there's no continuations there. |
| 20:32:01 | <c_wraith> | They key point is that you've abstracted managing the log system away from the logic that actually sends messages to the log system. |
| 20:34:29 | <c_wraith> | There are a lot of ways to do this, of course. But a single indirect function call is very low weight, compared to a lot of abstractions you can come up with. |
| 20:34:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:37:29 | <ncf> | i guess this is only necessary in a language without parametrised modules.. |
| 20:39:18 | <c_wraith> | technically Haskell has those, but they're so painful that no one uses them. |
| 20:39:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:39:54 | <ncf> | does it? |
| 20:39:59 | <c_wraith> | Also, I guess it's more that *cabal* has them, and will modify the compilation environment to synthesize the equivalent. |
| 20:40:04 | <dolio> | backpack |
| 20:40:10 | <ncf> | oh |
| 20:40:27 | <c_wraith> | I actually use backpack features, but not for parameterized modules. |
| 20:40:42 | <c_wraith> | Just for compatibility with different library versions renaming modules. |
| 20:42:13 | <EvanR> | see also reflection (in haskell, for getting similar things accomplished) |
| 20:43:36 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 20:43:42 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Ping timeout: 265 seconds) |
| 20:43:56 | → | divlamir joins (~divlamir@user/divlamir) |
| 20:44:02 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 20:44:03 | <EvanR> | which I guess has the proper name Implicit Configurations |
| 20:44:34 | <c_wraith> | functionally, the reflection library is also just "passing parameters", except it smuggles the parameter in a class constraint. |
| 20:44:53 | <c_wraith> | Which has interesting UX considerations |
| 20:50:45 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 20:50:47 | <c_wraith> | I did some funny stuff faking dependent instances using a Reifies constraint. It works, but actual dependent types would be a lot easier to use. |
| 20:50:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:55:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:56:01 | <jreicher> | I spent probably full months arguing with some friends about exactly what "dependency injection" meant, and more than half of that was trying to figure out what a "dependency" is. |
| 20:56:09 | <jreicher> | ...a full month... |
| 20:56:51 | <EvanR> | a couple lines of code is worth N full months of arguing |
| 20:58:39 | <EvanR> | is jargon darwinistic, i.e. does it persist and expire based on fitness for its purpose, recognized or not xD |
| 20:59:09 | <geekosaur> | it certainly changes over time |
| 20:59:20 | <EvanR> | dependency injection sounds verbose and redundant on the face of it, but maybe that's important xD |
| 21:00:12 | <jreicher> | I've never tried to transplant it to FP. There are certainly people who believe it's very, very important in OO. |
| 21:01:32 | <EvanR> | it's one of several OOP things which boils down to "pass a parameter" |
| 21:01:42 | <EvanR> | in FP |
| 21:02:41 | <geekosaur> | note however that it's controlled not by actual need but by perceived need, and perceptions can be slower to change |
| 21:03:23 | <geekosaur> | OOP smuggles parameters in objects. Haskell can smuggle them in contexts. ☺ |
| 21:03:36 | <geekosaur> | or monads |
| 21:03:54 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 21:04:14 | → | pavonia joins (~user@user/siracusa) |
| 21:04:25 | <jreicher> | Yes the mutability of objects is a key point, because the representation of state and the way it's mutated is exactly the kind of implementation detail that clients don't want to know. So I don't think an FP equivalent (if there is one) would just be passing parameters. |
| 21:04:30 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 21:05:15 | <EvanR> | is it? |
| 21:05:30 | <jreicher> | Is it what? |
| 21:05:35 | <EvanR> | you can get pretty far in OOP without mutability |
| 21:06:10 | <jreicher> | I would suggest you're not really doing OO in that case. It's an opinion I'm not even sure I believe, but I just don't see OO offering anything special if its state mutation facilities aren't being used. |
| 21:06:11 | <EvanR> | immutable objects is kind of fashionable these days |
| 21:06:32 | <EvanR> | that gets into what OOP even is |
| 21:06:42 | <EvanR> | I don't think mutability is universally critical |
| 21:06:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:06:56 | <EvanR> | (in fact it messes up some classic inheritance relationships) |
| 21:07:08 | <jreicher> | If you're using an OO language and everything really is immutable, I think you're doing FP in an inappropriate language. |
| 21:07:38 | trickard__ | is now known as trickard |
| 21:08:20 | <KindFoxo> | What is immutability tho? Is Erlang/Elixir a language with immutable state? |
| 21:08:55 | <KindFoxo> | actor seem pretty close to objects for me. I guess originally, in Smalltalk's era, they were the same thing |
| 21:09:22 | → | Square joins (~Square4@user/square) |
| 21:10:46 | × | Square2 quits (~Square@user/square) (Ping timeout: 265 seconds) |
| 21:12:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:12:24 | <ski> | "FP" : programming with variant/sum types and pattern-matching |
| 21:12:40 | <ski> | "OO" : programming with record/product types and message-dispatching |
| 21:13:02 | <KindFoxo> | Haskell seems to me like a structural programming language, in a sense category theory is a reborn of structuralism in mathematics. In Haskell it allows to extract the structure emerging in relations into some sort of a pattern. |
| 21:13:30 | <KindFoxo> | For example, Reader is such an extraction of the fact that a functional arrow is a monad |
| 21:13:57 | <ski> | KindFoxo : you can store data in processes in Erlang, e.g. in its dict, or simply by having it wait for requests to set and access the state (which is immutably passed around in a tail-recursive loop) |
| 21:15:26 | <KindFoxo> | ski: you've made Lisps not functional... and I guess the language FP does not fit in the definition being obviously a functional programming language |
| 21:16:13 | <ski> | yea, those two are very restricted, and highly stylized, alternatives, for the purpose of showing a duality |
| 21:16:23 | <ski> | (that's why i used quotes) |
| 21:17:22 | <KindFoxo> | also, all the ML-like FP languages have record types, why should it be not an FP thing... I've seen some formalization of classes as coinductive types. In curry or Coq, not sure, sounds interesting to me... As for right now, I don't understand "the idea" behind OOP... |
| 21:18:10 | <KindFoxo> | oh, I'm sorry... I don't read while writing... |
| 21:18:39 | <ski> | but they don't have message-dispatching definition syntax (called "copatterns" in Agda. also used, years before that, by e.g. Erik Poll) |
| 21:20:00 | <ski> | the point is that *one* way to construe "OO" is that the main idea is to structure your program around records with delayed (possibly parameterized) fields. with or without subtyping. with or without implementation inheritance and late binding, open recursion |
| 21:20:01 | <EvanR> | jreicher, cardelli theory of objects shows two simplistic OOP "calculi" one with mutable, one without. Both are superficially similar to LC. So yeah |
| 21:20:43 | <EvanR> | see also ocaml for a function language that happens to also support OOP |
| 21:20:46 | <EvanR> | functional |
| 21:21:27 | <ski> | and both these two structuring approaches, "FP", and "OO", are important. both are available in Haskell (although message-dispatching syntax, like in Agda, would help encourage it a bit more). VisitorPattern is a way to simulate (via CPA) pattern-matching on variant types, in traditional OO languages |
| 21:21:52 | <ski> | yea, OCaml has support for immutable OO |
| 21:22:11 | <ski> | returning a clone of the current object, but with some of the instance fields swapped out |
| 21:22:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:23:12 | <ski> | also, you can specify that an argument type, or result type, of a method is of "This" class (like "binary methods" and "clone methods"). this in turn causes not all subclasses to induce subtypes (which OCaml tracks statically) |
| 21:23:38 | <ski> | @where on-understanding |
| 21:23:38 | <lambdabot> | "On Understanding Types, Data Abstraction, and Polymorphism" by Luca Cardelli,Peter Wegner in 1985-12 at <http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf> |
| 21:23:41 | <ski> | @where on-understanding-revisited |
| 21:23:41 | <lambdabot> | "On Understanding Data Abstraction, Revisited" by William R. Cook in 2009-10 at <http://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf> |
| 21:24:37 | <ski> | these talk, amongst other things, about subtyping, parametric polymorphism, existential quantification. and how existentials are related to closures & object-orientation, and also (in a different way) to abstract data types |
| 21:24:41 | × | picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.8.1) |
| 21:25:05 | <ski> | @where polymorphic-type-inference |
| 21:25:05 | <lambdabot> | "Polymorphic Type Inference" by Michael I. Schwartzbach in 1995-03 at <https://cs.au.dk/~mis/typeinf.p(s|df)>,<http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.1493> |
| 21:25:12 | <ski> | might also be helpful |
| 21:26:35 | → | picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 21:27:03 | <ski> | (oh, try <https://cs.au.dk/~amoeller/mis/typeinf.pdf> for the last one) |
| 21:27:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 21:28:03 | <ski> | @where+ polymorphic-type-inference "Polymorphic Type Inference" by Michael I. Schwartzbach in 1995-03 at <https://cs.au.dk/~amoeller/mis/typeinf.p(s|df)>,<http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.1493> |
| 21:28:03 | <lambdabot> | Nice! |
| 21:30:56 | × | takuan_dozo quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 240 seconds) |
| 21:35:12 | <EvanR> | ski, "open recursion" vs general recursion? |
| 21:35:36 | <c_wraith> | open recursion is a term used primarily to describe OOP's late dispatch mechanisms |
| 21:35:57 | <c_wraith> | technically you can do it with recursion schemes in Haskell, but no one writes their code that way |
| 21:36:55 | × | michalz quits (~michalz@185.246.207.200) (Remote host closed the connection) |
| 21:38:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:39:59 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:44:21 | <ski> | EvanR : given an object with two methods `f' and `g', where the implementation of `f' calls `g' (in the same object). now, you construct a new object from this old one, replacing the `g' implementation. "open recursion" means that `f' in this object will now call the new `g', rather than the old |
| 21:45:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 21:45:30 | <ski> | or, you can express it in terms of classes (object templates. not directly related to object types), instead of creating a new object, you create a new subclass, overriding `g' with a new implementation. the old `f' in the new class should now call the new `g' |
| 21:46:37 | <ski> | you need either mutation, or delaying application of `fix', to implement this |
| 21:47:42 | <ski> | you could define a "class" as a function of type `O -> O' (taking `self'/`this' as input), and to instantiate a new object of this class, you call `fix' on it |
| 21:56:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:58:23 | → | Alex_delenda_est joins (~al_test@85.174.182.86) |
| 22:00:32 | eriedaberrie_ | is now known as eriedaberrie |
| 22:01:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 22:02:31 | × | comonad quits (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 22:08:35 | → | comonad joins (~comonad@pd9e072e5.dip0.t-ipconnect.de) |
| 22:12:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:16:13 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 22:17:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 22:26:39 | × | petrichor quits (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 22:27:29 | → | petrichor joins (~jez@user/petrichor) |
| 22:27:33 | → | msyds joins (~msyds@164.47.100.4) |
| 22:27:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:30:31 | × | user363627 quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 22:30:53 | → | user363627 joins (~user@user/user363627) |
| 22:32:12 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 22:32:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 22:37:14 | yin | is now known as zzz |
| 22:39:52 | × | msyds quits (~msyds@164.47.100.4) (Quit: Leaving) |
| 22:43:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:47:25 | × | oskarw quits (~user@user/oskarw) (Ping timeout: 245 seconds) |
| 22:48:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 22:49:26 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 22:53:39 | → | tromp joins (~textual@2001:1c00:3487:1b00:199:803c:4cc4:404b) |
| 22:59:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:04:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 23:08:23 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 23:15:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:15:49 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
| 23:20:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 23:23:44 | × | comonad quits (~comonad@pd9e072e5.dip0.t-ipconnect.de) (Quit: WeeChat 4.7.0-dev) |
| 23:27:39 | × | tromp quits (~textual@2001:1c00:3487:1b00:199:803c:4cc4:404b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:31:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:32:16 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:36:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 23:36:59 | → | mange joins (~mange@user/mange) |
| 23:47:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:51:36 | → | comonad joins (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) |
| 23:52:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 23:52:43 | × | Square quits (~Square4@user/square) (Ping timeout: 260 seconds) |
| 23:56:44 | → | Square2 joins (~Square@user/square) |
All times are in UTC on 2026-02-09.