Logs: liberachat/#haskell
| 2021-08-18 14:04:16 | <dminuoso> | [Kalisto]: And it rejects the (installed) base package of version 4.14.1.0 because it conflicts with that constraint I just cited. |
| 2021-08-18 14:04:39 | <[Kalisto]> | i tried to, but I got errors |
| 2021-08-18 14:04:42 | <[Kalisto]> | No instance for (MonadFail Data.Functor.Identity.Identity) |
| 2021-08-18 14:04:53 | <[Kalisto]> | i just want to compile it :P |
| 2021-08-18 14:06:37 | <[Kalisto]> | thanks |
| 2021-08-18 14:08:31 | × | burnsidesLlama quits (~burnsides@client-8-71.eduroam.oxuni.org.uk) (Ping timeout: 252 seconds) |
| 2021-08-18 14:09:12 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-08-18 14:12:21 | × | sleblanc quits (~sleblanc@user/sleblanc) (Ping timeout: 258 seconds) |
| 2021-08-18 14:12:55 | <[Kalisto]> | it's alive, alive! :P |
| 2021-08-18 14:13:07 | <[Kalisto]> | I used the 8.4.4 docker image and it worked |
| 2021-08-18 14:13:10 | <[Kalisto]> | thank you |
| 2021-08-18 14:13:47 | × | Guest40 quits (~Guest40@2a02:6b64:708f:0:9101:3c1b:1de7:cf00) (Quit: Client closed) |
| 2021-08-18 14:15:11 | → | wxallowed joins (~d4@151.51.135.6) |
| 2021-08-18 14:22:30 | × | dschrempf quits (~dominik@92-249-159-252.pool.digikabel.hu) (Quit: WeeChat 3.2) |
| 2021-08-18 14:23:15 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-18 14:25:08 | → | gambpang joins (~ishipman@207.181.230.156) |
| 2021-08-18 14:26:24 | → | burnsidesLlama joins (~burnsides@client-8-71.eduroam.oxuni.org.uk) |
| 2021-08-18 14:28:44 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2021-08-18 14:28:49 | → | doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net) |
| 2021-08-18 14:29:26 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-08-18 14:30:31 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-18 14:31:32 | → | pompez joins (~martin@user/pompez) |
| 2021-08-18 14:33:13 | <tomsmeding> | it seems like the major thing impacting compatibility with early-8 series with now is MonadFail |
| 2021-08-18 14:33:57 | <tomsmeding> | will ghc have one major compatibility-breaking change every major series? :p First FAM, then MonadFail |
| 2021-08-18 14:34:57 | × | burnsidesLlama quits (~burnsides@client-8-71.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-18 14:37:23 | × | Cajun quits (~Cajun@user/cajun) (Quit: Client closed) |
| 2021-08-18 14:39:15 | → | burnsidesLlama joins (~burnsides@client-8-71.eduroam.oxuni.org.uk) |
| 2021-08-18 14:41:18 | × | burnsidesLlama quits (~burnsides@client-8-71.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-18 14:44:48 | → | peterhil_ joins (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) |
| 2021-08-18 14:45:23 | <albet70> | dminuoso, very good article, Cont can jump back, so [] can? but [] can't early exit in jump back |
| 2021-08-18 14:45:29 | × | artem quits (uid512590@id-512590.highgate.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-18 14:46:35 | <gambpang> | Setting aside style considerations, is there any reason to prefer expressions like `f $ g $ h $ x` in a codebase to `f . g . h $ x` (or vice versa)? |
| 2021-08-18 14:47:17 | → | burnsidesLlama joins (~burnsides@client-8-71.eduroam.oxuni.org.uk) |
| 2021-08-18 14:47:28 | <albet70> | dminuoso, now I feel I can use Cont to do something but I don't understand it |
| 2021-08-18 14:48:05 | × | peterhil quits (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Ping timeout: 268 seconds) |
| 2021-08-18 14:48:09 | → | Guest87 joins (~Guest87@2a01:c23:5d93:6500:cd2c:9f7f:eeb2:be5b) |
| 2021-08-18 14:48:23 | × | Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 258 seconds) |
| 2021-08-18 14:50:14 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.2) |
| 2021-08-18 14:51:40 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 240 seconds) |
| 2021-08-18 14:51:45 | <albet70> | and in that article, it does not mention the notorious callCC |
| 2021-08-18 14:53:47 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 245 seconds) |
| 2021-08-18 14:54:43 | <merijn> | albet70: Not understanding Cont is normal :p |
| 2021-08-18 14:55:02 | <merijn> | I've written non-trivial code using Cont, but it still melts my brain each time >.> |
| 2021-08-18 14:55:10 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-18 14:55:25 | → | s-h-i-n-o-b-i joins (~quassel@104.244.75.124) |
| 2021-08-18 14:56:15 | <albet70> | merijn do u have some classic examples for ContT r IO a? |
| 2021-08-18 14:56:38 | <albet70> | when should I use ContT? |
| 2021-08-18 14:56:46 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-18 14:56:53 | <merijn> | albet70: Did you see the SO example on "ContT as bracket" yet? |
| 2021-08-18 14:56:58 | <albet70> | which case it should be used? |
| 2021-08-18 14:57:14 | <merijn> | https://stackoverflow.com/questions/26436095/what-are-good-haskell-conventions-for-managing-deeply-nested-bracket-patterns |
| 2021-08-18 14:57:14 | <albet70> | not yet |
| 2021-08-18 14:57:16 | → | skykanin joins (~skykanin@115.81-166-221.customer.lyse.net) |
| 2021-08-18 14:57:17 | <merijn> | That one |
| 2021-08-18 14:57:23 | <merijn> | Which is what I mostly use it for too |
| 2021-08-18 15:01:45 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-08-18 15:02:43 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-18 15:02:56 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-08-18 15:03:01 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2) |
| 2021-08-18 15:04:21 | × | Obo quits (~roberto@h-46-59-103-134.A498.priv.bahnhof.se) (Quit: WeeChat 2.8) |
| 2021-08-18 15:05:36 | × | Guest87 quits (~Guest87@2a01:c23:5d93:6500:cd2c:9f7f:eeb2:be5b) (Quit: Client closed) |
| 2021-08-18 15:06:22 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-08-18 15:06:26 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2021-08-18 15:07:22 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 2021-08-18 15:07:41 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-18 15:08:15 | <albet70> | some people said Cont can do branch control or jump back |
| 2021-08-18 15:08:38 | <albet70> | full of magic |
| 2021-08-18 15:09:28 | <kuribas> | is "fromListWith (++) " quadratic in the combining function? |
| 2021-08-18 15:10:08 | <albet70> | :t maybe |
| 2021-08-18 15:10:09 | <lambdabot> | b -> (a -> b) -> Maybe a -> b |
| 2021-08-18 15:10:12 | <kuribas> | nvm, it is prepending, ... |
| 2021-08-18 15:11:09 | <albet70> | when b ~ Cont r a, it can be used to something? |
| 2021-08-18 15:13:25 | × | tengu1 quits (~tengu1@cpe-70-121-244-14.neb.res.rr.com) (Quit: Client closed) |
| 2021-08-18 15:14:05 | → | qbt joins (~edun@user/edun) |
| 2021-08-18 15:14:57 | × | qbt quits (~edun@user/edun) (Remote host closed the connection) |
| 2021-08-18 15:15:43 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-08-18 15:17:03 | × | burnsidesLlama quits (~burnsides@client-8-71.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-18 15:17:36 | <kuribas> | albet70: probably... |
| 2021-08-18 15:18:15 | → | burnsidesLlama joins (~burnsides@client-8-71.eduroam.oxuni.org.uk) |
| 2021-08-18 15:18:51 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-18 15:19:14 | → | nate1 joins (~nate@2600:1010:b02a:2679:7ca9:9738:1435:e8d1) |
| 2021-08-18 15:20:26 | × | burnsidesLlama quits (~burnsides@client-8-71.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-18 15:20:48 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-08-18 15:22:38 | → | burnsidesLlama joins (~burnsides@client-8-71.eduroam.oxuni.org.uk) |
| 2021-08-18 15:22:56 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-08-18 15:23:23 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-08-18 15:24:40 | × | burnsidesLlama quits (~burnsides@client-8-71.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-18 15:27:54 | → | burnsidesLlama joins (~burnsides@client-8-71.eduroam.oxuni.org.uk) |
| 2021-08-18 15:28:14 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2021-08-18 15:28:45 | <c_wraith> | kuribas: prepending is the bad case for nested calls to (++). I expect fromListWith (++) would be pretty bad if there were a lot of duplicated keys |
| 2021-08-18 15:28:51 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-18 15:30:15 | × | burnsidesLlama quits (~burnsides@client-8-71.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-18 15:30:39 | × | skykanin quits (~skykanin@115.81-166-221.customer.lyse.net) (Quit: WeeChat 3.2) |
| 2021-08-18 15:31:01 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-08-18 15:31:48 | <c_wraith> | kuribas: oh, wait. English is ambiguous in fun ways. I see what you meant by "prepending", and you're right about that. I still think fromListWith (++) would be bad in the worst case. |
| 2021-08-18 15:32:35 | <kuribas> | c_wraith: it's prepending like [el] ++ rest, but that's assuming the input has all singletons. |
| 2021-08-18 15:33:04 | <kuribas> | c_wraith: or small lists, then it's still fine. |
| 2021-08-18 15:33:06 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-08-18 15:33:18 | <kuribas> | actually it's always linear... |
| 2021-08-18 15:33:40 | → | t0zy joins (~t0zy@49.207.220.61) |
All times are in UTC.