Logs: liberachat/#haskell
| 2021-06-27 17:48:51 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-06-27 17:49:04 | → | mpt joins (~tom@2a00:20:8017:8a04:ba09:ca8e:505f:8d30) |
| 2021-06-27 17:50:34 | <infinisil> | zzz: fromList + union |
| 2021-06-27 17:50:54 | → | warnz joins (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) |
| 2021-06-27 17:51:00 | <Gurkenglas> | zzz, if you have precisely two uses of Map.insert in your code and they're consecutive, you can do Map.insert k v . Map.insert k' v' |
| 2021-06-27 17:52:12 | <Gurkenglas> | if you touch this map all the time and you're actually doing imperative programming, consider the state monad |
| 2021-06-27 17:52:25 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-27 17:52:51 | → | safinaskar joins (~safinaska@109.252.90.89) |
| 2021-06-27 17:53:14 | <Gurkenglas> | if additionally you have multiple things you're touching all the time and nested data structures, consider additionally using lens |
| 2021-06-27 17:54:34 | × | dunkeln quits (~dunkeln@188.71.193.140) (Ping timeout: 268 seconds) |
| 2021-06-27 17:55:21 | × | warnz quits (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Ping timeout: 250 seconds) |
| 2021-06-27 17:55:21 | <zzz> | thank you all |
| 2021-06-27 17:55:26 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Remote host closed the connection) |
| 2021-06-27 17:55:49 | × | MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 258 seconds) |
| 2021-06-27 17:56:00 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-06-27 17:57:32 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 2021-06-27 17:58:01 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-27 17:58:34 | <dminuoso> | Profpatsch: By the way, in hindsight the talk was probably a waste of time. When someone like Rich Hickey holds a talk on Clojure/Conj arguing why Clojure is great and everybody else is wrong, he doesn't even need convincing arguments, his audience already is convinced regardless of what you say. |
| 2021-06-27 17:58:42 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-27 18:00:44 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 268 seconds) |
| 2021-06-27 18:02:38 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-06-27 18:03:01 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-06-27 18:07:25 | × | brandonh quits (~brandonh@151.82.33.7) (Quit: brandonh) |
| 2021-06-27 18:07:29 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-27 18:10:20 | → | dunkeln joins (~dunkeln@188.71.193.140) |
| 2021-06-27 18:11:07 | → | Corder_000 joins (~Coder_000@177.10.203.30) |
| 2021-06-27 18:12:45 | → | egoist joins (~egoist@186.235.82.105) |
| 2021-06-27 18:13:41 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds) |
| 2021-06-27 18:13:58 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-27 18:14:27 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-06-27 18:15:00 | <qrpnxz> | `app = arr $ uncurry id` LOL |
| 2021-06-27 18:15:26 | <dminuoso> | % :t arr (uncurry id) |
| 2021-06-27 18:15:26 | <yahb> | dminuoso: forall {a :: * -> * -> *} {b} {c}. Arrow a => a (b -> c, b) c |
| 2021-06-27 18:15:55 | → | Guest33 joins (~textual@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2021-06-27 18:18:37 | × | dunkeln quits (~dunkeln@188.71.193.140) (Ping timeout: 268 seconds) |
| 2021-06-27 18:18:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-27 18:19:56 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-06-27 18:21:09 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-06-27 18:22:27 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-06-27 18:23:11 | ← | safinaskar parts (~safinaska@109.252.90.89) () |
| 2021-06-27 18:23:27 | × | mpt quits (~tom@2a00:20:8017:8a04:ba09:ca8e:505f:8d30) (Read error: Connection reset by peer) |
| 2021-06-27 18:24:13 | × | fendor quits (~fendor@178.165.168.249.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-06-27 18:25:01 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-27 18:25:21 | × | Corder_000 quits (~Coder_000@177.10.203.30) (Quit: WeeChat 3.0.1) |
| 2021-06-27 18:25:36 | → | fendor joins (~fendor@178.165.168.249.wireless.dyn.drei.com) |
| 2021-06-27 18:28:15 | → | wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-27 18:28:29 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-27 18:28:48 | <maerwald> | dminuoso: clojure is a |
| 2021-06-27 18:28:57 | <maerwald> | troll language |
| 2021-06-27 18:29:43 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Ping timeout: 268 seconds) |
| 2021-06-27 18:29:52 | <maerwald> | "Oh, you passed a different type, lemme do something entirely different, like make your fronted page blank" |
| 2021-06-27 18:30:19 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds) |
| 2021-06-27 18:30:24 | × | chronon quits (~chronon@user/chronon) (Quit: leaving) |
| 2021-06-27 18:30:37 | → | MQ-17J joins (~MQ-17J@8.21.10.15) |
| 2021-06-27 18:31:53 | <dminuoso> | I dont really want to bash languages. |
| 2021-06-27 18:32:01 | → | dunkeln joins (~dunkeln@188.71.193.140) |
| 2021-06-27 18:32:05 | <maerwald> | I'm not a friend of type classes, because they can already introduce similar confusion, but generally, a typeclass has a common theme |
| 2021-06-27 18:32:24 | → | Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-06-27 18:32:30 | <maerwald> | Once your function can process arbitrary types, everything goes |
| 2021-06-27 18:33:28 | <maerwald> | It's inherent in the language: you can't fix clojure |
| 2021-06-27 18:35:28 | <maerwald> | I'm not bashing, I'm providing arguments ;) |
| 2021-06-27 18:37:09 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-06-27 18:38:17 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2021-06-27 18:38:17 | <dminuoso> | fatal: reference is not a tree: 783db292d12d28786612b8eeec7bb920246b72ce |
| 2021-06-27 18:38:28 | <dminuoso> | Mmm, cabal has some really rough ux edges at times.. |
| 2021-06-27 18:38:42 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-27 18:38:49 | <dminuoso> | Of course I know exactly what the problem is, what I did and what I need to do to fix it.. |
| 2021-06-27 18:39:01 | <dminuoso> | But if that's the entirety of the error message... *sigh* |
| 2021-06-27 18:39:11 | × | dwt_ quits (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 252 seconds) |
| 2021-06-27 18:39:22 | <Clint> | i almost never use a tree as a reference |
| 2021-06-27 18:39:23 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-27 18:41:14 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Ping timeout: 272 seconds) |
| 2021-06-27 18:41:43 | → | Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-06-27 18:42:16 | × | MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 265 seconds) |
| 2021-06-27 18:42:40 | <hpc> | what's a tree in the context of cabal? |
| 2021-06-27 18:42:55 | <davean> | hpc: he's clearly refering to a git repo in a cabal.project |
| 2021-06-27 18:43:33 | <davean> | I'm not clear on what error message you'd prefer dminuoso |
| 2021-06-27 18:44:06 | <hpc> | ah, i am not used to those commit hashes being called trees |
| 2021-06-27 18:44:37 | <dminuoso> | Error while fetching vendored package `foo` via git: fatal: reference is not a tree: 783db292d12d28786612b8eeec7bb920246b72ce |
| 2021-06-27 18:44:38 | <davean> | Its NOT a commit hash |
| 2021-06-27 18:44:42 | <dminuoso> | davean: Something like that? |
| 2021-06-27 18:44:44 | <davean> | hpc: thats a difference |
| 2021-06-27 18:44:50 | <dminuoso> | The point is, there's absolutely no context what went wrong where. |
| 2021-06-27 18:44:51 | → | safinaskar joins (~safinaska@109.252.90.89) |
| 2021-06-27 18:45:02 | <dminuoso> | Some random git error means nothing to a cabal user |
| 2021-06-27 18:45:04 | <davean> | hpc: git has commits, trees, and treeishs |
| 2021-06-27 18:45:08 | <davean> | (also files, etc) |
| 2021-06-27 18:45:12 | <safinaskar> | why this doesn't compile? https://godbolt.org/z/hqK4jWz5E |
| 2021-06-27 18:46:06 | <dminuoso> | safinaskar: This is due to a restriction in the haskell report |
| 2021-06-27 18:46:44 | <davean> | hpc: you usually put a commit, sure, but what it needs is the tree |
| 2021-06-27 18:47:00 | <dminuoso> | It's not mentioned very explicitly, but the Haskell report says that lambda (and thus also <- bound) variables must be monomorphic. |
| 2021-06-27 18:47:12 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-27 18:47:22 | <dminuoso> | It doesn't exactly state why, Im guessing there's type inference reasons? |
| 2021-06-27 18:48:44 | → | zebrag joins (~chris@user/zebrag) |
| 2021-06-27 18:49:00 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Remote host closed the connection) |
| 2021-06-27 18:50:21 | <dminuoso> | Does this require ImpredicativeTypes? |
| 2021-06-27 18:50:23 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-27 18:50:52 | <dminuoso> | [[forall a. a]] does seem like an impredicative type |
| 2021-06-27 18:51:30 | <boxscape> | this works https://paste.tomsmeding.com/HH5iNOKf |
| 2021-06-27 18:51:53 | <boxscape> | (ignore the -XPartialTypeSignatures) |
All times are in UTC.