Logs: liberachat/#haskell
| 2021-05-23 18:37:44 | nova | is now known as mnamejeff |
| 2021-05-23 18:38:01 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 244 seconds) |
| 2021-05-23 18:38:06 | → | dextercd joins (~dexter@2a02-a450-f25d-1-76d4-35ff-fefe-34c.fixed6.kpn.net) |
| 2021-05-23 18:38:47 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2021-05-23 18:41:27 | ← | saturn2 parts (~visitant@user/clone-of-saturn/x-1551297) (WeeChat 1.0.1) |
| 2021-05-23 18:44:20 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-23 18:44:32 | → | Guest8718 joins (ae32b849@107.161.19.109) |
| 2021-05-23 18:48:11 | → | cdsmith joins (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) |
| 2021-05-23 18:51:55 | × | Guest8718 quits (ae32b849@107.161.19.109) (Quit: Connection closed) |
| 2021-05-23 18:56:34 | → | qbt joins (~edun@user/edun) |
| 2021-05-23 18:57:55 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-23 19:02:11 | × | yddern quits (~manjaro-u@78.156.4.58) (Quit: Konversation terminated!) |
| 2021-05-23 19:05:49 | → | ddellacosta joins (~ddellacos@89.46.62.86) |
| 2021-05-23 19:10:22 | × | ddellacosta quits (~ddellacos@89.46.62.86) (Ping timeout: 264 seconds) |
| 2021-05-23 19:20:03 | × | Unhammer quits (~Unhammer@100.92-220-160.customer.lyse.net) (Quit: WeeChat 1.6) |
| 2021-05-23 19:20:13 | → | Unhammer joins (~Unhammer@2a01:799:42:6a00::40c) |
| 2021-05-23 19:25:00 | × | jco quits (~jco@c83-248-173-38.bredband.tele2.se) (Remote host closed the connection) |
| 2021-05-23 19:25:38 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-23 19:29:02 | × | WikiLycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-23 19:29:09 | × | ryantrinkle quits (~ryan@24.229.199.25.res-cmts.sm.ptd.net) (Ping timeout: 272 seconds) |
| 2021-05-23 19:30:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-23 19:31:31 | × | haasn quits (~nand@haasn.dev) (Ping timeout: 265 seconds) |
| 2021-05-23 19:33:02 | ot | is now known as oats |
| 2021-05-23 19:33:54 | → | haasn joins (~nand@haasn.dev) |
| 2021-05-23 19:34:18 | × | jneira quits (5127aca6@107.161.19.109) (Quit: Connection closed) |
| 2021-05-23 19:38:07 | ← | pyon parts (~pyon@user/pyon) (WeeChat 3.1) |
| 2021-05-23 19:39:04 | → | farmfrmjakestate joins (~farmfromj@user/farmfrmjakestate) |
| 2021-05-23 19:43:34 | × | cdsmith quits (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Quit: Leaving) |
| 2021-05-23 19:43:53 | → | cdsmith joins (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) |
| 2021-05-23 19:45:27 | → | fendor_ joins (~fendor@178.165.191.174.wireless.dyn.drei.com) |
| 2021-05-23 19:48:10 | × | fendor quits (~fendor@77.119.128.108.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2021-05-23 19:50:37 | → | kubes joins (~kubes@188.120.84.109) |
| 2021-05-23 19:52:50 | × | Franciman quits (~francesco@host-80-180-196-134.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-05-23 19:53:02 | → | matijja joins (~matijja@193.77.181.208) |
| 2021-05-23 19:53:07 | → | phanf joins (~phanf@226.148.192.35.bc.googleusercontent.com) |
| 2021-05-23 19:59:04 | × | xwx quits (~george@user/george) (Ping timeout: 265 seconds) |
| 2021-05-23 19:59:14 | → | m_shiraeeshi joins (~shiraeesh@109.166.56.7) |
| 2021-05-23 20:00:24 | × | MorrowM quits (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer) |
| 2021-05-23 20:00:46 | × | shiraeeshi quits (~shiraeesh@109.166.58.83) (Ping timeout: 264 seconds) |
| 2021-05-23 20:03:52 | × | xkapastel quits (uid17782@id-17782.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-23 20:03:54 | → | jneira joins (5127aca6@107.161.19.109) |
| 2021-05-23 20:04:35 | × | kspalaiologos quits (~kspalaiol@user/kspalaiologos) (Quit: Leaving) |
| 2021-05-23 20:05:39 | × | juhp quits (~juhp@128.106.188.199) (Ping timeout: 264 seconds) |
| 2021-05-23 20:06:46 | × | farmfrmjakestate quits (~farmfromj@user/farmfrmjakestate) (Ping timeout: 264 seconds) |
| 2021-05-23 20:06:48 | <boxscape> | with mtl is it more common to have the constraints like MonadError in your types or to use concrete transformer stack with e.g. ExceptT? |
| 2021-05-23 20:07:23 | → | juhp joins (~juhp@128.106.188.199) |
| 2021-05-23 20:07:30 | <__monty__> | I think the former is the point of mtl? |
| 2021-05-23 20:07:43 | <__monty__> | The latter just sounds like monad transformers? |
| 2021-05-23 20:08:15 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 265 seconds) |
| 2021-05-23 20:09:34 | → | janislago joins (~user@c-24-98-52-54.hsd1.ga.comcast.net) |
| 2021-05-23 20:09:41 | <janislago> | im wondering about how to get into haskell |
| 2021-05-23 20:09:46 | <janislago> | where would i start? |
| 2021-05-23 20:10:07 | <doyougnu> | You usually want constraints because you may change the monad transformer stack for testing or something else. |
| 2021-05-23 20:10:29 | ← | janislago parts (~user@c-24-98-52-54.hsd1.ga.comcast.net) () |
| 2021-05-23 20:10:37 | <boxscape> | __monty__ IIUC the point is that you don't have to use lift everywhere, i.e. you can directly use throwError for example even if you're in `WriterT String (ExceptT String) Reader Int`, or whatever |
| 2021-05-23 20:10:46 | <boxscape> | doyougnu ok, that makes sense |
| 2021-05-23 20:11:29 | <boxscape> | I suppose mtl has more than one point then :) |
| 2021-05-23 20:12:06 | → | xwx joins (~george@user/george) |
| 2021-05-23 20:12:20 | <__monty__> | boxscape: But that's because of the typeclass approach. |
| 2021-05-23 20:13:04 | <__monty__> | These are not separate things. You can use those methods because they're typeclass methods, not functions that work at a certain level of a stack. |
| 2021-05-23 20:13:07 | <boxscape> | __monty__ yes, but you can use the methods even if you have a concrete stack, just like you can use `show` even if you have `x :: Int` instead of `x :: Show a => a` |
| 2021-05-23 20:13:46 | <__monty__> | Hmm, yes, true. |
| 2021-05-23 20:20:13 | → | exarkun2 joins (~exarkun@2605:59c1:c2cc:400:70e1:a9aa:6155:349e) |
| 2021-05-23 20:21:25 | → | _73 joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-05-23 20:22:52 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 2021-05-23 20:23:16 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Client Quit) |
| 2021-05-23 20:23:53 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 2021-05-23 20:24:05 | ← | _73 parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) () |
| 2021-05-23 20:24:23 | × | kubes quits (~kubes@188.120.84.109) (Quit: Leaving) |
| 2021-05-23 20:24:24 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Client Quit) |
| 2021-05-23 20:25:11 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 2021-05-23 20:25:11 | → | ryantrinkle joins (~ryan@24.229.199.25.res-cmts.sm.ptd.net) |
| 2021-05-23 20:27:53 | → | mastarija joins (~mastarija@31.217.14.127) |
| 2021-05-23 20:29:10 | gabiruh | is now known as gabiruh_ |
| 2021-05-23 20:29:58 | gabiruh_ | is now known as gabiruh |
| 2021-05-23 20:33:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-23 20:34:21 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2021-05-23 20:34:45 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 2021-05-23 20:44:05 | × | fabfianda quits (~fabfianda@mob-5-90-249-226.net.vodafone.it) (Ping timeout: 244 seconds) |
| 2021-05-23 20:44:12 | <doyougnu> | janislago: I would start with learn you a haskell. That's how I got started with the language. Brent Yorgey's CIS 194 is also a great introduction. CIS 194: https://www.cis.upenn.edu/~cis194/spring13/ LYAH: http://learnyouahaskell.com/ |
| 2021-05-23 20:44:30 | <boxscape> | doyougnu alas, they left |
| 2021-05-23 20:44:36 | <doyougnu> | oh damn I was too late :( |
| 2021-05-23 20:44:47 | <boxscape> | I meant to reply too but forgot :( |
| 2021-05-23 20:45:23 | → | fabfianda joins (~fabfianda@net-93-148-125-174.cust.vodafonedsl.it) |
| 2021-05-23 20:46:19 | <enikar> | doyougnu: the cis 194 moved to https://haskell-via-sokoban.nomeata.de/ |
| 2021-05-23 20:47:11 | <enikar> | someon told me that a couple of days ago |
| 2021-05-23 20:47:42 | → | mbomba joins (~mbomba@bras-base-toroon2719w-grc-38-142-114-122-216.dsl.bell.ca) |
| 2021-05-23 20:47:52 | <doyougnu> | looks like the old website is still up though |
| 2021-05-23 20:48:09 | <doyougnu> | also that link says its for the 2016 version. The BY version I linked to is the 2013 version |
| 2021-05-23 20:48:49 | × | biberu quits (~biberu@user/biberu) (Quit: ZNC - https://znc.in) |
| 2021-05-23 20:49:45 | enikar | nods |
| 2021-05-23 20:53:03 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-05-23 20:53:45 | <yushyin> | :) |
| 2021-05-23 20:53:59 | → | pavonia joins (~user@user/siracusa) |
| 2021-05-23 20:54:14 | × | mbomba quits (~mbomba@bras-base-toroon2719w-grc-38-142-114-122-216.dsl.bell.ca) (Quit: WeeChat 3.1) |
| 2021-05-23 20:54:55 | → | NemesisD joins (sid24071@id-24071.tooting.irccloud.com) |
| 2021-05-23 20:59:28 | × | qbt quits (~edun@user/edun) (Quit: WeeChat 3.1) |
| 2021-05-23 20:59:47 | → | qbt joins (~edun@user/edun) |
| 2021-05-23 21:00:45 | × | qbt quits (~edun@user/edun) (Client Quit) |
| 2021-05-23 21:01:07 | <hrnz> | :) |
All times are in UTC.