Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 .. 5022
— 502,152 events total
2020-11-03 15:43:59 × sfvm quits (~sfvm@37.228.215.148) (Quit: off to the basement, mixing up the medicine)
2020-11-03 15:45:31 → Fernando-Basso[m joins (fernando-b@gateway/shell/matrix.org/x-yzwruqrfgsamuhyb)
2020-11-03 15:47:01 × texasmynsted[m]1 quits (mmynstedko@gateway/shell/matrix.org/x-hplokyjomowficph) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:01 × themsay[m] quits (themsaymat@gateway/shell/matrix.org/x-bonuvacpysczvweb) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:01 × siraben quits (sirabenmat@gateway/shell/matrix.org/x-pylemoygyzvfnqwz) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:01 × sm[m] quits (simonmicma@gateway/shell/matrix.org/x-fnotdmzbnwicmhbr) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:01 × michaelpj quits (michaelpjm@gateway/shell/matrix.org/x-qlfptiejrcydnwwk) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:01 × DeadComaGrayce[m quits (commagra1@gateway/shell/matrix.org/x-yxecycrnierjfljs) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:01 × unclechu quits (unclechuma@gateway/shell/matrix.org/x-pzojqnawucwivbrx) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:01 × tersetears[m] quits (tersetears@gateway/shell/matrix.org/x-xwkpjjikyvpgofyv) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:01 × betrion[m] quits (betrionmat@gateway/shell/matrix.org/x-axyffpqdcjljltip) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:01 × chreekat[m] quits (chreekatma@gateway/shell/matrix.org/x-llkuwfbcjnljizdi) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:01 × maralorn quits (maralornma@gateway/shell/matrix.org/x-hwtcfzlybldpjabd) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:01 × wi[m] quits (w1gzmatrix@gateway/shell/matrix.org/x-qadybggtytyfvgiq) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:02 × lnxw37d4 quits (lnxw37d4ma@gateway/shell/matrix.org/x-schvzqwnlrsjfkgy) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:02 × dyniec[m] quits (dyniecmatr@gateway/shell/matrix.org/x-hlniwidnojwpljwr) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:02 × micahsovereign[m quits (micahsover@gateway/shell/matrix.org/x-tvaivucbnrwbatxd) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:02 × psydruid quits (psydruidma@gateway/shell/matrix.org/x-ophphfesyzdfljdq) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:02 × alexfmpe quits (alexfmpema@gateway/shell/matrix.org/x-glaqqlztankdgtop) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:02 × jkaye[m] quits (jkayematri@gateway/shell/matrix.org/x-lwpfhzdgppnfhaga) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:02 × mmynsted[m] quits (mmynstedtc@gateway/shell/matrix.org/x-yzuwbyvnpglbzbuy) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:02 × wrunt[m] quits (wruntmatri@gateway/shell/matrix.org/x-idianarugrpsngxu) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:02 × mikr[m] quits (mikrdavral@gateway/shell/matrix.org/x-dsykslkvwomhqqky) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:02 × jesser[m] quits (jessermatr@gateway/shell/matrix.org/x-viisemtsepvgkslw) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:02 × jtojnar quits (jtojnarmat@gateway/shell/matrix.org/x-elxfudyszzzuhhna) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:02 × jeffcasavant[m] quits (jeffcasava@gateway/shell/matrix.org/x-rqkxfgplxmrihcgx) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:02 × srid quits (sridmatrix@gateway/shell/matrix.org/x-egwyjxskwuhfbugd) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:05 × PotatoHatsue|T quits (berbermanm@gateway/shell/matrix.org/x-mnxsevwkuntepnch) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:06 × domenkozar[m] quits (domenkozar@NixOS/user/domenkozar) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:06 × bonvoyage[m] quits (bonvoyageu@gateway/shell/matrix.org/x-stbisqjpnwsozoeo) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:06 × theduke quits (thedukem1@gateway/shell/matrix.org/x-aqlsdouachfkrhez) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:08 × kaychaks_riot quits (kaychaksma@gateway/shell/matrix.org/x-srldqoniwbppskpm) (Client Quit)
2020-11-03 15:47:08 × elpfen[m] quits (elpfenmatr@gateway/shell/matrix.org/x-fdpiaofjooaqrbtu) (Client Quit)
2020-11-03 15:47:08 × ComaGrayce[m] quits (commagrays@gateway/shell/matrix.org/x-tdwomzfumhlkeioe) (Client Quit)
2020-11-03 15:47:08 × pqwy[m] quits (pqwymatrix@gateway/shell/matrix.org/x-utkkbuxvjzjrabza) (Client Quit)
2020-11-03 15:47:08 × fgaz quits (fgazmatrix@gateway/shell/matrix.org/x-yxpvnieelsdvnidh) (Client Quit)
2020-11-03 15:47:09 × alvinsj[m] quits (alvinsjmat@gateway/shell/matrix.org/x-usudjdrgxuyyqamj) (Client Quit)
2020-11-03 15:47:09 × PotatoHatsue quits (berbermanp@gateway/shell/matrix.org/x-ueozaawewwujnohw) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:09 × iinuwa quits (iinuwamatr@gateway/shell/matrix.org/x-gxbjrfuwzerbbyfp) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:10 × jlv quits (jlvjustinl@gateway/shell/matrix.org/x-wvbfemgwzknbgjod) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:10 × Fernando-Basso[m quits (fernando-b@gateway/shell/matrix.org/x-yzwruqrfgsamuhyb) (Client Quit)
2020-11-03 15:47:10 × ttc quits (tomtauma1@gateway/shell/matrix.org/x-ekakabsstkyokkxj) (Quit: Bridge terminating on SIGTERM)
2020-11-03 15:47:10 × rednaZ[m] quits (r3dnazmatr@gateway/shell/matrix.org/x-ybiigbogxoenpsye) (Client Quit)
2020-11-03 15:47:10 × jiribenes1 quits (jbjiribene@gateway/shell/matrix.org/x-axffvnsgpboxhtcg) (Client Quit)
2020-11-03 15:47:11 × kadoban quits (kadobanmat@gateway/shell/matrix.org/x-btxwrgfxkibtqnsg) (Client Quit)
2020-11-03 15:47:11 × tttom[m] quits (tttommatri@gateway/shell/matrix.org/x-piwzfyinjzjgieef) (Client Quit)
2020-11-03 15:47:11 × loprakoa[m] quits (loprakoama@gateway/shell/matrix.org/x-tnuljvchikruvhvw) (Client Quit)
2020-11-03 15:47:11 × johnnyboy[m] quits (gifumatrix@gateway/shell/matrix.org/x-npyuwrvjfblnwfqj) (Client Quit)
2020-11-03 15:48:23 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-03 15:49:58 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
2020-11-03 15:50:38 <tomsmeding> where lies the boundary between type checking and type inference? Determining that '(f :: Char -> Bool) ('c' :: Char)' has type Bool may not be "type inference", but what about inferring the type of '\(f :: Char -> Bool) (x :: Char) -> f x'?
2020-11-03 15:51:08 <merijn> tomsmeding: There's no inference there either since all intermediate types are annotated
2020-11-03 15:51:29 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-11-03 15:51:31 <tomsmeding> what if 'x' had no annotation?
2020-11-03 15:51:36 <merijn> "\f -> (f (x :: Char) :: Bool)" would require inference
2020-11-03 15:51:42 <ziman> hello, what's the idiomatic way to match on impossible values in pattern clauses? currently i'm using an empty case expression but is there anything shorter, like agda's ()? i can't google up anything somehow
2020-11-03 15:51:44 × miladz68 quits (~manjaro-u@static.84.147.251.148.clients.your-server.de) (Ping timeout: 240 seconds)
2020-11-03 15:51:59 → miladz68 joins (~manjaro-u@46.248.60.86)
2020-11-03 15:52:04 <merijn> 'f :: Char -> Bool' in that example, but the argument type of 'f' nor its result type are specified
2020-11-03 15:52:19 <merijn> tomsmeding: You have to reconstruct the argument and return type from context there
2020-11-03 15:52:30 <tomsmeding> so it becomes type inference if there is a variable with no annotated type?
2020-11-03 15:53:06 → idhugo joins (~idhugo@80-62-116-101-mobile.dk.customer.tdc.net)
2020-11-03 15:53:08 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 246 seconds)
2020-11-03 15:53:16 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:2543:65c:876:3dae)
2020-11-03 15:53:20 <tomsmeding> where annotating the type of a function is understood to also annotate the types of its arguments
2020-11-03 15:53:23 <merijn> For example
2020-11-03 15:54:19 <dminuoso> ziman: Void + absurd?
2020-11-03 15:55:01 × brodie quits (~textual@207.53.253.137) (Quit: brodie)
2020-11-03 15:55:07 → p-core joins (~Thunderbi@80.95.114.184)
2020-11-03 15:55:18 → livvy joins (~livvy@gateway/tor-sasl/livvy)
2020-11-03 15:55:31 → sh9 joins (~sh9@softbank060116136158.bbtec.net)
2020-11-03 15:55:31 hackage git-annex 8.20201103 - manage files with git, without checking their contents into git https://hackage.haskell.org/package/git-annex-8.20201103 (JoeyHess)
2020-11-03 15:55:37 <ziman> my argument does not belong in Void, it belongs in a GADT with indices that make it empty
2020-11-03 15:55:49 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-03 15:56:26 <dolio> Can't you just leave the case out, then?
2020-11-03 15:56:38 → JoelMcCracken[m] joins (joelmccrac@gateway/shell/matrix.org/x-hnsumqopegmivthi)
2020-11-03 15:57:37 <ziman> it's an annoying coincidence: it's an instance with a single method with a single clause, so when i leave the clause out, it complains that i did not provide the definition for the method
2020-11-03 15:58:08 → alp joins (~alp@2a01:e0a:58b:4920:d16f:132:b740:cc6e)
2020-11-03 15:58:20 <dolio> Well, I don't think there's anything you can do but empty case, then.
2020-11-03 15:58:35 <ziman> right, thank you :)
2020-11-03 15:58:43 <ziman> it's not too bad, i was mostly curious
2020-11-03 15:58:51 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:2543:65c:876:3dae) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-03 16:00:06 × JoelMcCracken[m] quits (joelmccrac@gateway/shell/matrix.org/x-hnsumqopegmivthi) (Client Quit)
2020-11-03 16:00:26 → Rudd0 joins (~Rudd0@185.189.115.98)
2020-11-03 16:00:36 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 244 seconds)
2020-11-03 16:02:08 × jespada quits (~jespada@90.254.245.49) (Ping timeout: 268 seconds)
2020-11-03 16:03:23 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-11-03 16:03:47 × kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2020-11-03 16:04:05 → whatisRT joins (~whatisRT@2002:5b41:6a33:0:dea6:32ff:fe5b:d45f)
2020-11-03 16:04:30 hackage validationt 0.3.0 - Straightforward validation monad https://hackage.haskell.org/package/validationt-0.3.0 (typeable)
2020-11-03 16:04:47 → jespada joins (~jespada@90.254.245.49)
2020-11-03 16:08:09 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-03 16:08:24 → ttc joins (tomtauma1@gateway/shell/matrix.org/x-uquqcxspyycbvjvf)
2020-11-03 16:08:24 → pqwy[m] joins (pqwymatrix@gateway/shell/matrix.org/x-jqnrqlrbhxhwmhbz)
2020-11-03 16:08:24 → chreekat[m] joins (chreekatma@gateway/shell/matrix.org/x-wspbygjiuixcjxkc)
2020-11-03 16:08:24 → michaelpj joins (michaelpjm@gateway/shell/matrix.org/x-uoyfjnxjprdtbaxo)
2020-11-03 16:08:24 → themsay[m] joins (themsaymat@gateway/shell/matrix.org/x-ujpukaorocjskeoi)
2020-11-03 16:08:24 → jeffcasavant[m] joins (jeffcasava@gateway/shell/matrix.org/x-ydnhcjbfaimoibji)
2020-11-03 16:08:24 → Fernando-Basso[m joins (fernando-b@gateway/shell/matrix.org/x-xirzymulqroruhsm)
2020-11-03 16:08:24 → psydruid joins (psydruidma@gateway/shell/matrix.org/x-etfvogphrizepbip)
←Prev  Next→
Page 1 .. 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 .. 5022

All times are in UTC.