Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 171 172 173 174 175 176 177 178 179 180 181 .. 5022
— 502,152 events total
2020-09-23 22:54:34 → mcfilib joins (sid302703@gateway/web/irccloud.com/x-ayrowhifopnqemcf)
2020-09-23 22:54:35 → srhb joins (sid400352@NixOS/user/srhb)
2020-09-23 22:54:35 → thi joins (sid97277@gateway/web/irccloud.com/x-skwjfzenuehplhxv)
2020-09-23 22:54:36 → sethetter__ joins (sid17895@gateway/web/irccloud.com/x-gjrsztjbkfnqxzcl)
2020-09-23 22:54:38 → bjs joins (sid190364@gateway/web/irccloud.com/x-sffmijuqwritxret)
2020-09-23 22:54:38 → carter joins (sid14827@gateway/web/irccloud.com/x-iroznbxhtklfnfzx)
2020-09-23 22:54:38 → albethere joins (sid457088@gateway/web/irccloud.com/x-egacnjjdaxtejyln)
2020-09-23 22:54:41 → simony joins (sid226116@gateway/web/irccloud.com/x-vcsdewznrdwwgnis)
2020-09-23 22:54:43 → Kamuela joins (sid111576@gateway/web/irccloud.com/x-ffwzngkqaohtkylu)
2020-09-23 22:54:44 → howdoi joins (uid224@gateway/web/irccloud.com/x-svpcvlpkamjtfitp)
2020-09-23 22:54:45 → joshmeredith joins (sid387798@gateway/web/irccloud.com/x-tocpehdjhiusuwgk)
2020-09-23 22:54:45 → SrPx joins (sid108780@gateway/web/irccloud.com/x-wjejjdsspacspndl)
2020-09-23 22:54:48 → jlpeters joins (sid25606@gateway/web/irccloud.com/x-twwkkqhyyggfdivq)
2020-09-23 22:54:50 → sclv joins (sid39734@haskell/developer/sclv)
2020-09-23 22:54:53 → feepo joins (sid28508@gateway/web/irccloud.com/x-yvdfjmicbugqxtqj)
2020-09-23 22:54:58 → irc_user joins (uid423822@gateway/web/irccloud.com/x-awewgjdwbaknrfwe)
2020-09-23 22:54:58 → FMJz____ joins (sid279245@gateway/web/irccloud.com/x-xxlxmdepyepdjiiz)
2020-09-23 22:54:59 → chessai joins (sid225296@gateway/web/irccloud.com/x-zzehzebrnlswozjp)
2020-09-23 22:55:01 → ullbeking joins (sid5364@gateway/web/irccloud.com/x-nuizesoknxmuomew)
2020-09-23 22:55:02 <monochrom> Perhaps edwardk is on irccloud.com too.
2020-09-23 22:55:03 → chpatrick joins (sid239395@gateway/web/irccloud.com/x-hgwhhvpaceqfpsfd)
2020-09-23 22:55:03 <EvanR> there's a conspiracy from irccloud to take down edk's client
2020-09-23 22:55:04 → ebutleriv joins (sid217783@gateway/web/irccloud.com/x-xojalosetjeggitu)
2020-09-23 22:55:04 → ProofTechnique joins (sid79547@gateway/web/irccloud.com/x-tponbxdqtfpxmwel)
2020-09-23 22:55:05 → kyagrd__ joins (sid102627@gateway/web/irccloud.com/x-cczxifxwkgykmgul)
2020-09-23 22:55:05 → mankyKitty joins (sid31287@gateway/web/irccloud.com/x-stbsqcajexfluxuf)
2020-09-23 22:55:06 → cstrahan joins (sid36118@gateway/web/irccloud.com/x-qpyatyyfmsjoedfl)
2020-09-23 22:55:08 → dgpratt joins (sid193493@gateway/web/irccloud.com/x-jfcngfvjfuasdztv)
2020-09-23 22:55:09 <EvanR> or that
2020-09-23 22:55:11 → caasih joins (sid13241@gateway/web/irccloud.com/x-inrpoiaisxjinedq)
2020-09-23 22:55:12 → ghuntley joins (sid16877@gateway/web/irccloud.com/x-luqtfrbjedshlyyp)
2020-09-23 22:55:17 → PatrickRobotham_ joins (sid18270@gateway/web/irccloud.com/x-vnvdpghrecuvxqhe)
2020-09-23 22:55:17 → newhoggy joins (sid198874@gateway/web/irccloud.com/x-kjtefuttsgcyxcav)
2020-09-23 22:55:18 → elvishjerricco joins (sid237756@NixOS/user/ElvishJerricco)
2020-09-23 22:55:18 → grfn joins (sid449115@gateway/web/irccloud.com/x-rvpditypzabzksng)
2020-09-23 22:55:18 × xyggos quits (uid216035@gateway/web/irccloud.com/x-wmxaxxurlecshsab) (Ping timeout: 260 seconds)
2020-09-23 22:55:19 → amatecha__ joins (sid10006@gateway/web/irccloud.com/x-rbrqcxiojnxeeyta)
2020-09-23 22:55:20 → eruditass joins (uid248673@gateway/web/irccloud.com/x-eolintwxiwbmuxmq)
2020-09-23 22:55:22 → entel joins (uid256215@botters/entel)
2020-09-23 22:55:23 <monochrom> I support conspiracy theories.
2020-09-23 22:55:25 → alunduil joins (alunduil@gateway/web/irccloud.com/x-vymgafgkgglqgroh)
2020-09-23 22:55:29 <EvanR> but he's the only one with a mask? crazy
2020-09-23 22:55:32 → adamse joins (sid72084@gateway/web/irccloud.com/x-ibjuwillctxzxezq)
2020-09-23 22:55:36 → sgraf joins (sid326656@gateway/web/irccloud.com/x-bqdvppnreegksoze)
2020-09-23 22:55:52 → drbrule joins (sid395654@gateway/web/irccloud.com/x-ogdudpwfmbcjqaew)
2020-09-23 22:55:52 → rizary joins (sid220347@gateway/web/irccloud.com/x-fasoxblpleyerysc)
2020-09-23 22:55:53 → rodlogic__ joins (sid214676@gateway/web/irccloud.com/x-uruhlkshnartaizk)
2020-09-23 22:55:59 → jackdk joins (sid373013@gateway/web/irccloud.com/x-gslbfnrpxcdhxppp)
2020-09-23 22:56:00 <glguy> gateway cloaks (like irccloud users have) override unaffiliated cloaks
2020-09-23 22:56:01 → dani- joins (sid341953@gateway/web/irccloud.com/x-dmefyomzdfqtzrok)
2020-09-23 22:56:01 → lexi-lambda joins (sid92601@gateway/web/irccloud.com/x-ogjhnupgzawfysnk)
2020-09-23 22:56:03 → systemfault joins (sid267009@gateway/web/irccloud.com/x-domoukaafsguzygi)
2020-09-23 22:56:13 → graingert joins (sid128301@gateway/web/irccloud.com/x-oaiulwhfwjkhanpm)
2020-09-23 22:56:18 → PoliticsII____ joins (sid193551@gateway/web/irccloud.com/x-kufaifprsfovqzzx)
2020-09-23 22:56:19 → xyggos joins (uid216035@gateway/web/irccloud.com/x-hospzqdbwodsdydc)
2020-09-23 22:56:37 → JSharp joins (sid4580@wikia/JSharp)
2020-09-23 22:56:43 <dolio> If you want to understand part of why sigma and exists don't line up, you can actually read some of the work on parametricity in dependent type theories. Like Cavallo and Harper on parametricity in cubical type theory. There they point out that 'bridges' (relations, on which parametricity is based) and 'paths' (on which 'equality' is based) disagree for the universe. And the path type for a Σ type corresponds to paths for its components. So a path f
2020-09-23 22:56:44 <dolio> or a (Σ U) type is going to be talking about *paths* between types, rather than relations between types. However, the point of a parametric existential type is for values to be equal based on a relational criterion.
2020-09-23 22:56:45 → moobar joins (sid171730@gateway/web/irccloud.com/x-uosvpoonemwbnosq)
2020-09-23 22:57:09 → Boarders joins (sid425905@gateway/web/irccloud.com/x-bknwefewrylbhwhw)
2020-09-23 22:57:29 → PotatoGim joins (sid99505@gateway/web/irccloud.com/x-zoyefvrqhzvagror)
2020-09-23 22:57:41 → nick_h joins (sid319833@gateway/web/irccloud.com/x-wfhraakyeevpkesp)
2020-09-23 22:58:05 → NemesisD joins (sid24071@gateway/web/irccloud.com/x-hbgzpmcbhsxfreot)
2020-09-23 22:58:19 × heyj quits (sid171370@gateway/web/irccloud.com/x-kdaknvkrpgxotygi) (Ping timeout: 258 seconds)
2020-09-23 22:58:32 × edmundnoble quits (sid229620@gateway/web/irccloud.com/x-xckfdnnctkwioehd) (Ping timeout: 256 seconds)
2020-09-23 22:58:32 × spew quits (uid195861@gateway/web/irccloud.com/x-jdyexxcnetkilzyc) (Ping timeout: 256 seconds)
2020-09-23 22:58:32 × cemerick quits (sid54985@gateway/web/irccloud.com/x-nbhjusnctobgzdtj) (Ping timeout: 256 seconds)
2020-09-23 22:58:32 × ocharles quits (sid30093@musicbrainz/user/ocharles) (Ping timeout: 256 seconds)
2020-09-23 22:58:42 × betawaffle quits (sid2730@gateway/web/irccloud.com/x-vjxfsafadmlzfybj) (Ping timeout: 258 seconds)
2020-09-23 22:59:13 → LestatC95 joins (~Android@2605:8d80:662:fdea:ed2:3fc2:27b3:bdc3)
2020-09-23 22:59:36 <jamestmartin> is it possible to export a function which uses an instance of a typeclass without exporting the instance itself?
2020-09-23 23:00:30 <jamestmartin> while also exporting the typeclass, just not the instance
2020-09-23 23:00:41 → spew joins (uid195861@gateway/web/irccloud.com/x-rlyhvwsiznqfylsw)
2020-09-23 23:00:42 → alexm_ joins (~AlexM87@161.8.233.138)
2020-09-23 23:00:58 → ocharles joins (sid30093@musicbrainz/user/ocharles)
2020-09-23 23:01:04 → cemerick joins (sid54985@gateway/web/irccloud.com/x-jgattjyyxojabrge)
2020-09-23 23:01:51 <EvanR> well that helps, parametricity is based on relations
2020-09-23 23:02:11 <EvanR> is there a readable paper on that
2020-09-23 23:02:24 × alexm_ quits (~AlexM87@161.8.233.138) (Read error: Connection reset by peer)
2020-09-23 23:02:36 <glguy> jamestmartin: No, you can't avoid exporting an instance
2020-09-23 23:02:48 <jamestmartin> alright then
2020-09-23 23:02:55 → alexm_ joins (~AlexM87@161.8.233.138)
2020-09-23 23:02:59 <dolio> Wadler's Theorems for Free, maybe. I forget.
2020-09-23 23:03:16 <jamestmartin> well, with linear types coming soon, that won't be necessary anyhow
2020-09-23 23:03:21 <jamestmartin> I was just curious
2020-09-23 23:04:41 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:a8a2:2518:6bde:e621) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-23 23:05:52 → macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-09-23 23:06:05 <jamestmartin> man, I'm hyped for linear types though. that's gonna be useful in so many ways.
2020-09-23 23:07:17 × alexm_ quits (~AlexM87@161.8.233.138) (Ping timeout: 260 seconds)
2020-09-23 23:08:27 <EvanR> linear types coming soon?
2020-09-23 23:09:20 <jamestmartin> linear types are going to be in ghc 8.12 from what I've heard
2020-09-23 23:09:58 → heyj joins (sid171370@gateway/web/irccloud.com/x-gxveayvtjepkleli)
2020-09-23 23:10:07 <EvanR> damn that's sexy
2020-09-23 23:10:17 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-23 23:11:41 → edmundnoble joins (sid229620@gateway/web/irccloud.com/x-aamqtvpjhykeshcn)
2020-09-23 23:12:36 → betawaffle joins (sid2730@gateway/web/irccloud.com/x-wauonuwppwmwhziv)
2020-09-23 23:12:50 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-09-23 23:13:13 <MarcelineVQ> linear types should be pretty useful, they're the perfect way to shift people from complaining about IO being infections to complain about linearity being infectious
2020-09-23 23:14:08 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2020-09-23 23:14:56 <int-e> . o O ( Can we make it so that only one person can complain at a time? )
←Prev  Next→
Page 1 .. 171 172 173 174 175 176 177 178 179 180 181 .. 5022

All times are in UTC.