Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 .. 5022
— 502,152 events total
2020-11-03 23:36:51 × christo quits (~chris@81.96.113.213) (Read error: No route to host)
2020-11-03 23:36:53 <dminuoso> (Leading go incoherence, where you and I might use conflicting implementations, while sharing some data)
2020-11-03 23:37:16 → christo joins (~chris@81.96.113.213)
2020-11-03 23:37:36 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:fc37:ff3f:9c12:2922)
2020-11-03 23:37:40 <irc_user> Ohhh, so it would be kind of like generics/traits?
2020-11-03 23:37:46 <dminuoso> So without typeclasses, you will need to remember how all these eq functions are called, and you can't just automatically derive them. If you have parametrized data types, you will need to write manual higher order equality functions, and explicitly pass more eq functions inside
2020-11-03 23:38:44 <ski> > showsPrec 0 "bqv" ""
2020-11-03 23:38:47 <lambdabot> "\"bqv\""
2020-11-03 23:39:21 <bqv> figured it out, i just opened ghci
2020-11-03 23:39:27 <bqv> trying to migrate from prelude to protolude
2020-11-03 23:39:37 <bqv> monoids are ..definitely nicer
2020-11-03 23:40:02 <irc_user> I think I see, thank you! I definitely have some more reading to do but this will be great to refer back to.
2020-11-03 23:40:04 <dminuoso> irc_user: Another motivating example is.. lets say you want to add numbers.
2020-11-03 23:40:05 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-03 23:40:35 <dminuoso> Unless you have some other elaborate overloading mechanism, you can't use (+), because what type would (+) even have?
2020-11-03 23:40:36 → Alleria_ joins (~AllahuAkb@2604:2000:1484:26:1965:9c13:18a8:4b5c)
2020-11-03 23:40:57 <dminuoso> So you'd have `addInt :: Int -> Int -> Int`, `addInteger :: Integer -> Integer -> Integer`, `addFloat :: Float -> Float -> Float`, etc..
2020-11-03 23:41:11 → carlomagno joins (~cararell@148.87.23.4)
2020-11-03 23:41:27 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-11-03 23:41:42 <dminuoso> (The moment you ponder about this for a while, you'd probably end up with something like `add :: Num a -> a -> a -> a` with some `data Num a = Num { numAdd :: a -> a -> a, ... }`
2020-11-03 23:41:46 → skapazzo joins (~skapazzo@151.9.205.227)
2020-11-03 23:41:47 <ski> it's especially "merge" functions (like `union :: Ord a => Set a -> Set a -> Set a') that benefit from knowing the same ordering was used to build the two input sets
2020-11-03 23:41:54 <dminuoso> Which brings you back to all the other problems above
2020-11-03 23:42:45 <ski> (if not for that, one could attempt to bundle the ordering relation inside the set)
2020-11-03 23:43:56 <irc_user> I see, this makes a lot of sense now, thank you for the descriptive examples
2020-11-03 23:47:41 → wroathe_ joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-11-03 23:47:58 × wroathe_ quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Client Quit)
2020-11-03 23:48:17 → wroathe_ joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-11-03 23:48:48 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-11-03 23:48:58 wroathe_ is now known as wroathe
2020-11-03 23:50:15 × skapazzo quits (~skapazzo@151.9.205.227) (Quit: Lost terminal)
2020-11-03 23:51:30 hackage reflex-dom-retractable 0.1.4.0 - Routing and retractable back button for reflex-dom https://hackage.haskell.org/package/reflex-dom-retractable-0.1.4.0 (NCrashed)
2020-11-03 23:52:03 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-11-03 23:52:58 → Rudd0^ joins (~Rudd0@185.189.115.103)
2020-11-03 23:54:18 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-11-03 23:57:12 × Rudd0 quits (~Rudd0@185.189.115.98) (Ping timeout: 260 seconds)
2020-11-03 23:57:16 × Rudd0^ quits (~Rudd0@185.189.115.103) (Ping timeout: 260 seconds)
2020-11-03 23:59:23 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:fc37:ff3f:9c12:2922) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-03 23:59:35 × Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 256 seconds)
2020-11-04 00:00:02 × superfly1 quits (~superfly@84.39.117.57) ()
2020-11-04 00:00:45 hekkaidekapus doesn’t mean to snitch but poor Ben in #ghc bearing with our old acquaintance larou :)
2020-11-04 00:02:10 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-04 00:02:55 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:fc37:ff3f:9c12:2922)
2020-11-04 00:03:20 → christo joins (~chris@81.96.113.213)
2020-11-04 00:03:38 × SrPx quits (sid108780@gateway/web/irccloud.com/x-yrwlrdlfqyblrniu) (Ping timeout: 264 seconds)
2020-11-04 00:03:38 × wpcarro quits (sid397589@gateway/web/irccloud.com/x-acwmxyqgeyskyphp) (Ping timeout: 264 seconds)
2020-11-04 00:03:44 × liquorice quits (sid267884@gateway/web/irccloud.com/x-diraasfarzuiqldj) (Ping timeout: 240 seconds)
2020-11-04 00:03:44 × joshmeredith quits (sid387798@gateway/web/irccloud.com/x-ewrwlxlkgcoxcbts) (Ping timeout: 240 seconds)
2020-11-04 00:03:45 × Cir0X quits (sid221743@gateway/web/irccloud.com/x-smmdmragpgxrsuxw) (Ping timeout: 268 seconds)
2020-11-04 00:03:47 × cemerick quits (sid54985@gateway/web/irccloud.com/x-zrzfloaemrmpgqmz) (Read error: Connection reset by peer)
2020-11-04 00:03:47 × lally quits (sid388228@gateway/web/irccloud.com/x-vliwvdsdwmscsdor) (Read error: Connection reset by peer)
2020-11-04 00:03:47 × banjiewen_ quits (sid115913@gateway/web/irccloud.com/x-eopdvyfizptvmxgr) (Write error: Connection reset by peer)
2020-11-04 00:03:47 × natim87 quits (sid286962@gateway/web/irccloud.com/x-hyhuipwwdjkbudmv) (Read error: Connection reset by peer)
2020-11-04 00:03:47 × cvlad- quits (sid203065@gateway/web/irccloud.com/x-nspzwlyvupawshac) (Read error: Connection reset by peer)
2020-11-04 00:03:47 × fiadliel quits (sid399568@gateway/web/irccloud.com/x-krrigsmeuaxeyvln) (Read error: Connection reset by peer)
2020-11-04 00:03:47 × AndreasK quits (sid320732@gateway/web/irccloud.com/x-jqlvoqrfkfkmzsvx) (Read error: Connection reset by peer)
2020-11-04 00:03:53 × machinedgod quits (~machinedg@142.169.78.163) (Ping timeout: 260 seconds)
2020-11-04 00:04:05 → lally joins (sid388228@gateway/web/irccloud.com/x-ajahqmwjiqmyvpjz)
2020-11-04 00:04:06 → cemerick joins (sid54985@gateway/web/irccloud.com/x-abxbprbujguoyqts)
2020-11-04 00:04:06 → Cir0X joins (sid221743@gateway/web/irccloud.com/x-aaolygdvoezcqebh)
2020-11-04 00:04:06 → cvlad- joins (sid203065@gateway/web/irccloud.com/x-rokspjlhyqzgwkmr)
2020-11-04 00:04:06 → AndreasK joins (sid320732@gateway/web/irccloud.com/x-uioigjqavmrtwcmd)
2020-11-04 00:04:07 → fiadliel joins (sid399568@gateway/web/irccloud.com/x-vfhgfferfkqpsvwi)
2020-11-04 00:04:09 → banjiewen_ joins (sid115913@gateway/web/irccloud.com/x-xuhcxuunqkywfagg)
2020-11-04 00:04:09 → natim87 joins (sid286962@gateway/web/irccloud.com/x-olzvsuojmvwuxdem)
2020-11-04 00:04:13 → moistoreos joins (~moist_ore@99-160-143-51.lightspeed.nsvltn.sbcglobal.net)
2020-11-04 00:04:22 × eruditass quits (uid248673@gateway/web/irccloud.com/x-hmiqmtrgdlavbpwr) (Ping timeout: 268 seconds)
2020-11-04 00:04:27 × ryjm quits (sid383513@gateway/web/irccloud.com/x-ddgnxwnpegroygna) (Ping timeout: 260 seconds)
2020-11-04 00:04:44 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-04 00:04:50 × ebutleriv quits (sid217783@gateway/web/irccloud.com/x-pfvqbqpaoeusjfcx) (Ping timeout: 264 seconds)
2020-11-04 00:04:51 → joshmeredith joins (sid387798@gateway/web/irccloud.com/x-sxpuerlncnrlahqm)
2020-11-04 00:05:03 → wpcarro joins (sid397589@gateway/web/irccloud.com/x-vqtnwwuckwrwiioj)
2020-11-04 00:05:24 → liquorice joins (sid267884@gateway/web/irccloud.com/x-kyqvqvczajcsjcev)
2020-11-04 00:05:48 <dminuoso> hekkaidekapus: larou is markov chaining #nixos as well
2020-11-04 00:05:50 → machinedgod joins (~machinedg@207.253.244.210)
2020-11-04 00:06:01 <dminuoso> Are they an old acquainance?
2020-11-04 00:06:06 <hekkaidekapus> heheheheh…
2020-11-04 00:06:07 → ebutleriv joins (sid217783@gateway/web/irccloud.com/x-smeovyzgvmjpfemr)
2020-11-04 00:06:20 → ryjm joins (sid383513@gateway/web/irccloud.com/x-vjmcrbfkcwlkcexr)
2020-11-04 00:06:27 → SrPx joins (sid108780@gateway/web/irccloud.com/x-pdttujrjixkduttv)
2020-11-04 00:06:41 → eruditass joins (uid248673@gateway/web/irccloud.com/x-xzxytktqpfjekcra)
2020-11-04 00:06:47 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-04 00:06:57 <hekkaidekapus> Yeah, tomsmeding had some data that they may be fog reincarnated.
2020-11-04 00:07:30 hackage reflex-dom-retractable 0.1.5.0 - Routing and retractable back button for reflex-dom https://hackage.haskell.org/package/reflex-dom-retractable-0.1.5.0 (NCrashed)
2020-11-04 00:07:41 <dminuoso> well fog seemed like a real person
2020-11-04 00:07:56 <hekkaidekapus> hahahahaha… AI gone wrong :D
2020-11-04 00:08:27 <bqv> i used inline-c for my program
2020-11-04 00:08:29 <bqv> i'm regretting it
2020-11-04 00:08:34 <bqv> and loving it at the same time...
2020-11-04 00:09:04 <dminuoso> hekkaidekapus: Gosh, if I stare at whats been written in both #nixos and #ghc...
2020-11-04 00:09:06 <bqv> but i think i'm going to have to rip it out and use something else
2020-11-04 00:09:10 <gobbleguy> Let's keep the turing-test speculation out of this channel though
2020-11-04 00:09:15 <dminuoso> That's gotta be a markov chain generator.
2020-11-04 00:09:35 → christo joins (~chris@81.96.113.213)
2020-11-04 00:10:40 <bqv> it can't be purely markov
2020-11-04 00:10:46 <bqv> it responded to your questions accurately
2020-11-04 00:11:28 <gobbleguy> bqv: please
2020-11-04 00:11:48 <bqv> i mean in terms of grammar! not sense...
2020-11-04 00:12:02 <gobbleguy> bqv: can you read my messages?
2020-11-04 00:12:09 <bqv> oh
←Prev  Next→
Page 1 .. 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 .. 5022

All times are in UTC.