Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 425 426 427 428 429 430 431 432 433 434 435 .. 5022
— 502,152 events total
2020-10-05 12:39:49 → oisdk joins (~oisdk@2001:bb6:3329:d100:1dc8:afe3:52e4:27ba)
2020-10-05 12:45:43 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 244 seconds)
2020-10-05 12:47:12 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-05 12:48:10 → chaosmasttter joins (~chaosmast@p200300c4a73b2e0100f3c5a701cd6e56.dip0.t-ipconnect.de)
2020-10-05 12:50:32 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-05 12:50:46 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-05 12:50:46 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-05 12:50:46 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-05 12:51:56 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-10-05 12:54:19 → machinedgod joins (~machinedg@d67-193-126-196.home3.cgocable.net)
2020-10-05 12:56:34 × Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 244 seconds)
2020-10-05 12:58:38 × machinedgod quits (~machinedg@d67-193-126-196.home3.cgocable.net) (Ping timeout: 244 seconds)
2020-10-05 12:59:24 → urodna joins (~urodna@unaffiliated/urodna)
2020-10-05 13:00:16 → John20 joins (~John@82.46.59.122)
2020-10-05 13:00:23 → lpy joins (~lpyfist@unaffiliated/elysian)
2020-10-05 13:01:57 hackage haskell-lsp-types 0.23.0.0 - Haskell library for the Microsoft Language Server Protocol, data types https://hackage.haskell.org/package/haskell-lsp-types-0.23.0.0 (luke_)
2020-10-05 13:02:57 hackage haskell-lsp 0.23.0.0 - Haskell library for the Microsoft Language Server Protocol https://hackage.haskell.org/package/haskell-lsp-0.23.0.0 (luke_)
2020-10-05 13:04:35 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-05 13:05:17 × p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-10-05 13:05:39 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:68ef:3717:d255:fea6)
2020-10-05 13:06:49 → pfurla joins (~pfurla@104.192.219.186)
2020-10-05 13:08:29 × elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Quit: WeeChat 2.9)
2020-10-05 13:12:06 × klardotsh quits (~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net) (Ping timeout: 258 seconds)
2020-10-05 13:17:28 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 258 seconds)
2020-10-05 13:17:55 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-05 13:20:42 → Guest_18 joins (4f2cdbb5@host-79-44-219-181.retail.telecomitalia.it)
2020-10-05 13:21:46 × Guest_18 quits (4f2cdbb5@host-79-44-219-181.retail.telecomitalia.it) (Remote host closed the connection)
2020-10-05 13:22:40 × polyrain quits (~polyrain@2001:8003:e501:6901:a41a:145a:3fce:c107) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-05 13:25:13 × kupi quits (uid212005@gateway/web/irccloud.com/x-yncctbtvpcjbjnzz) (Quit: Connection closed for inactivity)
2020-10-05 13:30:20 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-05 13:31:11 <gentauro> is there a way to find the code for `tuples` with `hoogle`? (tuple as in: `( 42, 'a')`
2020-10-05 13:31:21 → mirrorbird joins (~psutcliff@2a00:801:2d5:9d73:ff00:6553:d451:a276)
2020-10-05 13:32:37 → Tops2 joins (~Tobias@dyndsl-095-033-017-021.ewe-ip-backbone.de)
2020-10-05 13:35:19 → parisienne___ joins (sid383587@gateway/web/irccloud.com/x-ocvqtewkhvwerdzi)
2020-10-05 13:36:06 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:68ef:3717:d255:fea6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-05 13:36:58 <dminuoso> code for tuples?
2020-10-05 13:37:14 <dminuoso> What exactly are you looking for?
2020-10-05 13:38:58 → Tops21 joins (~Tobias@dyndsl-095-033-017-021.ewe-ip-backbone.de)
2020-10-05 13:39:25 × ericsagnes quits (~ericsagne@2405:6580:0:5100:b431:d8c5:c1de:6899) (Ping timeout: 240 seconds)
2020-10-05 13:40:00 × parisienne___ quits (sid383587@gateway/web/irccloud.com/x-ocvqtewkhvwerdzi) (Client Quit)
2020-10-05 13:40:04 → mpereira joins (~mpereira@2a02:810d:f40:d96:1c35:7f2e:59ff:953)
2020-10-05 13:41:04 → bitmapper joins (uid464869@gateway/web/irccloud.com/x-umfptdbczzisdhag)
2020-10-05 13:41:36 → invaser joins (~Thunderbi@31.148.23.125)
2020-10-05 13:42:02 × Tops2 quits (~Tobias@dyndsl-095-033-017-021.ewe-ip-backbone.de) (Ping timeout: 244 seconds)
2020-10-05 13:42:27 → frdg joins (60e94035@pool-96-233-64-53.bstnma.fios.verizon.net)
2020-10-05 13:45:09 <frdg> `equal xs ys = subset xs ys && subset ys xs`. Is there a general way to apply this function in both directions instead of explicitly calling subset twice?
2020-10-05 13:46:42 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-05 13:46:53 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-05 13:46:53 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-05 13:46:53 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-05 13:47:52 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-05 13:47:57 <dminuoso> Nothing as concise.
2020-10-05 13:48:45 × drbean quits (~drbean@TC210-63-209-192.static.apol.com.tw) (Ping timeout: 244 seconds)
2020-10-05 13:49:33 <frdg> ok
2020-10-05 13:49:43 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:bd24:9726:f60a:ba09)
2020-10-05 13:51:26 <dminuoso> frdg: There's of course the option to define some `symmEq p x y = p x y && p y z`, which can be handy if you define a bunch of functions like equal.
2020-10-05 13:51:47 → ericsagnes joins (~ericsagne@2405:6580:0:5100:953c:5f38:35fd:b3fd)
2020-10-05 13:51:57 <dminuoso> (Or well, call it symm rather than symmEq, but you get the idea)
2020-10-05 13:52:16 <dminuoso> But if this is just a one-off, I'd just write it like you put it
2020-10-05 13:52:36 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-05 13:54:29 <frdg> yes I went to write something like symm, but I see why its kind of just extra confusion.
2020-10-05 13:55:17 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-10-05 13:56:18 <gentauro> dminuoso: just the place in GHC where `tuples` are handled :)
2020-10-05 13:56:26 → GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-05 13:56:26 × GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-05 13:56:26 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-05 13:56:53 <gentauro> like I wrote: `( 42, 'a')` but also `( 42, 'a', "b")`
2020-10-05 13:57:07 <dminuoso> What do you mean by "handled" exactly?
2020-10-05 13:57:08 × idhugo quits (~idhugo@users-1190.st.net.au.dk) (Ping timeout: 256 seconds)
2020-10-05 13:57:14 <dminuoso> Do you want to know how tuples are defined in GHC?
2020-10-05 13:57:23 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 265 seconds)
2020-10-05 13:57:27 <dminuoso> https://hackage.haskell.org/package/ghc-prim-0.6.1/docs/src/GHC.Tuple.html#%28%2C%29
2020-10-05 13:57:32 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-05 13:57:49 <dminuoso> (Im not sure whether that code is actually used, or whether that's just for haddock assistence)
2020-10-05 13:57:52 <[exa]> gentauro: there's some desugaring to (,) (,,) (,,,) ..., and the data is AFAIK defined normally using `data`
2020-10-05 13:58:14 → Falkeo joins (5631fd8b@ip-86-49-253-139.net.upcbroadband.cz)
2020-10-05 13:58:19 <dminuoso> The import at the top of the module suggests that is the real definition
2020-10-05 13:59:17 → jiribenes joins (jbjiribene@gateway/shell/matrix.org/x-vhnsqdmfgjajakfv)
2020-10-05 13:59:41 <[exa]> btw why is everyone using a b c d e f... for tuple variable names instead of a1 a2 a3 (which are noticeably better for determining how long the definition actually is) ?
2020-10-05 14:00:18 <dminuoso> Half as many characters?
2020-10-05 14:00:37 <dminuoso> Also, there's a common theme of enumerating letters
2020-10-05 14:00:42 → parisienne joins (sid383587@gateway/web/irccloud.com/x-tqyeuopclcyqmelh)
2020-10-05 14:00:44 <dminuoso> type Lens s t a b = ...
2020-10-05 14:00:59 <dminuoso> That also pervades much of mathematics
2020-10-05 14:01:47 <[exa]> I still kinda hope that no one is going to use say 14-tuple, so won't need to remember that it should end with `n`
2020-10-05 14:02:37 <[exa]> but seriously for mechanical code like this I find the usage of a b c d ... followed by a1 b1 c1 ... well counterintuitive. :]
2020-10-05 14:02:45 <dminuoso> Im quite confident large tuples are used amongst postgresql-simple users.
2020-10-05 14:03:12 <dminuoso> query conn qry (a, b, c, d, e) ...
2020-10-05 14:04:05 <[exa]> jiribenes: o/
2020-10-05 14:04:14 → strugglingming joins (sid10571@gateway/web/irccloud.com/x-pwoyzccowxbiqivf)
2020-10-05 14:04:37 × alp quits (~alp@88.126.45.36) (Ping timeout: 258 seconds)
2020-10-05 14:04:49 <[exa]> hm yes, relations, forgot about them again.
2020-10-05 14:05:04 <gentauro> 15:57 < dminuoso> Do you want to know how tuples are defined in GHC?
2020-10-05 14:05:04 <gentauro> yes
2020-10-05 14:05:10 <gentauro> 15:57 < dminuoso> https://hackage.haskell.org/package/ghc-prim-0.6.1/docs/src/GHC.Tuple.html#%28%2C%29
2020-10-05 14:05:16 <gentauro> I didn't expect this …
2020-10-05 14:05:53 <[exa]> straightforward right? :D
2020-10-05 14:06:47 <dminuoso> Nobody expects the spanish inquisition.
2020-10-05 14:07:12 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-wunoznsilndrshkm)
2020-10-05 14:07:39 <gentauro> what would it take to convert `GHC.Tuple` to `GHC.TupleWithLabel` => `GHC.AnonymousRecord`?
←Prev  Next→
Page 1 .. 425 426 427 428 429 430 431 432 433 434 435 .. 5022

All times are in UTC.