Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 808 809 810 811 812 813 814 815 816 817 818 .. 5022
— 502,152 events total
2020-10-23 00:43:24 → StoneToad joins (~StoneToad@199-167-119-186.ppp.storm.ca)
2020-10-23 00:44:03 × erolm_a quits (~erolm_a@62.18.212.252) (Ping timeout: 260 seconds)
2020-10-23 00:45:17 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-23 00:46:25 × Athas quits (athas@2a01:7c8:aaac:1cf:9a0:fad3:fdf2:2ed) (Quit: ZNC - http://znc.sourceforge.net)
2020-10-23 00:46:41 → Athas joins (athas@2a01:7c8:aaac:1cf:430f:bcbb:6418:e5a7)
2020-10-23 00:47:03 × stree quits (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-23 00:47:20 → stree joins (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-23 00:47:50 → erolm_a joins (~erolm_a@62.18.212.252)
2020-10-23 00:48:59 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-23 00:49:37 → Lord_of_Life_ joins (~Lord@46.217.218.75)
2020-10-23 00:50:28 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds)
2020-10-23 00:52:03 × cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 240 seconds)
2020-10-23 00:52:45 → thir joins (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de)
2020-10-23 00:53:04 × mud quits (~mud@unaffiliated/kadoban) (Remote host closed the connection)
2020-10-23 00:53:31 → mud joins (~mud@unaffiliated/kadoban)
2020-10-23 00:55:51 → Arthimus joins (~Arthimus@195.206.169.184)
2020-10-23 00:56:08 → christo joins (~chris@81.96.113.213)
2020-10-23 00:56:10 → cantstanya joins (~chatting@gateway/tor-sasl/cantstanya)
2020-10-23 00:56:59 × jedws quits (~jedws@101.184.148.229) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-23 00:57:23 × ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-23 00:57:27 × thir quits (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-23 00:57:55 → Kaeipi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-23 00:57:56 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-23 00:58:35 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-23 01:00:52 × christo quits (~chris@81.96.113.213) (Ping timeout: 265 seconds)
2020-10-23 01:01:23 × ericsagnes quits (~ericsagne@2405:6580:0:5100:15c:9b88:93:51eb) (Ping timeout: 246 seconds)
2020-10-23 01:04:33 → ech joins (~user@gateway/tor-sasl/ech)
2020-10-23 01:05:42 <koz_> What's the place to look for how GADTs are represented at runtime?
2020-10-23 01:06:20 <NGravity> Can haskell draw 4dimensional data ? Because i wanna fix string theory and calculate the total mass of the universe 😜😂
2020-10-23 01:06:41 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-10-23 01:06:49 × YellowOnion quits (~YellowOni@125-237-198-213-fibre.sparkbb.co.nz) (Quit: Leaving)
2020-10-23 01:08:04 × mrchampion quits (~mrchampio@216-211-57-41.dynamic.tbaytel.net) (Ping timeout: 256 seconds)
2020-10-23 01:08:47 × Lycurgus quits (~niemand@98.4.96.235) (Quit: Exeunt)
2020-10-23 01:09:37 <Kolkrabe> Yes, Haskell can do that
2020-10-23 01:09:42 <NGravity> We have 12 dimensions arrays , perhaps 15 x 14.5 billion light years dimensionals, so that is the data to extract at plank measurements👍🤣
2020-10-23 01:10:03 <NGravity> Yes yes! 😂😂😂
2020-10-23 01:11:02 → mrchampion joins (~mrchampio@216-211-57-41.dynamic.tbaytel.net)
2020-10-23 01:11:38 × taurux quits (~taurux@net-130-25-101-151.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2020-10-23 01:12:31 <c_wraith> koz_: GADTs aren't different at runtime, unless you mean using them for existentials. In which case their runtime representation is the same as any other existential at runtime.
2020-10-23 01:12:46 <c_wraith> err. existential type classes
2020-10-23 01:13:01 → jedws joins (~jedws@101.184.148.229)
2020-10-23 01:13:28 <koz_> c_wraith: Suppose you have something like 'Foo (a :: Type) where Bar :: (SomeConstraint a) => a -> Foo a'. Would this look different to 'data Foo a = Foo a'?
2020-10-23 01:13:39 <koz_> s/= Foo/= Bar/ argh
2020-10-23 01:14:05 → ericsagnes joins (~ericsagne@2405:6580:0:5100:d50b:1659:8849:617f)
2020-10-23 01:14:35 <c_wraith> I suppose that's technically not an existential, even though it's doing the same thing you'd normally do with existential type classes.
2020-10-23 01:15:16 <koz_> So would this end up looking like an existential at runtime, or not?
2020-10-23 01:15:25 <c_wraith> I mean, it'd be packaged the same way
2020-10-23 01:16:00 → taurux joins (~taurux@net-188-216-37-217.cust.vodafonedsl.it)
2020-10-23 01:16:03 <c_wraith> (SomeConstraint a) => a -> Foo a gets converted to SomeConstraintDict a -> a -> Foo a
2020-10-23 01:16:17 <koz_> Ah, so the dictionary gets carted around at runtime?
2020-10-23 01:16:21 <c_wraith> yes
2020-10-23 01:16:41 <c_wraith> Which is why it's exceptionally rare for it to be the correct design
2020-10-23 01:17:14 <koz_> OK, thanks. I thought as much, but I wanted to ask just in case.
2020-10-23 01:17:47 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-23 01:18:45 × Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 265 seconds)
2020-10-23 01:21:57 × ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-23 01:23:53 → jbox joins (~atlas@unaffiliated/jbox)
2020-10-23 01:25:50 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 272 seconds)
2020-10-23 01:27:55 ski idly ponders the difference between `foo :: forall a. C a => F a -> G a' and `foo :: (exists a. C a *> F a) -> (exists a. C a *> G a)'
2020-10-23 01:28:38 <ski> (there's also `foo :: (forall a. C a => F a) -> (forall a. C a => G a)' ..)
2020-10-23 01:28:45 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2020-10-23 01:31:24 <ski> (passing around a dictionary can be useful, sometimes. but it may possibly be more useful, if you bundle the dictionary of a typeclass instance for `a', not with a single value of type `a', but with some collection of `a'. that way, one can make use of operations which take two `a's. cf. "binary methods problem" in OO)
2020-10-23 01:33:20 → shatriff_ joins (~vitaliish@80.233.58.242)
2020-10-23 01:33:38 → p8m joins (p8m@gateway/vpn/protonvpn/p8m)
2020-10-23 01:33:44 × erolm_a quits (~erolm_a@62.18.212.252) (Ping timeout: 265 seconds)
2020-10-23 01:33:44 × stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-23 01:33:54 → stefan-__ joins (~cri@42dots.de)
2020-10-23 01:35:01 → erolm_a joins (~erolm_a@62.18.212.252)
2020-10-23 01:36:38 × shatriff quits (~vitaliish@176.52.219.10) (Ping timeout: 265 seconds)
2020-10-23 01:37:16 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-23 01:38:20 <jbox> today is my first day of Haskell! I decided to try out xmonad and I'm loving it
2020-10-23 01:39:09 → falafel joins (~falafel@71-34-132-121.clsp.qwest.net)
2020-10-23 01:39:26 <ghoulguy> hi jbox, neat that it's working out
2020-10-23 01:41:07 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-23 01:41:55 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2020-10-23 01:42:38 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-23 01:44:10 <ski> jbox : feel free to ask, if you have any questions
2020-10-23 01:45:16 <jbox> ski: thank you ^-^
2020-10-23 01:45:43 <jbox> I've never written in a functional language before (aside from Nix and the "functional" aspects of Rust), so I'm learning a lot :D
2020-10-23 01:45:47 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 258 seconds)
2020-10-23 01:47:25 → ma489 joins (~textual@cpe-74-64-34-68.nyc.res.rr.com)
2020-10-23 01:49:04 → polyrain joins (~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a)
2020-10-23 01:49:29 ← ma489 parts (~textual@cpe-74-64-34-68.nyc.res.rr.com) ()
2020-10-23 01:51:29 → reallymemorable joins (~quassel@pool-100-2-25-229.nycmny.fios.verizon.net)
2020-10-23 01:51:34 → christo joins (~chris@81.96.113.213)
2020-10-23 01:52:43 × ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-23 01:53:07 → ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-23 01:54:56 × xff0x quits (~fox@2001:1a81:52d2:ca00:c409:1d88:453d:35d6) (Ping timeout: 246 seconds)
2020-10-23 01:55:50 → thiross joins (~user@161.129.40.8)
2020-10-23 01:55:55 × christo quits (~chris@81.96.113.213) (Ping timeout: 260 seconds)
2020-10-23 01:56:48 → xff0x joins (~fox@2001:1a81:530a:3a00:c1fd:49f4:456d:354f)
2020-10-23 01:58:01 × ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 272 seconds)
2020-10-23 01:58:06 → notnatebtw joins (~nate@110.138.18.157)
2020-10-23 01:59:54 → christo joins (~chris@81.96.113.213)
2020-10-23 02:00:48 → ech joins (~user@gateway/tor-sasl/ech)
2020-10-23 02:01:00 × avoandmayo quits (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-23 02:01:36 × polyrain quits (~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-23 02:02:43 → avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz)
2020-10-23 02:05:52 × Iwawa quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Quit: Leaving)
2020-10-23 02:05:57 × jedws quits (~jedws@101.184.148.229) (Quit: My MacBook has gone to sleep. ZZZzzz…)
←Prev  Next→
Page 1 .. 808 809 810 811 812 813 814 815 816 817 818 .. 5022

All times are in UTC.