Logs: freenode/#haskell
| 2020-11-26 11:50:47 | <maerwald> | yes, I didn't make any assumptions of what the users are |
| 2020-11-26 11:51:10 | dminuoso | is too tired for this |
| 2020-11-26 11:52:02 | × | jonatanb quits (jonatanb@gateway/vpn/protonvpn/jonatanb) (Remote host closed the connection) |
| 2020-11-26 11:52:13 | ← | kindaro parts (1f08e49d@h31-8-228-157.dyn.bashtel.ru) () |
| 2020-11-26 11:52:30 | <maerwald> | (and I wrote a library that uses servant-client as a library) |
| 2020-11-26 11:54:23 | → | iinuwa joins (iinuwamatr@gateway/shell/matrix.org/x-xphebgqwlqcseskv) |
| 2020-11-26 11:54:23 | → | Ericson2314 joins (ericson231@gateway/shell/matrix.org/x-avnyxwuppgyurkaz) |
| 2020-11-26 11:54:24 | → | maralorn joins (maralornma@gateway/shell/matrix.org/x-texxocacqxllhpup) |
| 2020-11-26 11:54:24 | → | johnnyboy[m] joins (gifumatrix@gateway/shell/matrix.org/x-jjlcducyrjlzkhlt) |
| 2020-11-26 11:54:24 | → | psamim joins (samimpmatr@gateway/shell/matrix.org/x-iwvzbluhzuztthuh) |
| 2020-11-26 11:54:24 | → | unclechu joins (unclechuma@gateway/shell/matrix.org/x-asdoddomxjfoouxw) |
| 2020-11-26 11:54:24 | → | theduke joins (thedukem1@gateway/shell/matrix.org/x-kbbklisittpzjvkk) |
| 2020-11-26 11:54:24 | → | chreekat[m] joins (chreekatma@gateway/shell/matrix.org/x-ktxyajphiegdytww) |
| 2020-11-26 11:54:24 | → | ThaEwat joins (thaewraptm@gateway/shell/matrix.org/x-rtowccvvmfqlygti) |
| 2020-11-26 11:54:24 | → | SlackIntegration joins (slackbotma@gateway/shell/matrix.org/x-uxjtxhvnhsvwzafd) |
| 2020-11-26 11:54:24 | → | sm[m] joins (simonmicma@gateway/shell/matrix.org/x-xomgnngasooluobu) |
| 2020-11-26 11:54:25 | → | kadoban joins (kadobanmat@gateway/shell/matrix.org/x-ihijirqqlozywxkc) |
| 2020-11-26 11:54:25 | → | CRTified[m] joins (schnecfkru@gateway/shell/matrix.org/x-ofgzvldlqelcywuc) |
| 2020-11-26 11:54:25 | → | Noughtmare[m] joins (naughtmare@gateway/shell/matrix.org/x-euxykteztfgdzjor) |
| 2020-11-26 11:54:25 | → | berberman[T] joins (berberma4@gateway/shell/matrix.org/x-bwsbvcnillhcvqdz) |
| 2020-11-26 11:54:25 | → | zerstroyer[m] joins (zerstroyer@gateway/shell/matrix.org/x-pvagwcsgvifvhwvf) |
| 2020-11-26 11:54:25 | → | pqwy[m] joins (pqwymatrix@gateway/shell/matrix.org/x-bcyejxklqcfnaxbi) |
| 2020-11-26 11:54:25 | → | ttc joins (tomtauma1@gateway/shell/matrix.org/x-mshtvdkklhnazscc) |
| 2020-11-26 11:54:25 | → | siraben joins (sirabenmat@gateway/shell/matrix.org/x-tkxpiikugikainiv) |
| 2020-11-26 11:54:25 | → | themsay[m] joins (themsaymat@gateway/shell/matrix.org/x-ysvioopzcvcuuyvd) |
| 2020-11-26 11:54:25 | → | rednaZ[m] joins (r3dnazmatr@gateway/shell/matrix.org/x-nvfucrymxqacpiao) |
| 2020-11-26 11:54:25 | → | lnxw37d4 joins (lnxw37d4ma@gateway/shell/matrix.org/x-ukqcbfsgmccbpdxz) |
| 2020-11-26 11:54:25 | → | camlriot42 joins (camlriotma@gateway/shell/matrix.org/x-dszwkgezlvpwptvk) |
| 2020-11-26 11:54:26 | → | boistordu joins (boistordum@gateway/shell/matrix.org/x-octelcfxsnkvakgd) |
| 2020-11-26 11:54:26 | → | tersetears[m] joins (tersetears@gateway/shell/matrix.org/x-lglnsokcfrmfsblz) |
| 2020-11-26 11:54:26 | → | Hanma[m] joins (hanmamatri@gateway/shell/matrix.org/x-ihxxyuaewqpuhxbt) |
| 2020-11-26 11:54:26 | → | hsiktas[m] joins (hsiktasmat@gateway/shell/matrix.org/x-wtpesvemtwcuuafs) |
| 2020-11-26 11:54:26 | → | domenkozar[m] joins (domenkozar@NixOS/user/domenkozar) |
| 2020-11-26 11:54:26 | → | lambdaclan joins (lambdaclan@gateway/shell/matrix.org/x-esnqerudyklmnsrh) |
| 2020-11-26 11:54:26 | → | PotatoHatsue joins (berbermanp@gateway/shell/matrix.org/x-znkywhldbhzbhgen) |
| 2020-11-26 11:54:26 | → | dominicusin[m] joins (dominicusi@gateway/shell/matrix.org/x-nryovwrdbgvjplzc) |
| 2020-11-26 11:54:26 | → | srid joins (sridmatrix@gateway/shell/matrix.org/x-xkaemlggxitmvijh) |
| 2020-11-26 11:54:26 | → | aloiscochard[m] joins (aloiscocha@gateway/shell/matrix.org/x-nmroubrbcectjnbg) |
| 2020-11-26 11:54:26 | → | psydruid joins (psydruidma@gateway/shell/matrix.org/x-gdvihwcfiajbrbzn) |
| 2020-11-26 11:54:27 | → | fgaz joins (fgazmatrix@gateway/shell/matrix.org/x-ypwwwiayrbbyifnk) |
| 2020-11-26 11:54:27 | → | michaelpj joins (michaelpjm@gateway/shell/matrix.org/x-isbbleoraguftwpl) |
| 2020-11-26 11:54:27 | → | drozdziak1 joins (drozdziak1@gateway/shell/matrix.org/x-zhcszongpwzqffkh) |
| 2020-11-26 11:54:27 | → | jtojnar joins (jtojnarmat@gateway/shell/matrix.org/x-sxmbcbyagmdgfbky) |
| 2020-11-26 11:54:30 | → | dyniec[m] joins (dyniecmatr@gateway/shell/matrix.org/x-bzyahcrtvmhlgeby) |
| 2020-11-26 11:54:30 | → | falling-edge[m] joins (falling-ed@gateway/shell/matrix.org/x-ewgnzieoktvonuxq) |
| 2020-11-26 11:54:30 | → | TekShifter[m] joins (tekshifter@gateway/shell/matrix.org/x-qkoxohtmvaxbhybf) |
| 2020-11-26 11:54:31 | → | miseenplace[m] joins (miseenplac@gateway/shell/matrix.org/x-vdkkkdwfftjmtktj) |
| 2020-11-26 11:54:31 | → | patier[m] joins (patiermatr@gateway/shell/matrix.org/x-fvcsayzftiumvnvp) |
| 2020-11-26 11:54:31 | → | andreabedini[m] joins (andreabedi@gateway/shell/matrix.org/x-sjrrvynkcmmwxcjs) |
| 2020-11-26 11:54:31 | → | loprakoa[m] joins (loprakoama@gateway/shell/matrix.org/x-zoiumweqktphvybc) |
| 2020-11-26 11:54:32 | → | jkaye[m] joins (jkayematri@gateway/shell/matrix.org/x-ltlmepvlghffnhdw) |
| 2020-11-26 11:54:32 | → | jlv joins (jlvjustinl@gateway/shell/matrix.org/x-vewvewaygwmdkitl) |
| 2020-11-26 11:54:32 | → | wi[m] joins (w1gzmatrix@gateway/shell/matrix.org/x-ycgeajchfpkrzfcx) |
| 2020-11-26 11:54:32 | → | jesser[m] joins (jessermatr@gateway/shell/matrix.org/x-jhkivoszgmdxgjkg) |
| 2020-11-26 11:54:32 | → | rab24ack[m] joins (rab24ackma@gateway/shell/matrix.org/x-wbflzldjessbqugl) |
| 2020-11-26 11:54:34 | → | alexfmpe joins (alexfmpema@gateway/shell/matrix.org/x-vumyyhvaurdbeexr) |
| 2020-11-26 11:54:35 | → | mikr[m] joins (mikrdavral@gateway/shell/matrix.org/x-xnldjrbcvidcizev) |
| 2020-11-26 11:54:38 | → | alephu5[m] joins (alephu5mat@gateway/shell/matrix.org/x-gipdmcyuqaltnaqr) |
| 2020-11-26 11:54:38 | → | ComaGrayce[m] joins (commagrays@gateway/shell/matrix.org/x-wpvsucnvgmarcknv) |
| 2020-11-26 11:54:38 | → | wanaks[m] joins (wanaksmatr@gateway/shell/matrix.org/x-ncjfiyoyfwrxhjmq) |
| 2020-11-26 11:57:24 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-26 12:00:00 | → | AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl) |
| 2020-11-26 12:01:47 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2020-11-26 12:05:06 | → | m0rphism joins (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) |
| 2020-11-26 12:05:33 | <hc> | i can confirm that it is ;p |
| 2020-11-26 12:05:46 | <hc> | nvm, wrong channel |
| 2020-11-26 12:06:56 | <Uniaika> | :O |
| 2020-11-26 12:07:11 | → | plutoniix joins (~q@ppp-27-55-91-168.revip3.asianet.co.th) |
| 2020-11-26 12:08:44 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds) |
| 2020-11-26 12:09:22 | <ski> | boxscape : if you just want to pass it on to the caller, which is likely to unwrap, then the CPS encoding is probably better. if you want to store it in some data structure, then the "existential data constructor" encoding is probably better |
| 2020-11-26 12:10:15 | <boxscape> | I see |
| 2020-11-26 12:10:16 | <boxscape> | thanks |
| 2020-11-26 12:10:48 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2020-11-26 12:11:00 | → | p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) |
| 2020-11-26 12:11:28 | × | berberman[T] quits (berberma4@gateway/shell/matrix.org/x-bwsbvcnillhcvqdz) (Quit: authenticating) |
| 2020-11-26 12:11:34 | → | berberman[T] joins (berberma4@gateway/shell/matrix.org/x-zufgslvuiyldvexu) |
| 2020-11-26 12:12:44 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2020-11-26 12:13:41 | × | berberman[T] quits (berberma4@gateway/shell/matrix.org/x-zufgslvuiyldvexu) (Client Quit) |
| 2020-11-26 12:13:49 | → | berberman[T] joins (berberma4@gateway/shell/matrix.org/x-bxfzueyqtnjjnhrt) |
| 2020-11-26 12:16:53 | × | supki quits (~mt@188.166.74.67) (Ping timeout: 256 seconds) |
| 2020-11-26 12:18:51 | <dminuoso> | And, given that you can convert freely between them, nothing stops you from just switching between the representations |
| 2020-11-26 12:19:35 | <boxscape> | right, that makes sense |
| 2020-11-26 12:20:09 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2020-11-26 12:22:46 | <dminuoso> | Question, does anyone else favor case-of over maybe? I find myself never favoring `maybe` |
| 2020-11-26 12:23:00 | <dminuoso> | (Or fromMaybe) |
| 2020-11-26 12:24:55 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2020-11-26 12:25:50 | <boxscape> | depends on how complex the expressions are; something simple like `maybe False (>0)` I wouldn't write with case-of, typically |
| 2020-11-26 12:27:10 | <maerwald> | dminuoso: I also prefer case of |
| 2020-11-26 12:27:25 | <maerwald> | maybe and friends are for cases where I know ahead of time what I'm gonna type |
| 2020-11-26 12:27:58 | <dminuoso> | What do you mean by "where I know ahead of time what I'm gonna type"? |
| 2020-11-26 12:28:34 | <maerwald> | Usually I don't know what I'm doing, is what I'm saying. So I pattern match on something and then switch stuff back and forth. That's more "linear" than doing complicated expressions |
| 2020-11-26 12:29:07 | → | adm_ joins (~adm@43.229.89.234) |
| 2020-11-26 12:29:35 | → | alp joins (~alp@2a01:e0a:58b:4920:612f:aa9c:8a4e:4f35) |
| 2020-11-26 12:29:44 | → | cosimone joins (~cosimone@93-47-228-249.ip115.fastwebnet.it) |
| 2020-11-26 12:30:03 | <maerwald> | that's also the reasons I prefer lambdas as argument to fmap etc instead of writing pointfree function arguments |
| 2020-11-26 12:30:56 | × | Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Quit: Leaving) |
| 2020-11-26 12:31:01 | × | adm_ quits (~adm@43.229.89.234) (Remote host closed the connection) |
| 2020-11-26 12:31:13 | <n0042> | lambdas are nice |
| 2020-11-26 12:31:32 | → | shah^ joins (shah@ip98-184-89-2.mc.at.cox.net) |
| 2020-11-26 12:31:56 | <maerwald> | n0042: I had a tech challenge where they told me they don't like it, because I'm not using pointfree style enough and that wouldn't be "senior haskell" |
All times are in UTC.