Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3522 3523 3524 3525 3526 3527 3528 3529 3530 3531 3532 .. 5022
— 502,152 events total
2021-02-27 19:35:37 <fresheyeball> I figured typeable might do this
2021-02-27 19:36:38 × nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 264 seconds)
2021-02-27 19:37:27 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:411:b35c:bf3:8b48) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-27 19:37:55 × bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 276 seconds)
2021-02-27 19:37:58 <EvanR> instanceable
2021-02-27 19:38:16 <fresheyeball> ??
2021-02-27 19:38:29 <EvanR> might be what you would call this feature that doesn't exist
2021-02-27 19:39:33 <fresheyeball> I am pretty sure I did this before
2021-02-27 19:39:56 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds)
2021-02-27 19:40:07 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:411:b35c:bf3:8b48)
2021-02-27 19:40:38 <fresheyeball> oh wait I remember
2021-02-27 19:40:44 → abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-02-27 19:40:47 <fresheyeball> yeah I did do this before, but it was horrible beyond reason
2021-02-27 19:41:06 <fresheyeball> https://hackage.haskell.org/package/exinst-0.7/docs/Exinst.html#t:Dict
2021-02-27 19:41:10 <fresheyeball> this is it
2021-02-27 19:42:53 <ski> fresheyeball : pretty sure it would violate parametricity
2021-02-27 19:43:05 <fresheyeball> nah, it really is doable
2021-02-27 19:43:11 <fresheyeball> but you need dependant pairs
2021-02-27 19:43:12 <ski> (`exists a. a' ought to be isomorphic to `()')
2021-02-27 19:43:22 <dolio> What you said is not possible.
2021-02-27 19:43:50 <dolio> Like, adding Typeable is different than your original example.
2021-02-27 19:43:57 <ski> if you ask about doing something slightly different, which may also apply as a solution to whatever you're doing, that might be possible
2021-02-27 19:44:24 <fresheyeball> if you have a pair where one part gives you the type, and the other part is a member, you can hookup things just so that pattern matching on the singleton, gives you proof of the constraint
2021-02-27 19:44:33 <fresheyeball> but I don't want to do that
2021-02-27 19:44:35 <ski> fresheyeball : in which way did you intend to use dependent pairs (and what exactly do you mean by that) ?
2021-02-27 19:44:38 <fresheyeball> so I am going to just take the no
2021-02-27 19:44:44 lisq_ is now known as lisq
2021-02-27 19:45:18 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:411:b35c:bf3:8b48) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-27 19:45:24 <dolio> Also, anything you do won't be 'runtime lookup of a typeclass instance' per se.
2021-02-27 19:45:27 <fresheyeball> ski: If I changed my code to existentialize in a singleton, as well as my term, it would be possible for me to lookup an arbitrary typeclass instance
2021-02-27 19:45:31 <fresheyeball> at runtime
2021-02-27 19:45:58 <fresheyeball> it's a runtime lookup because we don't know the type at compile time
2021-02-27 19:46:12 <fresheyeball> we have to branch at runtime because of the singleton
2021-02-27 19:46:37 <ski> it might just as well just be a run-time dispatch to a type class dictionary
2021-02-27 19:46:46 <monochrom> Typeable supports asking "is it an Int?" but not "is it an Eq?".
2021-02-27 19:47:01 <ski> (rather than statically, at compile-time, knowing which dictionary you're going to use)
2021-02-27 19:47:06 <fresheyeball> right typeable is not enough
2021-02-27 19:47:24 <nshepperd> technically that would be runtime type matching, following by returning the instance for that type looked up at compile time
2021-02-27 19:47:26 <ski> if you happen to know `Eq Int' already, you get the instance, though
2021-02-27 19:47:34 <fresheyeball> if my code had lots of existential stuff, I would use that exinst library to help me answer questions like "is it an Eq?"
2021-02-27 19:47:50 <monochrom> This is ample opportunity to do an "is it a pigeon?" meme. >:)
2021-02-27 19:47:54 <fresheyeball> I remember hooking this up being quite tricky even with exinst
2021-02-27 19:48:57 <fresheyeball> but for the record it really is doable
2021-02-27 19:49:08 <fresheyeball> I just forgot how, and now that I recall, I will not be doing this
2021-02-27 19:49:57 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:411:b35c:bf3:8b48)
2021-02-27 19:50:36 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:411:b35c:bf3:8b48) (Client Quit)
2021-02-27 19:50:51 → rayyyy joins (~nanoz@gateway/tor-sasl/nanoz)
2021-02-27 19:51:30 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:411:b35c:bf3:8b48)
2021-02-27 19:54:03 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-02-27 19:55:53 × finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-02-27 19:58:31 → Tario joins (~Tario@201.192.165.173)
2021-02-27 19:59:24 × kam1 quits (~kam1@5.125.126.175) (Ping timeout: 265 seconds)
2021-02-27 19:59:46 → hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-ssveckbgtfjmjehe)
2021-02-27 19:59:53 → finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-02-27 20:05:12 × petersen quits (~petersen@redhat/juhp) (Ping timeout: 265 seconds)
2021-02-27 20:07:12 → petersen joins (~petersen@redhat/juhp)
2021-02-27 20:10:01 × jacks2 quits (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Ping timeout))
2021-02-27 20:15:41 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:411:b35c:bf3:8b48) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-27 20:21:05 × psutcliffe quits (~psutcliff@2a00:801:3f2:4b56:e93e:1663:ff0c:6c42) (Remote host closed the connection)
2021-02-27 20:21:26 → psutcliffe joins (~psutcliff@2a00:801:3f2:4b56:e93e:1663:ff0c:6c42)
2021-02-27 20:21:43 → fendor_ joins (~fendor@178.165.128.181.wireless.dyn.drei.com)
2021-02-27 20:23:34 → son0p_ joins (~son0p@181.136.122.143)
2021-02-27 20:24:27 → crobbins_ joins (~crobbins@2601:2c1:200:ec50:5155:efb:dbf7:71bd)
2021-02-27 20:24:48 → rndBob2 joins (49ac8a24@c-73-172-138-36.hsd1.de.comcast.net)
2021-02-27 20:25:01 × fendor quits (~fendor@91.141.0.74.wireless.dyn.drei.com) (Ping timeout: 265 seconds)
2021-02-27 20:25:22 × geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-02-27 20:25:25 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:411:b35c:bf3:8b48)
2021-02-27 20:27:18 × crobbins quits (~crobbins@2601:2c1:200:ec50:6092:acc2:26a1:f490) (Ping timeout: 260 seconds)
2021-02-27 20:27:22 × fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-02-27 20:27:26 × son0p quits (~son0p@181.136.122.143) (Ping timeout: 265 seconds)
2021-02-27 20:28:37 × elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 276 seconds)
2021-02-27 20:29:30 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:411:b35c:bf3:8b48) (Client Quit)
2021-02-27 20:29:31 × rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds)
2021-02-27 20:31:24 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:411:b35c:bf3:8b48)
2021-02-27 20:31:29 <redmp_> is there a way to get the ip addr of a host with the nixops "nodes" input?
2021-02-27 20:31:58 <redmp_> sorry, wrong channel
2021-02-27 20:37:06 × heatsink quits (~heatsink@2600:1700:bef1:5e10:44cd:7ec7:332d:f0ab) (Remote host closed the connection)
2021-02-27 20:38:39 → geekosaur joins (82650c7a@130.101.12.122)
2021-02-27 20:39:16 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-02-27 20:39:58 × rndBob2 quits (49ac8a24@c-73-172-138-36.hsd1.de.comcast.net) (Quit: Connection closed)
2021-02-27 20:40:10 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-02-27 20:42:46 × ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2021-02-27 20:42:57 → vicfred joins (vicfred@gateway/vpn/mullvad/vicfred)
2021-02-27 20:44:23 → kritzefitz joins (~kritzefit@212.86.56.80)
2021-02-27 20:45:18 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-02-27 20:45:28 → usr25 joins (~J@50.red-83-46-59.dynamicip.rima-tde.net)
2021-02-27 20:46:49 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-02-27 20:47:38 × gehmehgeh_ quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2021-02-27 20:48:07 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 276 seconds)
2021-02-27 20:49:03 → gehmehgeh_ joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-02-27 20:51:35 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-02-27 20:52:26 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2021-02-27 20:52:30 × puke quits (~vroom@217.138.252.56) (Ping timeout: 272 seconds)
2021-02-27 20:53:16 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-27 20:53:25 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-02-27 20:55:01 × usr25 quits (~J@50.red-83-46-59.dynamicip.rima-tde.net) (Quit: Bye)
2021-02-27 20:58:22 → elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-02-27 20:58:31 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 276 seconds)
2021-02-27 20:58:44 × catt quits (~r@31.127.31.99) (Remote host closed the connection)
2021-02-27 21:00:21 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 3522 3523 3524 3525 3526 3527 3528 3529 3530 3531 3532 .. 5022

All times are in UTC.