Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 614 615 616 617 618 619 620 621 622 623 624 .. 5022
— 502,152 events total
2020-10-13 14:50:50 <blip> merjin: how would that work without writing explicitly every inhabitant?
2020-10-13 14:51:04 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-13 14:51:14 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-13 14:51:14 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-13 14:51:14 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-13 14:51:15 <blip> my data has about ~100 promoted constructors
2020-10-13 14:51:22 <merijn> ocharles: And most likely no one knows the answer :p
2020-10-13 14:51:49 → chaosmasttter joins (~chaosmast@p200300c4a711b0018861c787729f3b81.dip0.t-ipconnect.de)
2020-10-13 14:51:51 <merijn> blip: eh...I'd probably recommend "not doing that", but that's not very constructive :)
2020-10-13 14:51:58 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-13 14:52:07 <merijn> blip: And now you know why the original paper was called Hasochism ;)
2020-10-13 14:52:17 × jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-10-13 14:52:22 <merijn> blip: Maybe you can do something horrific using singletons?
2020-10-13 14:52:33 <bahamas> ocharles: if I remember right, the nix builder for cabal relies on Setup.hs. but it's been a while
2020-10-13 14:52:50 <merijn> <MS Clippy>Did you mean to use Idris?</MS Clippy>
2020-10-13 14:53:15 → avdb joins (~avdb@ip-62-235-189-198.dsl.scarlet.be)
2020-10-13 14:53:22 <blip> merijn: I already contemplated screwing kind-safety and convert my constructors in a bunch of Symbol
2020-10-13 14:53:37 × Ariakenom quits (~Ariakenom@193.254.193.1) (Ping timeout: 264 seconds)
2020-10-13 14:53:52 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 272 seconds)
2020-10-13 14:54:01 <merijn> blip: Once your type-safety involves "100s of type level constructors" I don't think it passes any sensible "cost-benefit analysis"
2020-10-13 14:54:14 <merijn> Compile times will be a massive pain, as will refactoring >.>
2020-10-13 14:54:14 × ralejs quits (~ralejs@2620:10d:c093:400::5:c80) (Read error: Connection reset by peer)
2020-10-13 14:55:05 → ralejs joins (~ralejs@2620:10d:c093:400::5:c80)
2020-10-13 14:55:23 <blip> merijn: Yeah, it's quite a bit excessive
2020-10-13 14:55:35 <blip> mirijn: 1000LOC type-level https://github.com/knupfer/type-of-html/blob/master/src/Html/Type/Internal.hs
2020-10-13 14:55:57 <merijn> For *HTML*? >.>
2020-10-13 14:55:57 hackage ad 4.4.1 - Automatic Differentiation https://hackage.haskell.org/package/ad-4.4.1 (ryanglscott)
2020-10-13 14:56:08 <blip> merijn: better safe than sorry :)
2020-10-13 14:56:14 <ocharles> merijn: I feared that might be the case >.<
2020-10-13 14:56:21 <merijn> Jesus Christ
2020-10-13 14:56:23 <ocharles> bahamas: well, it will write its own if there isn't one
2020-10-13 14:56:25 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-13 14:56:35 <merijn> That module probably takes 5 million years to compile
2020-10-13 14:56:48 → ericsagnes joins (~ericsagne@2405:6580:0:5100:cc83:1c32:310e:946e)
2020-10-13 14:57:03 <blip> It's actually not bad
2020-10-13 14:57:30 <blip> But using the library gives ghc a sweat
2020-10-13 14:57:39 <merijn> I wonder why >.>
2020-10-13 14:57:58 <blip> not because of the type checker
2020-10-13 14:58:09 <blip> the simplifier goes absolutely nuts
2020-10-13 14:59:44 → oisdk joins (~oisdk@2001:bb6:3329:d100:a9e4:32d1:231e:16a5)
2020-10-13 14:59:44 <blip> Or is there a type level function which does something like type family ToSymbol x where ToSymbol Banana = "Banana"
2020-10-13 14:59:55 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-13 15:00:01 × seawalk quits (~seawalk@185.163.110.116) ()
2020-10-13 15:00:16 <blip> Like show, but with symbols
2020-10-13 15:03:49 × ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2020-10-13 15:04:29 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-13 15:04:40 → ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-10-13 15:06:09 → macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-10-13 15:08:20 → ralejs_ joins (~ralejs@2620:10d:c093:400::5:c80)
2020-10-13 15:08:21 × ralejs quits (~ralejs@2620:10d:c093:400::5:c80) (Read error: Connection reset by peer)
2020-10-13 15:09:08 → bitmapper joins (uid464869@gateway/web/irccloud.com/x-ezaxzpcxhniaxecp)
2020-10-13 15:09:23 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-10-13 15:09:46 → Neuromancer joins (~Neuromanc@unaffiliated/neuromancer)
2020-10-13 15:09:54 → hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-aprzkzvsxxeylcyp)
2020-10-13 15:10:00 <blip> Perhaps it would be possible with generics? I'm recalling vaguely that it's possible to retrieve the constructors at the type level
2020-10-13 15:10:01 × aqd quits (~aqd@87-92-145-87.rev.dnainternet.fi) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-13 15:10:12 <blip> constructor names
2020-10-13 15:10:40 <merijn> blip: Out of curiosity, have you ever read any Lovecraft novels/stories?
2020-10-13 15:11:00 <blip> merijn: No, why do you ask?
2020-10-13 15:11:08 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-13 15:11:29 <merijn> Because this path will lead you to the same fate as any of his protoganists :p
2020-10-13 15:11:56 <merijn> i.e. gibberingly mad and insane after staring into the Eldritch horrors of the universe :)
2020-10-13 15:12:08 <Taneb> merijn: sometimes that can be very fun
2020-10-13 15:12:44 <blip> Well, considering that haskell is just a little hobby of mine I can only gibber mad and insane in my free time
2020-10-13 15:13:02 <blip> At work, I'm at the receiving end (music teacher)
2020-10-13 15:13:19 → conal joins (~conal@64.71.133.70)
2020-10-13 15:13:41 <merijn> Sounds like "The Music of Erich Zann" would be an appropriate recommendation :p
2020-10-13 15:14:11 <blip> I like Dr Faustus and The Expanse
2020-10-13 15:14:25 × acidjnk_new quits (~acidjnk@p200300d0c723782835a5fda97218b164.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-13 15:14:27 × CindyLinz quits (~cindy_utf@112.121.78.20) (Ping timeout: 240 seconds)
2020-10-13 15:14:27 <blip> And mediaeval treaties about music theory
2020-10-13 15:15:46 <blip> I.E. : (3/2)^12 /= 2^7 ==> modern music sucks
2020-10-13 15:16:32 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-13 15:17:24 → supaplex1 joins (~supaplex1@185.163.110.116)
2020-10-13 15:17:26 → Bakun joins (~bakun@51.15.0.88)
2020-10-13 15:17:34 × cpressey quits (~cpressey@88.144.70.115) (Quit: WeeChat 1.9.1)
2020-10-13 15:17:43 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2020-10-13 15:19:17 <c_wraith> of course, for m, n > 0, (3/2)^m /= 2^n
2020-10-13 15:19:38 <blip> yeah, but these numbers are quite special
2020-10-13 15:19:47 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-13 15:19:49 <c_wraith> You can't have perfect fifths and perfect octaves uniformly across the scale. You have to decide what to give up.
2020-10-13 15:20:17 <blip> yes, that's the point
2020-10-13 15:20:28 <c_wraith> that's not "modern music sucks" that's math.
2020-10-13 15:20:57 → CindyLinz joins (~cindy_utf@112.121.78.20)
2020-10-13 15:21:03 <blip> Well, Pythagoras at least claims that beautiful interval are simple rationals
2020-10-13 15:21:35 <blip> so the modern fith (2^(5/12)) wouldn't please him
2020-10-13 15:21:52 <merijn> But Pythagoras is dead, so we win!
2020-10-13 15:22:26 <blip> I don't claim that I use exclusively Pythagoras taste to determine my taste
2020-10-13 15:22:45 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-13 15:22:46 <blip> But it's interesting to change ones point of view
2020-10-13 15:22:56 → ensyde joins (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-13 15:22:58 × xff0x quits (~fox@217.110.198.158) (Ping timeout: 260 seconds)
2020-10-13 15:23:04 → Ariakenom joins (~Ariakenom@h-155-4-221-50.NA.cust.bahnhof.se)
2020-10-13 15:23:12 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-10-13 15:23:24 <blip> oops: not 2^(5/12), it's 2^(7/12)
2020-10-13 15:24:24 → jil joins (~user@45.86.162.6)
2020-10-13 15:24:26 <jil> hi
2020-10-13 15:24:43 <blip> hi jil
2020-10-13 15:25:18 <blip> jil: do you prefer perfect fiths or equidistant semitones?
2020-10-13 15:25:22 <blip> :)
←Prev  Next→
Page 1 .. 614 615 616 617 618 619 620 621 622 623 624 .. 5022

All times are in UTC.