Logs: freenode/#haskell
| 2021-03-22 10:26:46 | <merijn> | mananamenos: Usually what I do now is identify common logic subsets (SQL queries, logging, commandline interaction, etc.) boil down each of those to the smallest subset of operations I can. Stuff those in a class and then built everything using that |
| 2021-03-22 10:27:01 | <merijn> | Rembane: Leaking implementation details all over your codebase makes refactoring a PITA |
| 2021-03-22 10:27:48 | <merijn> | Rembane: Like, I've got a MonadSql, MonadInput, MonadQuery (which is sorta of a higher level querying than SQL) in my codebase and all logic just uses those classes |
| 2021-03-22 10:28:08 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-03-22 10:28:20 | <merijn> | Rembane: Tweaking (part) of the internal transformer stack now means "update the 3 class instances to match" rather than "touch every part of the codebase" |
| 2021-03-22 10:28:43 | → | DavidEichmann joins (~david@47.27.93.209.dyn.plus.net) |
| 2021-03-22 10:29:21 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 264 seconds) |
| 2021-03-22 10:29:45 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-22 10:29:57 | <Rembane> | merijn: That's absolutely true. I have forgotten how horrible it is to change things all over the codebase just to make one simple change. |
| 2021-03-22 10:30:49 | <merijn> | Bonus it becomes easier to wrap things |
| 2021-03-22 10:32:00 | <merijn> | For example, parts of the code to commandline interaction, which runs in "Input m r" having all my sql/query logic based on a class I can just do "instance MonadSql m => MonadSql (Input m) where ..." and you don't have to lift anything |
| 2021-03-22 10:32:23 | <merijn> | The mtl style class approach is great, as long as you don't use the actual classes from mtl :p |
| 2021-03-22 10:33:39 | <merijn> | lunch time (well, pre-lunch-time-walk-time) |
| 2021-03-22 10:34:09 | × | azure1 quits (~azure@103.154.230.130) (Ping timeout: 264 seconds) |
| 2021-03-22 10:35:29 | × | Major_Biscuit quits (~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 265 seconds) |
| 2021-03-22 10:35:48 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-22 10:35:55 | × | timCF quits (~i.tkachuk@200-149-20-81.sta.estpak.ee) (Quit: leaving) |
| 2021-03-22 10:36:00 | → | azure1 joins (~azure@103.154.230.130) |
| 2021-03-22 10:36:29 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-22 10:36:38 | <mananamenos> | merijn, Im quite confused. So I have this base monad `M` in which a library does its stuff (requests, reads params, etc.). But now I have my own set of operations (my newtype App). So there are classes particular like MyDatabaseOps which App implements and so on. However, inside my App I need to do `M` stuff as it and so I caught myself needing to be able to lift `M` into `App`. How should I approach this better then? |
| 2021-03-22 10:36:58 | → | Major_Biscuit joins (~Major_Bis@x065156.citg-m.tudelft.nl) |
| 2021-03-22 10:40:58 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-03-22 10:43:41 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 2021-03-22 10:45:40 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-22 10:46:57 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-03-22 10:47:13 | → | ubert joins (~Thunderbi@p200300ecdf25d912e6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-03-22 10:48:54 | <frobnicator> | do I have to pass flags to ghc for it to first unlit literal haskell? |
| 2021-03-22 10:48:56 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:75fb:cea1:4d26:9157) (Ping timeout: 240 seconds) |
| 2021-03-22 10:49:34 | <frobnicator> | if I pass this file (https://termbin.com/s4nv) to lhs2TeX it works fine, but compiling it with ghc gives errors |
| 2021-03-22 10:51:26 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
| 2021-03-22 10:52:04 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Quit: dandart) |
| 2021-03-22 10:52:55 | → | ixlun joins (~matthew@109.249.184.133) |
| 2021-03-22 10:52:57 | <frobnicator> | in particular this error: https://termbin.com/5yid |
| 2021-03-22 10:53:28 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 268 seconds) |
| 2021-03-22 10:56:26 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 264 seconds) |
| 2021-03-22 10:56:42 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-22 10:57:35 | <frobnicator> | ohhh, \begin{code} and \end{code} cannot be indented:( |
| 2021-03-22 11:00:52 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 2021-03-22 11:02:29 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-03-22 11:07:23 | × | malumore quits (~malumore@151.62.119.219) (Remote host closed the connection) |
| 2021-03-22 11:07:37 | × | ryxai quits (~textual@pool-71-183-41-241.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-22 11:07:57 | → | malumore joins (~malumore@151.62.119.219) |
| 2021-03-22 11:11:22 | × | ixlun quits (~matthew@109.249.184.133) (Remote host closed the connection) |
| 2021-03-22 11:12:13 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
| 2021-03-22 11:16:50 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 264 seconds) |
| 2021-03-22 11:18:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-22 11:19:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-22 11:20:07 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 276 seconds) |
| 2021-03-22 11:20:15 | → | dhil joins (~dhil@80.208.56.181) |
| 2021-03-22 11:25:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-03-22 11:25:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-22 11:25:53 | × | mananamenos quits (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2021-03-22 11:26:53 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-03-22 11:30:29 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:75fb:cea1:4d26:9157) |
| 2021-03-22 11:30:55 | × | ubert quits (~Thunderbi@p200300ecdf25d912e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-03-22 11:31:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-03-22 11:31:36 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-22 11:32:55 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
| 2021-03-22 11:33:22 | → | peanut_ joins (~peanut@2a02:8388:a101:2600:ab17:250:cc90:c191) |
| 2021-03-22 11:33:46 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-03-22 11:33:46 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-03-22 11:33:46 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-03-22 11:34:01 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-03-22 11:34:20 | × | Guest65957 quits (~textual@2603-7000-3040-0000-a433-b15d-87dc-0aaa.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-22 11:36:05 | → | son0p joins (~son0p@181.58.39.182) |
| 2021-03-22 11:36:23 | × | remal quits (~remal@d24-57-234-201.home.cgocable.net) (Ping timeout: 260 seconds) |
| 2021-03-22 11:37:32 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 260 seconds) |
| 2021-03-22 11:38:15 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) |
| 2021-03-22 11:40:17 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-03-22 11:41:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-03-22 11:42:26 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-03-22 11:42:32 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) (Ping timeout: 240 seconds) |
| 2021-03-22 11:43:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-22 11:43:42 | × | Guest12366 quits (~sdx23@139.28.218.148) (Remote host closed the connection) |
| 2021-03-22 11:44:02 | → | idhugo_ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-22 11:45:26 | × | mflux quits (flux@coffee.modeemi.fi) (Ping timeout: 240 seconds) |
| 2021-03-22 11:45:45 | × | Chousuke quits (oranenj@coffee.modeemi.fi) (Ping timeout: 244 seconds) |
| 2021-03-22 11:46:15 | → | mananamenos joins (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) |
| 2021-03-22 11:46:16 | × | idhugo quits (~idhugo@80-62-117-136-mobile.dk.customer.tdc.net) (Ping timeout: 244 seconds) |
| 2021-03-22 11:48:03 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-03-22 11:48:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-22 11:48:59 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 2021-03-22 11:51:18 | × | vjacob quits (~vjacob@217.71.0.65) (Ping timeout: 245 seconds) |
| 2021-03-22 11:52:09 | × | ajc quits (~ajc@69.231.232.79) (Ping timeout: 264 seconds) |
| 2021-03-22 11:52:57 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-03-22 11:53:21 | Alleria | is now known as Guest92446 |
| 2021-03-22 11:53:44 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-03-22 11:53:57 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 264 seconds) |
| 2021-03-22 11:54:13 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-03-22 11:54:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-22 11:54:40 | × | plutoniix quits (~q@184.82.200.84) (Quit: Leaving) |
| 2021-03-22 11:55:12 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8) |
| 2021-03-22 11:55:34 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 244 seconds) |
| 2021-03-22 12:00:01 | → | p4trix joins (~p4trix@19.red-83-49-45.dynamicip.rima-tde.net) |
| 2021-03-22 12:01:28 | × | p4trick quits (~p4trix@19.red-83-49-45.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2021-03-22 12:04:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-03-22 12:05:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-22 12:06:29 | → | vjacob joins (~vjacob@217.71.0.65) |
| 2021-03-22 12:07:10 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-22 12:08:23 | → | geekosaur joins (82650c7a@130.101.12.122) |
All times are in UTC.