2025/10/15

Newest at the top

2025-10-15 19:08:12 +0200inline_inline
2025-10-15 19:08:12 +0200inline(~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) (Killed (osmium.libera.chat (Nickname regained by services)))
2025-10-15 19:08:08 +0200inline_(~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline
2025-10-15 19:06:50 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-10-15 19:06:48 +0200inline_inline
2025-10-15 19:06:48 +0200inlineGuest6155
2025-10-15 19:06:38 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-15 19:06:27 +0200inline_(~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline
2025-10-15 19:04:17 +0200inline(~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline
2025-10-15 18:56:11 +0200tccq(~user@user/tccq) tccq
2025-10-15 18:53:03 +0200tromp(~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-15 18:36:06 +0200OftenFaded47(~OftenFade@user/tisktisk) OftenFaded
2025-10-15 18:34:41 +0200gustrb(~gustrb@191.243.134.87)
2025-10-15 18:31:04 +0200 <Leary> dminuoso: You could use `A.do` with `QualifiedDo`, where `module A` provides `join` and `>>=` imposing `Unsatisfiable` constraints.
2025-10-15 18:31:00 +0200mochie(~mochie@93.124.228.5) (Quit: WeeChat 4.7.1)
2025-10-15 18:29:02 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-10-15 18:25:35 +0200 <tomsmeding> dminuoso was talking about optparse-applicative though
2025-10-15 18:25:19 +0200 <Leary> tomsmeding: The `Applicative` could have a `Monad` instance you don't want to use.
2025-10-15 18:23:22 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-10-15 18:20:23 +0200chele(~chele@user/chele) (Remote host closed the connection)
2025-10-15 18:14:50 +0200kuribas`(~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3))
2025-10-15 18:11:27 +0200Square(~Square4@user/square) (Ping timeout: 260 seconds)
2025-10-15 18:11:12 +0200mochie(~mochie@93.124.228.5)
2025-10-15 18:08:06 +0200Square3(~Square@user/square) Square
2025-10-15 18:06:00 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 252 seconds)
2025-10-15 18:03:48 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-10-15 18:03:39 +0200 <tomsmeding> getting an error because doA can't manage to construct an Applicative expression for it, or getting an error because Monad is not satisfied -- how are these fundamentally different, apart from being potentially confusing to a newcomer?
2025-10-15 18:03:25 +0200digitteknohippieDigit
2025-10-15 18:03:19 +0200Digitdigitteknohippie
2025-10-15 18:02:54 +0200 <tomsmeding> dminuoso: how would doA help you?
2025-10-15 17:58:14 +0200tromp(~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261)
2025-10-15 17:49:22 +0200Digit(~user@user/digit) Digit
2025-10-15 17:47:25 +0200Digit(~user@user/digit) (Ping timeout: 264 seconds)
2025-10-15 17:47:06 +0200Inline(~inline@2a02:8071:57a1:1260:30a1:2a21:7e45:e8e4) (Quit: Leaving)
2025-10-15 17:40:16 +0200tromp(~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-15 17:39:46 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Client Quit)
2025-10-15 17:39:31 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-15 17:38:52 +0200hsw(~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) hsw
2025-10-15 17:38:33 +0200hsw(~hsw@112.104.9.97) (Remote host closed the connection)
2025-10-15 17:38:30 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds)
2025-10-15 17:37:09 +0200 <dminuoso> :)
2025-10-15 17:36:57 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-10-15 17:36:56 +0200 <int-e> dminuoso: but "much doA about nothing" just isn't the same
2025-10-15 17:36:31 +0200 <ski> what would the `doA' do differently ?
2025-10-15 17:35:50 +0200 <dminuoso> Who knows, maybe neither are used - I should get a hackage copy at some point.
2025-10-15 17:35:48 +0200 <ski> `ado' <https://hackage.haskell.org/package/applicative-quoters-0.1.0.8/docs/Control-Applicative-QQ-ADo.html>
2025-10-15 17:35:27 +0200 <dminuoso> int-e: Something tells me that ado has more uses in hackage than doA. :-)
2025-10-15 17:35:01 +0200 <int-e> . o O ( ado )
2025-10-15 17:34:40 +0200 <ski> i should try working a bit more on my TH implementation of my syntax
2025-10-15 17:34:14 +0200 <dminuoso> I really want a doA.