Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 .. 5022
— 502,152 events total
2020-11-03 14:54:28 → jokester joins (~mono@unaffiliated/jokester)
2020-11-03 14:54:36 <lortabac> it is true that some people prefer saying "type reconstruction" or "synthesis" to avoid ambiguity
2020-11-03 14:54:43 <dminuoso> I guess the book is really ambiguous about this
2020-11-03 14:54:52 × domenkozar[m] quits (domenkozar@NixOS/user/domenkozar) (*.net *.split)
2020-11-03 14:54:52 × cstrahan quits (sid36118@gateway/web/irccloud.com/x-mfvjnlhprdhvdyaw) (*.net *.split)
2020-11-03 14:54:52 × eacameron quits (sid256985@gateway/web/irccloud.com/x-trisvivfbojkcgwh) (*.net *.split)
2020-11-03 14:54:53 × jlv quits (jlvjustinl@gateway/shell/matrix.org/x-hqueevydwoadxbpz) (*.net *.split)
2020-11-03 14:54:53 × ttc quits (tomtauma1@gateway/shell/matrix.org/x-kbtilopgzcxagitb) (*.net *.split)
2020-11-03 14:54:53 × bonvoyage[m] quits (bonvoyageu@gateway/shell/matrix.org/x-pojfdsrdccxnmsub) (*.net *.split)
2020-11-03 14:54:53 × iinuwa quits (iinuwamatr@gateway/shell/matrix.org/x-lpekgkdkfonfigtg) (*.net *.split)
2020-11-03 14:54:53 × Fernando-Basso[m quits (fernando-b@gateway/shell/matrix.org/x-vwxyieictpjdswzt) (*.net *.split)
2020-11-03 14:54:53 × theduke quits (thedukem1@gateway/shell/matrix.org/x-cbnzcbffqhkoxtel) (*.net *.split)
2020-11-03 14:54:53 × Ericson2314 quits (ericson231@gateway/shell/matrix.org/x-eiodcepayzmtulvi) (*.net *.split)
2020-11-03 14:54:53 × Klumben quits (Nsaiswatch@gateway/shell/panicbnc/x-dhcfdjwdfkfdqaso) (*.net *.split)
2020-11-03 14:54:53 × whez quits (uid470288@gateway/web/irccloud.com/x-malcqwiljeridksp) (*.net *.split)
2020-11-03 14:54:53 × yushyin quits (5rFdtsVUm7@karif.server-speed.net) (*.net *.split)
2020-11-03 14:54:53 × sud0 quits (~Death@hackspaceuy/member/sud0) (*.net *.split)
2020-11-03 14:54:53 × sm quits (~user@li229-222.members.linode.com) (*.net *.split)
2020-11-03 14:54:55 <dminuoso> At some point TaPL says "type reconstruction, sometimes also called type inference"
2020-11-03 14:55:06 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-03 14:55:24 × acidjnk_new2 quits (~acidjnk@p200300d0c718f623ecaa4caf6803be45.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-11-03 14:55:28 <dminuoso> but at the same type introduces "inference rules"
2020-11-03 14:55:36 <dminuoso> Which are not for type reconstruction, i.e. type inference
2020-11-03 14:55:49 <dminuoso> Ah well at any rate
2020-11-03 14:55:56 → domenkozar[m] joins (domenkozar@NixOS/user/domenkozar)
2020-11-03 14:55:56 → cstrahan joins (sid36118@gateway/web/irccloud.com/x-mfvjnlhprdhvdyaw)
2020-11-03 14:55:56 → eacameron joins (sid256985@gateway/web/irccloud.com/x-trisvivfbojkcgwh)
2020-11-03 14:55:56 → jlv joins (jlvjustinl@gateway/shell/matrix.org/x-hqueevydwoadxbpz)
2020-11-03 14:55:56 → Fernando-Basso[m joins (fernando-b@gateway/shell/matrix.org/x-vwxyieictpjdswzt)
2020-11-03 14:55:56 → iinuwa joins (iinuwamatr@gateway/shell/matrix.org/x-lpekgkdkfonfigtg)
2020-11-03 14:55:56 → theduke joins (thedukem1@gateway/shell/matrix.org/x-cbnzcbffqhkoxtel)
2020-11-03 14:55:56 → ttc joins (tomtauma1@gateway/shell/matrix.org/x-kbtilopgzcxagitb)
2020-11-03 14:55:56 → bonvoyage[m] joins (bonvoyageu@gateway/shell/matrix.org/x-pojfdsrdccxnmsub)
2020-11-03 14:55:56 → Ericson2314 joins (ericson231@gateway/shell/matrix.org/x-eiodcepayzmtulvi)
2020-11-03 14:55:56 → Klumben joins (Nsaiswatch@gateway/shell/panicbnc/x-dhcfdjwdfkfdqaso)
2020-11-03 14:55:56 → whez joins (uid470288@gateway/web/irccloud.com/x-malcqwiljeridksp)
2020-11-03 14:55:56 → yushyin joins (5rFdtsVUm7@karif.server-speed.net)
2020-11-03 14:55:56 → sud0 joins (~Death@hackspaceuy/member/sud0)
2020-11-03 14:55:56 → sm joins (~user@li229-222.members.linode.com)
2020-11-03 14:56:10 × Ericson2314 quits (ericson231@gateway/shell/matrix.org/x-eiodcepayzmtulvi) (Max SendQ exceeded)
2020-11-03 14:56:10 × Klumben quits (Nsaiswatch@gateway/shell/panicbnc/x-dhcfdjwdfkfdqaso) (Max SendQ exceeded)
2020-11-03 14:56:41 × alp quits (~alp@2a01:e0a:58b:4920:5584:7343:90a1:2565) (Ping timeout: 272 seconds)
2020-11-03 14:57:03 × maralorn quits (maralornma@gateway/shell/matrix.org/x-pkelfgrohvpzfolu) (Ping timeout: 244 seconds)
2020-11-03 14:57:03 × mikr[m] quits (mikrdavral@gateway/shell/matrix.org/x-jnlucypbifmucvfy) (Ping timeout: 244 seconds)
2020-11-03 14:57:03 × wrunt[m] quits (wruntmatri@gateway/shell/matrix.org/x-tobpdugmvlykanbe) (Ping timeout: 244 seconds)
2020-11-03 14:57:03 × betrion[m] quits (betrionmat@gateway/shell/matrix.org/x-dsrbaapqpyafsbmj) (Ping timeout: 244 seconds)
2020-11-03 14:57:03 × psydruid quits (psydruidma@gateway/shell/matrix.org/x-uodtpvngjfwtuggt) (Ping timeout: 244 seconds)
2020-11-03 14:57:08 × michaelpj quits (michaelpjm@gateway/shell/matrix.org/x-oigadqxzdyumsikb) (Ping timeout: 246 seconds)
2020-11-03 14:57:08 × tersetears[m] quits (tersetears@gateway/shell/matrix.org/x-njimwnsggeorbzzd) (Ping timeout: 246 seconds)
2020-11-03 14:57:09 × sm[m] quits (simonmicma@gateway/shell/matrix.org/x-tilmtmvnszzwjtcv) (Ping timeout: 246 seconds)
2020-11-03 14:57:09 × unclechu quits (unclechuma@gateway/shell/matrix.org/x-lcvlyrcvcccjaofs) (Ping timeout: 246 seconds)
2020-11-03 14:57:10 × Fernando-Basso[m quits (fernando-b@gateway/shell/matrix.org/x-vwxyieictpjdswzt) (Ping timeout: 246 seconds)
2020-11-03 14:57:17 × mmynsted[m] quits (mmynstedtc@gateway/shell/matrix.org/x-zszjcyokedzkvvvw) (Ping timeout: 260 seconds)
2020-11-03 14:57:17 × chreekat[m] quits (chreekatma@gateway/shell/matrix.org/x-tbcdmvvmfcadbfxu) (Ping timeout: 260 seconds)
2020-11-03 14:57:24 × jesser[m] quits (jessermatr@gateway/shell/matrix.org/x-fexhchkhagwtqfyl) (Ping timeout: 240 seconds)
2020-11-03 14:57:26 × dyniec[m] quits (dyniecmatr@gateway/shell/matrix.org/x-bqlbscrkasptvecc) (Ping timeout: 240 seconds)
2020-11-03 14:57:26 × alexfmpe quits (alexfmpema@gateway/shell/matrix.org/x-puehpfgruzmxylyx) (Ping timeout: 240 seconds)
2020-11-03 14:57:26 × PotatoHatsue|T quits (berbermanm@gateway/shell/matrix.org/x-tramsdhygfziwosr) (Ping timeout: 240 seconds)
2020-11-03 14:57:26 × texasmynsted[m]1 quits (mmynstedko@gateway/shell/matrix.org/x-vggryrjyagxthgpr) (Ping timeout: 240 seconds)
2020-11-03 14:57:29 × wi[m] quits (w1gzmatrix@gateway/shell/matrix.org/x-yfarknebhuzfmgwp) (Ping timeout: 270 seconds)
2020-11-03 14:57:29 × srid quits (sridmatrix@gateway/shell/matrix.org/x-mkesouyylxzbcafd) (Ping timeout: 244 seconds)
2020-11-03 14:57:29 × themsay[m] quits (themsaymat@gateway/shell/matrix.org/x-bqmyhbzuevubqaxn) (Ping timeout: 244 seconds)
2020-11-03 14:57:29 × jkaye[m] quits (jkayematri@gateway/shell/matrix.org/x-cptxfbojabslrjcy) (Ping timeout: 244 seconds)
2020-11-03 14:57:29 × DeadComaGrayce[m quits (commagra1@gateway/shell/matrix.org/x-iuyehmrmzolqbndz) (Ping timeout: 270 seconds)
2020-11-03 14:57:30 × jtojnar quits (jtojnarmat@gateway/shell/matrix.org/x-vxxxfyeqdpvmztqw) (Ping timeout: 270 seconds)
2020-11-03 14:57:30 × siraben quits (sirabenmat@gateway/shell/matrix.org/x-bcyjzribfqthehto) (Ping timeout: 270 seconds)
2020-11-03 14:57:30 × domenkozar[m] quits (domenkozar@NixOS/user/domenkozar) (Ping timeout: 246 seconds)
2020-11-03 14:57:30 × iinuwa quits (iinuwamatr@gateway/shell/matrix.org/x-lpekgkdkfonfigtg) (Ping timeout: 246 seconds)
2020-11-03 14:57:34 × jeffcasavant[m] quits (jeffcasava@gateway/shell/matrix.org/x-dhyacoeojdbhkueh) (Ping timeout: 244 seconds)
2020-11-03 14:57:34 × micahsovereign[m quits (micahsover@gateway/shell/matrix.org/x-dxdibhjjyybodwbc) (Ping timeout: 244 seconds)
2020-11-03 14:57:37 × lnxw37d4 quits (lnxw37d4ma@gateway/shell/matrix.org/x-amgtuukfolghuwuq) (Ping timeout: 260 seconds)
2020-11-03 14:57:38 × Guest8822 quits (562d675a@86-45-103-90-dynamic.agg2.ddk.dbc-mgr.eircom.net) (Remote host closed the connection)
2020-11-03 14:57:49 × nkly quits (~nkly@ip5b40d080.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2020-11-03 14:57:52 <miladz68> dminuoso and merjin I managed to fix my the problem in my original question. There was something about haskell's type system that I could not get for about a year now. THANK YOU GUYS !!! https://paste.tomsmeding.com/ufeE5VEv
2020-11-03 14:58:12 × yushyin quits (5rFdtsVUm7@karif.server-speed.net) (Ping timeout: 241 seconds)
2020-11-03 14:58:12 × MaoZeDong_ quits (~yuri@2a00:1370:8135:4003:f085:2e15:a839:240d) (Ping timeout: 260 seconds)
2020-11-03 14:58:54 × bonvoyage[m] quits (bonvoyageu@gateway/shell/matrix.org/x-pojfdsrdccxnmsub) (Ping timeout: 246 seconds)
2020-11-03 14:58:54 × theduke quits (thedukem1@gateway/shell/matrix.org/x-cbnzcbffqhkoxtel) (Ping timeout: 246 seconds)
2020-11-03 14:58:55 × alvinsj[m] quits (alvinsjmat@gateway/shell/matrix.org/x-vcggqutodlsvbbci) (Ping timeout: 240 seconds)
2020-11-03 14:59:08 × tttom[m] quits (tttommatri@gateway/shell/matrix.org/x-kshxzzwtqhpqbsjt) (Ping timeout: 244 seconds)
2020-11-03 14:59:14 × bliminse quits (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Ping timeout: 268 seconds)
2020-11-03 14:59:15 × kadoban quits (kadobanmat@gateway/shell/matrix.org/x-ibzwjrmlfzihcpnq) (Ping timeout: 246 seconds)
2020-11-03 14:59:15 × fgaz quits (fgazmatrix@gateway/shell/matrix.org/x-nobvbpoimoorjizw) (Ping timeout: 246 seconds)
2020-11-03 14:59:15 × ComaGrayce[m] quits (commagrays@gateway/shell/matrix.org/x-hjwgivbycspfkazw) (Ping timeout: 246 seconds)
2020-11-03 14:59:15 × PotatoHatsue quits (berbermanp@gateway/shell/matrix.org/x-bglrmgugemmlkftz) (Ping timeout: 246 seconds)
2020-11-03 14:59:15 × kaychaks_riot quits (kaychaksma@gateway/shell/matrix.org/x-stbwfkzfrvvzbyzd) (Ping timeout: 246 seconds)
2020-11-03 14:59:16 × jlv quits (jlvjustinl@gateway/shell/matrix.org/x-hqueevydwoadxbpz) (Ping timeout: 246 seconds)
2020-11-03 14:59:16 × ttc quits (tomtauma1@gateway/shell/matrix.org/x-kbtilopgzcxagitb) (Ping timeout: 246 seconds)
2020-11-03 14:59:22 × elpfen[m] quits (elpfenmatr@gateway/shell/matrix.org/x-qyxfulwurvxvqcrl) (Ping timeout: 260 seconds)
2020-11-03 14:59:25 × loprakoa[m] quits (loprakoama@gateway/shell/matrix.org/x-xavaolgsmkbljkqt) (Ping timeout: 240 seconds)
2020-11-03 14:59:25 × jiribenes1 quits (jbjiribene@gateway/shell/matrix.org/x-fxavqhwgliqrsecu) (Ping timeout: 240 seconds)
2020-11-03 14:59:27 × rednaZ[m] quits (r3dnazmatr@gateway/shell/matrix.org/x-fbgpcbpvvdvwhhpb) (Ping timeout: 240 seconds)
2020-11-03 14:59:33 × sureyeaah quits (shauryab98@gateway/shell/matrix.org/x-yafeivvctuhylrnm) (Ping timeout: 244 seconds)
2020-11-03 14:59:37 → bliminse joins (~bliminse@host109-156-197-211.range109-156.btcentralplus.com)
2020-11-03 14:59:37 × hnOsmium0001[m] quits (hnosmium00@gateway/shell/matrix.org/x-sshchogyivlmgodc) (Ping timeout: 246 seconds)
2020-11-03 14:59:38 × berberman|T quits (berberma4@gateway/shell/matrix.org/x-wnomaozyraumizpd) (Ping timeout: 244 seconds)
2020-11-03 14:59:38 × ThaEwat quits (thaewraptm@gateway/shell/matrix.org/x-pssqkgzdxqqfosjg) (Ping timeout: 244 seconds)
2020-11-03 14:59:39 × hsiktas[m] quits (hsiktasmat@gateway/shell/matrix.org/x-spblkboyxhqoardh) (Ping timeout: 244 seconds)
2020-11-03 14:59:39 × zerstroyer[m] quits (zerstroyer@gateway/shell/matrix.org/x-yllnormoxnelwrvi) (Ping timeout: 244 seconds)
2020-11-03 14:59:51 × pqwy[m] quits (pqwymatrix@gateway/shell/matrix.org/x-htkzhbylfcdwfzyr) (Ping timeout: 272 seconds)
←Prev  Next→
Page 1 .. 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 .. 5022

All times are in UTC.