Logs on 2024-09-10 (liberachat/#haskell)
| 00:01:10 | × | Goodbye_Vincent1 quits (cyvahl@freakshells.net) (Remote host closed the connection) |
| 00:01:51 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 00:03:48 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 00:03:50 | × | meygerjos quits (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Remote host closed the connection) |
| 00:04:13 | → | meygerjos joins (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 00:05:13 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 00:05:13 | × | Goodbye_Vincent1 quits (cyvahl@freakshells.net) (Remote host closed the connection) |
| 00:05:55 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 00:12:39 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 00:13:11 | → | pavonia_ joins (~user@user/siracusa) |
| 00:13:21 | × | pavonia quits (~user@user/siracusa) (Ping timeout: 252 seconds) |
| 00:13:47 | pavonia_ | is now known as pavonia |
| 00:20:54 | × | Goodbye_Vincent1 quits (cyvahl@freakshells.net) (Remote host closed the connection) |
| 00:21:34 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 00:22:39 | → | vincent42 joins (uid574193@id-574193.hampstead.irccloud.com) |
| 00:22:48 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:f026:cab8:26a0:8d01) |
| 00:23:16 | × | vincent42 quits (uid574193@id-574193.hampstead.irccloud.com) (Changing host) |
| 00:23:16 | → | vincent42 joins (uid574193@user/vincent42) |
| 00:23:40 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 00:24:34 | × | xff0x quits (~xff0x@2405:6580:b080:900:979f:5e3e:76e8:a33b) (Ping timeout: 260 seconds) |
| 00:27:01 | × | k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:f026:cab8:26a0:8d01) (Ping timeout: 248 seconds) |
| 00:28:37 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 00:33:40 | → | califax_ joins (~califax@user/califx) |
| 00:33:51 | × | califax quits (~califax@user/califx) (Ping timeout: 260 seconds) |
| 00:34:16 | × | hgolden__ quits (~hgolden@23.162.40.28) (Read error: Connection reset by peer) |
| 00:34:59 | califax_ | is now known as califax |
| 00:36:04 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:f026:cab8:26a0:8d01) |
| 00:36:15 | k_hachig_ | is now known as k_hachig |
| 00:39:27 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 00:40:49 | × | hook54321 quits (sid149355@user/hook54321) (Ping timeout: 245 seconds) |
| 00:40:49 | × | systemfault quits (sid267009@about/typescript/member/systemfault) (Ping timeout: 245 seconds) |
| 00:41:38 | × | SethTisue quits (sid14912@id-14912.ilkley.irccloud.com) (Ping timeout: 245 seconds) |
| 00:41:51 | → | systemfault joins (sid267009@about/typescript/member/systemfault) |
| 00:41:59 | × | Goodbye_Vincent1 quits (cyvahl@freakshells.net) (Remote host closed the connection) |
| 00:42:41 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 00:44:08 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 00:44:09 | × | tapas quits (sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 245 seconds) |
| 00:44:09 | × | spew quits (~spew@201.141.99.170) (Ping timeout: 252 seconds) |
| 00:44:48 | → | SethTisue joins (sid14912@id-14912.ilkley.irccloud.com) |
| 00:45:36 | × | Goodbye_Vincent1 quits (cyvahl@freakshells.net) (Remote host closed the connection) |
| 00:46:18 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 00:46:53 | → | hook54321 joins (sid149355@user/hook54321) |
| 00:47:06 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 00:47:22 | → | tapas joins (sid467876@id-467876.ilkley.irccloud.com) |
| 00:49:31 | × | Goodbye_Vincent1 quits (cyvahl@freakshells.net) (Remote host closed the connection) |
| 00:50:13 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 00:52:52 | → | spew joins (~spew@201.141.99.170) |
| 00:55:14 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 01:00:08 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 01:01:24 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 276 seconds) |
| 01:04:54 | × | Goodbye_Vincent1 quits (cyvahl@freakshells.net) (Remote host closed the connection) |
| 01:05:35 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 01:11:01 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 01:12:57 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 01:16:04 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:16:29 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 01:18:20 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:23:02 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Client Quit) |
| 01:24:09 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:25:59 | × | Goodbye_Vincent1 quits (cyvahl@freakshells.net) (Remote host closed the connection) |
| 01:26:39 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 01:26:44 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Client Quit) |
| 01:26:47 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 01:28:45 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 01:29:35 | × | Goodbye_Vincent1 quits (cyvahl@freakshells.net) (Remote host closed the connection) |
| 01:30:17 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 01:31:07 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:31:39 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 01:33:33 | × | Goodbye_Vincent1 quits (cyvahl@freakshells.net) (Remote host closed the connection) |
| 01:34:14 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 01:38:43 | → | tv joins (~tv@user/tv) |
| 01:41:00 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 01:42:35 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 01:43:52 | → | hgolden joins (~hgolden@static-198-44-129-115.cust.tzulo.com) |
| 01:47:36 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:47:44 | → | Square joins (~Square@user/square) |
| 01:47:49 | × | Square quits (~Square@user/square) (Remote host closed the connection) |
| 01:48:59 | × | Goodbye_Vincent1 quits (cyvahl@freakshells.net) (Remote host closed the connection) |
| 01:49:40 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 01:54:53 | × | Goodbye_Vincent1 quits (cyvahl@freakshells.net) (K-Lined) |
| 01:56:58 | → | troojg joins (~troojg@user/troojg) |
| 01:58:23 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 02:03:26 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 02:03:35 | × | petrichor quits (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:03:54 | → | petrichor joins (~znc-user@user/petrichor) |
| 02:08:54 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 02:11:35 | → | Square joins (~Square@user/square) |
| 02:11:35 | × | Square quits (~Square@user/square) (Remote host closed the connection) |
| 02:11:57 | → | Square joins (~Square@user/square) |
| 02:12:47 | → | sp1ff joins (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 02:12:53 | × | troojg quits (~troojg@user/troojg) (Ping timeout: 252 seconds) |
| 02:14:12 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 02:14:24 | → | Axma10625 joins (~Axman6@user/axman6) |
| 02:16:28 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 02:21:57 | × | Square quits (~Square@user/square) (Ping timeout: 246 seconds) |
| 02:24:40 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 02:26:09 | → | hgolden_ joins (~hgolden@23.162.40.69) |
| 02:28:40 | × | hgolden quits (~hgolden@static-198-44-129-115.cust.tzulo.com) (Ping timeout: 252 seconds) |
| 02:29:24 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:31:09 | × | hgolden_ quits (~hgolden@23.162.40.69) (Ping timeout: 260 seconds) |
| 02:31:25 | × | ZharMeny quits (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 02:31:53 | Axma10625 | is now known as Axman6 |
| 02:32:09 | × | vincent42 quits (uid574193@user/vincent42) (Quit: Connection closed for inactivity) |
| 02:33:26 | → | hgolden_ joins (~hgolden@169.150.203.36) |
| 02:35:40 | × | hgolden_ quits (~hgolden@169.150.203.36) (Remote host closed the connection) |
| 02:36:09 | → | hgolden_ joins (~hgolden@169.150.203.36) |
| 02:37:08 | × | hgolden_ quits (~hgolden@169.150.203.36) (Remote host closed the connection) |
| 02:37:33 | → | hgolden_ joins (~hgolden@169.150.203.36) |
| 02:40:26 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 02:42:13 | × | terrorjack4 quits (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
| 02:42:57 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 02:43:46 | → | terrorjack4 joins (~terrorjac@2a01:4f8:c17:dc9f::) |
| 02:45:24 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 02:47:19 | × | john2 quits (~john@2406:5a00:241a:5600:f0eb:f825:2ac6:1387) (Read error: Connection reset by peer) |
| 02:48:08 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 02:48:18 | × | sa1 quits (sid7690@id-7690.ilkley.irccloud.com) (Ping timeout: 245 seconds) |
| 02:48:22 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 02:48:23 | → | john2 joins (~john@2406:5a00:241a:5600:31b8:c267:49dc:2202) |
| 02:48:26 | × | td_ quits (~td@i5387092B.versanet.de) (Ping timeout: 255 seconds) |
| 02:50:24 | → | td_ joins (~td@i5387093D.versanet.de) |
| 02:52:58 | → | sa1 joins (sid7690@id-7690.ilkley.irccloud.com) |
| 02:55:51 | × | sourcetarius quits (~sourcetar@user/sourcetarius) (Quit: zzz) |
| 02:56:13 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 02:57:59 | × | spew quits (~spew@201.141.99.170) (Quit: spew) |
| 03:01:13 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 03:12:01 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 03:17:04 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:25:01 | → | arahael_ joins (~arahael@user/arahael) |
| 03:27:48 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 03:30:10 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 03:30:33 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 03:31:35 | Lord_of_Life_ | is now known as Lord_of_Life |
| 03:32:28 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 03:42:28 | × | idnar quits (sid12240@debian/mithrandi) (Ping timeout: 245 seconds) |
| 03:43:35 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 03:46:06 | <haskellbridge> | <thirdofmay18081814goya> what's the difference between the sld inference rule and the general resolution inference rule? |
| 03:46:38 | → | idnar joins (sid12240@debian/mithrandi) |
| 03:48:36 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:51:24 | → | aforemny_ joins (~aforemny@2001:9e8:6cc0:b200:2811:dbcb:ebeb:5aed) |
| 03:51:54 | × | aforemny quits (~aforemny@2001:9e8:6ce5:1500:20e4:f28d:e540:f289) (Ping timeout: 246 seconds) |
| 03:53:43 | <jle`> | there's still no way to uncons a type-level Symbol? |
| 03:53:58 | <jle`> | besides using that library what does the hacky CmpNat usage |
| 03:59:21 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 04:01:20 | × | Squared quits (~Square@user/square) (Ping timeout: 255 seconds) |
| 04:04:09 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 04:04:36 | <Axman6> | There definitely is, let me see if I can find it |
| 04:06:35 | <Axman6> | https://github.com/raehik/symparsec is built on top of https://hackage.haskell.org/package/base-4.16.1.0/docs/GHC-TypeLits.html#t:UnconsSymbol IIRC |
| 04:07:50 | <jle`> | whoa :O |
| 04:08:02 | <jle`> | i was staring at the docs for a while and didn't see UnconsSymbol |
| 04:08:31 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 04:09:30 | <jle`> | thanks! |
| 04:09:35 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 04:14:51 | <haskellbridge> | <thirdofmay18081814goya> geekosaur: if you have time at some point, would you mind giving me a general idea of how you would do this? just informally |
| 04:15:09 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 04:19:13 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 04:20:08 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:20:32 | <Axman6> | I've been resisting the urge to use symparsec as a way to define configuration for IP in Clash for a while now. Trying to define everything in the type system is kinda painful (though there are libraries that make it a little nicer) |
| 04:20:57 | → | caconym joins (~caconym@user/caconym) |
| 04:23:18 | × | arahael_ quits (~arahael@user/arahael) (Read error: Connection reset by peer) |
| 04:24:19 | <jle`> | i'm trying to update my type level printf library after almost 5 years |
| 04:24:31 | <Axman6> | <3 |
| 04:24:47 | <jle`> | i was using the symbols library which basically checked against every Ascii character to see if it was the first character or not |
| 04:24:48 | <geekosaur> | thirdofmay, I'm heading to bed. But typeclasses in Haskell can be thought of as having two components: an operational one involving passing dictionaries of functions around, and a type resolution one involving solving constraints. This amounts to asserting types and typeclass instances thereof, and then asking for a solution to a proposition constructed from typeclass constraints. |
| 04:25:01 | <Axman6> | I wonder how hard it would be to support printf's %n$ syntax at the type level... |
| 04:25:01 | <jle`> | and it was slow as doodoo |
| 04:25:21 | × | caconym quits (~caconym@user/caconym) (Client Quit) |
| 04:25:35 | <jle`> | Axman6: that's what https://hackage.haskell.org/package/typelits-printf was supposed to do |
| 04:25:37 | <jle`> | but it was super slow |
| 04:25:43 | → | caconym joins (~caconym@user/caconym) |
| 04:25:43 | <Axman6> | Was that Csongor Kiss' library? |
| 04:25:45 | <jle`> | but i wonder if i use symparsec it'd be usable |
| 04:25:47 | <geekosaur> | I can't quite think clearly enough right now to dust off my Prolog from the 1990s and try to construct it right now. |
| 04:25:58 | <jle`> | yeah it used kiss's library under the hood |
| 04:26:27 | <jle`> | i tried using it myself for a while but the compile times were pretty infeasible |
| 04:26:40 | <Axman6> | I remember the... ICFP? talk on that, I came away from it with very mixed feelings |
| 04:27:03 | <jle`> | it was definitely a thing that existed, befure UnconsSymbol :) |
| 04:27:17 | <Axman6> | Like, it was brilliant, but it was a brilliant solution to a problem that should be solved elsewhere (hence UnconsSymbol I guess) |
| 04:27:44 | <jle`> | functionality wise the printf i built on top of it worked and i was happy with it, except for it added like 30 seconds per printf at compiletime |
| 04:28:18 | <Axman6> | "You can use this library, but only once. Choose wisely" |
| 04:29:41 | <Axman6> | Would it be difficult to make things extensible so users can add their own FormatTypes? ... is that already possible? |
| 04:30:58 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 04:31:03 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 04:31:20 | <jle`> | i forgot how i did it haha we'll see once i properly dust it off |
| 04:34:12 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 04:35:38 | <Axman6> | We have a C++ library at work which wraps cpprintf (iirc) and adds a %@ formatter for things which aren't supported and calls some toString'ish method |
| 04:35:39 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 04:36:55 | <Axman6> | I'd love to see an instance for Show a => FormatType "@" a (or whatever character the bikeshed should be coloured with) |
| 04:37:44 | × | hgolden_ quits (~hgolden@169.150.203.36) (Ping timeout: 260 seconds) |
| 04:37:58 | <Axman6> | I'm sure there's good reasons why that can't be done though |
| 04:38:24 | → | michalz joins (~michalz@185.246.207.215) |
| 04:39:33 | × | aforemny_ quits (~aforemny@2001:9e8:6cc0:b200:2811:dbcb:ebeb:5aed) (Ping timeout: 245 seconds) |
| 04:39:44 | → | Square2 joins (~Square4@user/square) |
| 04:41:59 | → | jove joins (~AdminUser@82-69-8-157.dsl.in-addr.zen.co.uk) |
| 04:44:18 | <jle`> | i think you can add them but they're going to be orphan instances |
| 04:44:34 | <jle`> | so not really great unless it's for an end application |
| 04:44:49 | <jle`> | oh you mean a generic "Show" |
| 04:45:24 | <jle`> | yeah i'm not sure if that head will overlap with everything else |
| 04:45:51 | <jle`> | but it sounds useful |
| 04:46:00 | × | jove quits (~AdminUser@82-69-8-157.dsl.in-addr.zen.co.uk) (Changing host) |
| 04:46:00 | → | jove joins (~AdminUser@user/jove) |
| 04:46:44 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 04:47:44 | <jle`> | yeah it looks like you're supposed to be able to add FormatType for your own custom types, but having it work with all Showable's might cause problems with overlapping instances |
| 04:47:48 | <jle`> | i can investigate further |
| 04:51:40 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:52:22 | × | jove quits (~AdminUser@user/jove) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 04:52:29 | <Axman6> | yeah I was half expecting to see a fundep or something but it doesn't really make sense in either direction. Is there a nice way to say that there will only be one instance of a class where one of the parameters is a concrete type? |
| 04:52:59 | → | jove joins (~quassel@user/jove) |
| 05:02:31 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 05:07:33 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 05:12:49 | → | hgolden joins (~hgolden@syn-172-251-233-141.res.spectrum.com) |
| 05:13:20 | <jle`> | yeah this kind of stuff i'm always just guessing and checking heh |
| 05:15:38 | → | hgolden_ joins (~hgolden@146.70.173.229) |
| 05:16:54 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:18:13 | × | hgolden quits (~hgolden@syn-172-251-233-141.res.spectrum.com) (Ping timeout: 248 seconds) |
| 05:18:18 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 05:19:46 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 272 seconds) |
| 05:23:15 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 05:25:08 | → | euphores joins (~SASL_euph@user/euphores) |
| 05:27:29 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 05:30:02 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 05:30:51 | → | acidjnk_new joins (~acidjnk@p200300d6e72cfb1871be317632822bda.dip0.t-ipconnect.de) |
| 05:31:24 | → | euleritian joins (~euleritia@dynamic-176-002-134-239.176.2.pool.telefonica.de) |
| 05:34:05 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 05:34:51 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 05:36:54 | × | kuribas quits (~user@ptr-17d51epau2xs89jopnb.18120a2.ip6.access.telenet.be) (Ping timeout: 246 seconds) |
| 05:39:05 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 05:46:18 | → | ash3en joins (~Thunderbi@2a01:c23:90c8:7900:d8fc:8363:43ac:598e) |
| 05:47:59 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 05:49:16 | → | hiecaq` joins (~hiecaq@user/hiecaq) |
| 05:49:20 | × | hiecaq quits (~hiecaq@user/hiecaq) (Ping timeout: 255 seconds) |
| 05:49:53 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 05:51:24 | → | harveypwca joins (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 05:54:58 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 05:56:55 | × | euleritian quits (~euleritia@dynamic-176-002-134-239.176.2.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 05:58:30 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 05:59:53 | → | oo_miguel joins (~Thunderbi@78.10.207.45) |
| 06:01:28 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 06:04:29 | → | euleritian joins (~euleritia@dynamic-176-002-139-084.176.2.pool.telefonica.de) |
| 06:06:28 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:08:40 | × | euleritian quits (~euleritia@dynamic-176-002-139-084.176.2.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 06:08:40 | × | meygerjos quits (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 252 seconds) |
| 06:09:56 | → | euleritian joins (~euleritia@dynamic-176-007-163-183.176.7.pool.telefonica.de) |
| 06:12:42 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:17:13 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 06:22:19 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 06:26:01 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 06:26:31 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:33:02 | → | meygerjos joins (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 06:33:02 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 06:34:39 | × | ash3en quits (~Thunderbi@2a01:c23:90c8:7900:d8fc:8363:43ac:598e) (Ping timeout: 246 seconds) |
| 06:35:54 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 06:37:54 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 06:38:17 | → | ash3en joins (~Thunderbi@2a01:c23:90c8:7900:d8fc:8363:43ac:598e) |
| 06:40:46 | × | harveypwca quits (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 06:47:10 | × | euleritian quits (~euleritia@dynamic-176-007-163-183.176.7.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 06:48:25 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 06:48:49 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 06:53:33 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 06:55:10 | → | rosco joins (~rosco@175.136.158.234) |
| 06:57:09 | × | meygerjos quits (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 260 seconds) |
| 07:00:01 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:40 | → | caconym joins (~caconym@user/caconym) |
| 07:02:16 | × | ash3en quits (~Thunderbi@2a01:c23:90c8:7900:d8fc:8363:43ac:598e) (Quit: ash3en) |
| 07:04:16 | × | k_hachig quits (~k_hachig@2607:fea8:351d:ef0:f026:cab8:26a0:8d01) (Ping timeout: 272 seconds) |
| 07:04:35 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 07:05:30 | → | vincent42 joins (uid574193@id-574193.hampstead.irccloud.com) |
| 07:05:53 | × | vincent42 quits (uid574193@id-574193.hampstead.irccloud.com) (Changing host) |
| 07:05:53 | → | vincent42 joins (uid574193@user/vincent42) |
| 07:06:39 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:09:31 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:15:59 | × | hololeap quits (~quassel@user/hololeap) (Ping timeout: 260 seconds) |
| 07:16:05 | × | markasoftware_ quits (~quassel@107.161.26.124) (Ping timeout: 248 seconds) |
| 07:20:20 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 07:23:24 | <[exa]> | mornin' all |
| 07:24:10 | <[exa]> | is there some kind of "streaming" version of aeson "decode" which could handle the (potentially infinite) json object streams? Such as the ones that are used for batch processing with elasticsearch. |
| 07:24:42 | <[exa]> | (example: `{"a":"b"} {"c":"d"}` decodes to some kind of streamy list of 2 objects) |
| 07:25:24 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:25:35 | → | hololeap joins (~quassel@user/hololeap) |
| 07:27:41 | → | markasoftware joins (~quassel@107.161.26.124) |
| 07:31:00 | <[exa]> | ah ok Data.Aeson.Extra.Stream has something that I could probably remix into usable form |
| 07:36:08 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 07:37:50 | → | akegalj joins (~akegalj@89-164-127-178.dsl.iskon.hr) |
| 07:39:27 | × | markasoftware quits (~quassel@107.161.26.124) (Quit: No Ping reply in 180 seconds.) |
| 07:40:56 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 07:41:13 | × | hololeap quits (~quassel@user/hololeap) (Quit: No Ping reply in 180 seconds.) |
| 07:41:41 | → | markasoftware joins (~quassel@107.161.26.124) |
| 07:42:38 | → | hololeap joins (~quassel@user/hololeap) |
| 07:43:22 | <jackdk> | I used https://hackage.haskell.org/package/aeson-2.2.1.0/docs/Data-Aeson-Decoding-Tokens.html once when I really needed to care about the order of fields and such |
| 07:50:59 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 07:51:42 | → | chele joins (~chele@user/chele) |
| 07:51:55 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 07:53:42 | <[exa]> | jackdk: yeah that seems to be the way; the Data.Aeson.Extra.Stream kinda assumes it will be a finite array |
| 07:54:58 | <[exa]> | is there a way to attoparsecly feed the aeson tokenizer with more stuff to parse? (like, `ByteString -> (Tokens, ByteString)`) Or am I just not seeing it in the docs? :D |
| 07:55:44 | → | CiaoSen joins (~Jura@2a05:5800:45a:da00:ca4b:d6ff:fec1:99da) |
| 07:56:28 | <[exa]> | looks like the `k` type would be the leftover here https://hackage.haskell.org/package/aeson-2.2.1.0/docs/Data-Aeson-Decoding.html#v:toEitherValue ..but how.? |
| 07:57:28 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 07:57:30 | <[exa]> | ah yes and bsToTokens returns precisely this with bytestring as a leftover, good, I see |
| 07:57:32 | <[exa]> | thanks! |
| 08:02:27 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 08:03:52 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 08:07:36 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 08:09:33 | → | yosef` joins (~yosef`@user/yosef/x-2947716) |
| 08:10:58 | × | ft quits (~ft@p4fc2a393.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:13:47 | → | dextaa joins (~DV@user/dextaa) |
| 08:15:09 | → | sourcetarius joins (~sourcetar@user/sourcetarius) |
| 08:18:13 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 08:19:23 | × | yosef` quits (~yosef`@user/yosef/x-2947716) (Remote host closed the connection) |
| 08:19:34 | → | yosef` joins (~yosef`@user/yosef/x-2947716) |
| 08:23:13 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 08:23:19 | × | yosef` quits (~yosef`@user/yosef/x-2947716) (Remote host closed the connection) |
| 08:26:43 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 08:28:17 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Read error: Connection reset by peer) |
| 08:43:20 | → | Noir joins (~Noir@37.17.4.91) |
| 08:43:31 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:45:20 | × | Noir quits (~Noir@37.17.4.91) (Killed (ozone (No Spam))) |
| 08:51:02 | × | rosco quits (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 08:52:31 | → | arahael_ joins (~arahael@user/arahael) |
| 08:52:56 | × | arahael quits (~arahael@user/arahael) (Quit: leaving) |
| 08:53:56 | arahael_ | is now known as arahael |
| 08:58:07 | → | ubert joins (~Thunderbi@77.119.170.88.wireless.dyn.drei.com) |
| 09:01:51 | → | srazkvt joins (~sarah@user/srazkvt) |
| 09:04:45 | → | mreh joins (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 09:08:40 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 09:10:24 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 09:11:30 | → | rosco joins (~rosco@175.136.158.234) |
| 09:14:50 | × | vincent42 quits (uid574193@user/vincent42) (Quit: Connection closed for inactivity) |
| 09:21:32 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 09:23:55 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:24:40 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 09:52:45 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:53:49 | → | misterfish joins (~misterfis@87.215.131.102) |
| 09:58:26 | × | CiaoSen quits (~Jura@2a05:5800:45a:da00:ca4b:d6ff:fec1:99da) (Ping timeout: 272 seconds) |
| 10:00:12 | → | __monty__ joins (~toonn@user/toonn) |
| 10:05:23 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 10:07:04 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 10:11:33 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 10:16:08 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 10:20:48 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 10:22:22 | → | p3n joins (~p3n@217.198.124.246) |
| 10:22:30 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 10:22:46 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 10:25:46 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 10:26:03 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 10:26:44 | × | m5zs7k quits (aquares@web10.mydevil.net) (Quit: m5zs7k) |
| 10:27:08 | → | m5zs7k joins (aquares@web10.mydevil.net) |
| 10:27:34 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 10:31:15 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 10:34:15 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 10:34:32 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 10:35:35 | × | rosco quits (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 10:36:13 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 10:37:26 | × | sawilagar quits (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 10:41:33 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 10:43:54 | × | sawilagar quits (~sawilagar@user/sawilagar) (Client Quit) |
| 10:47:02 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 10:51:54 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 10:52:53 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 10:56:47 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 10:57:35 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 10:58:30 | <haskellbridge> | <mauke> [exa]: https://hackage.haskell.org/package/json-stream-0.4.5.3/docs/Data-JsonStream-Parser.html |
| 11:00:05 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 11:00:44 | <haskellbridge> | <mauke> Wait, this is IRC. Just https://hackage.haskell.org/package/json-stream-0.4.5.3/docs/Data-JsonStream-Parser.html then; no replies |
| 11:02:10 | → | gustavn joins (~gustavn@user/gustavn) |
| 11:02:21 | ← | gustavn parts (~gustavn@user/gustavn) () |
| 11:04:27 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 11:04:28 | × | john2 quits (~john@2406:5a00:241a:5600:31b8:c267:49dc:2202) (Read error: Connection reset by peer) |
| 11:06:04 | → | john2 joins (~john@2406:5a00:241a:5600:31b8:c267:49dc:2202) |
| 11:08:36 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 11:13:33 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 11:17:47 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 11:17:50 | → | CiaoSen joins (~Jura@2a05:5800:45a:da00:ca4b:d6ff:fec1:99da) |
| 11:19:00 | → | benjaminl joins (~benjaminl@user/benjaminl) |
| 11:19:54 | × | benjaminl_ quits (~benjaminl@c-76-144-12-233.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
| 11:22:20 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:24:23 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 11:24:56 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 11:29:21 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 11:31:52 | → | srazkvt joins (~sarah@user/srazkvt) |
| 11:32:16 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 11:33:08 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 11:37:03 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 11:41:35 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 11:42:45 | → | athan joins (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 11:45:54 | → | ZharMeny joins (~ZharMeny@user/ZharMeny) |
| 11:48:33 | × | srazkvt quits (~sarah@user/srazkvt) (Ping timeout: 244 seconds) |
| 11:48:37 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 11:54:15 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 11:55:54 | → | euleritian joins (~euleritia@dynamic-176-006-144-128.176.6.pool.telefonica.de) |
| 11:56:21 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 11:57:30 | × | tomboy65 quits (~tomboy64@user/tomboy64) (Ping timeout: 272 seconds) |
| 11:59:29 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 12:00:26 | → | wei2912 joins (~wei2912@116.88.52.77) |
| 12:00:32 | → | vincent42 joins (uid574193@id-574193.hampstead.irccloud.com) |
| 12:00:46 | × | vincent42 quits (uid574193@id-574193.hampstead.irccloud.com) (Changing host) |
| 12:00:46 | → | vincent42 joins (uid574193@user/vincent42) |
| 12:00:54 | × | wei2912 quits (~wei2912@116.88.52.77) (Client Quit) |
| 12:01:09 | × | ZharMeny quits (~ZharMeny@user/ZharMeny) (Read error: Connection reset by peer) |
| 12:01:28 | → | ZharMeny joins (~ZharMeny@user/ZharMeny) |
| 12:01:47 | <vincent42> | > take 2 [1..] |
| 12:01:49 | <lambdabot> | [1,2] |
| 12:01:53 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 12:05:11 | <vincent42> | @hoogle [a] -> [a] |
| 12:05:12 | <lambdabot> | Prelude tail :: [a] -> [a] |
| 12:05:12 | <lambdabot> | Prelude init :: [a] -> [a] |
| 12:05:12 | <lambdabot> | Prelude reverse :: [a] -> [a] |
| 12:06:11 | → | ash3en joins (~Thunderbi@2a01:c23:90c8:7900:d8fc:8363:43ac:598e) |
| 12:08:19 | → | xff0x joins (~xff0x@2405:6580:b080:900:6b3:40cb:7f8c:5b02) |
| 12:09:25 | × | ubert quits (~Thunderbi@77.119.170.88.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 12:10:02 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 12:10:57 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 12:14:16 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 12:14:51 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 12:17:57 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 12:23:05 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:25:50 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 12:26:57 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:28:56 | × | ash3en quits (~Thunderbi@2a01:c23:90c8:7900:d8fc:8363:43ac:598e) (Quit: ash3en) |
| 12:38:24 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 12:49:04 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 12:51:33 | × | euleritian quits (~euleritia@dynamic-176-006-144-128.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 12:51:51 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 12:54:27 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 12:58:56 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 13:04:51 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 13:09:36 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:13:59 | → | alexherbo2 joins (~alexherbo@2a02-8440-3409-a159-10f7-8253-2258-2ec1.rev.sfr.net) |
| 13:17:09 | → | hgolden__ joins (~hgolden@146.70.173.165) |
| 13:18:58 | <fr33domlover> | o/ Is there a function :: Double -> Maybe Float? |
| 13:19:17 | <fr33domlover> | I see there's realToFrac but it doesn't check bounds |
| 13:19:35 | <geekosaur> | I don't think so, and given how IEEE works there are questions as to how viable it would be |
| 13:19:50 | × | hgolden_ quits (~hgolden@146.70.173.229) (Ping timeout: 272 seconds) |
| 13:20:18 | <geekosaur> | checking range of integrals is easy, Double -> Float also requires you to check loss of precision, but that's almost guaranteed |
| 13:20:39 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 13:23:26 | <haskellbridge> | <mauke> . |
| 13:23:26 | <haskellbridge> | :t \x -> let y = realToFrac x in if realToFrac y == x then Just y else Nothing |
| 13:23:27 | <lambdabot> | (Real a1, Real a2, Fractional a2, Fractional a1) => a1 -> Maybe a2 |
| 13:25:12 | × | alexherbo2 quits (~alexherbo@2a02-8440-3409-a159-10f7-8253-2258-2ec1.rev.sfr.net) (Remote host closed the connection) |
| 13:25:38 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 13:26:23 | → | alexherbo2 joins (~alexherbo@2a02-8440-3409-a159-0d31-59bb-894f-1b3a.rev.sfr.net) |
| 13:27:38 | → | hgolden_ joins (~hgolden@169.150.203.36) |
| 13:29:49 | × | hgolden__ quits (~hgolden@146.70.173.165) (Ping timeout: 244 seconds) |
| 13:29:55 | × | alexherbo2 quits (~alexherbo@2a02-8440-3409-a159-0d31-59bb-894f-1b3a.rev.sfr.net) (Remote host closed the connection) |
| 13:32:42 | → | fsbot` joins (~user@2a01cb0403294f003a9b42233b797197.ipv6.abo.wanadoo.fr) |
| 13:32:50 | <geekosaur> | right, but that's usually going to fail because of loss of precision vs. wacky base-2 mantissas |
| 13:34:17 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 13:35:44 | × | fsbot` quits (~user@2a01cb0403294f003a9b42233b797197.ipv6.abo.wanadoo.fr) (Client Quit) |
| 13:36:22 | → | fsbot` joins (~user@2a01cb0403294f003a9b42233b797197.ipv6.abo.wanadoo.fr) |
| 13:37:47 | → | ubert joins (~Thunderbi@178.165.190.245.wireless.dyn.drei.com) |
| 13:39:28 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 13:43:06 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 13:43:32 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 13:49:03 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 13:50:04 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 13:52:57 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 13:54:27 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 13:55:01 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 13:56:38 | × | athan quits (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 245 seconds) |
| 14:00:49 | × | CiaoSen quits (~Jura@2a05:5800:45a:da00:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 14:01:47 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 14:04:23 | → | platao joins (~mirc-rc@177.100.68.254) |
| 14:04:36 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 14:05:44 | → | ubert1 joins (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) |
| 14:05:51 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 14:07:13 | → | st_aldini joins (~Thunderbi@136.48.22.91) |
| 14:07:42 | → | talukara joins (~talukara@user/talukara) |
| 14:07:58 | × | ubert quits (~Thunderbi@178.165.190.245.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 14:07:58 | ubert1 | is now known as ubert |
| 14:09:50 | × | fsbot` quits (~user@2a01cb0403294f003a9b42233b797197.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:10:44 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 14:14:50 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 14:15:19 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 14:17:01 | <haskellbridge> | <thirdofmay18081814goya> any community where i could ask logic programming questions |
| 14:17:10 | × | Square2 quits (~Square4@user/square) (Ping timeout: 260 seconds) |
| 14:17:33 | <Franciman> | hi yes |
| 14:17:38 | <Franciman> | #prolog and #scryer come to mind |
| 14:17:46 | <Franciman> | #scryer is more like #ghc |
| 14:17:48 | <haskellbridge> | <thirdofmay18081814goya> nice ty! |
| 14:18:50 | <geekosaur> | hm, do mercury and curry have online communities somewhere? (well, I'm sure they do, but where?) |
| 14:19:38 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 14:19:50 | → | user4561 joins (~user4561@190.16.167.62) |
| 14:19:50 | <ski> | it's ##prolog |
| 14:20:13 | × | vincent42 quits (uid574193@user/vincent42) (Quit: Connection closed for inactivity) |
| 14:25:46 | → | user89 joins (~user4561@190.16.167.62) |
| 14:26:23 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 14:29:03 | × | user4561 quits (~user4561@190.16.167.62) (Ping timeout: 256 seconds) |
| 14:30:33 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 14:31:22 | → | meygerjos joins (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 14:39:45 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 14:42:21 | × | sourcetarius quits (~sourcetar@user/sourcetarius) (Ping timeout: 252 seconds) |
| 14:44:55 | × | user89 quits (~user4561@190.16.167.62) (Ping timeout: 256 seconds) |
| 14:45:35 | → | sourcetarius joins (~sourcetar@user/sourcetarius) |
| 14:47:09 | → | EvanR joins (~EvanR@user/evanr) |
| 14:48:53 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 248 seconds) |
| 14:52:13 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 14:55:55 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 14:56:54 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 14:57:09 | → | Guest5257 joins (~Guest52@d108-172-198-192.bchsia.telus.net) |
| 15:00:46 | → | user4561 joins (~user4561@190.16.167.62) |
| 15:01:55 | → | dhil joins (~dhil@2001:8e0:2014:3100:ad3b:d0dd:4a3b:1c29) |
| 15:05:11 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 15:07:20 | × | meygerjos quits (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 255 seconds) |
| 15:08:00 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 15:08:19 | × | mreh quits (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 260 seconds) |
| 15:10:49 | × | misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 260 seconds) |
| 15:11:15 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 15:11:57 | → | turlando joins (~turlando@user/turlando) |
| 15:12:48 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:17:13 | × | user4561 quits (~user4561@190.16.167.62) (Ping timeout: 256 seconds) |
| 15:17:53 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 15:17:59 | → | caconym joins (~caconym@user/caconym) |
| 15:22:18 | → | user4561 joins (~user4561@190.16.167.62) |
| 15:23:47 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 15:25:55 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 15:28:03 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 15:28:45 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 15:29:42 | → | misterfish joins (~misterfis@178.225.184.56) |
| 15:33:16 | → | meygerjos joins (~meygerjos@64.18.11.0) |
| 15:33:25 | → | phantomlee joins (~phantomle@2607:fb91:e03:d762:a4cd:359d:8804:8da6) |
| 15:35:10 | → | srazkvt joins (~sarah@user/srazkvt) |
| 15:35:41 | → | meygerjos_ joins (~meygerjos@2607:fb91:21ed:a2a:3ff6:cdaa:b720:639e) |
| 15:36:19 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 15:36:29 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 15:37:29 | × | misterfish quits (~misterfis@178.225.184.56) (Ping timeout: 260 seconds) |
| 15:38:12 | × | meygerjos quits (~meygerjos@64.18.11.0) (Ping timeout: 246 seconds) |
| 15:39:02 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 15:40:05 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 248 seconds) |
| 15:41:23 | → | turlando joins (~turlando@user/turlando) |
| 15:41:44 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 15:49:10 | × | Katarushisu1 quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 15:49:27 | → | Katarushisu1 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 15:50:22 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 15:52:07 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 15:53:44 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 15:53:49 | ← | phantomlee parts (~phantomle@2607:fb91:e03:d762:a4cd:359d:8804:8da6) (Leaving) |
| 15:55:25 | Katarushisu1 | is now known as Katarushisu |
| 15:57:17 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 15:57:26 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 16:00:13 | → | ft joins (~ft@p4fc2a393.dip0.t-ipconnect.de) |
| 16:01:56 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 16:03:11 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 16:07:54 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 16:12:03 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 16:14:27 | × | user4561 quits (~user4561@190.16.167.62) (Ping timeout: 256 seconds) |
| 16:15:39 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 16:15:54 | <haskellbridge> | <Bowuigi> monochrom re:no-type-def I thought a definition of Type was made before Cubical TT, "the interval is not a type" they say |
| 16:17:54 | <haskellbridge> | <Bowuigi> thirdofmay18081814goya for a more rigorous version of "type checking" and "type inference" check out bidirectional type checking which more cleanly separates the two in modes |
| 16:18:26 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:18:48 | <haskellbridge> | <Bowuigi> There's even a tutorial paper showing how to convert a syntax-directed (the usual one) type system into a bidirectional one using the Pfenning recipe |
| 16:20:42 | <haskellbridge> | <Bowuigi> I think it also works with non-syntax-directed ones (like the algorithms for Hindley-Milner), not sure tho |
| 16:21:37 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 16:22:27 | <haskellbridge> | <Bowuigi> Bidirectional type systems are easier to implement in general, as they don't have the "guessing" part involved in declarative (aka syntax-directed or non-syntax-directed). In a sense they are like the algorithmic ones (usually non-syntax-directed, like the HM algorithms) but less "unify this" |
| 16:22:35 | → | spew joins (~spew@201.141.99.170) |
| 16:23:44 | <haskellbridge> | <Bowuigi> In fact, implementations usually mirror the bidirectional type rules, modulo type errors ofc |
| 16:25:51 | <haskellbridge> | <thirdofmay18081814goya> Bowuigi: very neat! thank you for the references! |
| 16:25:58 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 16:26:20 | <jle`> | fr33domlover: don't both Double and Float range from negative infinity to infinity? |
| 16:27:15 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 16:32:31 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 16:34:19 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 16:35:17 | × | akegalj quits (~akegalj@89-164-127-178.dsl.iskon.hr) (Quit: leaving) |
| 16:36:35 | <geekosaur> | not exactly |
| 16:37:05 | <geekosaur> | both have limits beyond which the value is considered "infinity" |
| 16:37:29 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 16:37:36 | <EvanR> | it's like a function whose range is -inf to +inf xD |
| 16:37:39 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 16:37:44 | <EvanR> | not all values get hit by it |
| 16:38:25 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 16:38:35 | <geekosaur> | https://www.tutorialspoint.com/c_standard_library/float_h.htm |
| 16:41:18 | <sprout> | in other news: Germany closes borders, Dutch want to follow suit |
| 16:41:56 | <sprout> | oh, wrong channel |
| 16:42:17 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 16:43:52 | <haskellbridge> | <thirdofmay18081814goya> wow crazy |
| 16:47:38 | <EvanR> | haskell without borders |
| 16:47:56 | <haskellbridge> | <thirdofmay18081814goya> ski: how come twelf development halted? |
| 16:50:48 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 16:53:08 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 16:54:51 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 16:57:17 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 252 seconds) |
| 16:57:30 | → | alexherbo2 joins (~alexherbo@2a02-8440-3409-a159-51ab-df85-c3dc-d572.rev.sfr.net) |
| 16:58:34 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 17:04:12 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 17:04:18 | × | meygerjos_ quits (~meygerjos@2607:fb91:21ed:a2a:3ff6:cdaa:b720:639e) (Ping timeout: 246 seconds) |
| 17:08:14 | × | alexherbo2 quits (~alexherbo@2a02-8440-3409-a159-51ab-df85-c3dc-d572.rev.sfr.net) (Remote host closed the connection) |
| 17:08:25 | → | alexherbo2 joins (~alexherbo@2a02-8440-3409-a159-51ab-df85-c3dc-d572.rev.sfr.net) |
| 17:13:13 | <Inst> | i hope you don't mind |
| 17:13:26 | <Inst> | but how does the Alternative instance for Maybe work? |
| 17:13:36 | <Inst> | on GHCI some (Just 3) hangs |
| 17:13:48 | <Inst> | and if you look at the implementation it seems as though there's missing implementations for some and many |
| 17:14:01 | <monochrom> | Oh, that. some and many are meant to bottom out on many instances. |
| 17:14:36 | <monochrom> | But with parsers for example, they terminate and give meaningful results. |
| 17:16:13 | <Inst> | applicative = lax monoidal functor, alternative = ? |
| 17:16:48 | <EvanR> | alternative = a made up one-off |
| 17:16:57 | <ncf> | depends what laws you consider |
| 17:17:18 | <ncf> | the simplest version can also be described as a lax monoidal functor but from the cocartesian monoidal structure instead of the monoidal one |
| 17:18:01 | <monochrom> | What you need is that calling p multiple times, you don't always get "success", one of the calls gives "failure". That's when many/some terminates. |
| 17:18:08 | <ncf> | or equivalently as monoids in the usual category of endofunctors equipped with the "pointwise" monoidal structure |
| 17:18:21 | <ncf> | see https://mathoverflow.net/questions/259120/what-is-the-mathematical-name-for-haskells-alternative-functor |
| 17:18:28 | <monochrom> | But the mutual recursion between many and some is exactly right. There is no missing logic. |
| 17:18:48 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:19:06 | <monochrom> | many (Just foo) is a problem because, only because, (Just foo) refuses to fail. |
| 17:19:25 | <ncf> | instead of the cartesian* monoidal one |
| 17:19:31 | <Leary> | `some` and `many` really don't need to bottom out as often as they do, though. There's an interesting discussion about this on discourse: https://discourse.haskell.org/t/should-optional-be-a-member-of-alternative |
| 17:19:38 | <monochrom> | But a parser given a finite string will eventually fail, so many/some works. |
| 17:22:57 | <monochrom> | Hrm that is too long-winded. Is this the gist? many (Just ()) could have been Just (repeat ()). |
| 17:23:25 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:23:30 | <geekosaur> | many (Just ()) ~~ repeat (Just ()) |
| 17:23:39 | <monochrom> | Err yeah that. |
| 17:24:02 | <monochrom> | (One more data point for Dijkstra. A formula is worth a thousand pictures.) |
| 17:24:42 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 17:25:48 | <Leary> | monochrom: That's right in this case, though there are some broader points in there too. |
| 17:26:37 | <geekosaur> | right, as mentioned earlier, if you replace Just () with a parser which eventually must fail, many will produce a meaningful result |
| 17:26:58 | <Inst> | okay, so Alternative is a painpoint that's still included in base because of its centrality to parsers |
| 17:27:12 | <geekosaur> | I keep wondering if this means some and many should be moved out of Alternative into a "sub"class |
| 17:27:39 | <geekosaur> | …unfortunately, typeclasses don't really work that way so the answer is probably "no" from a practical standpoint |
| 17:27:48 | <Inst> | it should, but, ummm, FAM proposal and the huge amount of breaking code? |
| 17:28:19 | <geekosaur> | FAM /per se/ wouldn't be relevant, breaking code sadly would be |
| 17:29:19 | → | ash3en joins (~Thunderbi@2a01:c23:90c8:7900:d8fc:8363:43ac:598e) |
| 17:29:23 | <geekosaur> | I do wonder how much cod would actuallyu break, though, as the vast majority of consumers use them indirectly via some parsing package |
| 17:29:41 | <geekosaur> | *code |
| 17:29:56 | <Inst> | i mean FAM proposal broke a lot of code |
| 17:30:00 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 17:30:17 | <Inst> | "languages that people complain about and languages that no one uses" |
| 17:30:43 | <Inst> | le sigh fmap (fmap only exists because it broke a lot of list code iirc if map were changed to fmap) |
| 17:32:24 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:33:33 | <EvanR> | I support map being what it is and fmap being what it is |
| 17:34:34 | <EvanR> | lets use established words and not break everything |
| 17:35:11 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 17:36:57 | <Inst> | the difference between some and many, is that |
| 17:37:21 | <Inst> | total failure on some occurs on the monad, and on many, it's represented by [], right? |
| 17:37:29 | <Inst> | erm, applicative, not monad |
| 17:38:22 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 17:39:52 | <geekosaur> | some is regex +, many is regex * |
| 17:40:23 | <geekosaur> | put otherwise, some requires its parameter to succeed at least once, many doesn't |
| 17:40:48 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 17:41:28 | <dolio> | Is there some 'law' that prevents many/some for Maybe from doing something productive? |
| 17:42:37 | <dolio> | Oh yeah, it says 'least solution.' |
| 17:42:53 | → | jinsun joins (~jinsun@user/jinsun) |
| 17:43:02 | <Inst> | curious, does anyone ever use the IO instance for Alternative? |
| 17:43:07 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:43:10 | <Inst> | some foo = fun infinite loop? |
| 17:44:12 | <mauke> | some p = (:) <$> p <*> many p; many p = some p <|> pure [] |
| 17:44:48 | <Inst> | tbh many is probably more useful |
| 17:45:11 | <mauke> | P+ = PP*; P* = P+| |
| 17:45:12 | <monochrom> | "some getChar" takes a lot of memory, but it is fairly OK. >:) |
| 17:46:03 | × | ash3en quits (~Thunderbi@2a01:c23:90c8:7900:d8fc:8363:43ac:598e) (Quit: ash3en) |
| 17:46:07 | <monochrom> | I think in reality I have seen <|> used for IO, but it's pretty rare, and that's it, no one really uses many/some for IO. |
| 17:49:54 | <Inst> | u = error "welp"; u <|> putStrLn "derp" |
| 17:50:02 | <Inst> | <|> isn't catching |
| 17:50:25 | → | simendsjo joins (~user@84.211.91.108) |
| 17:50:51 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:52:27 | <mauke> | sure it is |
| 17:53:06 | <mauke> | but only errors thrown in IO, not IO actions that *are* errors |
| 17:54:09 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 17:55:30 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 17:57:27 | × | smalltalkman quits (uid545680@2a03:5180:f:4::8:5390) (Quit: Connection closed for inactivity) |
| 17:59:14 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 17:59:33 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 18:07:37 | <Inst> | some / many fails for IO because it'll accumulate the list of results and thus leak |
| 18:08:48 | → | athan joins (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 18:08:56 | <EvanR> | mapM for IO already accumulates list of results |
| 18:08:57 | <monochrom> | I have trouble changing the meaning of "fail" to include that. By that standard, some/many also fails for parsers. |
| 18:09:51 | <monochrom> | In fact, since no one really uses many/some for IO in production, it has never manifested as a real problem. |
| 18:10:30 | <monochrom> | Whereas, everyone uses many/some for parsing, and parsing 500MB files, at which point everyone gets OOM. In production code. In reality. |
| 18:10:38 | <EvanR> | demand breakage |
| 18:10:44 | <EvanR> | it's only broken if anyone tries to use it |
| 18:10:50 | <monochrom> | haha |
| 18:12:32 | × | dhil quits (~dhil@2001:8e0:2014:3100:ad3b:d0dd:4a3b:1c29) (Quit: Leaving) |
| 18:14:10 | <monochrom> | I also have trouble calling that "leak". But that's a hot take unpopular opinion for another day. |
| 18:25:42 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 18:26:38 | → | mreh joins (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 18:30:23 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 18:31:53 | → | meygerjos_ joins (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 18:34:58 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:35:00 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 18:35:21 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:39:08 | × | paddymahoney quits (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 264 seconds) |
| 18:39:22 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 18:45:05 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 18:48:21 | → | paddymahoney joins (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 18:50:36 | × | meygerjos_ quits (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Remote host closed the connection) |
| 18:51:00 | → | meygerjos_ joins (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 18:54:09 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 18:56:02 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 18:59:23 | → | neuroevolutus joins (~neuroevol@146.70.211.88) |
| 19:00:02 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:39 | → | caconym joins (~caconym@user/caconym) |
| 19:00:51 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 19:11:08 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:11:49 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 19:16:36 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 19:16:55 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 19:19:10 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:21:30 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 19:23:20 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:26:13 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 248 seconds) |
| 19:26:37 | <haskellbridge> | <thirdofmay18081814goya> any worthwhile approach in semantics to distinguishing between pure and non-pure functions? |
| 19:27:24 | <EvanR> | the semantics of a pure function is... a function xD |
| 19:28:23 | <EvanR> | to capture whatever a non-pure function is doing you have to come up with something else, or at least add something to the domain and codomain |
| 19:29:11 | <monochrom> | Actually, to a large extent, most denotational semantics simply convert impure programs to more complicated pure functions. |
| 19:30:13 | <monochrom> | So you will not have a formalize definition of "impure", only a subjective judgment of "this is a very complicated function space, so it must be modelling impure programs". |
| 19:31:27 | <monochrom> | OK OK, there can be one, I bet it's so easy that no one ever bothered writing it down. |
| 19:32:39 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 19:33:03 | <monochrom> | Iff "S->T" in the target language is not simply mapped to "[ [[S]] -> [[T]] ]" in the denotational semantics, then "clearly" the target language's "S->T" is impure. |
| 19:34:07 | <monochrom> | where [[S]] is the semantic domain for S, and [foo -> bar] is the space of continuous functions from foo to bar. |
| 19:34:42 | <EvanR> | change the name of impure functions to subroutines and you don't have to come up with distinguishing semantics |
| 19:35:05 | <monochrom> | yeah! |
| 19:35:11 | <EvanR> | you have to come up with semantics for functions on one hand and subroutines on another |
| 19:35:45 | <monochrom> | Hoare made a billion-dollar mistake and a million-dollar mistake. |
| 19:35:56 | <monochrom> | The former is what he admitted about null pointers. |
| 19:36:09 | <monochrom> | The latter is "impure function". |
| 19:36:44 | <monochrom> | I don't mean you shouldn't have subroutines. You should. But you shouldn't call it "function" just because it has a return value. |
| 19:37:28 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 19:38:56 | <mauke> | Yeah, you should call it "function" because it is built into the language! </perl4> |
| 19:39:10 | <monochrom> | :( XD |
| 19:39:12 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:39:19 | <Franciman> | perl > haskell |
| 19:39:34 | <monochrom> | Also BASIC |
| 19:39:38 | <Franciman> | :) |
| 19:39:54 | <Franciman> | what about vb.net? |
| 19:40:13 | <monochrom> | I just mean very old BASIC. |
| 19:41:11 | <ski> | `GOSUB' and `DEF FN' |
| 19:41:53 | <mauke> | GOSUB & LEAVELIKE |
| 19:41:54 | <monochrom> | I had some very basic BASIC that didn't have DEF FN. |
| 19:42:24 | <ski> | expressions were impoverished, so you couldn't do much with `DEF FN' anyway |
| 19:44:01 | <EvanR> | visual basic 6 > vb.net |
| 19:45:42 | × | athan quits (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 19:48:26 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 19:50:40 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 19:51:31 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 19:52:28 | × | mreh quits (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 245 seconds) |
| 19:53:11 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 19:53:41 | × | sourcetarius quits (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
| 19:56:04 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:57:14 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:04:13 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 20:05:36 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 20:09:57 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 20:13:47 | → | athan joins (~athan@2600:382:2c2b:64d3:2527:5e01:ddb7:9181) |
| 20:15:28 | <[exa]> | DEF FN is rust syntax no? |
| 20:15:30 | [exa] | ducks |
| 20:15:50 | <monochrom> | haha |
| 20:16:39 | <int-e> | . o O ( PLEASE ABSTAIN FROM DEF FNING ) |
| 20:19:33 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 20:20:00 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 20:20:24 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 20:23:10 | <[exa]> | monochrom: btw the $1B mistake was when he admitted the pointers to algol or when he admitted they are an issue? |
| 20:23:18 | <[exa]> | (I vote for the 2nd) |
| 20:23:38 | <monochrom> | hahaha |
| 20:23:45 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 20:23:53 | <monochrom> | when he added null pointers to algol. |
| 20:23:53 | → | hal joins (~hal@209.35.83.180) |
| 20:24:04 | <hal> | i have to find a library for multivariate lagrange interpolation |
| 20:24:05 | <hal> | https://hackage.haskell.org/package/polynomial-algebra-0.1.0.1 |
| 20:24:11 | <hal> | i find this which has the univariate case |
| 20:24:20 | <hal> | does anyone know one for the polynomial case |
| 20:24:34 | <hal> | i can find papers with formulae such as |
| 20:24:35 | <hal> | https://www.ams.org/journals/mcom/1995-64-211/S0025-5718-1995-1297477-5/S0025-5718-1995-1297477-5.pdf |
| 20:24:58 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 20:26:44 | <[exa]> | monochrom: awww :( |
| 20:29:56 | → | prolic_ joins (~sasa@181.122.138.24) |
| 20:30:47 | <prolic_> | hello there. |
| 20:31:11 | <prolic_> | I have some troubles using effectful with a websocket client, would someone be able to explain this to me? |
| 20:33:28 | <hal> | could you give a more detailed description of the problem, im sure we can help |
| 20:33:33 | <[exa]> | hal: wow I'm seeing multivariate lagrange for the first time |
| 20:33:41 | <hal> | i know, its rough |
| 20:33:44 | × | alexherbo2 quits (~alexherbo@2a02-8440-3409-a159-51ab-df85-c3dc-d572.rev.sfr.net) (Remote host closed the connection) |
| 20:34:01 | <hal> | the paper gives some algorithms, but i dont think there are any in libraries |
| 20:34:05 | <[exa]> | prolic_: best if you had some code sample and exact error that's happening |
| 20:34:16 | <hal> | would anyone be up for putting together a library with me based on one of these papers? |
| 20:34:35 | × | meygerjos_ quits (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 260 seconds) |
| 20:34:41 | <hal> | im not used to working with polynomials, maybe someone could suggest their favourite library as a starting point |
| 20:34:42 | <prolic_> | wait, let me paste the code |
| 20:34:59 | × | simendsjo quits (~user@84.211.91.108) (Ping timeout: 260 seconds) |
| 20:35:11 | <prolic_> | https://paste.tomsmeding.com/AJXyUeZX |
| 20:35:13 | <[exa]> | hal: the paper states "It is well known that there are essential difficulties" --- complete redflag tbh :D |
| 20:35:23 | <[exa]> | hal: what do you need it for? (just curious) |
| 20:35:24 | <prolic_> | my problem starts on line 111, with "liftIO $ startClient $ \conn -> do" |
| 20:35:47 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 20:36:34 | <prolic_> | runClient return IO a, but I want to do some effects instead. |
| 20:37:05 | <prolic_> | so I tried runEff, but lost all interpreters, I am kind of stuck now, haha |
| 20:37:27 | <hal> | [exa] its a version of a local interpolation... difficult to describe. like, im doing local gradient discovery. i have a plane and it oscilates to lower the error to local trial points. there are many of these and and average is taken. occasionally they are reset to a zero plane, and the "temperature" added each itteration again lowers the error to |
| 20:37:27 | <hal> | the local fit. there is a version that is a *global* interpolation, where instead of planes that are reset to flat for local slopes that are then heated to lower error of points added on the fly, it is the same except its reset to be the simple lagrange interpolation. "simple" only in 1d... |
| 20:38:47 | <hal> | the local version is parametric in "far field influence" where if a sampler proposes samples that are miles off, then it doesnt much contribute to the local fit. the global version has no such locality restriction |
| 20:39:04 | <hal> | i mean. i could just not do the global version and avoid all this lagrange polynomial stuff i suppose |
| 20:39:24 | <hal> | but if anyone was up for helping put together one of these algorithms it would be cool |
| 20:39:33 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 20:39:39 | <hal> | im guessing the numerical instability considerations as a red flag is a fair point |
| 20:40:23 | <[exa]> | hal: yeah if you start fitting lagrange stuff then you create scary minima and maxima all around the place which will definitely _not_ help any gradient descent |
| 20:40:36 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 20:40:59 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 20:41:01 | <[exa]> | (try a lagrange interpolation of like more than 20 points in 1D, there you are ultra lucky if it doesn't diverge like crazy) |
| 20:41:10 | <hal> | as new points are queried, the heat adjusts the parameters to lower the error |
| 20:41:21 | <[exa]> | hal: ever heard about radial basis functions? these provide really good interpolations |
| 20:41:43 | <hal> | sure, i remember those from QM undergrad |
| 20:42:47 | <hal> | i can find papers like this |
| 20:42:47 | <hal> | https://core.ac.uk/download/pdf/37320748.pdf |
| 20:43:29 | <[exa]> | prolic_: if I get it right, you might want unliftIO |
| 20:43:37 | × | neuroevolutus quits (~neuroevol@146.70.211.88) (Ping timeout: 256 seconds) |
| 20:44:17 | <[exa]> | prolic_: but it's meant for "usual" transformish monad stack, not very sure about Effectful |
| 20:44:28 | <hal> | hmm, they end up doing convex optimisation using CG! |
| 20:44:39 | <[exa]> | prolic_: but even in the worst case, something like that shouldn't be complex to hack in |
| 20:44:51 | <hal> | this is what i was doing, except i wanted polynomial terms in eg lagrange form |
| 20:45:07 | <hal> | like i kind of simple initialisation case |
| 20:45:14 | <hal> | looks like thats a broken idea |
| 20:45:51 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 20:45:59 | <hal> | i thought because there was a closed form expression for the 1d case that i could just do that for the n=0 itteration and then do stochastic methods to fit extra points gradually |
| 20:46:54 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
| 20:46:58 | <prolic_> | [exa]: where can I import the unliftIO function from? can't find it. |
| 20:47:18 | <hal> | prolic_ did you try hoogle? |
| 20:47:39 | <hal> | https://hoogle.haskell.org/?hoogle=unliftIO+&scope=set%3Astackage |
| 20:47:48 | <prolic_> | thanks, let me try |
| 20:48:28 | <[exa]> | ah actually there seems to be some effectful support for this |
| 20:48:30 | <[exa]> | https://hackage.haskell.org/package/effectful-core-2.3.1.0/docs/Effectful-Internal-Unlift.html |
| 20:49:51 | <[exa]> | they even claim some compatibility with unliftio-core, so maybe it's just hidden somewhere in them docs |
| 20:50:38 | <hal> | ew, what a horrible library |
| 20:50:51 | <prolic_> | I tried using unliftIO, just get a nice compile error |
| 20:51:21 | <prolic_> | https://paste.tomsmeding.com/W3G1uzKY |
| 20:51:23 | <[exa]> | likely not gonna be super straightforward but there should be a way prepared |
| 20:51:48 | → | meygerjos_ joins (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 20:52:10 | <hal> | yeah, your lifting the IO version into EFF |
| 20:52:29 | <hal> | i kind of dont see what your doing with this unlifting? |
| 20:52:57 | <[exa]> | hal: there's a function which cannot take the Eff effects through and can only do IO, the task is to somehow smuggle the Eff into that one |
| 20:53:02 | <[exa]> | so that it can do nicely |
| 20:54:19 | <hal> | i just mean thats what the type error seems to say? |
| 20:54:29 | → | athan_ joins (~athan@2600:382:2c2b:64d3:2527:5e01:ddb7:9181) |
| 20:54:58 | × | athan quits (~athan@2600:382:2c2b:64d3:2527:5e01:ddb7:9181) (Ping timeout: 245 seconds) |
| 20:55:05 | <hal> | did you just try to put unlift around the do block like where it has lift previously? cos thats not gona work |
| 20:55:17 | <hal> | the overall type returns it in Eff |
| 20:55:44 | <hal> | [exa] i think im not going to do the global interpolant case |
| 20:55:51 | <hal> | thanks for the direction |
| 20:55:52 | <hal> | peace |
| 20:55:53 | × | hal quits (~hal@209.35.83.180) (Quit: Connection closed) |
| 20:56:10 | <[exa]> | hal: btw with your interpolation, I recall I used inverse-distance weighted things somewhere (interpolation = sum_i (value_i * 1/distance_i) / sum (1/distance_i)) |
| 20:56:18 | <[exa]> | ah ok |
| 20:56:43 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 20:58:12 | <[exa]> | prolic_: anyway the scheme for doing that stuff should be generally: `withRunInIO $ \toIo -> theProblematicIOFunction toIo effectfulStuffHere` |
| 20:59:54 | <[exa]> | and this one should work even with concurrent stuff: https://hackage.haskell.org/package/effectful-core-2.3.1.0/docs/Effectful.html#v:withEffToIO |
| 21:00:46 | <prolic_> | let me try |
| 21:03:54 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 21:05:48 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: pillow time) |
| 21:07:39 | <prolic_> | https://paste.tomsmeding.com/RMOPwjaB |
| 21:08:02 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:08:03 | <prolic_> | seems I'm too stupid |
| 21:08:11 | × | Guest5257 quits (~Guest52@d108-172-198-192.bchsia.telus.net) (Quit: Connection closed) |
| 21:08:12 | <[exa]> | you don't need liftIO |
| 21:08:47 | → | lambdaRule joins (~lambdaRul@node-1w7jr9phpv012678fhwoq5x7q.ipv6.telus.net) |
| 21:09:02 | × | lambdaRule quits (~lambdaRul@node-1w7jr9phpv012678fhwoq5x7q.ipv6.telus.net) (Client Quit) |
| 21:10:12 | <[exa]> | just: withEfftoIo ConcurrentUnlift $ \runE -> startClient $ \conn -> runE $ do |
| 21:10:17 | <[exa]> | prolic_: ^ |
| 21:10:30 | <[exa]> | the EfftoIo should do the lift for you btw |
| 21:11:51 | <[exa]> | AFAIK internally it literally captures the thing that represents your Eff state, then it smuggles it around the IO function as an IORef or something (which is carried by the runE), and runE just restores the thing in the intter Eff |
| 21:13:29 | <geekosaur> | sounds moderately risky to me |
| 21:14:11 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 21:14:22 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 21:14:40 | × | michalz quits (~michalz@185.246.207.215) (Remote host closed the connection) |
| 21:14:48 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 21:16:07 | <prolic_> | https://paste.tomsmeding.com/ngekXPDG |
| 21:16:15 | <prolic_> | again compile errors |
| 21:16:52 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:17:08 | <[exa]> | prolic_: you might need liftIO inside of that startClient function now |
| 21:17:13 | <[exa]> | because you un-IOd it |
| 21:18:11 | <prolic_> | [exa]: nope, doesn't work either |
| 21:18:46 | <[exa]> | also no runEff or so, just async$... and logDebug$... |
| 21:19:03 | <[exa]> | anyway if that fails I might be out of ideas |
| 21:19:06 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 21:19:12 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 21:19:43 | → | rvalue joins (~rvalue@user/rvalue) |
| 21:23:06 | <prolic_> | wow, this seems to work: withEffToIO SeqUnlift $ \runE -> startClient $ \conn -> liftIO $ runE $ do |
| 21:23:57 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:24:11 | <[exa]> | ah I assumed the startClient is an IO, it's an Eff? |
| 21:25:20 | <prolic_> | startClient by default is IO a, correct |
| 21:25:21 | <prolic_> | withEffToIO (ConcUnlift Ephemeral Unlimited) $ \runE -> startClient $ \conn -> liftIO $ runE $ do |
| 21:25:23 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 21:25:24 | <prolic_> | this works, too |
| 21:25:31 | <prolic_> | which strategy should I use? |
| 21:26:38 | <prolic_> | last error I have is this: msg <- Exception.try $ WS.receiveData conn :: IO (Either WS.ConnectionException BSL.ByteString) - but I think effectful has exception handling build-in. do you know how to use it by accident? |
| 21:27:20 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:27:21 | <[exa]> | and the inner monad in startClient is IO too? |
| 21:27:31 | <[exa]> | 'inner' as in the parameter action |
| 21:27:44 | × | meygerjos_ quits (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Remote host closed the connection) |
| 21:27:55 | <[exa]> | I don't see why it would require liftIO |
| 21:28:03 | → | meygerjos_ joins (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 21:28:12 | <prolic_> | ah, you mean this: withEffToIO (ConcUnlift Ephemeral Unlimited) $ \runE -> startClient $ \conn -> runE $ do |
| 21:28:17 | <prolic_> | yes, that works |
| 21:30:09 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 21:31:18 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 21:33:19 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 21:34:58 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 21:38:04 | <[exa]> | ah ok great |
| 21:39:09 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 21:39:32 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 21:41:28 | × | astroanax quits (~astroanax@cosmic.voyage) (Ping timeout: 252 seconds) |
| 21:41:28 | × | df quits (~ben@justworks.xyz) (Ping timeout: 252 seconds) |
| 21:41:42 | → | df joins (~ben@justworks.xyz) |
| 21:41:52 | → | astroanax joins (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) |
| 21:45:28 | <prolic_> | I tried to get tryError running |
| 21:45:56 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 21:46:41 | <prolic_> | I thought this looks good: https://paste.tomsmeding.com/lP4478HX |
| 21:47:32 | <prolic_> | but instead I have tons of compile errors, like Could not deduce (Logging :> es1) arising from a use of ‘logDebug’. |
| 21:50:36 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 21:51:30 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 21:51:35 | × | ubert quits (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 21:52:55 | → | pavonia joins (~user@user/siracusa) |
| 21:55:34 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 21:57:31 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:00:12 | × | platao quits (~mirc-rc@177.100.68.254) (Quit: pop!_os channel on irc #pop!_os) |
| 22:01:44 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 22:02:44 | × | athan_ quits (~athan@2600:382:2c2b:64d3:2527:5e01:ddb7:9181) (Remote host closed the connection) |
| 22:03:12 | → | athan_ joins (~athan@2600:382:2c2b:64d3:2527:5e01:ddb7:9181) |
| 22:03:17 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 22:06:02 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 22:06:38 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 22:14:40 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 22:17:31 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 22:20:05 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 22:20:42 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 22:22:32 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:22:33 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 22:28:04 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 22:28:09 | → | hal joins (~hal@209.35.83.180) |
| 22:28:11 | <hal> | panic! (the 'impossible' happened) |
| 22:28:11 | <hal> | GHC version 9.4.8: |
| 22:28:12 | <hal> | loadArchive "C:\\ghcup\\msys64\\mingw64\\lib\\libopenblas.dll.a": failed |
| 22:28:14 | <hal> | 1?!? |
| 22:28:22 | <hal> | i cant load ghci |
| 22:28:38 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 22:28:46 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:29:29 | × | paddymahoney quits (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
| 22:31:02 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:31:07 | × | hal quits (~hal@209.35.83.180) (Client Quit) |
| 22:32:36 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 22:33:59 | <geekosaur> | nice of them to stick around long enough for someone to see it… |
| 22:34:59 | × | acidjnk_new quits (~acidjnk@p200300d6e72cfb1871be317632822bda.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 22:39:18 | → | paddymahoney joins (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 22:39:22 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 22:42:58 | → | Squared joins (~Square@user/square) |
| 22:43:34 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 22:48:42 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:48:56 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:51:09 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 276 seconds) |
| 22:56:54 | × | prolic_ quits (~sasa@181.122.138.24) (Ping timeout: 260 seconds) |
| 22:59:55 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 23:01:25 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 23:02:03 | × | athan_ quits (~athan@2600:382:2c2b:64d3:2527:5e01:ddb7:9181) (Ping timeout: 245 seconds) |
| 23:02:09 | → | athan joins (~athan@2600:382:2c2b:64d3:2527:5e01:ddb7:9181) |
| 23:04:53 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 23:11:19 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 23:11:27 | × | athan quits (~athan@2600:382:2c2b:64d3:2527:5e01:ddb7:9181) (Ping timeout: 246 seconds) |
| 23:13:08 | × | meygerjos_ quits (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 252 seconds) |
| 23:15:43 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 23:16:44 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 23:20:52 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 23:21:25 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 23:24:40 | → | ACuriousMoose7 joins (~ACuriousM@156.34.161.188) |
| 23:25:54 | × | ACuriousMoose quits (~ACuriousM@156.34.161.188) (Ping timeout: 260 seconds) |
| 23:25:54 | ACuriousMoose7 | is now known as ACuriousMoose |
| 23:31:29 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 23:31:29 | × | john2 quits (~john@2406:5a00:241a:5600:31b8:c267:49dc:2202) (Read error: Connection reset by peer) |
| 23:32:44 | → | john joins (~john@2406:5a00:241a:5600:4d7e:b3ce:b03c:93a7) |
| 23:34:55 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:36:14 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:41:29 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 23:42:40 | → | neuroevolutus joins (~neuroevol@146.70.211.88) |
| 23:45:01 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 23:45:20 | × | oo_miguel quits (~Thunderbi@78.10.207.45) (Quit: oo_miguel) |
| 23:47:16 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 23:49:11 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:52:00 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:52:09 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 23:52:28 | × | YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 245 seconds) |
| 23:53:38 | → | athan joins (~athan@syn-098-153-145-140.biz.spectrum.com) |
All times are in UTC on 2024-09-10.