Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 636 637 638 639 640 641 642 643 644 645 646 .. 5022
— 502,152 events total
2020-10-14 18:10:24 <monochrom> I don't know whether it's true, and I don't know why. But may I tell you an Aesop fable?
2020-10-14 18:10:25 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2020-10-14 18:10:40 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-10-14 18:10:59 <monochrom> A group of mice organized a conference to discuss how to deal with the threat from the cat.
2020-10-14 18:11:23 <phadej> a/wg 32
2020-10-14 18:11:29 <phadej> err
2020-10-14 18:11:34 <monochrom> They all agreed that a bell needed to be put on the cat so the mice could get early warning.
2020-10-14 18:11:47 <monochrom> They also agreed that someone else should do it.
2020-10-14 18:11:56 × nados quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-14 18:12:29 → nados joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-14 18:14:29 <nihilazo> I don't understand compiler-fu enough to add something like that to ghc, if that's what you're suggesting
2020-10-14 18:14:47 <monochrom> No.
2020-10-14 18:15:17 × oisdk quits (~oisdk@2001:bb6:3329:d100:2427:ffab:82d7:d76a) (Quit: oisdk)
2020-10-14 18:15:25 <ghoulguy> nihilazo: Maybe you're the cat in this story? \o/
2020-10-14 18:15:42 ghoulguy puts a bell on nihilazo just in case.
2020-10-14 18:15:45 <nihilazo> I don't really understand this story
2020-10-14 18:15:46 × Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-10-14 18:16:02 <monochrom> But instead of looking for a technical reason why something isn't done, it is usually much simpler to look for an economic reason.
2020-10-14 18:16:31 <ghoulguy> I think the first question is just "is this the case?"
2020-10-14 18:17:24 <davean> nihilazo: why do you think GHC can only cross compile its self?
2020-10-14 18:18:04 <nihilazo> I remember being told that before, although it may be totally untrue
2020-10-14 18:18:06 × John20 quits (~John@82.46.59.122) (Read error: Connection reset by peer)
2020-10-14 18:18:28 <dsal> I use hugs to run ghc.
2020-10-14 18:18:41 <davean> GHC is just a Haskell program
2020-10-14 18:18:57 <davean> You need things like iserv to cross compile if TH is involved
2020-10-14 18:19:09 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-14 18:20:45 <nihilazo> ah, it seems that you can build ghc to work as a cross compiler
2020-10-14 18:21:00 <nihilazo> why did I not know this before
2020-10-14 18:21:55 × stree quits (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-14 18:22:12 → stree joins (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-14 18:23:55 → ensyde joins (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 18:24:08 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-14 18:24:36 <nihilazo> seems like it's a bit of a pain though
2020-10-14 18:24:38 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-14 18:26:02 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-14 18:26:19 → geekosaur joins (82659a0e@host154-014.vpn.uakron.edu)
2020-10-14 18:28:39 × ensyde quits (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 272 seconds)
2020-10-14 18:29:12 × coot quits (~coot@37.30.50.102.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-14 18:29:17 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-14 18:29:53 × kamek quits (~kamek@modemcable169.17-58-74.mc.videotron.ca) (Quit: WeeChat 2.9)
2020-10-14 18:31:26 → zwarag joins (506e6233@80-110-98-51.cgn.dynamic.surfer.at)
2020-10-14 18:31:46 <davean> cross compilation always is, and I'm not sure why other than for GHC you'd want to do it.
2020-10-14 18:32:04 → Ariakenom_ joins (~Ariakenom@h-82-196-111-216.NA.cust.bahnhof.se)
2020-10-14 18:33:46 → conal joins (~conal@64.71.133.70)
2020-10-14 18:34:14 <geekosaur> gcc can only cross-compile because all the real work is done by separate programs behind the "gcc" wrapper
2020-10-14 18:34:49 <geekosaur> each group of separate programs is specific to a host and target
2020-10-14 18:35:19 → larou joins (5201f2b7@gateway/web/cgi-irc/kiwiirc.com/ip.82.1.242.183)
2020-10-14 18:35:22 <geekosaur> (which is also how the gcc wrapper can also compile c++, ada, etc. if you have those backends installed)
2020-10-14 18:35:36 × Ariakenom quits (~Ariakenom@h-82-196-111-216.NA.cust.bahnhof.se) (Ping timeout: 256 seconds)
2020-10-14 18:36:58 <zwarag> I'm having the troubles to understand how exactly is " f <= n `div` 2 " as seen in this SO answer interpreded ? f<=n is a Bool right? and is this casted automatically to 0 or 1 to be "{0 or 1} `div` 2"? https://stackoverflow.com/questions/24982800/haskell-factors-of-a-natural-number/24983236#24983236
2020-10-14 18:37:30 <monochrom> f <= (n `div` 2)
2020-10-14 18:37:42 <zwarag> merci
2020-10-14 18:39:03 <merijn> zwarag: There are no auto-casts in haskell, ever
2020-10-14 18:39:33 <merijn> zwarag: So logically it'd either be a type error or you got the bracketing wrong. You can figure out the bracketing by asking ghci for the fixity of operators
2020-10-14 18:39:44 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-14 18:39:47 <merijn> % :i (<=)
2020-10-14 18:39:48 <yahb> merijn: type Ord :: * -> Constraint; class Eq a => Ord a where; ...; (<=) :: a -> a -> Bool; ...; -- Defined in `GHC.Classes'; infix 4 <=
2020-10-14 18:39:51 <merijn> % :i `div`
2020-10-14 18:39:52 <yahb> merijn: type Integral :: * -> Constraint; class (Real a, Enum a) => Integral a where; ...; div :: a -> a -> a; ...; -- Defined in `GHC.Real'; infixl 7 `div`
2020-10-14 18:40:11 <merijn> So <= has fixity 4 and `div` has 7, meaning `div` binds more tightly
2020-10-14 18:40:33 × alp quits (~alp@2a01:e0a:58b:4920:a521:3fa3:56aa:9ff2) (Remote host closed the connection)
2020-10-14 18:40:56 → alp joins (~alp@2a01:e0a:58b:4920:e172:5b59:8b73:71e1)
2020-10-14 18:44:47 → ensyde joins (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 18:45:31 × hseg quits (~gesh@185.120.126.55) (Quit: WeeChat 2.9)
2020-10-14 18:46:51 → raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-14 18:49:39 × p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-10-14 18:49:42 × ensyde quits (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 260 seconds)
2020-10-14 18:49:56 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-14 18:53:28 hackage pandoc 2.11.0.1 - Conversion between markup formats https://hackage.haskell.org/package/pandoc-2.11.0.1 (JohnMacFarlane)
2020-10-14 18:54:04 → tobiastom1 joins (~tobiastom@185.104.184.43)
2020-10-14 18:54:38 → fendor joins (~fendor@212095005160.public.telering.at)
2020-10-14 18:55:12 → kritzefitz joins (~kritzefit@212.86.56.80)
2020-10-14 18:56:00 × noumenon quits (~daemon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
2020-10-14 18:56:16 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:cce0:7bf3:3908:d5aa) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-14 18:59:20 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-14 18:59:28 → mirrorbird joins (~psutcliff@m83-187-163-53.cust.tele2.se)
2020-10-14 18:59:30 × LKoen quits (~LKoen@81.255.219.130) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-10-14 18:59:43 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:48a4:d3e1:21a1:6eb4)
2020-10-14 19:00:22 → ensyde joins (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 19:01:55 → ashbreeze joins (~mark@72-161-49-127.dyn.centurytel.net)
2020-10-14 19:03:34 → berberman_ joins (~berberman@unaffiliated/berberman)
2020-10-14 19:03:42 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2020-10-14 19:03:53 → is_null joins (~jpic@pdpc/supporter/professional/is-null)
2020-10-14 19:04:11 × ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ...zzzZZZ)
2020-10-14 19:04:25 × _ashbreeze_ quits (~mark@72-161-51-235.dyn.centurytel.net) (Ping timeout: 264 seconds)
2020-10-14 19:04:27 → GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-14 19:04:27 × GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-14 19:04:27 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-14 19:04:55 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 246 seconds)
2020-10-14 19:05:16 → oisdk joins (~oisdk@2001:bb6:3329:d100:2427:ffab:82d7:d76a)
2020-10-14 19:06:23 → leungbk joins (~user@2605:e000:1315:706:bdc5:eb84:c573:1c44)
2020-10-14 19:07:54 → knupfer joins (~Thunderbi@200116b82c71ce0084a424b0d7d6b42d.dip.versatel-1u1.de)
2020-10-14 19:09:23 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2020-10-14 19:12:16 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2020-10-14 19:12:31 → Tops2 joins (~Tobias@dyndsl-095-033-019-173.ewe-ip-backbone.de)
2020-10-14 19:13:05 × is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 240 seconds)
2020-10-14 19:14:53 × fendor quits (~fendor@212095005160.public.telering.at) (Quit: Leaving)
2020-10-14 19:15:32 → _ashbreeze_ joins (~mark@72-161-49-127.dyn.centurytel.net)
2020-10-14 19:15:58 → Gerula joins (~Gerula@unaffiliated/gerula)
2020-10-14 19:16:23 × ashbreeze quits (~mark@72-161-49-127.dyn.centurytel.net) (Ping timeout: 258 seconds)
←Prev  Next→
Page 1 .. 636 637 638 639 640 641 642 643 644 645 646 .. 5022

All times are in UTC.