| 2025-01-08 00:04:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-08 00:07:59 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-08 00:09:23 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-08 00:10:26 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-08 00:15:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-08 00:15:19 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-08 00:16:31 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-01-08 00:18:19 +0100 | orangeFlu | (~orangeFlu@240-100-179-143.ftth.glasoperator.nl) orangeFlu |
| 2025-01-08 00:18:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-01-08 00:18:33 +0100 | ljdarj1 | ljdarj |
| 2025-01-08 00:21:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-08 00:33:11 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-08 00:33:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-08 00:37:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-08 00:40:05 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-01-08 00:41:03 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-08 00:41:19 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f16946c8eff929943ae.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-08 00:45:49 +0100 | sprotte24 | (~sprotte24@p200300d16f116c002c29764fca4182ef.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-08 00:48:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-08 00:53:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-08 00:57:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-08 00:59:23 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-01-08 01:02:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-08 01:05:24 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-08 01:11:44 +0100 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 2025-01-08 01:14:32 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2025-01-08 01:15:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-08 01:16:47 +0100 | kaskal | (~kaskal@84-115-237-124.cable.dynamic.surfer.at) (Quit: ZNC - https://znc.in) |
| 2025-01-08 01:17:19 +0100 | kaskal | (~kaskal@84-115-237-124.cable.dynamic.surfer.at) kaskal |
| 2025-01-08 01:21:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-08 01:24:11 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2025-01-08 01:24:23 +0100 | whatsupdoc_ | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-08 01:24:32 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-08 01:24:49 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:7a35:e66e:66c0:36ee) (Ping timeout: 260 seconds) |
| 2025-01-08 01:31:55 +0100 | <danso> | i'm confused about why this line defines a function which returns Nothing for all inputs |
| 2025-01-08 01:32:01 +0100 | <danso> | safediv :: Int -> Int -> Maybe Int; safediv x y = Nothing >> pure (x `div` y) |
| 2025-01-08 01:32:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-08 01:32:52 +0100 | <danso> | i expected (>>) to discard the nothing and return pure (div x y) for all inputs (sometimes failing) |
| 2025-01-08 01:33:53 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-01-08 01:36:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-08 01:38:10 +0100 | <orangeFlu> | You are basically making a chain of monads, piping the result from one to the other. if any of those Maybe's is Nothing, the whole thing is Nothing. It's just how this monad works |
| 2025-01-08 01:41:13 +0100 | <ncf> | if you think of Maybe as an exception/failure monad, then your program is do fail; pure ... |
| 2025-01-08 01:41:23 +0100 | <ncf> | this fails instead of returning anything, as in every language |
| 2025-01-08 01:41:48 +0100 | <ncf> | in other words >> discards values, not effects |
| 2025-01-08 01:42:45 +0100 | <orangeFlu> | If you know >>=, then >> is like it except it discards the result of the computation, like ncf said, it doesn't 'bind' it to anything |
| 2025-01-08 01:45:21 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-01-08 01:45:25 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-01-08 01:45:55 +0100 | <EvanR> | what did you want Nothing >> something to do |
| 2025-01-08 01:46:10 +0100 | <EvanR> | if it was like 0 + something... it would have no effect |
| 2025-01-08 01:46:34 +0100 | <EvanR> | though it's acting more like 0 * something = 0 |
| 2025-01-08 01:47:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-08 01:49:16 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) ft |
| 2025-01-08 01:55:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-08 01:57:21 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-08 02:07:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-08 02:08:48 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2025-01-08 02:12:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-08 02:12:46 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-08 02:22:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-08 02:22:56 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-08 02:26:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-08 02:32:26 +0100 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-08 02:32:53 +0100 | lbseale | (~quassel@user/ep1ctetus) (Quit: No Ping reply in 180 seconds.) |
| 2025-01-08 02:33:00 +0100 | saulosilva | (~saulosilv@181.216.220.21) saulosilva |
| 2025-01-08 02:34:18 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-01-08 02:34:43 +0100 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) doyougnu |
| 2025-01-08 02:35:00 +0100 | <sim590> | I'm presently looking at how to make Haskell bindings for a C++ library. I'm reading https://wiki.haskell.org/Cxx_foreign_function_interface and I see that there are many approaches. From the history of the page, fficxx seems to have been brought up most recently. It doesn't mean it's best. I'm looking for an opinion as to what to look at first. |
| 2025-01-08 02:37:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-08 02:40:15 +0100 | otto_s | (~user@p5de2f2cf.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-01-08 02:41:53 +0100 | otto_s | (~user@p4ff2701d.dip0.t-ipconnect.de) |
| 2025-01-08 02:42:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-08 02:48:36 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.40) Jeanne-Kamikaze |
| 2025-01-08 02:53:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-08 02:54:30 +0100 | Too2manyQ5 | (~Too2manyQ@mwg-w15.infosec.fedex.com) |
| 2025-01-08 02:57:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-08 03:02:43 +0100 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-08 03:03:46 +0100 | xdminsy | (~xdminsy@117.147.71.200) xdminsy |
| 2025-01-08 03:04:23 +0100 | <sim590> | I guess that the page hints on the approach of making C++ look like C. They say "This seems to be the standard technique for bridging the gap between Haskell and C++.". I guess, I will look into that first. |
| 2025-01-08 03:06:10 +0100 | m1dnight_ | (~m1dnight@d8D861908.access.telenet.be) (Read error: Connection reset by peer) |
| 2025-01-08 03:08:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-08 03:11:50 +0100 | saulosilva | (~saulosilv@181.216.220.21) (Quit: Client closed) |
| 2025-01-08 03:12:06 +0100 | m1dnight_ | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
| 2025-01-08 03:13:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-08 03:21:52 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-08 03:24:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-08 03:30:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-08 03:37:41 +0100 | Too2manyQ5 | (~Too2manyQ@mwg-w15.infosec.fedex.com) (Quit: Client closed) |
| 2025-01-08 03:38:40 +0100 | OftenFaded48 | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-01-08 03:42:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-08 03:45:36 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-08 03:46:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-08 03:49:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-08 03:55:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-08 03:57:52 +0100 | OftenFaded48 | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2025-01-08 04:06:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-08 04:07:07 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-08 04:10:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-08 04:15:03 +0100 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2025-01-08 04:15:15 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-01-08 04:19:45 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 276 seconds) |
| 2025-01-08 04:21:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-08 04:23:41 +0100 | <haskellbridge> | <maerwald> When will merijn fix his bouncer? |
| 2025-01-08 04:25:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-08 04:35:36 +0100 | Square | (~Square@user/square) Square |
| 2025-01-08 04:36:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-08 04:41:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-08 04:47:57 +0100 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2025-01-08 04:49:29 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.40) (Quit: Leaving) |
| 2025-01-08 04:52:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-08 04:55:14 +0100 | caconym3 | (~caconym@user/caconym) caconym |
| 2025-01-08 04:56:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-08 04:57:05 +0100 | caconym | (~caconym@user/caconym) (Ping timeout: 248 seconds) |
| 2025-01-08 04:57:06 +0100 | caconym3 | caconym |
| 2025-01-08 05:00:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-08 05:00:59 +0100 | huhu | (~huhu@2605:52c0:2:4de:f040:60ff:fe3f:6e4a) |
| 2025-01-08 05:02:36 +0100 | lianhuayu | (~lianhuayu@2605:52c0:2:4de:f040:60ff:fe3f:6e4a) |
| 2025-01-08 05:04:43 +0100 | huhu | (~huhu@2605:52c0:2:4de:f040:60ff:fe3f:6e4a) (Client Quit) |
| 2025-01-08 05:04:48 +0100 | lianhuayu | (~lianhuayu@2605:52c0:2:4de:f040:60ff:fe3f:6e4a) (Client Quit) |