Logs on 2025-03-29 (liberachat/#haskell)
| 00:00:19 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 00:00:19 | ljdarj1 | is now known as ljdarj |
| 00:02:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:07:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:13:59 | × | nitrix quits (~nitrix@user/meow/nitrix) (Quit: ZNC 1.9.1 - https://znc.in) |
| 00:15:18 | × | random-jellyfish quits (~developer@user/random-jellyfish) (Ping timeout: 244 seconds) |
| 00:18:08 | × | drdo quits (~drdo@static.61.197.13.49.clients.your-server.de) (Quit: WeeChat 4.5.2) |
| 00:18:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:23:13 | × | sprotte24 quits (~sprotte24@p200300d16f1244002c79175af1485053.dip0.t-ipconnect.de) (Quit: Leaving) |
| 00:23:21 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 00:24:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:27:55 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 00:28:44 | → | malte joins (~malte@mal.tc) |
| 00:35:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:40:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:41:52 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 00:42:11 | → | weary-traveler joins (~user@user/user363627) |
| 00:47:15 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:51:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:52:49 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 00:57:19 | × | notdabs quits (~Owner@2600:1700:69cf:9000:a99a:9123:20e6:65c6) (Quit: Leaving) |
| 00:58:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 01:09:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:12:56 | × | otto_s quits (~user@p5de2fe2d.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 01:14:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:17:40 | → | drdo joins (~drdo@static.61.197.13.49.clients.your-server.de) |
| 01:21:55 | × | acidjnk quits (~acidjnk@p200300d6e71c4f71c835c1b6e3010b6c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 01:22:43 | → | otto_s joins (~user@p4ff27624.dip0.t-ipconnect.de) |
| 01:25:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:46:51 | × | tomku quits (~tomku@user/tomku) (Read error: Connection reset by peer) |
| 01:53:13 | × | agentultra quits (~user@104-195-156-122.cpe.teksavvy.com) (Remote host closed the connection) |
| 01:53:18 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 01:56:29 | → | tomku joins (~tomku@user/tomku) |
| 02:00:51 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 02:04:03 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 02:04:31 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 02:07:14 | <haskellbridge> | <Bowuigi> Liamzee freeing after use isn't the fastest option. In fact, switching to it on linear code would actually make it slower |
| 02:08:34 | <haskellbridge> | <Bowuigi> On many cases, an arena allocator is the fastest option because you can free many things at once (faster than one thing at a time). It's even recommended in C because of it's speed and simplicity |
| 02:09:30 | → | malte joins (~malte@mal.tc) |
| 02:09:34 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 02:09:48 | → | malte joins (~malte@mal.tc) |
| 02:11:15 | <haskellbridge> | <Bowuigi> But you don't have to trust me here, the Perceus (basically inferring linear and inserting alloc/free) tests a lot of people have done show improvements only on very specific examples, but poorer performance otherwise |
| 02:13:37 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 244 seconds) |
| 02:13:54 | <haskellbridge> | <Bowuigi> Modern GCs have a lot of thought put into them in order to make them really fast. Allocation for those is practically free and deallocation is deferred until it's at near-peak efficiency |
| 02:19:28 | → | nitrix joins (~nitrix@user/meow/nitrix) |
| 02:29:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 02:37:54 | → | tomku joins (~tomku@user/tomku) |
| 02:39:10 | → | ensyde joins (~ensyde@2601:5c6:c200:6dc0::6f7f) |
| 02:40:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:40:53 | → | talismanick joins (~user@2601:644:937c:ed10::ae5) |
| 02:48:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 02:59:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:01:40 | → | EvanR_ joins (~EvanR@user/evanr) |
| 03:02:26 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 272 seconds) |
| 03:06:50 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 03:07:23 | → | rvalue joins (~rvalue@user/rvalue) |
| 03:07:49 | × | ZLima12 quits (~zlima12@user/meow/ZLima12) (Remote host closed the connection) |
| 03:08:58 | → | ZLima12 joins (~zlima12@user/meow/ZLima12) |
| 03:29:49 | → | j1n37- joins (~j1n37@user/j1n37) |
| 03:30:26 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 03:49:10 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:51:21 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 03:51:55 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 03:51:55 | ChanServ | sets mode +v haskellbridge |
| 04:11:09 | <haskellbridge> | <Liamzee> is that what rust's optimizer is actually doing? |
| 04:11:12 | <haskellbridge> | <Liamzee> Bowuigi: |
| 04:12:36 | <haskellbridge> | <Bowuigi> No clue but probably yes. Tho allocations are not inferred in Rust (that's why you have to deal with the borrow checker) |
| 04:13:08 | <haskellbridge> | <Bowuigi> Probably yes to the refcounting, not to the efficient GC |
| 04:17:28 | <haskellbridge> | <Liamzee> are there good reasons not to use Twain? Are there limitations of Twain I should know about? |
| 04:29:50 | → | aforemny_ joins (~aforemny@i577B132D.versanet.de) |
| 04:30:42 | × | aforemny quits (~aforemny@i577B139C.versanet.de) (Ping timeout: 246 seconds) |
| 04:39:26 | → | bilegeek joins (~bilegeek@2600:1008:b001:c41c:5fd7:83ed:e07c:8226) |
| 04:58:03 | × | Flow quits (~none@gentoo/developer/flow) (Ping timeout: 252 seconds) |
| 05:04:20 | → | Flow joins (~none@gentoo/developer/flow) |
| 05:09:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 05:09:28 | × | son0p quits (~ff@190.249.196.199) (Ping timeout: 268 seconds) |
| 05:11:29 | → | Square2 joins (~Square@user/square) |
| 05:11:33 | → | Square joins (~Square@user/square) |
| 05:11:34 | × | tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 244 seconds) |
| 05:20:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:22:56 | × | xff0x quits (~xff0x@2405:6580:b080:900:73c3:617e:93dd:971) (Ping timeout: 244 seconds) |
| 05:25:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:30:12 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:34:09 | → | xff0x joins (~xff0x@2405:6580:b080:900:73c3:617e:93dd:971) |
| 05:36:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:36:06 | → | takuan joins (~takuan@d8D86B601.access.telenet.be) |
| 05:45:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:50:30 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.0) |
| 05:50:33 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 05:50:54 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:56:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:00:04 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:18 | × | JamesMowery17 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 07:00:31 | <haskellbridge> | <Liamzee> what are the tradeoffs of various sql backends that Haskell supports? |
| 07:00:36 | → | JamesMowery17 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) |
| 07:00:49 | <haskellbridge> | <Liamzee> I'm just going with postgresql because that seems to be standard, but there's also sqlite3 packages |
| 07:00:59 | → | caconym joins (~caconym@user/caconym) |
| 07:01:42 | <haskellbridge> | <Liamzee> huh |
| 07:01:44 | <haskellbridge> | <Liamzee> https://www.reddit.com/r/haskell/comments/zynpnf/what_databases_do_you_find_the_most_productive_to/ |
| 07:01:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 07:04:22 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 07:12:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:15:40 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 07:16:24 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 07:17:04 | Lord_of_Life_ | is now known as Lord_of_Life |
| 07:17:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 07:18:03 | → | son0p joins (~ff@2800:e6:4001:f995:7f79:d961:a77:e30d) |
| 07:19:20 | <jackdk> | All the libraries I like only support postgred (rel8, opaleye, hasql) |
| 07:19:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:27:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 07:39:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:42:56 | × | Square2 quits (~Square@user/square) (Quit: Leaving) |
| 07:45:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 07:54:19 | × | ensyde quits (~ensyde@2601:5c6:c200:6dc0::6f7f) (Ping timeout: 244 seconds) |
| 07:55:52 | × | takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 07:57:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:59:18 | → | takuan joins (~takuan@d8D86B601.access.telenet.be) |
| 08:01:34 | → | random-jellyfish joins (~developer@85.50.149.196) |
| 08:01:34 | × | random-jellyfish quits (~developer@85.50.149.196) (Changing host) |
| 08:01:34 | → | random-jellyfish joins (~developer@user/random-jellyfish) |
| 08:02:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 08:09:02 | → | jaror joins (~jaror@5070ACC7.static.ziggozakelijk.nl) |
| 08:13:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:14:05 | → | tremon joins (~tremon@83.80.159.219) |
| 08:28:23 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 08:33:00 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 08:33:05 | → | ash3en joins (~Thunderbi@89.56.182.235) |
| 08:40:57 | → | acidjnk joins (~acidjnk@p200300d6e71c4f56253b485ca204f32a.dip0.t-ipconnect.de) |
| 08:42:13 | × | ash3en quits (~Thunderbi@89.56.182.235) (Ping timeout: 268 seconds) |
| 08:56:12 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 08:56:48 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 09:01:41 | <haskellbridge> | <Liamzee> ah, i'm using opaleye right now |
| 09:03:22 | × | Square quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 09:07:08 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 09:08:28 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 09:10:19 | × | bilegeek quits (~bilegeek@2600:1008:b001:c41c:5fd7:83ed:e07c:8226) (Quit: Leaving) |
| 09:14:57 | → | tavare joins (~tavare@user/tavare) |
| 09:15:05 | × | tavare quits (~tavare@user/tavare) (Read error: Connection reset by peer) |
| 09:17:43 | → | fp joins (~Thunderbi@hof1.kyla.fi) |
| 09:22:53 | × | hughjfchen quits (~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.4.3) |
| 09:23:25 | → | ensyde joins (~ensyde@2601:5c6:c200:6dc0::6f7f) |
| 09:24:18 | → | hughjfchen joins (~hughjfche@vmi2417424.contaboserver.net) |
| 09:39:18 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 09:49:59 | × | fp quits (~Thunderbi@hof1.kyla.fi) (Read error: Connection reset by peer) |
| 09:55:27 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 09:57:32 | <tomsmeding> | What is a good name for a type that does not contain any function arrows? I've been recommended "ground type", but other resources reserve that for a type without _type variables_ instead |
| 09:59:52 | <haskellbridge> | <Liamzee> is that question coherent? |
| 10:00:03 | <haskellbridge> | <Liamzee> erm, that's the wrong word |
| 10:00:06 | <haskellbridge> | <Liamzee> meaningful |
| 10:00:17 | <haskellbridge> | <Liamzee> newtype Foo = MkFoo (Int -> Char) |
| 10:00:33 | <haskellbridge> | <Liamzee> Foo doesn't contain any function arrows, but it's a newtype over a function type |
| 10:10:31 | → | sprotte24 joins (~sprotte24@p200300d16f18ca00810b5da35042238f.dip0.t-ipconnect.de) |
| 10:14:15 | <tomsmeding> | Liamzee: It's a fair point. I think I'd want Foo to "contain function arrows", i.e. to _not_ be in the category that I want a name for |
| 10:14:44 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 10:14:53 | <tomsmeding> | but if there's a good term for such types where you do consider Foo to be "simple", I'm also open to those |
| 10:15:30 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 10:15:56 | → | j1n37 joins (~j1n37@user/j1n37) |
| 10:16:34 | <haskellbridge> | <Liamzee> non-function types? |
| 10:16:53 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 10:20:30 | → | j1n37 joins (~j1n37@user/j1n37) |
| 10:24:34 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 10:26:17 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 10:30:11 | <tomsmeding> | well, (Int, Int -> Int) is also a non-function type, in my mind |
| 10:32:05 | <tomsmeding> | one can generalise from https://en.wikipedia.org/wiki/Higher-order_function |
| 10:32:16 | <tomsmeding> | a higher-order function is a function that takes functions; a first-order function is a function that does not |
| 10:32:57 | <tomsmeding> | if you define Order[Int] = 0; Order[(a, b)] = max(Order[a], Order[b]); Order[a -> b] = max{1 + Order[a], Order[b]}, then a first-order function is a function with type of order 1, and a higher-order function is a function with type of order >1 |
| 10:33:10 | <tomsmeding> | then the thing I'm looking for would be type with order 0 |
| 10:33:34 | <tomsmeding> | but I'm not sure I've seen "zeroth-order type" before, and it's also a bit of an awkward phrase |
| 10:33:41 | → | tromp joins (~textual@2001:1c00:3487:1b00:9865:6ec1:d353:2dc8) |
| 10:36:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 10:36:26 | <haskellbridge> | <Liamzee> so would (Int, Int -> Int) be a type that contains function arrows? |
| 10:36:42 | <haskellbridge> | <Liamzee> I'm guessing it's just that in languages where functions are values the term is more confused |
| 10:37:39 | <tomsmeding> | yes, (Int, Int -> Int) would be a type that contains function arrows, and would thus not be allowed for my thingy types |
| 10:38:15 | <tomsmeding> | The context here is an array language: I want to allow arrays of zeroth-order types only, because functions have closures and everything becomes messy then |
| 10:38:30 | <tomsmeding> | even sum types are messy but only to a limited extent |
| 10:38:53 | <tomsmeding> | this is not in haskell specifically, but I'm asking here because it's somewhat related :) |
| 10:41:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:42:53 | → | jacopovalanzano joins (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 10:46:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 10:47:39 | <Leary> | tomsmeding: Trees? |
| 10:51:37 | <tomsmeding> | Leary: then arrays and sum types would need to be trees, and function types not |
| 10:52:04 | <tomsmeding> | it's a good unorthodox suggestion, but I'm not a fan either |
| 10:52:38 | <tomsmeding> | I think I'll just go with "zeroth-order"; I even have a sensible use for "second-order", i.e. functions that take functions that don't take functions |
| 10:52:44 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 10:53:06 | <tomsmeding> | (in a language with zeroth-order arrays, 'map' on arrays is a second-order function) |
| 10:57:35 | × | sand-witch quits (~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection) |
| 10:57:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:58:24 | → | sand-witch joins (~m-mzmz6l@vmi833741.contaboserver.net) |
| 10:58:26 | <Leary> | Anything built from base types with sums and products counts as a tree in my book, some of them are just really wide or stunted. ¯\_(ツ)_/¯ |
| 10:58:33 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 11:00:04 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 11:04:04 | → | __monty__ joins (~toonn@user/toonn) |
| 11:04:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 11:05:07 | → | caconym joins (~caconym@user/caconym) |
| 11:08:53 | × | aforemny_ quits (~aforemny@i577B132D.versanet.de) (Ping timeout: 244 seconds) |
| 11:15:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:16:17 | × | ensyde quits (~ensyde@2601:5c6:c200:6dc0::6f7f) (Quit: WeeChat 4.6.0) |
| 11:20:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 11:25:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:26:27 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 11:27:36 | <merijn> | Leary: My hot take: Trees are just very degenerate trees :) |
| 11:28:05 | <merijn> | Actually, your comment has broadened my view, so I've updated my hot take to also conclude Maybe is a degenerate tree :p |
| 11:28:41 | <tomsmeding> | what would be a non-degenerate tree? |
| 11:29:02 | <merijn> | tomsmeding: A perfectly balanced binary tree :p |
| 11:29:22 | <tomsmeding> | I like those too |
| 11:29:41 | int-e | wonders whether merijn meant lists |
| 11:30:13 | <merijn> | int-e: eh, yes |
| 11:30:16 | <merijn> | I slept badly xD |
| 11:30:32 | <merijn> | And I'm doing 4 things at once |
| 11:32:28 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 11:43:33 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 11:44:33 | <tomsmeding> | that doesn't sound like a good combination |
| 11:45:13 | <tomsmeding> | 3 is already borderline for me |
| 11:53:08 | × | random-jellyfish quits (~developer@user/random-jellyfish) (Ping timeout: 252 seconds) |
| 12:04:11 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 12:06:13 | × | srk quits (~sorki@user/srk) (Ping timeout: 248 seconds) |
| 12:06:53 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 12:09:29 | → | malte joins (~malte@mal.tc) |
| 12:11:51 | <haskellbridge> | <jv> anything more than 1 is too much for me if i've slept badly |
| 12:20:02 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 12:21:00 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Ping timeout: 252 seconds) |
| 12:21:27 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 12:22:58 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 12:25:20 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 12:29:49 | → | srk joins (~sorki@user/srk) |
| 12:33:48 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 12:34:35 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 12:45:50 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 12:57:43 | → | ash3en joins (~Thunderbi@89.56.182.235) |
| 13:01:00 | × | haritz quits (~hrtz@user/haritz) (Ping timeout: 244 seconds) |
| 13:04:05 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 13:04:15 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 13:05:58 | × | jacopovalanzano quits (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
| 13:08:43 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 13:10:26 | → | haritz joins (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 13:10:28 | × | haritz quits (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 13:10:28 | → | haritz joins (~hrtz@user/haritz) |
| 13:11:39 | × | acidjnk quits (~acidjnk@p200300d6e71c4f56253b485ca204f32a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 13:13:05 | → | weary-traveler joins (~user@user/user363627) |
| 13:13:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 13:13:42 | → | acidjnk joins (~acidjnk@p200300d6e71c4f562482958d1edc696d.dip0.t-ipconnect.de) |
| 13:13:53 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 13:14:39 | → | toby-bro joins (~toby-bro@user/toby-bro) |
| 13:16:50 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) |
| 13:16:57 | → | jinsun joins (~jinsun@user/jinsun) |
| 13:19:48 | → | malte joins (~malte@mal.tc) |
| 13:21:22 | × | aman quits (~aman@user/aman) (Ping timeout: 244 seconds) |
| 13:23:10 | → | aman joins (~aman@user/aman) |
| 13:24:12 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 13:24:35 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 13:24:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:45:32 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 13:49:21 | × | acidjnk quits (~acidjnk@p200300d6e71c4f562482958d1edc696d.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 13:50:55 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 13:55:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 14:00:44 | × | ash3en quits (~Thunderbi@89.56.182.235) (Ping timeout: 252 seconds) |
| 14:03:48 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 14:06:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:07:59 | → | j1n37- joins (~j1n37@user/j1n37) |
| 14:08:48 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 14:23:50 | × | srk quits (~sorki@user/srk) (Ping timeout: 252 seconds) |
| 14:24:08 | → | srk joins (~sorki@user/srk) |
| 14:25:15 | × | Miroboru quits (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal) |
| 14:29:20 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 14:34:11 | <ski> | "polynomial type" ? |
| 14:35:13 | → | Miroboru joins (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 14:39:34 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 14:43:11 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 14:55:00 | × | Digit quits (~user@user/digit) (Remote host closed the connection) |
| 15:04:15 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 15:12:13 | → | beth joins (~beth@103.151.209.124) |
| 15:12:27 | × | beth quits (~beth@103.151.209.124) (Client Quit) |
| 15:13:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 15:20:03 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 15:22:02 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Remote host closed the connection) |
| 15:24:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:32:11 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 15:34:18 | × | tabaqui quits (~tabaqui@167.71.80.236) (Quit: WeeChat 4.5.2) |
| 15:36:25 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 15:41:45 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 15:48:43 | → | ash3en joins (~Thunderbi@89.56.182.235) |
| 15:51:23 | → | Digit joins (~user@user/digit) |
| 15:53:05 | Digit | is now known as digitteknohippie |
| 15:53:06 | × | digitteknohippie quits (~user@user/digit) (Remote host closed the connection) |
| 15:54:43 | → | jacopovalanzano joins (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 15:57:07 | × | tromp quits (~textual@2001:1c00:3487:1b00:9865:6ec1:d353:2dc8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:00:10 | × | anpad quits (~pandeyan@user/anpad) (Ping timeout: 272 seconds) |
| 16:01:59 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 16:06:24 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 16:11:18 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:12:29 | × | aman quits (~aman@user/aman) (Quit: aman) |
| 16:15:11 | <tomsmeding> | ski: if this wasn't in the context of numerical computing, that would've been a good one. :D |
| 16:16:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 16:21:57 | → | Digit joins (~user@user/digit) |
| 16:27:20 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Read error: Connection reset by peer) |
| 16:27:20 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer) |
| 16:27:34 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 16:28:01 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 16:28:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:29:57 | × | ash3en quits (~Thunderbi@89.56.182.235) (Ping timeout: 244 seconds) |
| 16:30:26 | <srk> | heh, trying to export prometheus metrics from 32bit pi1 is quite fun. had to patch basement, memory and cborg (fortunately two of them had PRs) because of tons of crypto libs that I don't need |
| 16:30:42 | <srk> | almost rolled my own primitive http server /o\ |
| 16:38:15 | → | Digitteknohippie joins (~user@user/digit) |
| 16:42:35 | → | gmg joins (~user@user/gehmehgeh) |
| 16:43:40 | → | tromp joins (~textual@2001:1c00:3487:1b00:9865:6ec1:d353:2dc8) |
| 16:44:42 | → | ash3en joins (~Thunderbi@89.56.182.235) |
| 16:46:58 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 16:48:21 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 16:48:21 | ljdarj1 | is now known as ljdarj |
| 16:51:47 | × | ash3en quits (~Thunderbi@89.56.182.235) (Quit: ash3en) |
| 16:56:04 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
| 17:00:54 | × | toby-bro quits (~toby-bro@user/toby-bro) (Ping timeout: 260 seconds) |
| 17:03:27 | → | dutchie joins (~dutchie@user/dutchie) |
| 17:03:53 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-19-74-12-85-11.dsl.bell.ca) |
| 17:04:20 | <dutchie> | I feel like I'm missing something obvious, but what's the way to have a pattern match in an attoparsec do block result in failure? I can't just do `Just x <- thing` because it's the wrong monad... |
| 17:04:46 | <dutchie> | and aiui `let Just x = thing` just crashes if it doesn't match |
| 17:06:57 | × | Digitteknohippie quits (~user@user/digit) (Ping timeout: 248 seconds) |
| 17:07:21 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 17:15:47 | <srk> | <- maybe (fail "no parse") pure thing ? |
| 17:19:05 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 17:19:05 | <enikar> | if i remember, there is no fail function in Attoparsec. I use it times to times. |
| 17:20:25 | <srk> | pretty sure it has a MonadFail instance, ye https://hackage.haskell.org/package/attoparsec-0.14.4/docs/Data-Attoparsec-Internal-Types.html#t:Parser |
| 17:22:12 | <int-e> | but there's no "abort the parse if this happens, even if there are more alternatives to try" |
| 17:23:17 | <enikar> | hum… I wonder it can be use in this case. Often I rewrote the parser in another way. |
| 17:24:06 | <int-e> | Hmm I'm trying to understand in what the "wrong monad" is in this context. |
| 17:24:18 | <enikar> | readP and megaparsec have pfail, which is sometimes useful. |
| 17:26:02 | <int-e> | I mean if you just need `fail`, shouldn't `Just x <- thing` actually work? The resulting error message will be horrible though. |
| 17:26:24 | <int-e> | (Or maybe `Just x <- pure thing`) |
| 17:28:57 | <JuanDaugherty> | i am just getting that optics make visible/accessible stuff which in a conventional imperative land u'd just put someplace |
| 17:29:25 | <JuanDaugherty> | *lang |
| 17:31:03 | → | acidjnk joins (~acidjnk@p200300d6e71c4f5684d81f92e812b9d0.dip0.t-ipconnect.de) |
| 17:32:31 | <monochrom> | I would write "case thing of Just x -> ... Nothing -> ..." explicitly. |
| 17:32:43 | <srk> | unknown RTS option: -N :)) is that because the system has only a single core or llvm? |
| 17:33:26 | <monochrom> | You need to enable RTS options at all at compile time (more precisely link time), e.g., ghc -rtsopts |
| 17:33:38 | → | Digit joins (~user@user/digit) |
| 17:33:42 | <int-e> | you need -threaded to enabled -N |
| 17:33:52 | <monochrom> | It is non-default because some RTS options become vulnerabilities. |
| 17:33:53 | <srk> | ye, I have -threaded -rtsopts -with-rtsopts=-N |
| 17:34:05 | → | zmt00 joins (~zmt00@user/zmt00) |
| 17:34:08 | <monochrom> | Hrm then I don't know! |
| 17:34:09 | <srk> | but this is armv6l (pi1) with only one core |
| 17:34:25 | <int-e> | I don't think the number of cores matters |
| 17:34:27 | <srk> | got this error trying to run the thing, trying to drop the -N now |
| 17:34:39 | <srk> | yeah, that helped. fun! |
| 17:34:41 | <monochrom> | Pretty sure I can demand -N1000 even if I only have 4. |
| 17:35:07 | <int-e> | But maybe there is no threaded runtime for armv6l? Well that sounds... weird. |
| 17:35:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 17:35:25 | <int-e> | And GHC really ought to complain about -threaded in that case. |
| 17:35:34 | <srk> | indeed |
| 17:36:17 | <monochrom> | Actually IIRC I disagreed how they framed it as vulnerabilities but meh who am I. |
| 17:36:19 | × | zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 17:37:07 | <int-e> | you could check the output of <executable> +RTS --info and see if the "RTS way" contains "thr" or not. |
| 17:39:03 | <srk> | no, it doesn't |
| 17:39:41 | <int-e> | so GHC did indeed not link against the threaded RTS |
| 17:40:53 | <srk> | interesting, now I'm tempted to try on armv7 and aarch64 with more cores as well |
| 17:42:04 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:42:47 | <srk> | anyway, it works now \o/ hope it keeps working when I connect it to the modbus meter |
| 17:44:10 | <srk> | type safe electricity consumption analysis ^^ |
| 17:44:53 | Digit | is now known as digitteknohippie |
| 17:45:10 | digitteknohippie | is now known as Digit |
| 17:46:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:51:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 17:52:30 | <srk> | works like a charm, impressive |
| 17:56:45 | × | tromp quits (~textual@2001:1c00:3487:1b00:9865:6ec1:d353:2dc8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:01:16 | JuanDaugherty | is now known as ColinRobinson |
| 18:02:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:04:15 | × | ColinRobinson quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 18:04:49 | → | ash3en joins (~Thunderbi@89.56.182.235) |
| 18:06:13 | → | Garbanzo joins (~Garbanzo@2602:304:6eac:dc10::2e) |
| 18:10:30 | × | jacopovalanzano quits (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Ping timeout: 240 seconds) |
| 18:10:37 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 18:19:18 | → | tromp joins (~textual@2001:1c00:3487:1b00:9865:6ec1:d353:2dc8) |
| 18:27:10 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 18:27:50 | → | zmt01 joins (~zmt00@user/zmt00) |
| 18:29:28 | → | swamp_ joins (~zmt00@user/zmt00) |
| 18:30:57 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
| 18:32:53 | × | zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 248 seconds) |
| 18:33:16 | → | zmt01 joins (~zmt00@user/zmt00) |
| 18:35:53 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 18:35:53 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 18:35:53 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 18:35:53 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 18:35:54 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 18:36:07 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 18:36:21 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 18:36:22 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 18:36:32 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 18:36:35 | → | gmg joins (~user@user/gehmehgeh) |
| 18:36:37 | × | swamp_ quits (~zmt00@user/zmt00) (Ping timeout: 248 seconds) |
| 18:38:06 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 18:40:53 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 18:40:53 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 18:40:53 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 18:41:17 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 18:41:20 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 18:41:33 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 18:42:10 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 18:47:47 | → | __monty__ joins (~toonn@user/toonn) |
| 18:48:33 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 18:50:23 | × | zlqrvx quits (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) (Ping timeout: 252 seconds) |
| 18:51:09 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 18:51:09 | ljdarj1 | is now known as ljdarj |
| 18:51:47 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 18:53:02 | → | weary-traveler joins (~user@user/user363627) |
| 18:53:21 | → | zlqrvx joins (~zlqrvx@101.175.150.247) |
| 18:56:53 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 18:59:57 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:00:02 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:44 | → | werneta joins (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 19:00:57 | → | caconym joins (~caconym@user/caconym) |
| 19:01:28 | <dutchie> | ah, `Just x <- pure thing` is the trick I was looking for |
| 19:01:49 | <monochrom> | :) |
| 19:02:20 | → | anpad joins (~pandeyan@user/anpad) |
| 19:03:49 | <monochrom> | But if you have "thing <- p; Just x <- pure thing" then it should have been simply "Just x <- p" in the first place. |
| 19:04:19 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 19:04:42 | × | remexre quits (~remexre@user/remexre) (Ping timeout: 252 seconds) |
| 19:05:17 | <monochrom> | My purpose is not to make code shorter. My point is to eliminate XY problems, i.e., make concepts shorter. |
| 19:05:53 | × | Eoco quits (~ian@128.101.131.218) (Ping timeout: 248 seconds) |
| 19:06:14 | × | haritz quits (~hrtz@user/haritz) (Remote host closed the connection) |
| 19:06:26 | → | haritz joins (~hrtz@2a02:8010:65b5:1:162c:ba0f:3731:3adf) |
| 19:07:31 | × | acidjnk quits (~acidjnk@p200300d6e71c4f5684d81f92e812b9d0.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 19:08:15 | × | haritz quits (~hrtz@2a02:8010:65b5:1:162c:ba0f:3731:3adf) (Changing host) |
| 19:08:15 | → | haritz joins (~hrtz@user/haritz) |
| 19:09:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 19:12:12 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 19:12:40 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 19:13:26 | → | toby-bro joins (~toby-bro@user/toby-bro) |
| 19:13:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:15:03 | → | acidjnk joins (~acidjnk@p200300d6e71c4f5684d81f92e812b9d0.dip0.t-ipconnect.de) |
| 19:15:29 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 19:25:09 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 276 seconds) |
| 19:27:52 | × | ash3en quits (~Thunderbi@89.56.182.235) (Ping timeout: 268 seconds) |
| 19:28:00 | → | ash3en1 joins (~Thunderbi@146.70.124.222) |
| 19:30:22 | ash3en1 | is now known as ash3en |
| 19:33:48 | → | pavonia joins (~user@user/siracusa) |
| 19:38:55 | → | ash3en1 joins (~Thunderbi@89.56.182.235) |
| 19:39:10 | × | ash3en quits (~Thunderbi@146.70.124.222) (Ping timeout: 252 seconds) |
| 19:39:10 | ash3en1 | is now known as ash3en |
| 19:41:12 | → | sprotte24_ joins (~sprotte24@p200300d16f1c4e0098c546d077431e36.dip0.t-ipconnect.de) |
| 19:41:26 | × | sprotte24 quits (~sprotte24@p200300d16f18ca00810b5da35042238f.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 19:46:31 | → | ash3en1 joins (~Thunderbi@146.70.124.222) |
| 19:47:31 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 19:47:53 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:48:05 | × | ash3en quits (~Thunderbi@89.56.182.235) (Ping timeout: 248 seconds) |
| 19:48:05 | ash3en1 | is now known as ash3en |
| 19:54:07 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 19:55:39 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) |
| 19:58:49 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 19:59:50 | → | michalz joins (~michalz@185.246.207.201) |
| 20:03:58 | → | random-jellyfish joins (~developer@user/random-jellyfish) |
| 20:22:29 | <haskellbridge> | <Bowuigi> In the maybe monad, on "Just x <- pure thing" you have that "x = thing" |
| 20:24:29 | <haskellbridge> | <Bowuigi> Oh it's on Attoparsec |
| 20:24:56 | <haskellbridge> | <Bowuigi> Nvm then |
| 20:25:32 | <monochrom> | :) |
| 20:30:22 | → | remexre joins (~remexre@user/remexre) |
| 20:30:30 | → | Eoco joins (~ian@128.101.131.218) |
| 20:34:55 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 20:35:21 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 20:40:14 | × | EvanR_ quits (~EvanR@user/evanr) (Read error: Connection reset by peer) |
| 20:40:33 | → | EvanR_ joins (~EvanR@user/evanr) |
| 20:43:27 | × | ash3en quits (~Thunderbi@146.70.124.222) (Quit: ash3en) |
| 20:43:36 | <dutchie> | in retrospect, "i'm in the wrong monad" should probably have tipped me off to "add a pure" |
| 20:47:24 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 20:52:34 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 21:00:05 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 21:01:52 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) |
| 21:02:24 | × | remexre quits (~remexre@user/remexre) (Ping timeout: 260 seconds) |
| 21:02:59 | × | Eoco quits (~ian@128.101.131.218) (Ping timeout: 260 seconds) |
| 21:11:05 | → | Eoco joins (~ian@128.101.131.218) |
| 21:11:51 | → | remexre joins (~remexre@user/remexre) |
| 21:14:18 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:14:22 | → | j1n37 joins (~j1n37@user/j1n37) |
| 21:15:39 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 21:18:03 | <dutchie> | ...and in the end I realise that `thing <- p; Just x <- pure $ f thing` is better spelled `Just x <- f <$> p` |
| 21:18:39 | <EvanR_> | or fmap f p if you want to avoid shift key |
| 21:19:10 | EvanR_ | is now known as EvanR |
| 21:19:16 | × | Eoco quits (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 21:19:37 | <dutchie> | <$> means fewer brackets when p is a function application |
| 21:20:29 | × | remexre quits (~remexre@user/remexre) (Ping timeout: 260 seconds) |
| 21:22:59 | → | Eoco joins (~ian@128.101.131.218) |
| 21:23:37 | <monochrom> | Conservation of the number of ()s and <>s. >:) |
| 21:33:02 | → | remexre joins (~remexre@user/remexre) |
| 21:33:24 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 21:33:47 | → | puke joins (~puke@user/puke) |
| 21:42:28 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 21:42:43 | <EvanR> | fmap f (g x) is easier to type on qwerty and more obvious to the uninitiated |
| 21:43:33 | × | michalz quits (~michalz@185.246.207.201) (Remote host closed the connection) |
| 21:44:06 | <EvanR> | "avoid parentheses at all costs" has its own costs |
| 21:44:16 | → | peterbecich1 joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:45:25 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 21:45:25 | peterbecich1 | is now known as peterbecich |
| 21:47:08 | → | Bayaspirina joins (~Bayaspiri@181.46.139.196) |
| 21:47:18 | × | Bayaspirina quits (~Bayaspiri@181.46.139.196) (Remote host closed the connection) |
| 21:47:24 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 21:49:52 | → | peterbecich1 joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:52:03 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 21:52:03 | peterbecich1 | is now known as peterbecich |
| 21:59:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:00:00 | × | ethantwardy quits (user@user/ethantwardy) (Quit: WeeChat 4.4.2) |
| 22:01:03 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 22:01:49 | → | ethantwardy joins (user@user/ethantwardy) |
| 22:01:53 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 22:04:25 | → | malte joins (~malte@mal.tc) |
| 22:08:33 | × | takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 22:10:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:24:17 | <__monty__> | I prefer <$> for its infix-ness. |
| 22:25:50 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 22:29:40 | → | connrs_ joins (~connrs@conners.plus.com) |
| 22:31:31 | × | connrs_ quits (~connrs@conners.plus.com) (Remote host closed the connection) |
| 22:31:41 | → | connrs_ joins (~connrs@conners.plus.com) |
| 22:45:18 | × | connrs_ quits (~connrs@conners.plus.com) (Remote host closed the connection) |
| 22:45:48 | → | connrs_ joins (~connrs@conners.plus.com) |
| 22:49:55 | × | connrs_ quits (~connrs@conners.plus.com) (Remote host closed the connection) |
| 22:50:04 | → | connrs_ joins (~connrs@conners.plus.com) |
| 22:55:00 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 22:56:25 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 22:56:43 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 23:08:45 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-19-74-12-85-11.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 23:15:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:16:31 | × | connrs_ quits (~connrs@conners.plus.com) (Remote host closed the connection) |
| 23:16:39 | → | connrs_ joins (~connrs@conners.plus.com) |
| 23:17:05 | × | connrs quits (~connrs@user/connrs) (Quit: ZNC 1.9.1 - https://znc.in) |
| 23:17:05 | connrs_ | is now known as connrs |
| 23:17:11 | × | connrs quits (~connrs@conners.plus.com) (Remote host closed the connection) |
| 23:17:19 | → | connrs joins (~connrs@user/connrs) |
| 23:26:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:28:33 | × | connrs quits (~connrs@user/connrs) (Remote host closed the connection) |
| 23:28:41 | → | connrs joins (~connrs@user/connrs) |
| 23:31:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:35:12 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 23:35:33 | → | peterbecich1 joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:37:54 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 23:37:54 | ljdarj1 | is now known as ljdarj |
| 23:38:47 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 23:39:06 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:42:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:42:24 | × | peterbecich1 quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 23:50:40 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 23:54:45 | → | peterbecich1 joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:56:39 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 23:57:42 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:57:46 | × | peterbecich1 quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Client Quit) |
All times are in UTC on 2025-03-29.