Logs on 2023-11-01 (liberachat/#haskell)
| 00:01:07 | → | applecat joins (~Srain@116.204.144.69) |
| 00:01:30 | <Axeman6> | Sorry, I wish it was better than that; it's been a while since I did any Haddock, but I do remember that problem being a massive pain |
| 00:01:41 | <nyc> | Axeman6: The thought is by post-processing output. |
| 00:03:55 | × | ph88 quits (~ph88@2a02:8109:9e26:c800:87d5:3b0a:6da9:2216) (Ping timeout: 264 seconds) |
| 00:06:04 | × | falafel quits (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 248 seconds) |
| 00:10:18 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 00:12:13 | × | pixelmonk quits (~pixelmonk@50.205.76.66) (Ping timeout: 252 seconds) |
| 00:15:55 | → | dtman34_ joins (~dtman34@2601:447:d000:93c9:c0c7:16d5:6cb5:4382) |
| 00:15:55 | × | dtman34 quits (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 00:17:31 | × | hgolden quits (~hgolden@2603-8000-9d00-3ed1-a6e3-3ba3-0107-8cff.res6.spectrum.com) (Remote host closed the connection) |
| 00:17:47 | → | hgolden joins (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) |
| 00:19:09 | × | Ram-Z quits (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 258 seconds) |
| 00:20:27 | hololeap | is now known as holoween |
| 00:24:16 | → | Ram-Z joins (~Ram-Z@li1814-254.members.linode.com) |
| 00:24:40 | → | y04nn joins (~username@2a03:1b20:8:f011::e10d) |
| 00:24:46 | × | Ram-Z quits (~Ram-Z@li1814-254.members.linode.com) (Remote host closed the connection) |
| 00:24:59 | → | pixelmonk joins (~pixelmonk@50.205.76.66) |
| 00:26:21 | → | kraftwerk28 joins (~kraftwerk@164.92.219.160) |
| 00:27:25 | <monodoom> | holoween: haha |
| 00:27:28 | × | wroathe quits (~wroathe@user/wroathe) (Quit: leaving) |
| 00:27:40 | → | Ram-Z joins (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) |
| 00:27:42 | <holoween> | :p |
| 00:27:48 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 00:27:48 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 00:27:48 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:29:14 | × | htor quits (~htor@84.208.240.181) (Quit: zzz) |
| 00:34:49 | → | ph88 joins (~ph88@ip5b40e272.dynamic.kabel-deutschland.de) |
| 00:39:01 | <Axeman6> | =) |
| 00:40:05 | → | thegman joins (~Srain@2603-9001-3700-621e-0000-0000-0000-1181.inf6.spectrum.com) |
| 00:40:25 | <thegman> | i had to go afk for a while and i dont know how to get chat history back so i have no idea what was said since i last said something |
| 00:40:58 | <geekosaur> | there's a channel log in the /topic |
| 00:41:39 | <ddellacosta> | thegman check it out https://ircbrowse.tomsmeding.com/browse/lchaskell |
| 00:42:37 | <ddellacosta> | while I'm here, I just want to say that I love Halloween |
| 00:57:45 | × | thegman quits (~Srain@2603-9001-3700-621e-0000-0000-0000-1181.inf6.spectrum.com) (Remote host closed the connection) |
| 01:06:19 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 01:06:19 | × | forell quits (~forell@user/forell) (Ping timeout: 264 seconds) |
| 01:06:50 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 01:07:43 | Lord_of_Life_ | is now known as Lord_of_Life |
| 01:07:50 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 258 seconds) |
| 01:08:24 | → | thegman joins (~Srain@072-239-207-086.res.spectrum.com) |
| 01:16:08 | → | forell joins (~forell@user/forell) |
| 01:18:46 | × | applecat quits (~Srain@116.204.144.69) (Ping timeout: 260 seconds) |
| 01:21:24 | × | hgolden quits (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) (Remote host closed the connection) |
| 01:21:43 | → | hgolden joins (~hgolden@2603-8000-9d00-3ed1-a6e3-3ba3-0107-8cff.res6.spectrum.com) |
| 01:23:24 | × | hgolden quits (~hgolden@2603-8000-9d00-3ed1-a6e3-3ba3-0107-8cff.res6.spectrum.com) (Remote host closed the connection) |
| 01:23:43 | → | hgolden joins (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) |
| 01:24:11 | <Axeman6> | jackdk: /nick jack-o-lanterndk, haven't been able to think of a better one for you :P (even if Halloween was yesterday for us) |
| 01:25:51 | × | mud quits (~mud@user/kadoban) (Quit: quit) |
| 01:29:43 | × | forell quits (~forell@user/forell) (Ping timeout: 264 seconds) |
| 01:32:39 | → | forell joins (~forell@user/forell) |
| 01:33:20 | jackdk | is now known as jack-o-lanterndk |
| 01:33:36 | <jack-o-lanterndk> | Axeman6: thanks, I was struggling to come up with anything at all |
| 01:34:11 | geekosaur | already is. raaaaar |
| 01:35:11 | <EvanR> | other than phantom types is there anything particularly haskell related to support the theme |
| 01:36:12 | <monodoom> | monads? >:) |
| 01:36:48 | <geekosaur> | apparently types are scary 😛 |
| 01:37:17 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 01:37:23 | <EvanR> | LANGUAGE FRankNTypes should be a seasonable extension |
| 01:37:32 | <monodoom> | linear lens monad = LLM |
| 01:37:39 | <EvanR> | seasonal |
| 01:37:53 | <monodoom> | Oh hahaha FRankNTypes is a good one! |
| 01:39:26 | <jack-o-lanterndk> | 'tis the season to re-read https://kataskeue.com/gdp.pdf |
| 01:42:17 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 01:42:32 | <EvanR> | oh nice |
| 01:42:39 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:44:33 | × | forell quits (~forell@user/forell) (Ping timeout: 260 seconds) |
| 01:44:40 | <Axeman6> | EvanR: /nick EllR, assuming Evan is just cockny for Heaven =D |
| 01:44:41 | → | forell_ joins (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
| 01:45:34 | <Axeman6> | Ha, FRankNTypes is excellent XD |
| 01:50:49 | → | vglfr joins (~vglfr@88.155.154.204) |
| 01:53:25 | × | xff0x quits (~xff0x@ai101218.d.east.v6connect.net) (Ping timeout: 252 seconds) |
| 01:55:03 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 01:59:48 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 02:00:35 | × | vglfr quits (~vglfr@88.155.154.204) (Read error: Connection reset by peer) |
| 02:29:35 | × | otto_s quits (~user@p5de2f514.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 02:31:17 | → | otto_s joins (~user@p5b044594.dip0.t-ipconnect.de) |
| 02:37:56 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:c96f:d7b1:4387:b17b) (Remote host closed the connection) |
| 02:38:13 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:c96f:d7b1:4387:b17b) |
| 02:39:43 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 02:44:04 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:44:43 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 02:44:43 | × | ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 02:46:29 | → | ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 02:52:25 | → | ubert1 joins (~Thunderbi@77.119.210.181.wireless.dyn.drei.com) |
| 02:53:51 | × | ubert quits (~Thunderbi@178.165.194.145.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 02:53:51 | ubert1 | is now known as ubert |
| 02:55:07 | → | thegeekinside joins (~thegeekin@189.180.105.214) |
| 03:04:35 | × | td_ quits (~td@i53870904.versanet.de) (Ping timeout: 240 seconds) |
| 03:06:27 | → | td_ joins (~td@i5387090C.versanet.de) |
| 03:11:34 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:11:34 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:11:34 | finn_elija | is now known as FinnElija |
| 03:13:14 | × | thegeekinside quits (~thegeekin@189.180.105.214) (Ping timeout: 255 seconds) |
| 03:27:06 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 03:41:24 | × | y04nn quits (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 240 seconds) |
| 03:42:30 | <Axeman6> | I feel we need a wiki page for haskelloween puns |
| 03:48:07 | <jack-o-lanterndk> | We should do more for haskellween next year. This was fun |
| 03:48:41 | <EvanR> | we can come up with an egregious amount of syntactic sugar |
| 04:01:54 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:02:38 | × | td_ quits (~td@i5387090C.versanet.de) (Ping timeout: 258 seconds) |
| 04:04:31 | → | td_ joins (~td@i5387092B.versanet.de) |
| 04:08:52 | <jack-o-lanterndk> | Okay now I'm thoroughly spooked |
| 04:34:34 | × | waleee quits (~waleee@h-176-10-144-38.na.cust.bahnhof.se) (Ping timeout: 272 seconds) |
| 04:38:23 | → | aforemny_ joins (~aforemny@2001:9e8:6cd7:ec00:d45e:8bbd:8f7d:5f92) |
| 04:39:00 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 04:39:55 | × | aforemny quits (~aforemny@2001:9e8:6cf3:2b00:2f73:3d2b:9ae5:6d60) (Ping timeout: 264 seconds) |
| 04:43:02 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 05:04:28 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 05:25:33 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 05:37:25 | × | rgw quits (~R@2605:a601:a0df:5600:8c02:4fa2:4860:8f37) (Read error: Connection reset by peer) |
| 05:45:01 | monodoom | is now known as monochrom |
| 05:53:21 | → | BestSteve joins (~beststeve@220-135-3-239.hinet-ip.hinet.net) |
| 06:04:32 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:06:27 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 258 seconds) |
| 06:18:01 | → | vglfr joins (~vglfr@88.155.154.204) |
| 06:32:28 | <thegman> | how do i do a task with a list like [1..10] but replacing 10 with n |
| 06:32:55 | <jack-o-lanterndk> | what do you mean by "do a task"? |
| 06:32:56 | <thegman> | im trying to do n `mod` [2..(isqrt n)] /= 0 = True |
| 06:33:23 | <thegman> | i can send the rest of the function if it helps |
| 06:33:34 | <jack-o-lanterndk> | > :t all |
| 06:33:35 | <lambdabot> | <hint>:1:1: error: parse error on input ‘:’ |
| 06:33:39 | <jack-o-lanterndk> | % :t all |
| 06:33:40 | <yahb2> | all :: Foldable t => (a -> Bool) -> t a -> Bool |
| 06:34:10 | <jack-o-lanterndk> | Lists are "Foldable", so you can think of this function as having type `all :: (a -> Bool) -> [a] -> Bool` |
| 06:34:43 | <thegman> | sorry if im a bit incompetent ive never touched haskell until around 8 hours ago |
| 06:34:45 | <jack-o-lanterndk> | all (\x -> even x && x < 5) [1..] |
| 06:35:00 | <jack-o-lanterndk> | > all (\x -> even x) [1..10] |
| 06:35:01 | <lambdabot> | False |
| 06:35:16 | <jack-o-lanterndk> | > all (\x -> x < 20) [1..10] |
| 06:35:18 | <lambdabot> | True |
| 06:35:41 | <jack-o-lanterndk> | all good thegman, and welcome to Haskell and #haskell . some examples^ that might help |
| 06:36:28 | <thegman> | ok i just need a second to try to read that |
| 06:36:34 | <thegman> | still new to this syntax |
| 06:38:02 | <jack-o-lanterndk> | Yeah there's a bit to get started. `\x -> blah` is an anonymous function of one argument, `x`. |
| 06:39:03 | → | chomwitt joins (~chomwitt@2a02:587:7a1a:f800:1ac0:4dff:fedb:a3f1) |
| 06:39:51 | <thegman> | heres what im trying to do |
| 06:39:52 | <thegman> | prime :: Integer -> Bool; |
| 06:39:52 | <thegman> | prime n |
| 06:39:52 | <thegman> | | n (.&.) 1 == 1 = False |
| 06:39:53 | <thegman> | | n `mod` [2..(isqrt n)] /= 0 = True |
| 06:40:03 | → | Maxlelyonai joins (~Maxlelyon@178.237.232.145) |
| 06:40:08 | <Maxlelyonai> | hello everyone |
| 06:40:13 | <thegman> | hi |
| 06:40:29 | <Maxlelyonai> | I have an error loading the module |
| 06:40:32 | <Maxlelyonai> | hahahha |
| 06:40:40 | <Maxlelyonai> | Can someone help me? |
| 06:40:55 | <Maxlelyonai> | because I have search and I don't find anything |
| 06:41:15 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 06:41:31 | <jack-o-lanterndk> | thegman: For future reference, it's better IRC etiquette to paste code into a pastebin service, let me bring up a link |
| 06:41:34 | <jack-o-lanterndk> | @where paste |
| 06:41:34 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 06:42:24 | <Maxlelyonai> | done |
| 06:43:05 | <jack-o-lanterndk> | thegman: That said, lemme take a look at your code. I think your bitwise test is backwards, because it equals `n .&. 1` equals zero on even numbers. |
| 06:43:17 | × | pixelmonk quits (~pixelmonk@50.205.76.66) (Quit: WeeChat 4.1.0) |
| 06:44:19 | <thegman> | oops sorry |
| 06:44:51 | <thegman> | my goal with that part was to filter out even numbers |
| 06:45:54 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 06:45:59 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 06:48:16 | <jack-o-lanterndk> | thegman: https://www.irccloud.com/pastebin/fEhcPysw/Prime.hs |
| 06:48:47 | <dsal> | Does `even` do anything there? |
| 06:49:03 | <jack-o-lanterndk> | The use of `even n` is probably not worth its own case; because Haskell is lazy, `any` will bail out as soon as it finds an element that tests `True` |
| 06:49:28 | <jack-o-lanterndk> | dsal: almost certainly not, but I wanted to follow thegman 's structure closely as a first pass |
| 06:49:30 | <dsal> | If you did `[3, 5 .. isqrt n]` maybe. |
| 06:49:37 | <dsal> | Yeah, I read backwards. heh |
| 06:50:02 | <jack-o-lanterndk> | It also claims that 2 is composite, so it's actually not right on multiple levels |
| 06:51:27 | <dsal> | If you want to get haskeller, prime is a list of numbers that isn't divisble by numbers in the list smaller than itself |
| 06:51:52 | <jack-o-lanterndk> | Challenge for thegman : add a special case to test if `n == 2` before the `even n` test, then change the `any factor` test to only test odd numbers |
| 06:52:24 | <thegman> | ok your code has a lot of things i had no idea existed |
| 06:52:38 | <thegman> | haskell has a lot more useful stuff than i originally thought |
| 06:52:48 | <thegman> | is factor from a package of some kind though |
| 06:53:14 | <dsal> | It's defined in that snippet |
| 06:53:32 | <thegman> | oh i wasnt paying attention |
| 06:54:16 | <dsal> | This is a style I really like. Write the thing you mean. Introduce words that help. Define the words in an appendix. |
| 06:54:28 | <thegman> | it works now |
| 06:55:17 | <thegman> | i just added n == 2 = True and that seems to work as far as the 2 clause goes |
| 06:55:43 | × | Maxlelyonai quits (~Maxlelyon@178.237.232.145) (Quit: Client closed) |
| 06:56:08 | <dsal> | You can also just write `isPrime 2 = True` |
| 06:56:30 | <thegman> | wow |
| 06:56:33 | <thegman> | haskell is really compact |
| 06:56:52 | <dsal> | At which point the whole thing becomes `isPrime n = not $ any factor [2..isqrt n]` |
| 06:58:52 | → | acidjnk joins (~acidjnk@p200300d6e72b9337808cfce7fb05b8ec.dip0.t-ipconnect.de) |
| 06:59:06 | <jack-o-lanterndk> | The definition of `factor` might need to use `floor` instead of `ceiling`; currently `isqrt 2 == 2` so if you don't have the separate equation for `isPrime 2 = True`, it'll test that 2 is a factor of itself. |
| 07:00:40 | <thegman> | wait do you mean the definition of isqrt |
| 07:01:04 | <thegman> | that already uses floor |
| 07:02:14 | <dsal> | > let primes = [2, 3] <> [x | x <- [3, 5..], all (\j -> x `mod` j /= 0) $ takeWhile (\i -> i * i <= x) primes] in primes -- you can just make the whole thing be a single list of all primes and not divide by redundant stuff like 6 or 9 or whatever. |
| 07:02:16 | <lambdabot> | [2,3,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,10... |
| 07:02:21 | <jack-o-lanterndk> | I wrote a version in that pastebin link that uses `ceiling`; it's under the definition of `factor` in the `where` |
| 07:02:39 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
| 07:02:54 | <dsal> | damnit. That's got too many 3s. |
| 07:03:01 | <dsal> | > let primes = [2, 3] <> [x | x <- [5, 7..], all (\j -> x `mod` j /= 0) $ takeWhile (\i -> i * i <= x) primes] in primes -- you can just make the whole thing be a single list of all primes and not divide by redundant stuff like 6 or 9 or whatever. |
| 07:03:03 | <lambdabot> | [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101,... |
| 07:03:23 | <thegman> | wasnt there a way to pass a list to a function expecting a non list |
| 07:03:26 | <thegman> | i thought it was map |
| 07:03:29 | <thegman> | but that didnt work |
| 07:03:54 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 07:04:10 | <thegman> | either way i gotta go |
| 07:04:13 | <jack-o-lanterndk> | depends on what you want to do. `map` will apply a function to every element and build up a list of the result |
| 07:04:17 | <jack-o-lanterndk> | adios, and good luck |
| 07:04:40 | <thegman> | is it bad to leave irc on so i dont lose chat history |
| 07:05:06 | <dsal> | I've not left irc in a decade or so. |
| 07:05:13 | <dsal> | But there's also logs in the topic. |
| 07:05:22 | <jack-o-lanterndk> | many people do, often on some always-on server or service which idles for them |
| 07:05:31 | <thegman> | the logs didnt work for me the last time i tried but i suppose i didnt have an account when i tried |
| 07:05:35 | <thegman> | anyway |
| 07:05:35 | <thegman> | ye |
| 07:05:37 | <thegman> | bye |
| 07:07:23 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:12:34 | → | lorenzo joins (~lorenzo@2a01:e0a:541:b8f0:6820:a343:4d88:c9b8) |
| 07:14:50 | lorenzo | is now known as lortabac |
| 07:15:15 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 07:24:44 | → | danza joins (~francesco@151.47.132.56) |
| 07:43:14 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:44:15 | → | Jackneill joins (~Jackneill@20014C4E1E03D80081B997486BB26576.dsl.pool.telekom.hu) |
| 07:46:31 | → | bliminse joins (~bliminse@user/bliminse) |
| 07:46:50 | → | random-jellyfish joins (~tiber@2a02:2f04:11e:c600:2871:6c00:10b3:bec4) |
| 07:46:50 | × | random-jellyfish quits (~tiber@2a02:2f04:11e:c600:2871:6c00:10b3:bec4) (Changing host) |
| 07:46:50 | → | random-jellyfish joins (~tiber@user/random-jellyfish) |
| 07:47:48 | → | applecat joins (~Srain@116.204.144.69) |
| 07:49:32 | → | gmg joins (~user@user/gehmehgeh) |
| 07:52:10 | × | haskellbridge quits (~haskellbr@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds) |
| 08:00:52 | → | euleritian joins (~euleritia@dynamic-046-114-200-079.46.114.pool.telefonica.de) |
| 08:01:14 | × | euleritian quits (~euleritia@dynamic-046-114-200-079.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 08:01:32 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 08:02:20 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 08:03:01 | → | haskellbridge joins (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 08:03:01 | ChanServ | sets mode +v haskellbridge |
| 08:06:46 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 256 seconds) |
| 08:09:10 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 08:09:22 | → | Simikando joins (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 08:13:12 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 08:14:08 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 08:14:36 | × | tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 08:16:05 | × | danza quits (~francesco@151.47.132.56) (Ping timeout: 240 seconds) |
| 08:16:47 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 08:24:19 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:c96f:d7b1:4387:b17b) (Remote host closed the connection) |
| 08:31:11 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:39:05 | → | chele joins (~chele@user/chele) |
| 08:41:52 | × | Simikando quits (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Ping timeout: 255 seconds) |
| 08:45:16 | → | Simikando joins (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
| 08:48:52 | × | yaroot quits (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Remote host closed the connection) |
| 08:49:28 | → | yaroot joins (~yaroot@p3477236-ipngn9802souka.saitama.ocn.ne.jp) |
| 08:49:50 | × | Simikando quits (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Ping timeout: 255 seconds) |
| 08:50:45 | → | danse-nr3 joins (~danse@151.47.132.56) |
| 08:53:11 | → | mmhat joins (~mmh@p200300f1c7445ed6ee086bfffe095315.dip0.t-ipconnect.de) |
| 08:56:41 | × | danse-nr3 quits (~danse@151.47.132.56) (Remote host closed the connection) |
| 08:57:06 | → | danse-nr3 joins (~danse@151.47.132.56) |
| 08:58:59 | × | mmhat quits (~mmh@p200300f1c7445ed6ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.1) |
| 08:59:50 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:00:38 | → | rosco joins (~rosco@yp-150-69.tm.net.my) |
| 09:04:22 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:c96f:d7b1:4387:b17b) |
| 09:04:35 | × | danse-nr3 quits (~danse@151.47.132.56) (Ping timeout: 240 seconds) |
| 09:05:00 | → | danse-nr3 joins (~danse@151.43.45.82) |
| 09:07:22 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:08:47 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:c96f:d7b1:4387:b17b) (Ping timeout: 246 seconds) |
| 09:12:23 | × | applecat quits (~Srain@116.204.144.69) (Remote host closed the connection) |
| 09:41:44 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 09:43:00 | × | xigua quits (~xigua@user/xigua) (Remote host closed the connection) |
| 09:43:35 | → | xigua joins (~xigua@user/xigua) |
| 09:45:03 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:45:54 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 09:57:54 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:c96f:d7b1:4387:b17b) |
| 10:01:59 | → | Pickchea joins (~private@user/pickchea) |
| 10:11:19 | × | chomwitt quits (~chomwitt@2a02:587:7a1a:f800:1ac0:4dff:fedb:a3f1) (Ping timeout: 245 seconds) |
| 10:14:02 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds) |
| 10:15:06 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 10:16:05 | × | ubert quits (~Thunderbi@77.119.210.181.wireless.dyn.drei.com) (Remote host closed the connection) |
| 10:16:23 | → | ubert joins (~Thunderbi@77.119.210.181.wireless.dyn.drei.com) |
| 10:16:54 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 10:19:24 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 248 seconds) |
| 10:23:48 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 240 seconds) |
| 10:30:50 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 10:35:57 | × | oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 10:43:08 | → | oo_miguel joins (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 10:50:46 | → | coot_ joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 10:51:20 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 255 seconds) |
| 10:51:42 | coot_ | is now known as coot |
| 10:55:06 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
| 10:55:08 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 248 seconds) |
| 10:56:47 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 10:59:43 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 264 seconds) |
| 11:03:30 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 11:09:08 | → | htor joins (~htor@84.208.240.181) |
| 11:13:31 | → | Lycurgus joins (~georg@user/Lycurgus) |
| 11:15:29 | → | stefan-__ joins (~m-yh2rcc@42dots.de) |
| 11:15:56 | → | xff0x joins (~xff0x@ai101218.d.east.v6connect.net) |
| 11:16:16 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 11:16:38 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 11:22:29 | × | htor quits (~htor@84.208.240.181) (Quit: htor) |
| 11:23:05 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 258 seconds) |
| 11:24:51 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 11:26:57 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 11:38:07 | → | chomwitt joins (~chomwitt@ppp-94-67-130-102.home.otenet.gr) |
| 11:38:31 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 11:39:45 | × | danse-nr3 quits (~danse@151.43.45.82) (Ping timeout: 255 seconds) |
| 11:50:09 | × | shapr quits (~user@2600:1700:c640:3100:ae87:a681:fe23:3563) (Remote host closed the connection) |
| 11:57:25 | → | edr joins (~edr@user/edr) |
| 11:59:24 | × | remedan quits (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 240 seconds) |
| 12:01:30 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 12:02:36 | → | red-snail1 joins (~snail@static.151.210.203.116.clients.your-server.de) |
| 12:03:14 | × | lortabac quits (~lorenzo@2a01:e0a:541:b8f0:6820:a343:4d88:c9b8) (Quit: WeeChat 3.5) |
| 12:03:35 | → | lortabac joins (~lorenzo@2a01:e0a:541:b8f0:6820:a343:4d88:c9b8) |
| 12:07:11 | × | vglfr quits (~vglfr@88.155.154.204) (Remote host closed the connection) |
| 12:07:48 | → | vglfr joins (~vglfr@88.155.154.204) |
| 12:08:34 | → | beteigeuze joins (~Thunderbi@185.206.24.241) |
| 12:14:09 | → | aforemny joins (~aforemny@2001:9e8:6cdd:c900:9923:5c3a:5b87:d41c) |
| 12:14:35 | × | aforemny_ quits (~aforemny@2001:9e8:6cd7:ec00:d45e:8bbd:8f7d:5f92) (Ping timeout: 240 seconds) |
| 12:15:22 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:16:07 | → | danse-nr3 joins (~danse@151.43.45.82) |
| 12:16:16 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 12:16:38 | → | red-snail joins (~snail@static.151.210.203.116.clients.your-server.de) |
| 12:18:18 | ← | red-snail1 parts (~snail@static.151.210.203.116.clients.your-server.de) (Leaving) |
| 12:37:27 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 12:37:59 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 12:40:01 | → | falafel joins (~falafel@62.175.113.194.dyn.user.ono.com) |
| 12:41:36 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 256 seconds) |
| 12:42:00 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 12:46:01 | × | beteigeuze quits (~Thunderbi@185.206.24.241) (Quit: beteigeuze) |
| 12:49:26 | × | aforemny quits (~aforemny@2001:9e8:6cdd:c900:9923:5c3a:5b87:d41c) (Ping timeout: 260 seconds) |
| 12:50:30 | ghoulpine | is now known as vulpine |
| 12:55:27 | → | fweht joins (uid404746@id-404746.lymington.irccloud.com) |
| 12:56:31 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 12:56:55 | × | danse-nr3 quits (~danse@151.43.45.82) (Remote host closed the connection) |
| 12:57:18 | → | danse-nr3 joins (~danse@151.43.45.82) |
| 12:58:36 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 256 seconds) |
| 12:58:52 | → | anpad joins (~pandeyan@user/anpad) |
| 12:59:06 | → | aforemny joins (~aforemny@2001:9e8:6cde:2400:d38b:278:6ff7:5f3f) |
| 12:59:08 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 12:59:36 | × | CO2 quits (CO2@gateway/vpn/protonvpn/co2) (Quit: WeeChat 4.1.1) |
| 13:03:40 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 13:04:56 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 13:04:58 | × | danse-nr3 quits (~danse@151.43.45.82) (Ping timeout: 252 seconds) |
| 13:05:22 | → | danse-nr3 joins (~danse@fi-19-197-182.service.infuturo.it) |
| 13:05:34 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 13:05:49 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 258 seconds) |
| 13:06:10 | × | falafel quits (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 255 seconds) |
| 13:06:58 | × | vglfr quits (~vglfr@88.155.154.204) (Read error: Connection reset by peer) |
| 13:07:12 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 13:07:18 | → | vglfr joins (vglfr@gateway/vpn/protonvpn/vglfr) |
| 13:08:05 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 13:10:44 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 13:10:55 | × | vglfr quits (vglfr@gateway/vpn/protonvpn/vglfr) (Remote host closed the connection) |
| 13:11:23 | → | vglfr joins (vglfr@gateway/vpn/protonvpn/vglfr) |
| 13:12:00 | × | vglfr quits (vglfr@gateway/vpn/protonvpn/vglfr) (Remote host closed the connection) |
| 13:12:00 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 13:13:24 | → | vglfr joins (~vglfr@212-8-250-238.hosted-by-worldstream.net) |
| 13:13:52 | × | vglfr quits (~vglfr@212-8-250-238.hosted-by-worldstream.net) (Remote host closed the connection) |
| 13:14:19 | → | vglfr joins (~vglfr@212-8-250-238.hosted-by-worldstream.net) |
| 13:15:51 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 13:18:04 | → | fendor joins (~fendor@2a02:8388:1640:be00:2a62:2dd0:490d:f2ca) |
| 13:19:00 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 13:23:07 | × | vglfr quits (~vglfr@212-8-250-238.hosted-by-worldstream.net) (Ping timeout: 255 seconds) |
| 13:23:24 | → | vglfr joins (~vglfr@88.155.154.204) |
| 13:23:38 | → | ham joins (~ham@user/ham) |
| 13:25:48 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 13:25:48 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 13:25:48 | → | wroathe joins (~wroathe@user/wroathe) |
| 13:30:55 | × | arahael quits (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 13:32:15 | × | vglfr quits (~vglfr@88.155.154.204) (Read error: Connection reset by peer) |
| 13:32:35 | → | vglfr joins (~vglfr@149.102.239.229) |
| 13:32:40 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 13:33:09 | → | chiselfu1e joins (~chiselfus@user/chiselfuse) |
| 13:33:18 | × | Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving) |
| 13:37:13 | × | vglfr quits (~vglfr@149.102.239.229) (Ping timeout: 255 seconds) |
| 13:37:32 | → | vglfr joins (~vglfr@88.155.154.204) |
| 13:43:01 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 13:48:00 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 13:53:01 | × | lortabac quits (~lorenzo@2a01:e0a:541:b8f0:6820:a343:4d88:c9b8) (Quit: WeeChat 3.5) |
| 13:54:51 | → | lortabac joins (~lorenzo@2a01:e0a:541:b8f0:6820:a343:4d88:c9b8) |
| 13:57:13 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:c96f:d7b1:4387:b17b) (Ping timeout: 260 seconds) |
| 14:03:46 | → | Lycurgus joins (~georg@user/Lycurgus) |
| 14:05:29 | justHaunted | is now known as justache |
| 14:05:44 | × | chiselfu1e quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 14:06:21 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 14:07:23 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:08:52 | → | aztex joins (~aztex@2001:6b0:2:2801:2ba8:4ba0:f78d:8f72) |
| 14:12:02 | <aztex> | I have a question on `forkIO` vs `forkOS`. |
| 14:12:08 | <aztex> | Imagine I have an FFI computation called `ffiComp :: IO ()` and in the main thread I do: `main = forkIO ffiComp >> c_usleep 200` vs `main = forkOS ffiComp >> c_usleep 200`; In the above the `c_usleep` can be imagined as a binding to the `usleep` Linux function; will there be any difference in behaviour? |
| 14:13:14 | <aztex> | my initial thoughts were the behaviour would be different in that in case of `forkIO` the c_usleep will put all of the Haskell threads to sleep |
| 14:13:39 | <aztex> | however in `forkOS` the ffi computation will not go to sleep because its bound to a separate OS thread |
| 14:13:46 | <aztex> | but probably I am mistaken? |
| 14:15:45 | <[exa]> | aztex: the actual behavior depends on too many factors, I'd suggest not relying on the result too much |
| 14:17:35 | → | CO2 joins (CO2@gateway/vpn/protonvpn/co2) |
| 14:18:30 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 14:18:56 | <[exa]> | aztex: afaik the only real guarantee you get is that all things in `ffiComp` are going to be run in a single OS thread (thus not breaking thread-local things) |
| 14:20:10 | <aztex> | I see; I think the usage of a Haskell specific sleep function like `threadDelay` would make things more predictable but there are certain reasons why I am explicity using `c_usleep` and not the Haskell `threadDelay` |
| 14:20:12 | <[exa]> | aztex: I'd say it might also prevent the usleep from being run in that thread but I can't see any guarantee in the docs about that (there's no reason the forked-off thread wouldn't be reused for evaluating unmarked stuff) |
| 14:21:54 | <[exa]> | might be useful to read the ghc rts source on this... :D |
| 14:25:24 | <[exa]> | actually looks like `forkOS` and then RTS `forkOS_createThread` always make a new pthread and detach it |
| 14:25:59 | → | thegeekinside joins (~thegeekin@189.180.105.214) |
| 14:26:53 | <aztex> | > actually looks like `forkOS` and then RTS `forkOS_createThread` always make a new pthread and detach it |
| 14:26:54 | <aztex> | If that is the case then my earlier intuition might be correct |
| 14:26:55 | <lambdabot> | <hint>:1:34: error: parse error on input ‘then’ |
| 14:28:25 | <[exa]> | like, I still wouldn't rely on that |
| 14:28:29 | <[exa]> | why do you need usleep btw? |
| 14:28:55 | <aztex> | I am working on a modified fork of the GHC RTS where I have disabled all the timing APIs |
| 14:29:21 | <aztex> | for a reason (linking with a libc that isn't POSIX compliant) |
| 14:29:43 | → | crvs joins (~crvs@185.147.238.3) |
| 14:29:46 | <aztex> | very strange setup :) |
| 14:30:01 | → | gatekempt joins (~gatekempt@user/gatekempt) |
| 14:31:48 | → | beteigeuze joins (~Thunderbi@185.206.24.241) |
| 14:33:18 | <adamCS> | Anyone know of any differences in how ghc 9.4.x and ghc 9.6.x find plugins? I'm trying to upgrade to 9.6.3 from 9.4.7. The exact same repo compiles on 9.4.7 but, when installing a dynamic library during building on 9.4.6, gives me a "Could not find module ‘Polysemy.Plugin’". I'm not quite sure how to debug this. I asked yesterday on the ghc group but got no replies. |
| 14:33:47 | <adamCS> | Sorry, when attempting to build using 9.6.3 not 9.4.6. |
| 14:34:16 | × | Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving) |
| 14:35:16 | → | htor joins (~htor@84.208.240.181) |
| 14:36:11 | × | oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 14:38:02 | × | acidjnk quits (~acidjnk@p200300d6e72b9337808cfce7fb05b8ec.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 14:38:20 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 14:38:58 | <[exa]> | adamCS: plugins or modules? |
| 14:39:05 | <[exa]> | aztex: oh wow ok, good luck :] |
| 14:39:37 | <adamCS> | exa: Well, it's complaining about the module but it's a module for a plugin so I guess I'm not sure. |
| 14:39:43 | <[exa]> | adamCS: btw did you check that the resolved polysemy version is the same? |
| 14:40:25 | <[exa]> | my wild first guess would be some kind of small version difference, or a CPP #ifdef in source that breaks on versions or so |
| 14:41:03 | <adamCS> | exa: No! And I hadn't thought about the differences in the deps. How would I check that? I often want to know which version of something I'm getting in a build and I don't know an easy way... |
| 14:41:48 | <[exa]> | you build with cabal right? |
| 14:42:01 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 14:42:13 | <adamCS> | yes |
| 14:42:39 | <aztex> | Thanks for the discussion [exa] |
| 14:42:48 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 14:43:02 | × | aztex quits (~aztex@2001:6b0:2:2801:2ba8:4ba0:f78d:8f72) (Quit: Client closed) |
| 14:43:05 | × | danse-nr3 quits (~danse@fi-19-197-182.service.infuturo.it) (Ping timeout: 255 seconds) |
| 14:43:38 | × | beteigeuze quits (~Thunderbi@185.206.24.241) (Quit: beteigeuze) |
| 14:43:54 | <[exa]> | adamCS: there should be a cabal command that dumps all resolved package versions but I can't find it lol |
| 14:44:31 | → | danse-nr3 joins (~danse@fi-19-197-182.service.infuturo.it) |
| 14:44:31 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 14:44:39 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 14:45:01 | × | gatekempt quits (~gatekempt@user/gatekempt) (Ping timeout: 255 seconds) |
| 14:46:15 | <[exa]> | (like, you can have a look at the plan in dist-newstyle/cache/plan.json but that might be a hack :D ) |
| 14:48:05 | → | Pickchea joins (~private@user/pickchea) |
| 14:48:35 | <adamCS> | exa: Thanks! That is sort of a pain to look at but it's something... |
| 14:49:02 | <[exa]> | pipe it through `jq .`, it looks pretty much ok |
| 14:49:28 | <[exa]> | `cabal freeze` might help too, the freeze file it creates contains all versions precisely |
| 14:49:54 | <[exa]> | there should be a command for it but I have no idea how to find it, maybe others here will know |
| 14:50:21 | → | gatekempt joins (~gatekempt@user/gatekempt) |
| 14:50:35 | <adamCS> | 'jq' was new to me. Nice! |
| 14:51:27 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 14:51:51 | → | euleritian joins (~euleritia@dynamic-046-114-203-048.46.114.pool.telefonica.de) |
| 14:52:16 | <adamCS> | Looks like the same polysemy version, 19.1.3 |
| 14:53:12 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 14:54:53 | → | acidjnk joins (~acidjnk@p200300d6e72b9337808cfce7fb05b8ec.dip0.t-ipconnect.de) |
| 14:55:51 | → | tjnhxmzhmqgytuwt joins (~user@cust-west-par-46-193-2-167.cust.wifirst.net) |
| 14:57:20 | × | tjnhxmzhmqgytuwt quits (~user@cust-west-par-46-193-2-167.cust.wifirst.net) (Client Quit) |
| 14:57:42 | → | tjnhxmzhmqgytuwt joins (~user@cust-west-par-46-193-2-167.cust.wifirst.net) |
| 14:58:50 | × | gatekempt quits (~gatekempt@user/gatekempt) (Ping timeout: 255 seconds) |
| 14:58:57 | <[exa]> | adamCS: likely in a different package.... can you pastebin the whole error? (see /topic for pastebin link) |
| 14:59:00 | tjnhxmzhmqgytuwt | is now known as AssCrackBandit |
| 14:59:07 | × | random-jellyfish quits (~tiber@user/random-jellyfish) (Ping timeout: 264 seconds) |
| 15:01:46 | <adamCS> | I think that's right. It happens when installing the library for a dependency: https://paste.tomsmeding.com/9ZgOunhP |
| 15:05:28 | <adamCS> | The library it's referring to itself builds fine. Trying now to use local source instead of github repo for that dependency so I can make sure it's exactly the same and see the plan file for it as well. |
| 15:11:10 | <adamCS> | Weird. Builds fine using the local version. |
| 15:12:09 | × | AssCrackBandit quits (~user@cust-west-par-46-193-2-167.cust.wifirst.net) (Ping timeout: 245 seconds) |
| 15:12:47 | <adamCS> | And, as far as "git status" will tell me, they are the same. |
| 15:19:07 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 15:20:29 | → | andreso joins (~andreso@user/andreso) |
| 15:27:47 | <thegman> | is there a way to assign a variable thats never used |
| 15:27:58 | <thegman> | would that be disabling lazy evaluation |
| 15:28:15 | <thegman> | i just want to calculate all the prime numbers between 1 and 1000000 without printing them |
| 15:29:23 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 15:32:51 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 15:32:54 | × | htor quits (~htor@84.208.240.181) (Quit: htor) |
| 15:34:56 | <int-e> | print their sum? there are proper ways to force evaluation, see `seq`, Control.Exception.evaluate, and the various variantions on deepseq |
| 15:36:31 | <thegman> | how do i use it in a let statement |
| 15:36:43 | <EvanR> | mapM_ evaluate primes |
| 15:36:52 | <EvanR> | which is an IO action |
| 15:37:12 | <EvanR> | :t evaluate |
| 15:37:13 | <lambdabot> | a -> IO a |
| 15:37:21 | <int-e> | thegman: May I ask why though... |
| 15:37:31 | <thegman> | i wanted to do a speed test |
| 15:37:39 | × | euleritian quits (~euleritia@dynamic-046-114-203-048.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 15:37:43 | <int-e> | So it doesn't have to be a let then. |
| 15:37:56 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 15:38:10 | <int-e> | I'd seriously recommend printing the sum because that doubles as an indicator of correctness. |
| 15:38:33 | <thegman> | ok then |
| 15:38:36 | <EvanR> | well then the speed test includes the speed of summing |
| 15:39:05 | int-e | has broken code while trying to optimize it too many times. |
| 15:39:07 | <EvanR> | my suggestion includes the speed of evaluating... though that might be the point |
| 15:39:21 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 15:39:29 | <int-e> | EvanR: I suspect the overhead of summing is smaller :) |
| 15:40:07 | <int-e> | But I haven't benchmarked a thing. |
| 15:40:15 | <EvanR> | then to satisfy the lack of printing, which might be an XY problem, evaluate (sum primes) |
| 15:41:20 | <int-e> | sure. |
| 15:41:41 | → | random-jellyfish joins (~tiber@2a02:2f04:11e:c600:2871:6c00:10b3:bec4) |
| 15:41:41 | × | random-jellyfish quits (~tiber@2a02:2f04:11e:c600:2871:6c00:10b3:bec4) (Changing host) |
| 15:41:41 | → | random-jellyfish joins (~tiber@user/random-jellyfish) |
| 15:42:03 | <int-e> | My recommendation stems from the fact that I've often timed code blindly while optimizing it, only to find out that the optimized version was also wrong :) |
| 15:42:52 | <int-e> | (But there was no context provided, this is my imagination colored by personal experience.) |
| 15:43:16 | × | dsrt^ quits (~cd@76.145.193.217) (Ping timeout: 260 seconds) |
| 15:44:31 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:c96f:d7b1:4387:b17b) |
| 15:44:56 | <EvanR> | my benchmark is showing a number too large. Gotta change the benchmark xD |
| 15:46:18 | <EvanR> | a well designed benchmark in any language will involve doing something identifiable, so print the sum seems more cromulent |
| 15:48:49 | → | red-snail1 joins (~snail@static.151.210.203.116.clients.your-server.de) |
| 15:49:56 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 15:50:24 | → | santiagopim joins (~user@90.167.66.131) |
| 15:53:43 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 15:54:27 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 15:54:32 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 15:59:08 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 15:59:20 | → | euleritian joins (~euleritia@dynamic-046-114-203-048.46.114.pool.telefonica.de) |
| 15:59:58 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 16:00:22 | × | euleritian quits (~euleritia@dynamic-046-114-203-048.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:00:42 | → | notzmv joins (~zmv@user/notzmv) |
| 16:00:48 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:03:05 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 16:03:42 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:05:22 | × | thegeekinside quits (~thegeekin@189.180.105.214) (Ping timeout: 252 seconds) |
| 16:05:46 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:09:11 | → | thegeekinside joins (~thegeekin@189.180.105.214) |
| 16:10:35 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 258 seconds) |
| 16:10:57 | → | euleritian joins (~euleritia@dynamic-046-114-203-048.46.114.pool.telefonica.de) |
| 16:13:13 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 16:14:09 | → | gmg joins (~user@user/gehmehgeh) |
| 16:15:32 | → | hugo joins (znc@130.236.254.26) |
| 16:16:52 | × | vglfr quits (~vglfr@88.155.154.204) (Remote host closed the connection) |
| 16:17:09 | → | vglfr joins (~vglfr@88.155.154.204) |
| 16:20:38 | × | vglfr quits (~vglfr@88.155.154.204) (Remote host closed the connection) |
| 16:21:10 | → | Square2 joins (~Square@user/square) |
| 16:21:24 | → | vglfr joins (~vglfr@88.155.154.204) |
| 16:21:30 | × | vglfr quits (~vglfr@88.155.154.204) (Remote host closed the connection) |
| 16:22:23 | × | andreso quits (~andreso@user/andreso) (Quit: eof) |
| 16:22:49 | × | thegeekinside quits (~thegeekin@189.180.105.214) (Ping timeout: 255 seconds) |
| 16:23:15 | → | thegeekinside joins (~thegeekin@189.141.80.123) |
| 16:26:09 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 16:26:56 | → | vglfr joins (~vglfr@88.155.154.204) |
| 16:27:44 | → | EvanR joins (~EvanR@user/evanr) |
| 16:29:36 | × | euleritian quits (~euleritia@dynamic-046-114-203-048.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:29:58 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:30:03 | → | AssCrackBandit joins (~user@cust-west-par-46-193-2-167.cust.wifirst.net) |
| 16:30:03 | × | crvs quits (~crvs@185.147.238.3) (Read error: Connection reset by peer) |
| 16:33:24 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 245 seconds) |
| 16:33:37 | → | falafel joins (~falafel@62.175.113.194.dyn.user.ono.com) |
| 16:34:11 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 16:34:38 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:35:35 | × | random-jellyfish quits (~tiber@user/random-jellyfish) (Ping timeout: 240 seconds) |
| 16:35:51 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:37:58 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 16:46:08 | → | sabino joins (~sabino@user/sabino) |
| 16:49:42 | → | tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 16:55:08 | × | vglfr quits (~vglfr@88.155.154.204) (Read error: Connection reset by peer) |
| 16:55:13 | × | fendor quits (~fendor@2a02:8388:1640:be00:2a62:2dd0:490d:f2ca) (Remote host closed the connection) |
| 16:55:45 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 16:56:52 | × | AssCrackBandit quits (~user@cust-west-par-46-193-2-167.cust.wifirst.net) (Ping timeout: 255 seconds) |
| 16:58:15 | × | lortabac quits (~lorenzo@2a01:e0a:541:b8f0:6820:a343:4d88:c9b8) (Quit: WeeChat 3.5) |
| 16:59:52 | <danse-nr3> | irc-cloud ought to be having some troubles |
| 17:02:30 | × | danse-nr3 quits (~danse@fi-19-197-182.service.infuturo.it) (Read error: Connection reset by peer) |
| 17:02:57 | → | danse-nr3 joins (~danse@151.47.190.137) |
| 17:03:57 | → | vglfr joins (~vglfr@88.155.154.204) |
| 17:08:42 | × | AlexZenon quits (~alzenon@94.233.241.58) (Ping timeout: 255 seconds) |
| 17:09:37 | × | falafel quits (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 255 seconds) |
| 17:11:43 | × | Nachtgespenst quits (~user@user/siracusa) (Quit: Bye!) |
| 17:15:37 | <EvanR> | why |
| 17:15:37 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 17:15:48 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 17:19:34 | <danse-nr3> | a lot of joins and quits |
| 17:19:49 | → | AlexZenon joins (~alzenon@94.233.241.58) |
| 17:20:02 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 17:20:11 | <danse-nr3> | not as many as last time irc-cloud had troubles, to be fair |
| 17:21:03 | → | euleritian joins (~euleritia@dynamic-046-114-203-048.46.114.pool.telefonica.de) |
| 17:25:04 | <geekosaur> | most of them are the same handful of people |
| 17:26:00 | <danse-nr3> | maybe some network infrastructure component somewhere |
| 17:32:16 | <[exa]> | danse-nr3: you can hide joins and parts, problem solved |
| 17:33:08 | <geekosaur> | and irccloud already had its trouble for the week 😛 |
| 17:33:33 | <geekosaur> | (the bnc-like bridge crashed sometime yesterday) |
| 17:34:07 | <danse-nr3> | i was just interested in what was going on |
| 17:41:24 | × | rosco quits (~rosco@yp-150-69.tm.net.my) (Quit: Lost terminal) |
| 17:44:22 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 17:46:30 | Shelob | is now known as She |
| 17:47:28 | → | falafel joins (~falafel@62.175.113.194.dyn.user.ono.com) |
| 17:47:53 | <yin> | with OverloadedLists is there a way of telling ghc to assume normal lists when the type can't be inferred? |
| 17:48:26 | → | __monty__ joins (~toonn@user/toonn) |
| 17:49:14 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 17:49:19 | <yin> | like if i write `and [a,b,c]` i and enable the extension i don't want to have to write `and ([a,b,c] :: [Bool])` |
| 17:49:53 | <EvanR> | in that example, wouldn't the type in fact be inferred |
| 17:49:58 | → | Lycurgus joins (~georg@li1192-118.members.linode.com) |
| 17:49:58 | × | Lycurgus quits (~georg@li1192-118.members.linode.com) (Changing host) |
| 17:49:58 | → | Lycurgus joins (~georg@user/Lycurgus) |
| 17:50:02 | <EvanR> | oh, the type of list |
| 17:50:05 | <yin> | yes |
| 17:50:22 | <yin> | as opposed to a Set or something |
| 17:50:34 | <EvanR> | :t and |
| 17:50:35 | <lambdabot> | Foldable t => t Bool -> Bool |
| 17:51:33 | <EvanR> | what about ExtendedDefaultRules |
| 17:52:14 | <yin> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/overloaded_lists.html#defaulting |
| 17:53:26 | <EvanR> | hahaha |
| 17:54:37 | <EvanR> | honestly I would just disable OverloadedList and use a function taking a list when I don't want a list |
| 17:56:36 | <yin> | i'm trying different containers for the same program so i wanted to see if i could change just a type synonym instead of having to change it multiple lines across files |
| 17:57:08 | <EvanR> | or take a ([a] -> f a) argument, then change the f |
| 17:57:38 | <EvanR> | use the algorithm at different f |
| 17:57:49 | <yin> | maybe RebindableSyntax |
| 17:58:04 | <yin> | i've never used it, just reading about it now |
| 18:00:47 | × | euleritian quits (~euleritia@dynamic-046-114-203-048.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 18:01:19 | → | euleritian joins (~euleritia@dynamic-046-114-203-048.46.114.pool.telefonica.de) |
| 18:01:26 | × | danse-nr3 quits (~danse@151.47.190.137) (Ping timeout: 272 seconds) |
| 18:04:54 | <yin> | ExtendedDefaultRUles did the trick just fine, thanks |
| 18:06:51 | <yin> | default ([]) |
| 18:07:12 | <EvanR> | I guess the documentation needs to be updated |
| 18:07:24 | <EvanR> | because that's not obvious |
| 18:07:27 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:08:59 | × | vglfr quits (~vglfr@88.155.154.204) (Read error: Connection reset by peer) |
| 18:11:13 | × | Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving) |
| 18:12:06 | × | h2t_ quits (~h2t@user/h2t) (Quit: ZNC - https://znc.in) |
| 18:12:30 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:16:59 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 18:18:24 | → | monochrm joins (~trebla@138-51-85-114-lsn-2.nat.utoronto.ca) |
| 18:19:06 | → | danza joins (~francesco@151.47.190.137) |
| 18:20:31 | → | neceve joins (~neceve@user/neceve) |
| 18:24:22 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 18:26:03 | → | random-jellyfish joins (~tiber@2a02:2f04:11e:c600:2871:6c00:10b3:bec4) |
| 18:26:03 | × | random-jellyfish quits (~tiber@2a02:2f04:11e:c600:2871:6c00:10b3:bec4) (Changing host) |
| 18:26:03 | → | random-jellyfish joins (~tiber@user/random-jellyfish) |
| 18:26:49 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 18:29:13 | × | euleritian quits (~euleritia@dynamic-046-114-203-048.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 18:29:33 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:30:13 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:33:30 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 18:33:43 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:35:51 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 240 seconds) |
| 18:38:03 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 18:38:23 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 18:38:37 | → | euleritian joins (~euleritia@dynamic-046-114-203-048.46.114.pool.telefonica.de) |
| 18:38:55 | <yin> | yes |
| 18:39:58 | → | vglfr joins (~vglfr@88.155.154.204) |
| 18:40:32 | × | vglfr quits (~vglfr@88.155.154.204) (Read error: Connection reset by peer) |
| 18:44:40 | → | vglfr joins (~vglfr@88.155.154.204) |
| 18:44:58 | → | Lycurgus joins (~georg@user/Lycurgus) |
| 18:45:30 | <thegman> | i got the benchmark working |
| 18:45:31 | × | vglfr quits (~vglfr@88.155.154.204) (Read error: Connection reset by peer) |
| 18:45:52 | <thegman> | it takes 16 seconds to calculate the prime numbers between 1 and 16 million |
| 18:45:59 | <thegman> | 10 million* |
| 18:46:33 | <c_wraith> | that seems very slow |
| 18:46:43 | <yin> | thegman: which algorithm are you using? |
| 18:46:44 | <thegman> | im assuming i did something wrong |
| 18:46:52 | <thegman> | hang on il upload the code |
| 18:46:56 | <c_wraith> | well, it would be about right if you were using trial division |
| 18:47:25 | <thegman> | https://paste.tomsmeding.com/0Rs4tCzV |
| 18:48:14 | <c_wraith> | oh. yeah, that's trial division |
| 18:48:24 | <c_wraith> | Ok, 16 seconds sounds roughly right. |
| 18:48:38 | <thegman> | well |
| 18:48:48 | <thegman> | at least its a problem with my code and not a problem with some library |
| 18:50:21 | <c_wraith> | That is a bit of an odd specification, though. It returns 0 or the smallest prime factor? |
| 18:50:37 | <thegman> | i think i did that part wrong too |
| 18:50:42 | <c_wraith> | well. smallest factor >1, but that will always happen to be prime |
| 18:50:59 | <c_wraith> | it's weird to have res named at all |
| 18:51:09 | × | euleritian quits (~euleritia@dynamic-046-114-203-048.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 18:51:11 | <thegman> | i dont know how to do it without a variable |
| 18:51:12 | <c_wraith> | like... the res + 2 case will always just be 2 |
| 18:51:27 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:51:40 | <c_wraith> | like, everywhere you use res, just substitute in 0 |
| 18:51:47 | <c_wraith> | then simplify if it makes sense |
| 18:52:11 | <thegman> | ok just a minute i gotta go do something |
| 18:52:15 | <c_wraith> | oh. actually, it's return 0 if composite, n if prime |
| 18:52:21 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:52:24 | <c_wraith> | that's still a bit unusual, but sure |
| 18:53:11 | × | mjs2600 quits (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:53:28 | <thegman> | i couldnt figure out how to only do something if it was prime so i just did that |
| 18:54:02 | <c_wraith> | what would you prefer to have it return? |
| 18:54:25 | <c_wraith> | or is it returning what you want, and you just would like slightly more direct logic? |
| 18:54:34 | <thegman> | my goal is just to add together all the prime numbers then print them at the end |
| 18:54:42 | <c_wraith> | got it. |
| 18:54:54 | <EvanR> | hackage package arithmoi has isPrime :: Integer -> Bool |
| 18:54:57 | → | mjs2600 joins (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) |
| 18:55:03 | <EvanR> | which is probablistic |
| 18:55:06 | <c_wraith> | I'd be tempted to factor the logic apart a bit more. Just return a boolean, then apply a filter before sum |
| 18:55:20 | <c_wraith> | EvanR: arithmoi is completely irrelevant to this sort of problem |
| 18:55:37 | <c_wraith> | arithmoi is for doing number theory, not math exercises to learn the language |
| 18:55:50 | <EvanR> | oh I thought we were trying to speed up primes |
| 18:56:04 | <thegman> | im mainly just trying to figure out the otherworldly syntax |
| 18:56:26 | <yin> | can we set default rules in the .cabal file? |
| 18:57:10 | <c_wraith> | thegman: In that case, I'd very much recommend prime having the type Integer -> Bool |
| 18:57:16 | → | mikess joins (~sam@S010664777dafd303.cg.shawcable.net) |
| 18:57:43 | <c_wraith> | thegman: and then your logic would be more like sum (filter prime [1..10000000]) |
| 18:57:59 | <thegman> | il try that |
| 18:58:00 | <c_wraith> | thegman: it separates the different parts of what you're doing a bit more cleanly |
| 18:59:38 | <c_wraith> | yin: no - that's a per-module declaration that's part of the haskell source. It's not like language pragmas, which are an alternative to compiler flags |
| 19:01:48 | <yin> | got it |
| 19:02:05 | <yin> | any reason i can't seem to import GHC.Conc.listThreads ? |
| 19:02:27 | <c_wraith> | are you on a sufficiently new version of ghc? |
| 19:02:43 | <yin> | oh wait |
| 19:02:54 | <c_wraith> | that call has only existed since like 9.8, and it only worked without crashing since 9.8.2. IIRC |
| 19:03:21 | <geekosaur> | 9.6? we're only on 9.8.1 |
| 19:03:27 | × | monochrm quits (~trebla@138-51-85-114-lsn-2.nat.utoronto.ca) (Ping timeout: 240 seconds) |
| 19:03:31 | <c_wraith> | Hmm. maybe. |
| 19:03:45 | <c_wraith> | yeah, must be. |
| 19:03:51 | <c_wraith> | 9.6 instead of 9.8 in those |
| 19:04:00 | <yin> | that's it. thanks |
| 19:08:00 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 19:10:38 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 19:10:54 | → | Pickchea joins (~private@user/pickchea) |
| 19:11:43 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 19:12:22 | × | falafel quits (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 252 seconds) |
| 19:15:21 | <thegman> | that worked |
| 19:15:32 | → | Guest36 joins (~Guest37@149.159.195.52) |
| 19:16:00 | <thegman> | so is "filter" matching all "True"s with the number in the same location in the list |
| 19:17:46 | <c_wraith> | > filter even [1..10] |
| 19:17:47 | <lambdabot> | [2,4,6,8,10] |
| 19:17:52 | <c_wraith> | :t filter |
| 19:17:53 | <lambdabot> | (a -> Bool) -> [a] -> [a] |
| 19:18:03 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 19:18:14 | <c_wraith> | It's returning a new list that has only the elements for which the function returns true |
| 19:18:49 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 19:19:10 | <c_wraith> | that lets you separate the logic of "is this number prime" from any concern about what's being done with that knowledge |
| 19:20:12 | → | y04nn joins (~username@2a03:1b20:8:f011::e10d) |
| 19:20:49 | <thegman> | sorry i was afk |
| 19:21:10 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:c96f:d7b1:4387:b17b) (Remote host closed the connection) |
| 19:21:15 | <thegman> | thats pretty neat |
| 19:21:31 | × | thegeekinside quits (~thegeekin@189.141.80.123) (Remote host closed the connection) |
| 19:21:58 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 19:24:50 | <c_wraith> | One of the big things that can really trip you up when learning Haskell is that people put a lot of attention towards separating concerns, and it's not at all obvious what tools are available. You can spend a lot of time looking for something that doesn't exist - or that exists but in a very unexpected way |
| 19:28:26 | <thegman> | hopefully its worth it in the end |
| 19:35:17 | <EvanR> | learning haskell stuff really helped me in programming even in other languages |
| 19:36:00 | <EvanR> | the (working, beneficial) logic that ghc inflicts upon you can be emulated even in untyped languages, in your brain |
| 19:37:49 | × | Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving) |
| 19:37:57 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 19:38:29 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 19:40:13 | → | michalz joins (~michalz@185.246.207.201) |
| 19:43:26 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 19:43:43 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 19:48:01 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Client Quit) |
| 19:48:18 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 19:48:26 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
| 19:51:35 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 19:51:43 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 19:53:51 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:55:31 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:ec87:948a:1a8:d401) |
| 20:00:12 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:ec87:948a:1a8:d401) (Ping timeout: 248 seconds) |
| 20:02:05 | <yin> | haskell is nice |
| 20:05:02 | <yin> | sometimes I get annoyed at all its imperfections but then i try another languages and I remember to be grateful |
| 20:05:43 | × | swistak- quits (~swistak@185.21.216.141) (Ping timeout: 264 seconds) |
| 20:06:20 | <juri_> | hear, hear. |
| 20:07:05 | × | y04nn quits (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 240 seconds) |
| 20:08:36 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 20:11:11 | × | red-snail quits (~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 20:11:11 | × | red-snail1 quits (~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 20:11:31 | → | red-snail joins (~snail@static.151.210.203.116.clients.your-server.de) |
| 20:14:08 | → | red-snail1 joins (~snail@static.151.210.203.116.clients.your-server.de) |
| 20:18:21 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 20:20:25 | → | monochrm joins (~trebla@138-51-65-75-lsn-2.nat.utoronto.ca) |
| 20:21:18 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 20:21:19 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 20:21:31 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 20:23:12 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 20:23:30 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 20:29:00 | × | Guest36 quits (~Guest37@149.159.195.52) (Quit: Client closed) |
| 20:29:54 | → | swistak joins (~swistak@185.21.216.141) |
| 20:31:30 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 20:33:00 | → | mikoto-chan joins (~mikoto-ch@ip-212-239-236-59.dsl.scarlet.be) |
| 20:37:18 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 20:38:56 | × | swistak quits (~swistak@185.21.216.141) (Ping timeout: 255 seconds) |
| 20:44:37 | <juri_> | dumb question: how do i signify to the compiler that a function will always return a value with a given constructor that conforms to a given typeclass? |
| 20:44:40 | → | swistak joins (~swistak@185.21.216.141) |
| 20:45:29 | × | monochrm quits (~trebla@138-51-65-75-lsn-2.nat.utoronto.ca) (Quit: Leaving) |
| 20:46:11 | <geekosaur> | you don't get to specify that a given constructor will be used. you can specify a typeclass instance in the usual way (with a context) |
| 20:47:08 | <geekosaur> | (well, there's some type level shenanigans but you want to avoid those because they'll rot your brain) |
| 20:51:21 | <juri_> | fair. :) |
| 20:51:57 | <EvanR> | values don't conform to a type class, types do |
| 20:52:53 | <EvanR> | you can't do instance Num 'x' where, you have to do instance Num Char where, if you wanted to make Char a Num |
| 20:56:55 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:ec87:948a:1a8:d401) |
| 20:57:16 | × | ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 20:58:09 | → | ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 21:04:04 | × | danza quits (~francesco@151.47.190.137) (Read error: Connection reset by peer) |
| 21:04:23 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 21:08:02 | → | Nachtgespenst joins (~user@user/siracusa) |
| 21:08:42 | holoween | is now known as hololeap |
| 21:10:15 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 21:17:35 | → | danza joins (~francesco@an-19-172-182.service.infuturo.it) |
| 21:22:27 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 21:28:15 | × | Jackneill quits (~Jackneill@20014C4E1E03D80081B997486BB26576.dsl.pool.telekom.hu) (Ping timeout: 240 seconds) |
| 21:32:11 | → | AssCrackBandit joins (~user@cust-west-par-46-193-2-167.cust.wifirst.net) |
| 21:33:13 | → | pixelmonk joins (~pixelmonk@173.46.79.26) |
| 21:35:07 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 21:36:55 | × | mikoto-chan quits (~mikoto-ch@ip-212-239-236-59.dsl.scarlet.be) (Ping timeout: 264 seconds) |
| 21:38:30 | <dsal> | How hard would it be for my software to conditionally exclude some functionality? In particular, I use postgres, but my software doesn't _require_ postgres, so could I make it not build the file that adds all the postgres-specific stuff and whatever database selection stuff I've got that uses it? |
| 21:39:44 | <geekosaur> | you're not supposed to use flags that way, but people often do |
| 21:40:11 | <geekosaur> | (the reason you're not supposed to do it is it really complicates dependencies when you have to deal with flags) |
| 21:41:23 | <geekosaur> | an alternative is to put the postgres-related stuff in a public sublibrary (or whatever they end up being called) |
| 21:43:01 | <geekosaur> | set it `buildable: false` if the pg libs aren't available (ideally this can be determined with pkg-config, but you could also use a flag) |
| 21:43:03 | → | y04nn joins (~username@2a03:1b20:8:f011::e10d) |
| 21:43:11 | <dsal> | Oh. So like, I could make a "plugin" for DB types. It might be worth learning to do that. sqlite is probably fine for most people. |
| 21:43:17 | × | y04nn quits (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection) |
| 21:46:03 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 21:46:13 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 255 seconds) |
| 21:48:24 | → | pretty_dumm_guy joins (~trottel@2a02:810b:43bf:aba0:919f:b5f7:24a3:5392) |
| 21:51:15 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 21:51:19 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 21:51:27 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 240 seconds) |
| 21:51:38 | × | chomwitt quits (~chomwitt@ppp-94-67-130-102.home.otenet.gr) (Remote host closed the connection) |
| 21:52:05 | → | chomwitt joins (~chomwitt@2a02:587:7a2d:bc00:1ac0:4dff:fedb:a3f1) |
| 21:53:34 | → | infinity0 joins (~infinity0@pwned.gg) |
| 21:55:42 | ← | mikess parts (~sam@S010664777dafd303.cg.shawcable.net) () |
| 21:58:18 | × | pixelmonk quits (~pixelmonk@173.46.79.26) (Ping timeout: 272 seconds) |
| 21:58:39 | × | neceve quits (~neceve@user/neceve) (Ping timeout: 240 seconds) |
| 22:00:55 | → | Jackneill joins (~Jackneill@20014C4E1E03D8004F80E1E499FDC965.dsl.pool.telekom.hu) |
| 22:02:58 | <EvanR> | how does excluding functionality, or switching between alternative driver libs work if they come in the form of sublibraries |
| 22:03:19 | <EvanR> | which cabal thing allows that |
| 22:04:45 | → | laxmik joins (~laxmik@2a01:c23:90b6:7a00:654a:11b:230a:5041) |
| 22:05:37 | × | laxmik quits (~laxmik@2a01:c23:90b6:7a00:654a:11b:230a:5041) (Client Quit) |
| 22:05:55 | → | laxmik joins (~laxmik@2a01:c23:90b6:7a00:654a:11b:230a:5041) |
| 22:08:21 | laxmik | is now known as michals |
| 22:09:17 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:10:02 | → | pixelmonk joins (~pixelmonk@173.46.79.26) |
| 22:10:57 | × | pretty_dumm_guy quits (~trottel@2a02:810b:43bf:aba0:919f:b5f7:24a3:5392) (Quit: WeeChat 3.5) |
| 22:11:39 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:18:20 | × | chomwitt quits (~chomwitt@2a02:587:7a2d:bc00:1ac0:4dff:fedb:a3f1) (Ping timeout: 248 seconds) |
| 22:19:26 | × | michals quits (~laxmik@2a01:c23:90b6:7a00:654a:11b:230a:5041) (Quit: michals) |
| 22:23:53 | <geekosaur> | each sublibrary has its own functionality, and is visible as a separate library on Hackage that other packages can use as a dependency if you set `visibility: public` |
| 22:27:55 | × | danza quits (~francesco@an-19-172-182.service.infuturo.it) (Ping timeout: 264 seconds) |
| 22:33:04 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:38:12 | → | htor joins (~htor@84.208.240.181) |
| 22:41:26 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 22:42:01 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 255 seconds) |
| 22:46:53 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:ec87:948a:1a8:d401) (Ping timeout: 260 seconds) |
| 22:49:00 | → | arahael joins (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) |
| 22:50:07 | × | juri_ quits (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 22:52:08 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 260 seconds) |
| 22:52:09 | → | juri_ joins (~juri@84-19-175-187.pool.ovpn.com) |
| 22:53:57 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 22:54:05 | × | acidjnk quits (~acidjnk@p200300d6e72b9337808cfce7fb05b8ec.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 22:57:10 | → | juri__ joins (~juri@84-19-175-187.pool.ovpn.com) |
| 22:57:49 | × | michalz quits (~michalz@185.246.207.201) (Remote host closed the connection) |
| 22:58:18 | → | Guest91 joins (~Guest37@149.159.195.52) |
| 22:58:40 | × | juri_ quits (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 255 seconds) |
| 23:00:09 | juri__ | is now known as juri_ |
| 23:02:16 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 23:02:21 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 23:10:09 | <Axeman6> | @remember yin haskell is nice; sometimes I get annoyed at all its imperfections but then i try another languages and I remember to be grateful |
| 23:10:09 | <lambdabot> | I will remember. |
| 23:10:18 | <Axeman6> | @quote yin |
| 23:10:18 | <lambdabot> | yin says: haskell is nice; sometimes I get annoyed at all its imperfections but then i try another languages and I remember to be grateful |
| 23:10:25 | <Axeman6> | @botsnack |
| 23:10:26 | <lambdabot> | :) |
| 23:13:43 | <jack-o-lanterndk> | Lovely sentiment |
| 23:19:15 | <Axeman6> | dsal: if you can extract the common functionality into a record, then you can just pass those into your app monad's reader or whatever, it's basically ghetto type classes |
| 23:19:16 | <EvanR> | haskell is the worst programming language, except for all the other ones |
| 23:20:02 | <dsal> | Axeman6: yeah, that's how it works. I just have people on different systems complaining about not knowing how to make it compile against postgres, which _I_ use, but isn't necessary for everyone. |
| 23:21:15 | <EvanR> | ship it with a dummy version of postgres which cabal detects, but it does nothing, goes nowhere (GNDN) |
| 23:29:26 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 23:33:20 | × | pixelmonk quits (~pixelmonk@173.46.79.26) (Ping timeout: 258 seconds) |
| 23:38:30 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:42:20 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 256 seconds) |
| 23:45:17 | × | hippoid quits (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) (Quit: WeeChat 4.0.1) |
| 23:46:20 | <dsal> | This is currently just another failing campaign to get everyone using nix so I don't have to think about things. |
| 23:47:00 | <geekosaur> | are you buying me a bigger ssd? |
| 23:48:14 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 23:48:46 | <Axeman6> | It's Nix, just store everything on someone else's SSD and reference it by hash |
| 23:49:03 | <jack-o-lanterndk> | Once you're accepting a record-of-functions (or providing it in a separate package), is it possible to make the postgres stuff its own package? |
| 23:50:17 | → | pixelmonk joins (~pixelmonk@173.46.79.26) |
| 23:57:03 | × | arahael quits (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds) |
All times are in UTC on 2023-11-01.