Logs: liberachat/#haskell
| 2021-08-20 11:18:31 | <alp> | you can play some tricks by "decorating" the Set type instead of changing the classes to allow for constraints though, e.g https://hackage.haskell.org/package/set-monad |
| 2021-08-20 11:19:09 | × | smichel17[m] quits (~smichel17@2001:470:69fc:105::2d32) (Quit: Reconnecting) |
| 2021-08-20 11:19:13 | <alp> | you essentially make constructors to represent the operations of the classes you want to implement: https://hackage.haskell.org/package/set-monad-0.3.0.0/docs/src/Data.Set.Monad.html#Set |
| 2021-08-20 11:19:23 | → | smichel17[m] joins (~smichel17@2001:470:69fc:105::2d32) |
| 2021-08-20 11:20:05 | <alp> | and when you actually need to grab the results, you "collapse" those operations, which is the role of that 'run' function there |
| 2021-08-20 11:20:16 | × | smichel17[m] quits (~smichel17@2001:470:69fc:105::2d32) (Client Quit) |
| 2021-08-20 11:20:31 | → | smichel17[m] joins (~smichel17@2001:470:69fc:105::2d32) |
| 2021-08-20 11:20:39 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-08-20 11:21:54 | <alp> | this particular Set monad example is well covered in http://okmij.org/ftp/Haskell/set-monad.html - gives you a decent overview of the various techniques one can use in such situations |
| 2021-08-20 11:28:53 | → | dschrempf joins (~dominik@92-249-159-252.pool.digikabel.hu) |
| 2021-08-20 11:30:38 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 2021-08-20 11:33:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-20 11:33:54 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-20 11:34:33 | → | hexfive joins (~eric@50.35.83.177) |
| 2021-08-20 11:37:57 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-20 11:39:26 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 250 seconds) |
| 2021-08-20 11:49:09 | <arahael> | https://gist.github.com/arafangion/ce4dca31b13675902d8535903fcb695b Is there anything I can do to resolve this dependency issue? |
| 2021-08-20 11:49:37 | <arahael> | I'm not sure why diagrams-core requires base less than 4.14 |
| 2021-08-20 11:50:15 | → | t0zy joins (~t0zy@49.207.220.61) |
| 2021-08-20 11:50:16 | × | dschrempf quits (~dominik@92-249-159-252.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2021-08-20 11:50:42 | × | jgeerds quits (~jgeerds@55d4b311.access.ecotel.net) (Ping timeout: 250 seconds) |
| 2021-08-20 11:50:49 | <arahael> | (Nor why Chart-diagrams requires the slightly older version of diagrams-core) |
| 2021-08-20 11:53:40 | × | dunj3 quits (~dunj3@2001:16b8:30a8:2000:7c3b:4a4d:e83e:847a) (Remote host closed the connection) |
| 2021-08-20 11:55:52 | × | retroid_ quits (~retro@5ec19a54.skybroadband.com) (Ping timeout: 258 seconds) |
| 2021-08-20 11:56:51 | → | xsarnik joins (xsarnik@lounge.fi.muni.cz) |
| 2021-08-20 11:59:55 | <arahael> | Looks like the simplest route for me to resize images in haskell is to just shell out to a utililty. |
| 2021-08-20 12:01:16 | × | t0zy quits (~t0zy@49.207.220.61) (Ping timeout: 252 seconds) |
| 2021-08-20 12:01:56 | → | t0zy joins (~t0zy@2402:3a80:d01:2c2f::3fff:9e88) |
| 2021-08-20 12:08:39 | × | polyphem quits (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) (Remote host closed the connection) |
| 2021-08-20 12:08:48 | → | polyphem joins (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) |
| 2021-08-20 12:09:38 | × | lortabac quits (~lortabac@62.98.47.131) (Read error: Connection reset by peer) |
| 2021-08-20 12:10:16 | × | yaroot quits (~yaroot@6.3.30.125.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat) |
| 2021-08-20 12:11:18 | → | yaroot joins (~yaroot@6.3.30.125.dy.iij4u.or.jp) |
| 2021-08-20 12:13:45 | → | sleblanc joins (~sleblanc@user/sleblanc) |
| 2021-08-20 12:14:05 | → | lortabac joins (~lortabac@151.53.218.126) |
| 2021-08-20 12:14:26 | × | hexfive quits (~eric@50.35.83.177) (Quit: WeeChat 3.0) |
| 2021-08-20 12:16:45 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-08-20 12:21:33 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 258 seconds) |
| 2021-08-20 12:23:12 | <dminuoso> | arahael: Your ghc/base is too new. |
| 2021-08-20 12:23:36 | → | waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2021-08-20 12:24:35 | <dminuoso> | arahael: And Chart-diagrams requires the slightly oder version of diagrams-core either because they havent bumped the dependency to 1.5.0 yet, or there's some incompatibility. Note that this is a major version bump. |
| 2021-08-20 12:24:45 | <dminuoso> | https://hackage.haskell.org/package/diagrams-core-1.5.0/changelog |
| 2021-08-20 12:24:47 | <dminuoso> | `Remove deprecated Option type in favor of Maybe. This is a breaking API change. ` |
| 2021-08-20 12:27:20 | → | hannessteffenhag joins (~hannesste@ip4d14fff3.dynamic.kabel-deutschland.de) |
| 2021-08-20 12:28:34 | × | aman quits (aman@user/aman) (Ping timeout: 268 seconds) |
| 2021-08-20 12:30:13 | → | aman joins (~aman@user/aman) |
| 2021-08-20 12:34:47 | <hannessteffenhag> | hello! I'm playing around with yesod right now and I'm slightly stumped by the forms chapter, or rather specifically how you're supposed to handle hidden fields |
| 2021-08-20 12:35:22 | <hannessteffenhag> | there's the hiddenField function in the Forms library, but it seems all the functions that take fields (like areq, aopt etc) also want to create a label for the field |
| 2021-08-20 12:35:38 | <hannessteffenhag> | and of course I don't want to print a label for a hidden field |
| 2021-08-20 12:39:47 | → | favonia joins (~favonia@user/favonia) |
| 2021-08-20 12:40:02 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-08-20 12:41:55 | <Orbstheorem> | Is there any difference (i.e. performance, semantics, inlining) between stock and newtype deriving for Functor, Applicative or Monad? |
| 2021-08-20 12:46:17 | <dminuoso> | Yes. |
| 2021-08-20 12:46:32 | <dminuoso> | newtype deriving just uses coerce to pierce the newtype wrapper to use an existing inner instance |
| 2021-08-20 12:47:40 | <Orbstheorem> | So, no vtable? or rather the vtable of the underlying type? |
| 2021-08-20 12:47:52 | <dminuoso> | For Functor I guess you end up with the same thing, but Applicative/Monad you cant stock derive anymore, since there's no method to generate a correct, law abiding, canonical and clear instance for Applicative or Monad |
| 2021-08-20 12:47:56 | <dminuoso> | vtable? |
| 2021-08-20 12:48:20 | <Orbstheorem> | (The dictionnary containing the instance methods at runtime) |
| 2021-08-20 12:49:27 | <Orbstheorem> | Also, I just upgraded $work codebase from lts-13.30 to lts-18.1 and feel my compile times faster x) |
| 2021-08-20 12:49:32 | <dminuoso> | Either will generate a dictionary, Im not sure whether GND could have an indirection - but GHC probably (?) would optimzie that away? |
| 2021-08-20 12:49:55 | <Orbstheorem> | I'm not sure whether it's placebo or the compiler is faster xD |
| 2021-08-20 12:50:16 | <dminuoso> | With performance/inlining, as usual... is this in a hotspot? |
| 2021-08-20 12:50:36 | <dminuoso> | If not, asking in general about inlining/performance is not as useful. |
| 2021-08-20 12:51:10 | × | t0zy quits (~t0zy@2402:3a80:d01:2c2f::3fff:9e88) (Ping timeout: 240 seconds) |
| 2021-08-20 12:51:20 | → | Maya9 joins (~Maya@p4ffdb725.dip0.t-ipconnect.de) |
| 2021-08-20 12:51:28 | × | random-jellyfish quits (~random-je@user/random-jellyfish) (Ping timeout: 246 seconds) |
| 2021-08-20 12:51:35 | <Orbstheorem> | I'm asking because when I upgraded to lts-18.1 the compiler told me both were enabled and that it was defaulting to stock. |
| 2021-08-20 12:51:58 | → | t0zy joins (~t0zy@49.207.220.61) |
| 2021-08-20 12:54:19 | × | venue quits (~venue@user/venue) (Quit: adios) |
| 2021-08-20 12:55:12 | → | enoq joins (~enoq@2a05:1141:1f5:5600:eb83:919c:c248:eabe) |
| 2021-08-20 13:04:38 | <arahael> | dminuoso: heh, too new :) i guess thats the trouble with figuring out the version bounds, i needed a newer ghc for some other dependency! i think i'll just shell out for this for the moment. |
| 2021-08-20 13:07:46 | × | Maya9 quits (~Maya@p4ffdb725.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2021-08-20 13:08:05 | → | Maya29 joins (~Maya@p4ffdb725.dip0.t-ipconnect.de) |
| 2021-08-20 13:09:15 | × | dtman34 quits (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-08-20 13:12:15 | <arahael> | i supoose if i really badly needed hip in, what do i do? fork the neccessary dependencies and install them manually? (and submit pull requests, but this is all hypothetical) |
| 2021-08-20 13:17:01 | → | danso joins (~danso@23-233-111-52.cpe.pppoe.ca) |
| 2021-08-20 13:17:42 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-08-20 13:17:43 | × | sleblanc quits (~sleblanc@user/sleblanc) (Ping timeout: 252 seconds) |
| 2021-08-20 13:20:56 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-08-20 13:21:21 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9557dc14868c6ad3e278.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-08-20 13:27:22 | → | burnsidesLlama joins (~burnsides@client-8-89.eduroam.oxuni.org.uk) |
| 2021-08-20 13:29:10 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2021-08-20 13:29:30 | × | enoq quits (~enoq@2a05:1141:1f5:5600:eb83:919c:c248:eabe) (Ping timeout: 250 seconds) |
| 2021-08-20 13:29:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-20 13:38:32 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-08-20 13:40:11 | → | dschrempf joins (~dominik@92-249-159-252.pool.digikabel.hu) |
| 2021-08-20 13:47:29 | → | trcc_ joins (~trcc@eduroam09.au.dk) |
| 2021-08-20 13:47:47 | × | trcc_ quits (~trcc@eduroam09.au.dk) (Client Quit) |
| 2021-08-20 13:50:14 | <lechner> | Hi, I tried to 'import SemVer' in ghci. Why would I get "import-im6.q16: attempt to perform an operation not allowed by the security policy `PS' @ error/constitute.c/IsCoderAuthorized/421." please? |
| 2021-08-20 13:50:52 | × | trcc quits (~trcc@users-5343.st.net.au.dk) (Ping timeout: 245 seconds) |
| 2021-08-20 13:51:38 | × | burnsidesLlama quits (~burnsides@client-8-89.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-20 13:55:04 | × | mastarija quits (~mastarija@78-3-210-70.adsl.net.t-com.hr) (Ping timeout: 250 seconds) |
| 2021-08-20 13:56:13 | × | blankhart quits (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-08-20 13:57:24 | → | burnsidesLlama joins (~burnsides@client-8-89.eduroam.oxuni.org.uk) |
| 2021-08-20 13:58:09 | → | blankhart joins (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) |
| 2021-08-20 14:02:16 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-08-20 14:04:00 | → | Matthias1 joins (~Matthias1@casewireless11.CWRU.Edu) |
| 2021-08-20 14:04:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-20 14:04:42 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-20 14:09:10 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
All times are in UTC.