Logs: freenode/#haskell
| 2020-11-03 14:59:51 | × | drozdziak1 quits (drozdziak1@gateway/shell/matrix.org/x-vtaixfecibczpgem) (Ping timeout: 272 seconds) |
| 2020-11-03 15:00:44 | → | nkly joins (~nkly@ip5b40d080.dynamic.kabel-deutschland.de) |
| 2020-11-03 15:02:01 | × | Rembane quits (~Rembane@li346-36.members.linode.com) (Ping timeout: 264 seconds) |
| 2020-11-03 15:02:23 | → | Rembane joins (~Rembane@li346-36.members.linode.com) |
| 2020-11-03 15:02:23 | × | lambdaclan quits (lambdaclan@gateway/shell/matrix.org/x-gzshwuftlgessnhs) (Ping timeout: 272 seconds) |
| 2020-11-03 15:03:01 | × | johnnyboy[m] quits (gifumatrix@gateway/shell/matrix.org/x-bwnfdzeafqubfksm) (Ping timeout: 272 seconds) |
| 2020-11-03 15:04:12 | × | mokulus quits (~mat@176.111.230.96) (Quit: WeeChat 2.9) |
| 2020-11-03 15:04:28 | → | mokulus joins (~mat@176.111.230.96) |
| 2020-11-03 15:04:40 | <dminuoso> | miladz68: https://gist.github.com/dminuoso/79855d359ea2d21a8184e235870ecb44 |
| 2020-11-03 15:04:51 | <dminuoso> | miladz68: Note that ~ denotes equality of types. :) |
| 2020-11-03 15:05:42 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-03 15:06:02 | → | yushyin joins (bSs9syBAug@karif.server-speed.net) |
| 2020-11-03 15:06:17 | <dminuoso> | Please reload, just corrected a mistkae. |
| 2020-11-03 15:07:00 | × | da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-03 15:07:08 | × | idhugo quits (~idhugo@users-1190.st.net.au.dk) (Ping timeout: 260 seconds) |
| 2020-11-03 15:09:00 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-03 15:09:26 | → | MaoZeDong_ joins (~yuri@2a00:1370:8135:4003:a125:a313:30a7:dda3) |
| 2020-11-03 15:09:29 | → | Klumben joins (Nsaiswatch@gateway/shell/panicbnc/x-mkcnlvblwjhyiwoj) |
| 2020-11-03 15:12:05 | × | refried_ quits (~textual@pool-108-20-26-90.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2020-11-03 15:13:25 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-11-03 15:13:45 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-03 15:14:02 | × | p-core quits (~Thunderbi@193.165.237.18) (Ping timeout: 268 seconds) |
| 2020-11-03 15:15:32 | <miladz68> | dminuoso Thanks a million time |
| 2020-11-03 15:16:25 | <miladz68> | dminuoso I cannot view secret gist since github has banned people from Iran :( |
| 2020-11-03 15:16:30 | <dminuoso> | miladz68: Hold on |
| 2020-11-03 15:16:44 | <dminuoso> | miladz68: https://paste.tomsmeding.com/zyYW4txr |
| 2020-11-03 15:18:51 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2020-11-03 15:19:20 | × | mimi_vx quits (~mimi@tulipan.habr.nat.praha12.net) (Remote host closed the connection) |
| 2020-11-03 15:21:18 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-glpnpeqsowfdqxrb) |
| 2020-11-03 15:21:28 | → | jackgassett joins (~jackgasse@185.163.110.116) |
| 2020-11-03 15:22:53 | × | MaoZeDong_ quits (~yuri@2a00:1370:8135:4003:a125:a313:30a7:dda3) (Quit: Leaving) |
| 2020-11-03 15:22:57 | → | knupfer joins (~Thunderbi@200116b82c33f500f4acd2fffe0c2764.dip.versatel-1u1.de) |
| 2020-11-03 15:22:58 | × | knupfer quits (~Thunderbi@200116b82c33f500f4acd2fffe0c2764.dip.versatel-1u1.de) (Client Quit) |
| 2020-11-03 15:23:11 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 2020-11-03 15:23:13 | → | ulidtko joins (~ulidtko@193.111.48.79) |
| 2020-11-03 15:23:13 | → | knupfer joins (~Thunderbi@i59F7FFF1.versanet.de) |
| 2020-11-03 15:23:40 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-03 15:23:53 | <miladz68> | dminuoso that is just beautiful. It all makes sense now. Haskell type system undestanding unlocked |
| 2020-11-03 15:26:43 | → | texasmynsted[m]1 joins (mmynstedko@gateway/shell/matrix.org/x-hplokyjomowficph) |
| 2020-11-03 15:26:44 | → | themsay[m] joins (themsaymat@gateway/shell/matrix.org/x-bonuvacpysczvweb) |
| 2020-11-03 15:26:50 | → | siraben joins (sirabenmat@gateway/shell/matrix.org/x-pylemoygyzvfnqwz) |
| 2020-11-03 15:26:50 | → | alexfmpe joins (alexfmpema@gateway/shell/matrix.org/x-glaqqlztankdgtop) |
| 2020-11-03 15:26:50 | → | dyniec[m] joins (dyniecmatr@gateway/shell/matrix.org/x-hlniwidnojwpljwr) |
| 2020-11-03 15:26:51 | → | sm[m] joins (simonmicma@gateway/shell/matrix.org/x-fnotdmzbnwicmhbr) |
| 2020-11-03 15:26:51 | → | mikr[m] joins (mikrdavral@gateway/shell/matrix.org/x-dsykslkvwomhqqky) |
| 2020-11-03 15:26:51 | → | wrunt[m] joins (wruntmatri@gateway/shell/matrix.org/x-idianarugrpsngxu) |
| 2020-11-03 15:26:52 | → | tersetears[m] joins (tersetears@gateway/shell/matrix.org/x-xwkpjjikyvpgofyv) |
| 2020-11-03 15:26:52 | → | wi[m] joins (w1gzmatrix@gateway/shell/matrix.org/x-qadybggtytyfvgiq) |
| 2020-11-03 15:26:52 | → | michaelpj joins (michaelpjm@gateway/shell/matrix.org/x-qlfptiejrcydnwwk) |
| 2020-11-03 15:26:52 | → | jkaye[m] joins (jkayematri@gateway/shell/matrix.org/x-lwpfhzdgppnfhaga) |
| 2020-11-03 15:26:52 | → | betrion[m] joins (betrionmat@gateway/shell/matrix.org/x-axyffpqdcjljltip) |
| 2020-11-03 15:26:52 | → | jesser[m] joins (jessermatr@gateway/shell/matrix.org/x-viisemtsepvgkslw) |
| 2020-11-03 15:26:53 | → | jeffcasavant[m] joins (jeffcasava@gateway/shell/matrix.org/x-rqkxfgplxmrihcgx) |
| 2020-11-03 15:26:53 | → | srid joins (sridmatrix@gateway/shell/matrix.org/x-egwyjxskwuhfbugd) |
| 2020-11-03 15:26:53 | → | DeadComaGrayce[m joins (commagra1@gateway/shell/matrix.org/x-yxecycrnierjfljs) |
| 2020-11-03 15:26:53 | → | mmynsted[m] joins (mmynstedtc@gateway/shell/matrix.org/x-yzuwbyvnpglbzbuy) |
| 2020-11-03 15:26:54 | → | micahsovereign[m joins (micahsover@gateway/shell/matrix.org/x-tvaivucbnrwbatxd) |
| 2020-11-03 15:26:55 | → | chreekat[m] joins (chreekatma@gateway/shell/matrix.org/x-llkuwfbcjnljizdi) |
| 2020-11-03 15:26:55 | → | lnxw37d4 joins (lnxw37d4ma@gateway/shell/matrix.org/x-schvzqwnlrsjfkgy) |
| 2020-11-03 15:26:55 | → | maralorn joins (maralornma@gateway/shell/matrix.org/x-hwtcfzlybldpjabd) |
| 2020-11-03 15:26:57 | → | unclechu joins (unclechuma@gateway/shell/matrix.org/x-pzojqnawucwivbrx) |
| 2020-11-03 15:27:02 | → | jtojnar joins (jtojnarmat@gateway/shell/matrix.org/x-elxfudyszzzuhhna) |
| 2020-11-03 15:27:48 | → | psydruid joins (psydruidma@gateway/shell/matrix.org/x-ophphfesyzdfljdq) |
| 2020-11-03 15:27:48 | → | TMA joins (tma@twin.jikos.cz) |
| 2020-11-03 15:28:17 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2020-11-03 15:30:18 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-11-03 15:30:35 | <dolio> | "Inference rules" are indeed not the same thing as "type inference". They merely use the same word. |
| 2020-11-03 15:32:12 | → | PotatoHatsue|T joins (berbermanm@gateway/shell/matrix.org/x-mnxsevwkuntepnch) |
| 2020-11-03 15:32:13 | → | PotatoHatsue joins (berbermanp@gateway/shell/matrix.org/x-ueozaawewwujnohw) |
| 2020-11-03 15:32:32 | × | xff0x quits (~fox@2001:1a81:53b4:ba00:49d8:d2a:69a9:1ef4) (Ping timeout: 268 seconds) |
| 2020-11-03 15:32:35 | <hyperisco> | type inference is based on inference rules xd |
| 2020-11-03 15:32:56 | <dolio> | You could present type inference using inference rules, but not every inference rule has to do with type inference. |
| 2020-11-03 15:33:58 | → | domenkozar[m] joins (domenkozar@NixOS/user/domenkozar) |
| 2020-11-03 15:34:52 | → | iinuwa joins (iinuwamatr@gateway/shell/matrix.org/x-gxbjrfuwzerbbyfp) |
| 2020-11-03 15:35:27 | → | solonarv joins (~solonarv@adijon-656-1-31-12.w90-13.abo.wanadoo.fr) |
| 2020-11-03 15:36:03 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-03 15:37:14 | × | Eason0210 quits (~user@101.85.10.81) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 2020-11-03 15:38:15 | → | bonvoyage[m] joins (bonvoyageu@gateway/shell/matrix.org/x-stbisqjpnwsozoeo) |
| 2020-11-03 15:38:17 | → | theduke joins (thedukem1@gateway/shell/matrix.org/x-aqlsdouachfkrhez) |
| 2020-11-03 15:38:46 | → | ttc joins (tomtauma1@gateway/shell/matrix.org/x-ekakabsstkyokkxj) |
| 2020-11-03 15:39:17 | → | jlv joins (jlvjustinl@gateway/shell/matrix.org/x-wvbfemgwzknbgjod) |
| 2020-11-03 15:40:17 | → | conal joins (~conal@64.71.133.70) |
| 2020-11-03 15:40:25 | × | o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection) |
| 2020-11-03 15:40:52 | → | o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
| 2020-11-03 15:40:53 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2020-11-03 15:42:39 | × | o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection) |
| 2020-11-03 15:42:45 | → | o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
| 2020-11-03 15:43:30 | → | loprakoa[m] joins (loprakoama@gateway/shell/matrix.org/x-tnuljvchikruvhvw) |
| 2020-11-03 15:43:31 | → | jiribenes1 joins (jbjiribene@gateway/shell/matrix.org/x-axffvnsgpboxhtcg) |
| 2020-11-03 15:43:31 | → | johnnyboy[m] joins (gifumatrix@gateway/shell/matrix.org/x-npyuwrvjfblnwfqj) |
| 2020-11-03 15:43:31 | → | tttom[m] joins (tttommatri@gateway/shell/matrix.org/x-piwzfyinjzjgieef) |
| 2020-11-03 15:43:31 | → | kaychaks_riot joins (kaychaksma@gateway/shell/matrix.org/x-srldqoniwbppskpm) |
| 2020-11-03 15:43:32 | → | pqwy[m] joins (pqwymatrix@gateway/shell/matrix.org/x-utkkbuxvjzjrabza) |
| 2020-11-03 15:43:32 | → | elpfen[m] joins (elpfenmatr@gateway/shell/matrix.org/x-fdpiaofjooaqrbtu) |
| 2020-11-03 15:43:32 | → | ComaGrayce[m] joins (commagrays@gateway/shell/matrix.org/x-tdwomzfumhlkeioe) |
| 2020-11-03 15:43:33 | → | alvinsj[m] joins (alvinsjmat@gateway/shell/matrix.org/x-usudjdrgxuyyqamj) |
| 2020-11-03 15:43:35 | → | kadoban joins (kadobanmat@gateway/shell/matrix.org/x-btxwrgfxkibtqnsg) |
| 2020-11-03 15:43:44 | → | rednaZ[m] joins (r3dnazmatr@gateway/shell/matrix.org/x-ybiigbogxoenpsye) |
| 2020-11-03 15:43:48 | → | fgaz joins (fgazmatrix@gateway/shell/matrix.org/x-yxpvnieelsdvnidh) |
| 2020-11-03 15:43:50 | × | jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection) |
All times are in UTC.