| 2021-12-24 00:00:16 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:319d:53ed:6690:e5b4) |
| 2021-12-24 00:00:18 +0100 | <hpc> | it's like whoever was naming it forgot that verbs have conjugations |
| 2021-12-24 00:00:51 +0100 | <hpc> | "ah crap, we can't just name this after euler again" |
| 2021-12-24 00:01:31 +0100 | <EvanR> | hpc might be on the right track, what if aliens on venus invented functions (without regard to what they operate on), then a cool committee invented venusian C where functions could only operate on primitive types and pointers |
| 2021-12-24 00:01:39 +0100 | <EvanR> | they might call them "limited functions" |
| 2021-12-24 00:02:08 +0100 | <EvanR> | nothing higher order about the original functions |
| 2021-12-24 00:02:22 +0100 | <hpc> | heh |
| 2021-12-24 00:02:42 +0100 | <hpc> | or maybe it's the same person who decided to call it "maths" |
| 2021-12-24 00:03:03 +0100 | <hpc> | when the world inevitably ends in nuclear war, they'll have to learn to survive the "aftermaths" :D |
| 2021-12-24 00:03:35 +0100 | coot | (~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) (Remote host closed the connection) |
| 2021-12-24 00:04:33 +0100 | <Rembane> | That implies some kind of non determinism which I find comforting. :) |
| 2021-12-24 00:04:48 +0100 | coot | (~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) |
| 2021-12-24 00:05:12 +0100 | FirstAsTragedy | (~philg@220.240.104.208) (Quit: Konversation terminated!) |
| 2021-12-24 00:05:12 +0100 | <EvanR> | ah yeah, american Math is something you can't argue with |
| 2021-12-24 00:05:29 +0100 | <EvanR> | if you study maths... you have options |
| 2021-12-24 00:05:42 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-12-24 00:05:45 +0100 | <hpc> | i prefer computer sciences |
| 2021-12-24 00:05:51 +0100 | <hpc> | or if you read smbc, computers science |
| 2021-12-24 00:06:11 +0100 | <EvanR> | accounts receivable |
| 2021-12-24 00:07:33 +0100 | <hpc> | somewhere in super-america, they study physic instead of physics |
| 2021-12-24 00:08:22 +0100 | <Rembane> | The one true physic. |
| 2021-12-24 00:09:06 +0100 | <otherwise> | '=D |
| 2021-12-24 00:10:00 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2021-12-24 00:11:55 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-24 00:14:32 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:bc5b:dbe0:79e5:a909) (Ping timeout: 240 seconds) |
| 2021-12-24 00:14:35 +0100 | tomku | (~tomku@user/tomku) |
| 2021-12-24 00:15:17 +0100 | jeetelongname | (~jeet@88-111-159-26.dynamic.dsl.as9105.com) (Ping timeout: 252 seconds) |
| 2021-12-24 00:18:50 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2021-12-24 00:19:51 +0100 | <mjrosenb> | after we figure out the GUT, then we will finally have physic. |
| 2021-12-24 00:23:40 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-12-24 00:25:10 +0100 | kaph | (~kaph@net-2-45-51-147.cust.vodafonedsl.it) |
| 2021-12-24 00:25:23 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2021-12-24 00:27:28 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2021-12-24 00:28:13 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) |
| 2021-12-24 00:28:32 +0100 | evocatus | (~evocatus@62.182.78.42) (Quit: Leaving) |
| 2021-12-24 00:30:04 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) (Quit: Leaving) |
| 2021-12-24 00:30:08 +0100 | AlexNoo_ | (~AlexNoo@178.34.160.99) |
| 2021-12-24 00:31:17 +0100 | coot | (~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) (Quit: coot) |
| 2021-12-24 00:32:14 +0100 | Alex_test | (~al_test@178.34.150.63) (Ping timeout: 268 seconds) |
| 2021-12-24 00:32:51 +0100 | AlexZenon | (~alzenon@178.34.150.63) (Ping timeout: 268 seconds) |
| 2021-12-24 00:33:29 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 268 seconds) |
| 2021-12-24 00:34:05 +0100 | AlexNoo | (~AlexNoo@178.34.150.63) (Ping timeout: 268 seconds) |
| 2021-12-24 00:34:54 +0100 | <carbolymer> | the physic of the gut |
| 2021-12-24 00:35:44 +0100 | falafel | (~falafel@2603-8000-d800-688c-502d-7280-71cc-20e7.res6.spectrum.com) (Remote host closed the connection) |
| 2021-12-24 00:35:45 +0100 | <geekosaur> | isn't a physic what you take when your gut hurts? |
| 2021-12-24 00:36:05 +0100 | falafel | (~falafel@2603-8000-d800-688c-502d-7280-71cc-20e7.res6.spectrum.com) |
| 2021-12-24 00:36:56 +0100 | AlexZenon | (~alzenon@178.34.160.99) |
| 2021-12-24 00:36:56 +0100 | Alex_test | (~al_test@178.34.160.99) |
| 2021-12-24 00:40:05 +0100 | <hpc> | my gut only hurts if i try to eat a monad too fast |
| 2021-12-24 00:40:16 +0100 | <hpc> | i mean, burrito |
| 2021-12-24 00:42:53 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2021-12-24 00:43:21 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-12-24 00:43:56 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-24 00:46:25 +0100 | aliosablack | (~chomwitt@ppp-2-85-245-134.home.otenet.gr) (Ping timeout: 268 seconds) |
| 2021-12-24 00:47:01 +0100 | Jing | (~hedgehog@2604:a840:3::1061) (Remote host closed the connection) |
| 2021-12-24 00:47:02 +0100 | chomwitt | (~chomwitt@ppp-2-85-245-134.home.otenet.gr) (Ping timeout: 268 seconds) |
| 2021-12-24 00:47:49 +0100 | <otherwise> | I'm stuck on this "learn you a haskell..." sentence: |
| 2021-12-24 00:47:49 +0100 | <otherwise> | "We could have done this pattern matching directly in the function's parameters (it would have been shorter and clearer actually) but this just goes to show that it's possible to do it in where bindings as well." |
| 2021-12-24 00:47:50 +0100 | <otherwise> | here is my attempt to do just that (pattern match directly in the functions parameters: https://paste.tomsmeding.com/uIZZTTF8 |
| 2021-12-24 00:48:04 +0100 | Jing | (~hedgehog@2604:a840:3::1061) |
| 2021-12-24 00:48:13 +0100 | <otherwise> | Any hints on how I can better approach this? |
| 2021-12-24 00:49:47 +0100 | <monochrom> | initials (f:_) (l:_) = [f] ++ ". " ++ [l] ++ "." |
| 2021-12-24 00:50:17 +0100 | falafel | (~falafel@2603-8000-d800-688c-502d-7280-71cc-20e7.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-12-24 00:50:31 +0100 | <monochrom> | This is what's wrong with writing paragraphs after paragraphs of prose. |
| 2021-12-24 00:50:42 +0100 | <hololeap> | initials' firstname lastname = let (f:_) = firstname ; (l:_) = lastname in f ++ "." ++ l ++ "." |
| 2021-12-24 00:51:57 +0100 | <otherwise> | well I got it but it kinda felt like a guess... |
| 2021-12-24 00:52:22 +0100 | <otherwise> | oh sorry I didnt see your responses till after my second comment |
| 2021-12-24 00:53:13 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2021-12-24 00:53:30 +0100 | <otherwise> | initials' :: String -> String -> String |
| 2021-12-24 00:53:31 +0100 | <otherwise> | initials' (f:firstname) (l:lastname) = [f] ++ "." ++ [l] ++ "." --((f:_) = firstname) ++ "." ++ ((l:_) = lastname) ++ "." |
| 2021-12-24 00:54:01 +0100 | <otherwise> | just this actually: |
| 2021-12-24 00:54:01 +0100 | <otherwise> | initials' (f:firstname) (l:lastname) = [f] ++ "." ++ [l] ++ "." |
| 2021-12-24 00:54:16 +0100 | hololeap | forgot to put f and l inside lists |
| 2021-12-24 00:55:09 +0100 | <monochrom> | copy-paste-edit is more reliable than writing from scratch :) |
| 2021-12-24 00:55:11 +0100 | <hololeap> | since you're not using the firstname or lastname variables there, you can just replacethem with an underscore _ |
| 2021-12-24 00:55:33 +0100 | <jollygood2> | I'm implementing my own list for fun and practice. should I define any other instance? https://paste.tomsmeding.com/pDJi5AZm |
| 2021-12-24 00:55:37 +0100 | n3rdy1 | (~n3rdy1@2601:281:c780:a510:31c5:bd6a:19eb:499b) (Ping timeout: 240 seconds) |
| 2021-12-24 00:56:14 +0100 | <monochrom> | Traversable, Alternative, MonadPlus |
| 2021-12-24 00:56:14 +0100 | <hololeap> | jollygood2: now it's time to implement Traversable |
| 2021-12-24 00:56:17 +0100 | <geekosaur> | ^ |
| 2021-12-24 00:56:25 +0100 | <monochrom> | IsList >:) |
| 2021-12-24 00:57:08 +0100 | <jollygood2> | I did IsList :P. those other 3 sound good |
| 2021-12-24 00:57:18 +0100 | <monochrom> | Semigroup. Are you using a relative old GHC? Semigroup is a requirement for Monoid these days. |
| 2021-12-24 00:57:19 +0100 | max22- | (~maxime@2a01cb0883359800ba08fcf16942d473.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-12-24 00:57:29 +0100 | <monochrom> | Ah I see. |
| 2021-12-24 00:57:49 +0100 | <jollygood2> | I'm usin golder version, waiting for bug-free version of 9.2 to upgrade |
| 2021-12-24 00:58:03 +0100 | <geekosaur> | how much older isolder? |
| 2021-12-24 00:58:33 +0100 | <jollygood2> | 8.8.3 :P |
| 2021-12-24 00:58:48 +0100 | <monochrom> | MonadFail :) |
| 2021-12-24 00:58:57 +0100 | <monochrom> | Not sure if it's in 8.8 |
| 2021-12-24 00:59:30 +0100 | <jollygood2> | I did just instance Semigroup (List a) where and it compiled without warnings. there's no need to define anything in newer versions as well? |
| 2021-12-24 00:59:55 +0100 | Bartol | (~Bartol@user/Bartol) (Remote host closed the connection) |
| 2021-12-24 00:59:55 +0100 | <monochrom> | In newer version, if you don't have Semigroup, you aren't allowed Monoid. |
| 2021-12-24 01:00:07 +0100 | <geekosaur> | in newer versions mappend is constructed from Semigroup's sappend and you only want mempty |
| 2021-12-24 01:00:16 +0100 | <jollygood2> | ah |
| 2021-12-24 01:01:03 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) |
| 2021-12-24 01:02:27 +0100 | <hololeap> | upgrade to 8.10.7 |
| 2021-12-24 01:02:29 +0100 | SummerSonw | (~The_viole@203.77.49.232) |
| 2021-12-24 01:05:25 +0100 | toastloopex | (~toastloop@user/toastloop) (Remote host closed the connection) |
| 2021-12-24 01:06:02 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 240 seconds) |
| 2021-12-24 01:07:51 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-24 01:07:51 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-12-24 01:07:51 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2021-12-24 01:12:28 +0100 | regr | (~regr@user/regr) (Quit: "") |
| 2021-12-24 01:14:48 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
| 2021-12-24 01:15:01 +0100 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2021-12-24 01:15:39 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2021-12-24 01:15:39 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-12-24 01:15:39 +0100 | finn_elija | FinnElija |
| 2021-12-24 01:15:44 +0100 | kaph_ | (~kaph@net-2-45-51-147.cust.vodafonedsl.it) |
| 2021-12-24 01:16:58 +0100 | falafel | (~falafel@2603-8000-d800-688c-502d-7280-71cc-20e7.res6.spectrum.com) |
| 2021-12-24 01:17:33 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) |
| 2021-12-24 01:17:57 +0100 | kaph | (~kaph@net-2-45-51-147.cust.vodafonedsl.it) (Ping timeout: 240 seconds) |
| 2021-12-24 01:18:27 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-12-24 01:20:24 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-12-24 01:20:34 +0100 | dka | (~code-is-a@ns3059207.ip-193-70-33.eu) (Quit: My Ex-Girlfriend once told me: I'm not a slut, I'm just popular) |
| 2021-12-24 01:20:57 +0100 | falafel | (~falafel@2603-8000-d800-688c-502d-7280-71cc-20e7.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-12-24 01:21:14 +0100 | dka | (~code-is-a@ns3059207.ip-193-70-33.eu) |
| 2021-12-24 01:22:49 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 268 seconds) |
| 2021-12-24 01:23:19 +0100 | <otherwise> | https://paste.tomsmeding.com/CIFcRs9L |
| 2021-12-24 01:23:50 +0100 | <otherwise> | trying to make this work: |
| 2021-12-24 01:23:51 +0100 | <otherwise> | initials'2 :: String -> String -> String |
| 2021-12-24 01:23:51 +0100 | <otherwise> | initials'2 ([f]:_) ([l]:_) = [f] ++ "." ++ [l] "." |
| 2021-12-24 01:24:07 +0100 | <geekosaur> | that's not how list patterns work |
| 2021-12-24 01:24:26 +0100 | <geekosaur> | [f] matches a list of exactly one item, and the following : means you have a list of lists |
| 2021-12-24 01:24:41 +0100 | <otherwise> | I got the same thing to work with (f:firstname), but I figure I can just replace firstname with _ because I'm not using firstname. |
| 2021-12-24 01:24:44 +0100 | <geekosaur> | (f:_) is how you match the first element of a list |
| 2021-12-24 01:25:37 +0100 | <geekosaur> | > (2:3:5:[]) |
| 2021-12-24 01:25:38 +0100 | <lambdabot> | [2,3,5] |
| 2021-12-24 01:25:45 +0100 | <otherwise> | I tried that as well, same error |
| 2021-12-24 01:26:44 +0100 | <geekosaur> | you are also missing a ++ |
| 2021-12-24 01:27:06 +0100 | <geekosaur> | at the end of line 7 |
| 2021-12-24 01:27:40 +0100 | <geekosaur> | [l] "." does not concatenate [l] with "." |
| 2021-12-24 01:27:40 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 2021-12-24 01:27:53 +0100 | <otherwise> | oh that myst be it |
| 2021-12-24 01:28:19 +0100 | <jollygood2> | am I missing something, or have things changed since my ancient ghc, because MonadPlus and Alternative didn't give me any new functionality. I did not need to define any methods for MonadPlus, and for Alternative I just did (<|>) = (<>) empty = Nil |
| 2021-12-24 01:29:43 +0100 | <dsal> | > let initialize = (<>".") . intersperse '.' . fmap head in initialize ["Other", "Wise"] |
| 2021-12-24 01:29:45 +0100 | <lambdabot> | "O.W." |
| 2021-12-24 01:30:02 +0100 | acidjnk | (~acidjnk@p200300d0c7271e5539f4c4c5e28366d0.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-12-24 01:32:54 +0100 | <jollygood2> | > [1,2] <|> [4,5] |
| 2021-12-24 01:32:55 +0100 | <lambdabot> | [1,2,4,5] |
| 2021-12-24 01:32:58 +0100 | <jollygood2> | I kind of expected [1,2] |
| 2021-12-24 01:33:05 +0100 | <dsal> | Yeah. I always expect that, too. |
| 2021-12-24 01:33:57 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2021-12-24 01:35:58 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2021-12-24 01:36:46 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-24 01:38:52 +0100 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-12-24 01:41:18 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2021-12-24 01:42:13 +0100 | x88x88x | (~x88x88x@149.28.53.172) (Ping timeout: 240 seconds) |
| 2021-12-24 01:43:50 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2021-12-24 01:44:48 +0100 | <otherwise> | initials'2 :: String -> String -> String |
| 2021-12-24 01:44:48 +0100 | <otherwise> | initials'2 (f:_) (l:_) = [f] ++ "." ++ [l] ++ "." -- very concise version of initials. |
| 2021-12-24 01:44:49 +0100 | <otherwise> | HOWEVER, if I try to switch to (_:f) (_:l) it does not take the tail of each string input like I would expect... |
| 2021-12-24 01:45:22 +0100 | <dsal> | It does take the tail. Perhaps you expect tail to mean something else? |
| 2021-12-24 01:45:26 +0100 | <monochrom> | It does. Your problem is elsewhere. |
| 2021-12-24 01:45:46 +0100 | <otherwise> | hmm okay |
| 2021-12-24 01:45:47 +0100 | <monochrom> | > let f (_:s) = s in f "abc" |
| 2021-12-24 01:45:49 +0100 | <lambdabot> | "bc" |
| 2021-12-24 01:45:54 +0100 | <monochrom> | worksfome |
| 2021-12-24 01:46:26 +0100 | <EvanR> | whoa that was almost an infinite loop |
| 2021-12-24 01:47:15 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-12-24 01:48:04 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-24 01:48:12 +0100 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) |
| 2021-12-24 01:50:19 +0100 | <otherwise> | Oh I just had my outputs as [f] ++ [l], which was [[Char]] instead of my defined type [Char] |
| 2021-12-24 01:51:46 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) |
| 2021-12-24 01:52:13 +0100 | Erutuon | (~Erutuon@user/erutuon) (Quit: WeeChat 2.8) |
| 2021-12-24 01:52:37 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2021-12-24 01:55:55 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-12-24 01:56:17 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 240 seconds) |
| 2021-12-24 01:57:02 +0100 | <jollygood2> | uh, actually I'm using ghc 8.0.2! wow that's old |
| 2021-12-24 01:58:06 +0100 | <jollygood2> | since I waited that long though, I can wait a couple of more months to jump straight to 9.x |
| 2021-12-24 02:00:05 +0100 | <shapr> | Is there a tool to convert a stack.yaml to a cabal.project? |
| 2021-12-24 02:00:19 +0100 | <shapr> | I have cabal generating arm64 native packages, but stack just won't |
| 2021-12-24 02:00:21 +0100 | otherwise | (~otherwise@c-73-181-170-174.hsd1.wa.comcast.net) (Quit: Connection closed) |
| 2021-12-24 02:00:35 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 02:00:36 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 02:00:51 +0100 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) (Read error: Connection reset by peer) |
| 2021-12-24 02:01:00 +0100 | <sm> | shapr, seen https://www.reddit.com/r/haskell/comments/rjm0x8/help_wanted_for_llvm_config_for_haskell_on_mac/ ? |
| 2021-12-24 02:01:28 +0100 | <shapr> | nope |
| 2021-12-24 02:02:58 +0100 | <shapr> | I downgraded to llvm 12 on m1 mac, that seemed to help |
| 2021-12-24 02:03:54 +0100 | shapr | reads faster |
| 2021-12-24 02:04:19 +0100 | <shapr> | ah, they also went to llvm 12 |
| 2021-12-24 02:04:41 +0100 | <shapr> | I just don't want to build a cabal.project by hand for ~150 packages |
| 2021-12-24 02:04:45 +0100 | <shapr> | so was hoping to convert this magically |
| 2021-12-24 02:05:25 +0100 | <sm> | shapr: if it's not clear from that discussion, I'm using brew-installed llvm 13 and stack building arm binaries happily |
| 2021-12-24 02:05:50 +0100 | <shapr> | how'd you get an arm64 stack? |
| 2021-12-24 02:06:12 +0100 | <geekosaur> | doesn't ghcup install one? |
| 2021-12-24 02:06:13 +0100 | <sm> | I fixed multiple issues by finding and replacing all intel versions of stack/cabal/ghc/hls with ghcup-installed arm binaries (ghcup FTW!). Also beware, tools don't expect this change so many cached files will be out of date and will cause problems until you manually remove them - watch out for this with things under ~/.cabal, ~/.stack and ~/.cache (eg hie-bios). |
| 2021-12-24 02:07:17 +0100 | <shapr> | oh huh, ghcup does give me an arm64 native stack |
| 2021-12-24 02:07:23 +0100 | <sm> | brew also installs one, but ghcup provides more (hls, ghc versions..) |
| 2021-12-24 02:07:25 +0100 | <shapr> | geekosaur: yes, thanks |
| 2021-12-24 02:07:46 +0100 | <shapr> | I'll try this one more time, but previous builds were saying it couldn't link x86 to arm64 for postgresql-simple |
| 2021-12-24 02:08:05 +0100 | <shapr> | jävla frustrerad |
| 2021-12-24 02:08:32 +0100 | <geekosaur> | make sure you don't have x86 postgres libs around |
| 2021-12-24 02:08:35 +0100 | <shapr> | now I get segfaults |
| 2021-12-24 02:08:46 +0100 | <shapr> | geekosaur: pretty sure I only have arm64 native stuff |
| 2021-12-24 02:08:55 +0100 | <shapr> | as far as I know, I haven't installed rosetta |
| 2021-12-24 02:08:57 +0100 | <sm> | I'm pretty sure you don't :) |
| 2021-12-24 02:09:20 +0100 | <sm> | doesn't my comment above give some ideas ? build artifacts left over ? |
| 2021-12-24 02:09:34 +0100 | <shapr> | yeh, I'd believe that |
| 2021-12-24 02:09:47 +0100 | <shapr> | I'll just check out the repo again, no manual steps here |
| 2021-12-24 02:09:52 +0100 | <sm> | and have you checked all haskell tools in PATH with file ? |
| 2021-12-24 02:09:57 +0100 | <jollygood2> | what is up with this? |
| 2021-12-24 02:10:05 +0100 | <jollygood2> | File path contains a name which is not a valid package name: ghc-882-test.cabal |
| 2021-12-24 02:10:11 +0100 | <EvanR> | I just combined a Tree, State, and Traversable to put a new number at each place in the tree. Cool. Am I missing a way (using Traversable) to instead label each node with its depth |
| 2021-12-24 02:10:29 +0100 | <shapr> | sm: everything in ~/.ghcup/bin is arm64 only, so that's good |
| 2021-12-24 02:10:37 +0100 | <jollygood2> | why is it invalid? numbers? |
| 2021-12-24 02:10:57 +0100 | <sm> | that's a start, but not at all the same thing. I had binaries all over the place |
| 2021-12-24 02:11:36 +0100 | <EvanR> | or would that require a different kind of traversable |
| 2021-12-24 02:11:39 +0100 | <dsal> | EvanR: I did a thing that sounds exactly like that. |
| 2021-12-24 02:11:43 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-12-24 02:11:50 +0100 | <dsal> | number = flip evalState 0 . traverse (\x -> (,x) <$> (id <+= 1)) |
| 2021-12-24 02:12:00 +0100 | <shapr> | sm: pretty sure I have only the binaries from ghcup, but I'll dig around |
| 2021-12-24 02:12:32 +0100 | <dsal> | That's a custom type, and not Tree, but it's Treeish |
| 2021-12-24 02:12:39 +0100 | <EvanR> | sure |
| 2021-12-24 02:12:43 +0100 | Guest2110 | (~random@46.254.129.95) (Remote host closed the connection) |
| 2021-12-24 02:12:47 +0100 | <shapr> | I wish I could figure out why the ghcup installed stack gives me a segfault |
| 2021-12-24 02:13:06 +0100 | <sm> | good luck. I had binaries in at least the 5 places mentioned in that thread |
| 2021-12-24 02:13:19 +0100 | <shapr> | I will check the locations you listed, thanks |
| 2021-12-24 02:13:24 +0100 | <dsal> | shapr: I've seen that a few ways… I'm using nix right now. Things seem a little fragile lately. |
| 2021-12-24 02:14:43 +0100 | <shapr> | yeah, I've had different problems with haskell.nix |
| 2021-12-24 02:15:02 +0100 | <shapr> | on first run it says "cannot bootstrap GHC on this architecture" then it only segfaults |
| 2021-12-24 02:15:27 +0100 | <dsal> | Gotta start at lts-18.18 or so. |
| 2021-12-24 02:16:43 +0100 | <shapr> | I'll try that, we're using 18.10 |
| 2021-12-24 02:17:34 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 02:17:36 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 02:17:50 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-12-24 02:18:04 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: closed) |
| 2021-12-24 02:18:11 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 02:19:46 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-24 02:21:48 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-24 02:31:14 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-12-24 02:31:33 +0100 | neceve | (~quassel@2.26.93.228) (Ping timeout: 256 seconds) |
| 2021-12-24 02:32:47 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 02:32:48 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 02:33:47 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-24 02:33:50 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) |
| 2021-12-24 02:38:21 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) (Ping timeout: 256 seconds) |
| 2021-12-24 02:38:39 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2021-12-24 02:42:14 +0100 | <jollygood2> | hmm, I just stack installed ghc-8.10.7, and I lost 4GB on my SSD drive, despite the fact that ghc-8.10.7 + ghc-8.10.7.tar.xz only take 3GB. what happened to 1GB? base is the only package I use |
| 2021-12-24 02:43:32 +0100 | <maerwald[m]> | stack has multiple sqlite databases and basically puts hackage into one |
| 2021-12-24 02:43:52 +0100 | otherwise | (~otherwise@c-73-221-44-172.hsd1.wa.comcast.net) |
| 2021-12-24 02:44:45 +0100 | <jollygood2> | where is that database located? in stack root directory? |
| 2021-12-24 02:45:02 +0100 | <maerwald[m]> | Yeah |
| 2021-12-24 02:45:18 +0100 | <maerwald[m]> | pantry |
| 2021-12-24 02:45:43 +0100 | <jollygood2> | is it ok to just delete entire sr directory? :). I've experimented with various ghc versions over the years, and it accumulated a lot of crap I don't need |
| 2021-12-24 02:46:07 +0100 | <jollygood2> | I'm guessing stack install will pull in everything in needs again |
| 2021-12-24 02:46:16 +0100 | <jollygood2> | s/in/it |
| 2021-12-24 02:46:44 +0100 | <maerwald[m]> | stack doesn't care about your disk space yeah, like nix and docker |
| 2021-12-24 02:53:52 +0100 | shapr | installs more drives in his laptop |
| 2021-12-24 02:54:13 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2021-12-24 02:58:17 +0100 | vicfred | (~vicfred@user/vicfred) |
| 2021-12-24 02:58:50 +0100 | <otherwise> | calcBmis' xs = [bmi w h | (w, h) <- xs] |
| 2021-12-24 02:58:50 +0100 | <otherwise> | where bmi foo bar = foo + bar |
| 2021-12-24 02:58:51 +0100 | <otherwise> | so is foo and bar taking the place of w and h here? |
| 2021-12-24 02:59:01 +0100 | tito | (tito@tilde.team) (Ping timeout: 240 seconds) |
| 2021-12-24 02:59:33 +0100 | <otherwise> | and bmi must be bmi in the where binding, I dont get to rename that like I can rename w and h? |
| 2021-12-24 03:00:27 +0100 | sim590 | (~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 256 seconds) |
| 2021-12-24 03:00:30 +0100 | tito | (tito@tilde.team) |
| 2021-12-24 03:00:37 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-214.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-12-24 03:00:52 +0100 | <geekosaur> | bmi is a locally defined function, whose parameters are foo and bar. in the call to bmi, you pass w and h as foo and bar |
| 2021-12-24 03:06:21 +0100 | yaroot | (~yaroot@60.149.13.160.dy.iij4u.or.jp) (Remote host closed the connection) |
| 2021-12-24 03:06:30 +0100 | yaroot | (~yaroot@60.149.13.160.dy.iij4u.or.jp) |
| 2021-12-24 03:12:57 +0100 | <jollygood2> | weird argument names are probably the reason for confusion. also, that doesn't actually calculate bmi :P |
| 2021-12-24 03:13:46 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-24 03:13:46 +0100 | sim590 | (~simon@modemcable090.207-203-24.mc.videotron.ca) |
| 2021-12-24 03:14:42 +0100 | <jollygood2> | let bmi w h = w / h^2 in map (uncurry bmi) [(90, 1.80), (120, 1.80)] |
| 2021-12-24 03:14:45 +0100 | <jollygood2> | > let bmi w h = w / h^2 in map (uncurry bmi) [(90, 1.80), (120, 1.80)] |
| 2021-12-24 03:14:47 +0100 | <lambdabot> | [27.777777777777775,37.03703703703704] |
| 2021-12-24 03:16:17 +0100 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2021-12-24 03:19:50 +0100 | slack1256 | (~slack1256@181.42.53.226) |
| 2021-12-24 03:20:05 +0100 | tito | (tito@tilde.team) (Ping timeout: 252 seconds) |
| 2021-12-24 03:21:31 +0100 | Codaraxis_ | (~Codaraxis@user/codaraxis) |
| 2021-12-24 03:23:41 +0100 | Codaraxis | (~Codaraxis@user/codaraxis) (Ping timeout: 256 seconds) |
| 2021-12-24 03:23:49 +0100 | <slack1256> | Is there any advice on how to organize the module structure for an executable instead of a libraries? I want to avoid import cycles between subsystems, but it is not clear on the current code who can import on who. This is on stack so no access to internal libraries. |
| 2021-12-24 03:24:24 +0100 | tito | (tito@tilde.team) |
| 2021-12-24 03:26:41 +0100 | lragyrlmtdwnbo^ | (~lragyrlmt@64.253.22.77) (Ping timeout: 252 seconds) |
| 2021-12-24 03:26:58 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-24 03:27:24 +0100 | lragyrlmtdwnbo^ | (~lragyrlmt@64.253.22.77) |
| 2021-12-24 03:28:31 +0100 | <otherwise> | good catch. thanks :) |
| 2021-12-24 03:33:52 +0100 | <otherwise> | >fib 0 = [0];fib 1 = (fib 0) ++ [1] |
| 2021-12-24 03:34:08 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-12-24 03:34:18 +0100 | <otherwise> | Prelude> fib 1 |
| 2021-12-24 03:34:19 +0100 | <otherwise> | *** Exception: <interactive>:6:1-22: Non-exhaustive patterns in function fib |
| 2021-12-24 03:34:42 +0100 | <otherwise> | >[0]++[1] |
| 2021-12-24 03:34:49 +0100 | <otherwise> | > [0]++[1] |
| 2021-12-24 03:34:50 +0100 | <lambdabot> | [0,1] |
| 2021-12-24 03:35:12 +0100 | <otherwise> | > fib 0 = [0];fib 1 = (fib 0) ++ [1] |
| 2021-12-24 03:35:13 +0100 | <lambdabot> | <hint>:1:7: error: parse error on input ‘=’ |
| 2021-12-24 03:37:07 +0100 | <otherwise> | trying to generate list of fibonacci sequence, but haskell is not having it... doesn't like defining fib 0 to be list [0] then concatenating it with [1]. but it works fine when I do it with numbers instead of variables |
| 2021-12-24 03:41:07 +0100 | <g> | otherwise: if you wrote those two definitions on separate lines in ghci , the second one *replaced* the first |
| 2021-12-24 03:41:19 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2021-12-24 03:44:20 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-24 03:44:58 +0100 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-12-24 03:48:03 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-12-24 03:53:16 +0100 | xff0x | (~xff0x@2001:1a81:52d0:e400:f16b:c82a:3197:1eaa) (Ping timeout: 268 seconds) |
| 2021-12-24 03:54:35 +0100 | xff0x | (~xff0x@2001:1a81:5311:2b00:1f91:2f58:522f:165b) |
| 2021-12-24 03:54:36 +0100 | <otherwise> | > let fibs = 1 : 1 : zipWith (*) fibs (tail fibs) in take 4 fibs |
| 2021-12-24 03:54:37 +0100 | <lambdabot> | [1,1,1,1] |
| 2021-12-24 03:54:57 +0100 | <otherwise> | why all ones? why not [1,1,2,3] |
| 2021-12-24 03:55:14 +0100 | <int-e> | > 1*1 |
| 2021-12-24 03:55:15 +0100 | <lambdabot> | 1 |
| 2021-12-24 03:55:29 +0100 | <otherwise> | haha |
| 2021-12-24 03:55:30 +0100 | <otherwise> | oops |
| 2021-12-24 03:55:59 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 03:56:12 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 03:56:18 +0100 | <otherwise> | yes that was all, thanks int-e |
| 2021-12-24 03:58:02 +0100 | Morrow | (~quassel@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-12-24 03:58:02 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 03:58:03 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 03:58:47 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 03:58:48 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 03:59:24 +0100 | <dsal> | There should be a name for the sequence that's like fibonacci but all multiplied instead of added. |
| 2021-12-24 03:59:53 +0100 | <int-e> | dsal: you basically just take the logarithm of each element |
| 2021-12-24 04:00:33 +0100 | <int-e> | > let fibs' = 0 : 0 : zipWith (+) fibs' (tail fibs') in fibs' |
| 2021-12-24 04:00:34 +0100 | <lambdabot> | [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0... |
| 2021-12-24 04:00:35 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 04:00:36 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 04:00:45 +0100 | <dsal> | ziponacci numbers |
| 2021-12-24 04:01:02 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 04:01:02 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 04:01:31 +0100 | <int-e> | dsal: (with a tiny twist if you have negative numbers, though that twist disappears when you switch to complex numbers) |
| 2021-12-24 04:01:32 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2021-12-24 04:01:45 +0100 | <int-e> | > let fibs = 1 : 1 : zipWith (*) fibs (tail fibs) in take |
| 2021-12-24 04:01:47 +0100 | <lambdabot> | error: |
| 2021-12-24 04:01:47 +0100 | <lambdabot> | • No instance for (Typeable a0) |
| 2021-12-24 04:01:47 +0100 | <lambdabot> | arising from a use of ‘show_M32698731503050283268’ |
| 2021-12-24 04:01:50 +0100 | <int-e> | arg |
| 2021-12-24 04:02:03 +0100 | <int-e> | > let fibs = -1 : -1 : zipWith (*) fibs (tail fibs) in fibs |
| 2021-12-24 04:02:04 +0100 | <lambdabot> | [-1,-1,1,-1,-1,1,-1,-1,1,-1,-1,1,-1,-1,1,-1,-1,1,-1,-1,1,-1,-1,1,-1,-1,1,-1,... |
| 2021-12-24 04:02:17 +0100 | <dsal> | That one's neat. |
| 2021-12-24 04:02:29 +0100 | <dsal> | > let fibs = -1 : -1 : zipWith (*) fibs (tail fibs) in sum fibs |
| 2021-12-24 04:02:36 +0100 | dsal | waits |
| 2021-12-24 04:02:38 +0100 | <lambdabot> | mueval.real: ExitFailure 1 |
| 2021-12-24 04:02:56 +0100 | <jackdk> | @botsnack poor lambdabot |
| 2021-12-24 04:02:56 +0100 | <lambdabot> | :) |
| 2021-12-24 04:03:08 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 04:03:09 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 04:03:31 +0100 | <int-e> | . o O ( Out of memory: Killed process 25666 ) |
| 2021-12-24 04:04:01 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 04:04:01 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 04:06:16 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) |
| 2021-12-24 04:06:30 +0100 | <otherwise> | > let fibs = -1 : -1 : zipWith (*) fibs (tail fibs) in sum (take 5 fibs) |
| 2021-12-24 04:06:31 +0100 | <lambdabot> | -3 |
| 2021-12-24 04:07:10 +0100 | <otherwise> | > let fibs = -1 : -1 : zipWith (*) fibs (tail fibs) in sum (take 6 fibs) |
| 2021-12-24 04:07:12 +0100 | <lambdabot> | -2 |
| 2021-12-24 04:08:11 +0100 | <int-e> | > scanl (+) 0 (cycle [-1,-1,1]) |
| 2021-12-24 04:08:12 +0100 | <lambdabot> | [0,-1,-2,-1,-2,-3,-2,-3,-4,-3,-4,-5,-4,-5,-6,-5,-6,-7,-6,-7,-8,-7,-8,-9,-8,-... |
| 2021-12-24 04:08:35 +0100 | <shapr> | ha, I was just wishing for cabal to have a --keep-going flag, and it already DOES! |
| 2021-12-24 04:09:24 +0100 | <otherwise> | merry christmas |
| 2021-12-24 04:10:34 +0100 | <shapr> | yay |
| 2021-12-24 04:10:57 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 240 seconds) |
| 2021-12-24 04:12:21 +0100 | <dsal> | I need that for nix-shell. It's failing to get me a shell with niv because something's broken. |
| 2021-12-24 04:13:53 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 04:13:54 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 04:14:40 +0100 | <jackdk> | nix-shell -p niv just to get niv going? also nix-shell does have --keep-going |
| 2021-12-24 04:15:01 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 04:15:02 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 04:15:07 +0100 | <dsal> | I wanted to update something that uses niv, but I can't make niv go. |
| 2021-12-24 04:15:22 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 04:15:22 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 04:15:35 +0100 | <jackdk> | yeah I do this all the time. drop into a `nix-shell -p niv` with some niv from nixpkgs to get unstuck |
| 2021-12-24 04:15:45 +0100 | <jackdk> | then you can `niv update` or whatever |
| 2021-12-24 04:15:54 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 04:15:55 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 04:16:28 +0100 | <dsal> | I was trying to do it *before* I got the error this time. |
| 2021-12-24 04:17:32 +0100 | td_ | (~td@94.134.91.61) (Ping timeout: 240 seconds) |
| 2021-12-24 04:18:08 +0100 | <jackdk> | trying to do what? |
| 2021-12-24 04:19:24 +0100 | td_ | (~td@muedsl-82-207-238-144.citykom.de) |
| 2021-12-24 04:24:47 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: This computer has gone to sleep) |
| 2021-12-24 04:26:34 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2021-12-24 04:26:34 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-12-24 04:26:34 +0100 | finn_elija | FinnElija |
| 2021-12-24 04:29:44 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 04:29:45 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 04:30:24 +0100 | <dsal> | Trying to do a niv update before I updated LTS stuff and pushed a repo and and had it fail in CI |
| 2021-12-24 04:31:55 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) |
| 2021-12-24 04:32:55 +0100 | jespada | (~jespada@87.74.33.157) (Ping timeout: 250 seconds) |
| 2021-12-24 04:33:17 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2021-12-24 04:35:00 +0100 | jespada | (~jespada@87.74.33.157) |
| 2021-12-24 04:35:26 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 04:35:27 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 04:36:14 +0100 | hololeap | (~hololeap@user/hololeap) (Quit: Bye) |
| 2021-12-24 04:36:51 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 04:36:51 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 04:37:57 +0100 | sim590 | (~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 240 seconds) |
| 2021-12-24 04:39:05 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-12-24 04:40:15 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) |
| 2021-12-24 04:42:21 +0100 | Guest|93 | (~Guest|93@104.28.91.78) |
| 2021-12-24 04:44:51 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 04:44:52 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 04:45:26 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 260 seconds) |
| 2021-12-24 04:47:31 +0100 | Guest|93 | (~Guest|93@104.28.91.78) (Quit: Connection closed) |
| 2021-12-24 04:48:51 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: closed) |
| 2021-12-24 04:49:07 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 04:50:55 +0100 | sim590 | (~simon@modemcable090.207-203-24.mc.videotron.ca) |
| 2021-12-24 04:56:56 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) |
| 2021-12-24 04:59:05 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 252 seconds) |
| 2021-12-24 04:59:57 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-12-24 05:01:44 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 268 seconds) |
| 2021-12-24 05:05:57 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2021-12-24 05:14:31 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) |
| 2021-12-24 05:14:45 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2021-12-24 05:15:28 +0100 | <otherwise> | >1:1:zipWith (+) [1,1] [1] |
| 2021-12-24 05:15:39 +0100 | <otherwise> | > 1:1:zipWith (+) [1,1] [1] |
| 2021-12-24 05:15:40 +0100 | <lambdabot> | [1,1,2] |
| 2021-12-24 05:15:45 +0100 | <otherwise> | > 1:1:zipWith (+) [1,1,2] [1,2] |
| 2021-12-24 05:15:46 +0100 | <lambdabot> | [1,1,2,3] |
| 2021-12-24 05:16:04 +0100 | <otherwise> | > 1:1:zipWith (+) [1,1,2,3] [1,2,3] |
| 2021-12-24 05:16:05 +0100 | <lambdabot> | [1,1,2,3,5] |
| 2021-12-24 05:16:56 +0100 | <otherwise> | Is that basically the steps taken by the fib' function: |
| 2021-12-24 05:16:56 +0100 | <otherwise> | fib = 1: 1: zipWith (+) fib (tail fib) |
| 2021-12-24 05:17:24 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-24 05:17:24 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-12-24 05:17:24 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2021-12-24 05:17:37 +0100 | <otherwise> | what I don't get is why 1:1 works at all... |
| 2021-12-24 05:17:38 +0100 | vicfred | (~vicfred@user/vicfred) |
| 2021-12-24 05:17:39 +0100 | <int-e> | kind of; instead of [] for end-of-list you'll have a pending zipWith |
| 2021-12-24 05:17:44 +0100 | <otherwise> | > 1: 1 |
| 2021-12-24 05:17:45 +0100 | <lambdabot> | error: |
| 2021-12-24 05:17:46 +0100 | <lambdabot> | • No instance for (Num [Integer]) arising from a use of ‘e_111’ |
| 2021-12-24 05:17:48 +0100 | <lambdabot> | • In the expression: e_111 |
| 2021-12-24 05:17:55 +0100 | <otherwise> | 1 : [1] |
| 2021-12-24 05:17:58 +0100 | <otherwise> | > 1 : [1] |
| 2021-12-24 05:18:02 +0100 | <lambdabot> | [1,1] |
| 2021-12-24 05:18:24 +0100 | img | (~img@user/img) |
| 2021-12-24 05:18:52 +0100 | <otherwise> | oh I see, as you said int-e |
| 2021-12-24 05:18:57 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 240 seconds) |
| 2021-12-24 05:19:00 +0100 | <dsal> | > let fibby = 1 : 1 : zipWith f fibby (tail fibby) in fibby :: [Expr] |
| 2021-12-24 05:19:01 +0100 | <lambdabot> | [1,1,f 1 1,f 1 (f 1 1),f (f 1 1) (f 1 (f 1 1)),f (f 1 (f 1 1)) (f (f 1 1) (f... |
| 2021-12-24 05:19:29 +0100 | <int-e> | let xs = 1:1:zipWith xs (tail xs) in xs = 1:1:let zs = zipWith (1:1:zs) (1:zs) in zs = 1:1:let zs = 2:zipWith (1:zs) zs = 1:1:2:let zs' = zipWith (1:2:zs') (2:zs') = ... |
| 2021-12-24 05:19:33 +0100 | slac52407 | (~slack1256@181.42.47.208) |
| 2021-12-24 05:20:03 +0100 | <otherwise> | > 1:1:[] |
| 2021-12-24 05:20:05 +0100 | <lambdabot> | [1,1] |
| 2021-12-24 05:20:36 +0100 | <int-e> | otherwise: ^^that's a common way to express what happens as text, using `let` to give names to yet-to-be-evaluated parts. |
| 2021-12-24 05:21:26 +0100 | <int-e> | one can also draw fancy diagrams with boxes for such thunks... there must be a blog post out there that does it for this example but I don't know how to search for one. |
| 2021-12-24 05:22:07 +0100 | slack1256 | (~slack1256@181.42.53.226) (Ping timeout: 256 seconds) |
| 2021-12-24 05:23:01 +0100 | <int-e> | > 1:1:undefined |
| 2021-12-24 05:23:02 +0100 | <lambdabot> | [1,1*Exception: Prelude.undefined |
| 2021-12-24 05:23:29 +0100 | mbuf | (~Shakthi@122.174.194.123) |
| 2021-12-24 05:23:36 +0100 | <int-e> | laziness at work: note that even though evaluating `undefined` is an error, the first two elements of the list can be accessed. |
| 2021-12-24 05:27:49 +0100 | <monochrom> | The Gentle Introduction to Haskell has such a diagram. |
| 2021-12-24 05:27:57 +0100 | <monochrom> | I think it helped no one. |
| 2021-12-24 05:28:38 +0100 | <int-e> | . o O ( The "Gentle" Introduction to Haskell ) |
| 2021-12-24 05:28:43 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2021-12-24 05:29:11 +0100 | <monochrom> | The rest of the Gentle Introduction is actually fine. |
| 2021-12-24 05:29:55 +0100 | <monochrom> | I believe that what works is the idea of successive approximation start from bottom. |
| 2021-12-24 05:30:08 +0100 | <int-e> | > let fibby = 1 : 1 : zipWith (+) fibby (tail fibby) in fibby :: [Expr] |
| 2021-12-24 05:30:09 +0100 | <lambdabot> | [1,1,1 + 1,1 + (1 + 1),1 + 1 + (1 + (1 + 1)),1 + (1 + 1) + (1 + 1 + (1 + (1 ... |
| 2021-12-24 05:30:19 +0100 | <otherwise> | > "Gentle" == "Easy" |
| 2021-12-24 05:30:20 +0100 | <lambdabot> | False |
| 2021-12-24 05:30:21 +0100 | <int-e> | > let fibby = a : b : zipWith (+) fibby (tail fibby) in fibby |
| 2021-12-24 05:30:23 +0100 | <lambdabot> | [a,b,a + b,b + (a + b),a + b + (b + (a + b)),b + (a + b) + (a + b + (b + (a ... |
| 2021-12-24 05:32:17 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) |
| 2021-12-24 05:32:30 +0100 | <int-e> | monochrom: aka Boehmian Forests. |
| 2021-12-24 05:32:32 +0100 | <otherwise> | int-e I see what you mean about haskell allowing for the undefined quality to the appending list |
| 2021-12-24 05:34:35 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) (Ping timeout: 256 seconds) |
| 2021-12-24 05:34:50 +0100 | <otherwise> | int-e what is this [Expr] at the end of your fibby zipWith's? it does not evaluate in ghci |
| 2021-12-24 05:34:58 +0100 | <dsal> | :t Expr |
| 2021-12-24 05:34:59 +0100 | <lambdabot> | error: |
| 2021-12-24 05:34:59 +0100 | <lambdabot> | • Data constructor not in scope: Expr |
| 2021-12-24 05:35:00 +0100 | <lambdabot> | • Perhaps you meant variable ‘expr’ (imported from Debug.SimpleReflect) |
| 2021-12-24 05:35:17 +0100 | <dsal> | It means a list of Expr values. |
| 2021-12-24 05:35:36 +0100 | <dsal> | If you don't have that type, you can't reference it. |
| 2021-12-24 05:36:29 +0100 | <int-e> | otherwise: it's a type with weird implementations for arithmetic operations (and some others) that capture a full expression rather than evaluating to a value |
| 2021-12-24 05:36:53 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 268 seconds) |
| 2021-12-24 05:37:05 +0100 | <int-e> | so 1 + 1, rather than evaluating to 2, becomes something like Op "+" (Lit 1) (Lit 1), and that will be shown as 1 + 1 later on: |
| 2021-12-24 05:37:09 +0100 | <int-e> | > 1 + 1 :: Expr |
| 2021-12-24 05:37:10 +0100 | <lambdabot> | 1 + 1 |
| 2021-12-24 05:37:33 +0100 | <dsal> | (It's not special -- you could write that yourself) |
| 2021-12-24 05:37:52 +0100 | <int-e> | the code is in https://hackage.haskell.org/package/simple-reflect |
| 2021-12-24 05:38:17 +0100 | <int-e> | but yeah, it's not *really* special, though it may feel that way if you're new to Haskell (and that's okay) |
| 2021-12-24 05:39:19 +0100 | <dsal> | haskell has a lot of things that feel like magic if you're coming from... lesser languages. as you learn, the magic fades. |
| 2021-12-24 05:39:26 +0100 | <int-e> | :t reduced |
| 2021-12-24 05:39:26 +0100 | <lambdabot> | error: |
| 2021-12-24 05:39:26 +0100 | <lambdabot> | • Variable not in scope: reduced |
| 2021-12-24 05:39:27 +0100 | <lambdabot> | • Perhaps you meant ‘reduce’ (imported from Debug.SimpleReflect) |
| 2021-12-24 05:39:50 +0100 | <int-e> | :t Data.SimpleReflect.Expr.reduced |
| 2021-12-24 05:39:51 +0100 | <lambdabot> | error: |
| 2021-12-24 05:39:51 +0100 | <lambdabot> | Not in scope: ‘Data.SimpleReflect.Expr.reduced’ |
| 2021-12-24 05:39:51 +0100 | <lambdabot> | No module named ‘Data.SimpleReflect.Expr’ is imported. |
| 2021-12-24 05:40:12 +0100 | <int-e> | @let import Data.SimpleReflect.Expr (reduced) |
| 2021-12-24 05:40:12 +0100 | <lambdabot> | /sandbox/tmp/.L.hs:120:1: error: |
| 2021-12-24 05:40:12 +0100 | <lambdabot> | Could not find module ‘Data.SimpleReflect.Expr’ |
| 2021-12-24 05:40:12 +0100 | <lambdabot> | Perhaps you meant |
| 2021-12-24 05:40:23 +0100 | <int-e> | @let import Debug.SimpleReflect.Expr (reduced) |
| 2021-12-24 05:40:24 +0100 | <lambdabot> | /sandbox/tmp/.L.hs:133:34: error: |
| 2021-12-24 05:40:24 +0100 | <lambdabot> | Module ‘Debug.SimpleReflect.Expr’ does not export ‘reduced’ |
| 2021-12-24 05:40:24 +0100 | <lambdabot> | | |
| 2021-12-24 05:40:30 +0100 | <int-e> | sigh. |
| 2021-12-24 05:40:37 +0100 | <int-e> | @let import Debug.SimpleReflect.Expr (Expr (reduced)) |
| 2021-12-24 05:40:37 +0100 | <lambdabot> | /sandbox/tmp/.L.hs:133:34: error: |
| 2021-12-24 05:40:37 +0100 | <lambdabot> | Module ‘Debug.SimpleReflect.Expr’ does not export ‘Expr(reduced)’ |
| 2021-12-24 05:40:37 +0100 | <lambdabot> | | |
| 2021-12-24 05:40:42 +0100 | <int-e> | I give up. |
| 2021-12-24 05:41:15 +0100 | <int-e> | :t reduce |
| 2021-12-24 05:41:16 +0100 | <lambdabot> | Expr -> Expr |
| 2021-12-24 05:41:24 +0100 | <int-e> | pfft. |
| 2021-12-24 05:41:46 +0100 | <int-e> | > iterate reduce (1 + 1 + 2 + 3 + 5) |
| 2021-12-24 05:41:47 +0100 | <lambdabot> | [1 + 1 + 2 + 3 + 5,2 + 2 + 3 + 5,4 + 3 + 5,7 + 5,12,12,12,12,12,12,12,12,12,... |
| 2021-12-24 05:42:59 +0100 | <int-e> | > reduction (1 + 1 + 2 + 3 + 5) |
| 2021-12-24 05:43:00 +0100 | <lambdabot> | [1 + 1 + 2 + 3 + 5,2 + 2 + 3 + 5,4 + 3 + 5,7 + 5,12] |
| 2021-12-24 05:43:05 +0100 | <int-e> | yay. |
| 2021-12-24 05:43:54 +0100 | <xerox> | beautiful |
| 2021-12-24 05:44:22 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-24 05:44:34 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2021-12-24 05:44:34 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-12-24 05:44:34 +0100 | finn_elija | FinnElija |
| 2021-12-24 05:44:48 +0100 | <int-e> | I didn't know (or, at least, remember) that the package can do that. |
| 2021-12-24 05:48:25 +0100 | <xerox> | I didn't either |
| 2021-12-24 05:49:34 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-24 05:50:42 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) |
| 2021-12-24 05:53:51 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-12-24 05:55:26 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 260 seconds) |
| 2021-12-24 05:56:21 +0100 | jollygood2 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC) |
| 2021-12-24 06:00:10 +0100 | <dsal> | What is the largest model number accepted by MONAD? |
| 2021-12-24 06:03:56 +0100 | <bitmapper> | i cannot figure out Arrows |
| 2021-12-24 06:09:20 +0100 | slac52407 | slack1256 |
| 2021-12-24 06:15:10 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2021-12-24 06:15:10 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-12-24 06:15:10 +0100 | finn_elija | FinnElija |
| 2021-12-24 06:16:10 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) |
| 2021-12-24 06:18:12 +0100 | KvL | (~KvL@37.120.213.109) |
| 2021-12-24 06:18:17 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-24 06:20:06 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2021-12-24 06:24:04 +0100 | Sobhan | (~Sobhan@modemcable039.128-131-66.mc.videotron.ca) (Quit: Client closed) |
| 2021-12-24 06:30:42 +0100 | KvL | (~KvL@37.120.213.109) (Quit: KvL) |
| 2021-12-24 06:32:21 +0100 | alfonsox | (~quassel@103.92.42.192) |
| 2021-12-24 06:36:29 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-12-24 06:36:49 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-12-24 06:44:37 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::917a) (Ping timeout: 240 seconds) |
| 2021-12-24 06:44:52 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2021-12-24 06:44:52 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-12-24 06:44:52 +0100 | finn_elija | FinnElija |
| 2021-12-24 06:46:24 +0100 | <Axman6> | cccccckvtilvklniclblevinjtkdengurbfnuvhgugrh |
| 2021-12-24 06:46:39 +0100 | <Axman6> | uh, please only use that code once, it is single use |
| 2021-12-24 06:50:55 +0100 | KvL | (~KvL@37.120.213.109) |
| 2021-12-24 06:55:03 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-12-24 06:58:27 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2021-12-24 07:00:44 +0100 | <geekosaur> | is that a code or keyboard vomit? |
| 2021-12-24 07:01:49 +0100 | <otherwise> | it was for a couple bit coins, I already used it. |
| 2021-12-24 07:01:51 +0100 | <otherwise> | ... |
| 2021-12-24 07:03:20 +0100 | <otherwise> | j/k (probably goes without saying) |
| 2021-12-24 07:05:25 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2021-12-24 07:05:51 +0100 | <alfonsox> | Is "stack build" command usage max core & max RAM ? I am trying to set up Yesod first time, it is trying to build x/178 (145/178 right now) for last15/20 minutes. |
| 2021-12-24 07:07:05 +0100 | <alfonsox> | Or my machine is just slow in 2021, 10 year old desktop with i3 540 with 4GB 1333 hz RAM ? |
| 2021-12-24 07:07:43 +0100 | <geekosaur> | 4gb and yesod gonna be slow |
| 2021-12-24 07:10:33 +0100 | <alfonsox> | but RAM usage hovering around 1.3 GB of 4GB. |
| 2021-12-24 07:11:38 +0100 | <alfonsox> | however all the 4 cores fluctuating between 20-80% usage range. |
| 2021-12-24 07:11:40 +0100 | <geekosaur> | I think most of the slowness in building yesod is *lots* of template haskell, actually |
| 2021-12-24 07:12:07 +0100 | elcaro | (~anonymous@45.32.191.75) () |
| 2021-12-24 07:12:07 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-12-24 07:16:19 +0100 | <alfonsox> | hmm. Is there a way to configure it to not to do that ? Assuming as a newbie I am not going to use Template Haskell ? |
| 2021-12-24 07:16:51 +0100 | <geekosaur> | it's not you that uses it. TH is generating code at compile time |
| 2021-12-24 07:17:31 +0100 | <geekosaur> | and it needs that code |
| 2021-12-24 07:19:06 +0100 | <alfonsox> | okay. Build completed but took good 20-30 minutes. |
| 2021-12-24 07:20:00 +0100 | <alfonsox> | I hope it does not do that everytime I need to build the project. |
| 2021-12-24 07:21:24 +0100 | jinsun__ | (~quassel@user/jinsun) |
| 2021-12-24 07:23:07 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::917a) |
| 2021-12-24 07:23:17 +0100 | jinsun | (~quassel@user/jinsun) (Ping timeout: 240 seconds) |
| 2021-12-24 07:29:57 +0100 | KvL | (~KvL@37.120.213.109) (Ping timeout: 240 seconds) |
| 2021-12-24 07:31:43 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-24 07:31:43 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-12-24 07:31:43 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2021-12-24 07:34:15 +0100 | notzmv | (~zmv@user/notzmv) |
| 2021-12-24 07:36:17 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2021-12-24 07:38:57 +0100 | ozzymcduff | (~mathieu@81-234-151-21-no94.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2021-12-24 07:42:26 +0100 | KvL | (~KvL@37.120.213.108) |
| 2021-12-24 07:42:41 +0100 | retro_ | (~retro@05412d78.skybroadband.com) (Read error: Connection reset by peer) |
| 2021-12-24 07:43:10 +0100 | KvL | (~KvL@37.120.213.108) (Client Quit) |
| 2021-12-24 07:51:07 +0100 | sagax | (~sagax_nb@user/sagax) (Quit: Konversation terminated!) |
| 2021-12-24 07:51:08 +0100 | retroid_ | (~retro@05412d78.skybroadband.com) |
| 2021-12-24 07:52:38 +0100 | sagax | (~sagax_nb@user/sagax) |
| 2021-12-24 07:53:48 +0100 | arahael | (~arahael@203.158.51.1) (Quit: WeeChat 3.1) |
| 2021-12-24 08:03:20 +0100 | mbuf | (~Shakthi@122.174.194.123) (Quit: Leaving) |
| 2021-12-24 08:03:54 +0100 | goepsilongo | (~goepsilon@2806:263:c404:8000:f42f:2a6e:3c81:2519) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-12-24 08:05:31 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2021-12-24 08:14:21 +0100 | lragyrlmtdwnbo^ | (~lragyrlmt@64.253.22.77) (Remote host closed the connection) |
| 2021-12-24 08:14:57 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-24 08:16:57 +0100 | chozorho | (~chozorho@2601:146:300:c30::9401) (Quit: WeeChat 3.0) |
| 2021-12-24 08:17:36 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) |
| 2021-12-24 08:24:52 +0100 | Codaraxis__ | (~Codaraxis@user/codaraxis) |
| 2021-12-24 08:27:25 +0100 | benin | (~benin@183.82.27.57) (Ping timeout: 240 seconds) |
| 2021-12-24 08:28:33 +0100 | Codaraxis_ | (~Codaraxis@user/codaraxis) (Ping timeout: 256 seconds) |
| 2021-12-24 08:28:33 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2021-12-24 08:29:07 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) (Ping timeout: 256 seconds) |
| 2021-12-24 08:29:58 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-12-24 08:32:02 +0100 | kaph_ | (~kaph@net-2-45-51-147.cust.vodafonedsl.it) (Ping timeout: 240 seconds) |
| 2021-12-24 08:34:10 +0100 | gentauro | (~gentauro@user/gentauro) |
| 2021-12-24 08:34:37 +0100 | benin | (~benin@183.82.27.57) |
| 2021-12-24 08:35:21 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-24 08:35:40 +0100 | dsrt^ | (~dsrt@64.253.22.77) |
| 2021-12-24 08:36:13 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) |
| 2021-12-24 08:36:41 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 2021-12-24 08:39:03 +0100 | coolnickname | (uid531864@user/coolnickname) |
| 2021-12-24 08:40:27 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2021-12-24 08:47:01 +0100 | jonathanx | (~jonathan@c-5eea3459-74736162.cust.telenor.se) |
| 2021-12-24 08:49:02 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-24 08:55:20 +0100 | phma | (phma@2001:5b0:211b:ad08:e5d3:c318:2701:f71f) (Read error: Connection reset by peer) |
| 2021-12-24 08:55:23 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-12-24 08:56:40 +0100 | phma | (phma@2001:5b0:211c:1148:9e4d:7400:733a:b6f1) |
| 2021-12-24 08:57:27 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 256 seconds) |
| 2021-12-24 08:58:04 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-12-24 09:00:20 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-12-24 09:02:10 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer) |
| 2021-12-24 09:02:28 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-12-24 09:15:27 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-24 09:16:00 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-24 09:20:55 +0100 | chomwitt | (~chomwitt@2a02:587:dc1c:a00:12c3:7bff:fe6d:d374) |
| 2021-12-24 09:20:56 +0100 | aliosablack | (~chomwitt@2a02:587:dc1c:a00:12c3:7bff:fe6d:d374) |
| 2021-12-24 09:24:11 +0100 | toastloop | (toastloop@user/toastloop) |
| 2021-12-24 09:33:31 +0100 | <otherwise> | Is Kotlin much different than haskell? |
| 2021-12-24 09:37:11 +0100 | <dsal> | I can't imagine how they're related. |
| 2021-12-24 09:39:53 +0100 | KvL | (~KvL@178.239.165.192) |
| 2021-12-24 09:42:55 +0100 | toastloop | (toastloop@user/toastloop) (Ping timeout: 268 seconds) |
| 2021-12-24 09:43:39 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:319d:53ed:6690:e5b4) (Remote host closed the connection) |
| 2021-12-24 09:46:23 +0100 | gensyst | (gensyst@user/gensyst) |
| 2021-12-24 09:46:57 +0100 | jonathanx | (~jonathan@c-5eea3459-74736162.cust.telenor.se) (Ping timeout: 240 seconds) |
| 2021-12-24 09:47:06 +0100 | <gensyst> | I run GHCi for my project with "cabal repl exe:project-exe". This compiles the library and gets me into a repl where I can experiment with changes to Main.hs. |
| 2021-12-24 09:47:38 +0100 | <gensyst> | However how do I recompile the *library* from GHCi, if I make changes to the library? The only way I know is of quitting GHCi and relaunching it. |
| 2021-12-24 09:47:46 +0100 | <gensyst> | Any other ways from within GHCi itself? |
| 2021-12-24 09:49:09 +0100 | acidjnk | (~acidjnk@p200300d0c7271e5539f4c4c5e28366d0.dip0.t-ipconnect.de) |
| 2021-12-24 09:50:29 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-12-24 09:51:21 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-24 09:55:25 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-12-24 09:56:52 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-12-24 09:58:04 +0100 | chomwitt | (~chomwitt@2a02:587:dc1c:a00:12c3:7bff:fe6d:d374) (Remote host closed the connection) |
| 2021-12-24 09:58:04 +0100 | aliosablack | (~chomwitt@2a02:587:dc1c:a00:12c3:7bff:fe6d:d374) (Remote host closed the connection) |
| 2021-12-24 09:58:36 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-12-24 10:00:06 +0100 | meatfeather[m] | (~meatfeath@2001:470:69fc:105::1:3311) (Quit: You have been kicked for being idle) |
| 2021-12-24 10:01:23 +0100 | max22- | (~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) |
| 2021-12-24 10:02:11 +0100 | slack1256 | (~slack1256@181.42.47.208) (Remote host closed the connection) |
| 2021-12-24 10:02:31 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-52.elisa-laajakaista.fi) |
| 2021-12-24 10:02:34 +0100 | <otherwise> | I thought Kotlin is a functional programing language, but i'm not sure the diversity among functional languages. hence wondering how similar they are. |
| 2021-12-24 10:03:34 +0100 | KvL | (~KvL@178.239.165.192) (Quit: KvL) |
| 2021-12-24 10:03:56 +0100 | KvL | (~KvL@178.239.165.192) |
| 2021-12-24 10:04:12 +0100 | KvL | (~KvL@178.239.165.192) (Client Quit) |
| 2021-12-24 10:05:47 +0100 | <merijn> | gensyst: The library your executable depends on, you mean? |
| 2021-12-24 10:06:15 +0100 | <merijn> | otherwise: I don't think Kotlin is remotely functional in the sense that anyone *here* would interpret that term, tbh |
| 2021-12-24 10:06:21 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) (Ping timeout: 268 seconds) |
| 2021-12-24 10:06:40 +0100 | <merijn> | AFAIK the "functional part" of Kotlin is just "hey guys, we made lambdas and first class functions slightly less sucky than in Java!" |
| 2021-12-24 10:07:09 +0100 | KvL | (~KvL@178.239.165.192) |
| 2021-12-24 10:10:05 +0100 | <otherwise> | I see. Just because you write "tesla" on the side of your electric golf cart, doesnt make it a tesla. Something like that. |
| 2021-12-24 10:10:32 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) |
| 2021-12-24 10:13:18 +0100 | <gensyst> | merijn, yeah |
| 2021-12-24 10:13:32 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Remote host closed the connection) |
| 2021-12-24 10:13:34 +0100 | <merijn> | gensyst: The short answer is (for now): You can't |
| 2021-12-24 10:14:19 +0100 | <merijn> | gensyst: ghci can only load 1 "component" at a time (library, exe, etc.) it's a fundamental ghci limitation. I recall there was someone working on lifting it, but that's Work-in-Progress afaik |
| 2021-12-24 10:14:43 +0100 | coot | (~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) |
| 2021-12-24 10:14:52 +0100 | <gensyst> | merijn, ok thanks for the info! |
| 2021-12-24 10:15:42 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 10:15:43 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 10:16:24 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 10:16:24 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 10:16:25 +0100 | KvL | (~KvL@178.239.165.192) (Quit: KvL) |
| 2021-12-24 10:16:45 +0100 | KvL | (~KvL@178.239.165.192) |
| 2021-12-24 10:17:01 +0100 | coot | (~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) (Remote host closed the connection) |
| 2021-12-24 10:17:24 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-12-24 10:17:49 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-12-24 10:18:07 +0100 | coot | (~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) |
| 2021-12-24 10:18:17 +0100 | <int-e> | glguy: Thanks for demystifying today's circuits :) |
| 2021-12-24 10:18:56 +0100 | AlexNoo_ | AlexNoo |
| 2021-12-24 10:25:57 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2021-12-24 10:32:08 +0100 | darchitect | (~darchitec@2a00:23c6:3584:df00:7dec:bf13:8fa:748c) (Quit: WeeChat 3.3) |
| 2021-12-24 10:33:49 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-12-24 10:36:36 +0100 | coot | (~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) (Remote host closed the connection) |
| 2021-12-24 10:37:50 +0100 | coot | (~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) |
| 2021-12-24 10:38:37 +0100 | deech` | (~user@024-217-244-075.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-12-24 10:40:55 +0100 | KvL | (~KvL@178.239.165.192) (Quit: KvL) |
| 2021-12-24 10:41:40 +0100 | deech` | (~user@024-217-244-075.res.spectrum.com) |
| 2021-12-24 10:44:03 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) |
| 2021-12-24 10:44:33 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) (Ping timeout: 256 seconds) |
| 2021-12-24 10:46:01 +0100 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2021-12-24 10:46:18 +0100 | Axman6 | (~Axman6@user/axman6) |
| 2021-12-24 10:50:17 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Ping timeout: 240 seconds) |
| 2021-12-24 10:52:39 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) |
| 2021-12-24 11:01:21 +0100 | coot | (~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) (Remote host closed the connection) |
| 2021-12-24 11:02:44 +0100 | coot | (~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) |
| 2021-12-24 11:03:15 +0100 | foul_owl | (~kerry@94.140.8.107) (Ping timeout: 256 seconds) |
| 2021-12-24 11:05:28 +0100 | cosimone | (~user@93-47-231-248.ip115.fastwebnet.it) |
| 2021-12-24 11:05:40 +0100 | CiaoSen | (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2021-12-24 11:07:57 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) (Ping timeout: 240 seconds) |
| 2021-12-24 11:08:38 +0100 | foul_owl | (~kerry@97-126-11-68.tukw.qwest.net) |
| 2021-12-24 11:08:59 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) |
| 2021-12-24 11:20:40 +0100 | jinsun | (~quassel@user/jinsun) |
| 2021-12-24 11:22:05 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2021-12-24 11:22:17 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2021-12-24 11:22:37 +0100 | jinsun__ | (~quassel@user/jinsun) (Ping timeout: 240 seconds) |
| 2021-12-24 11:22:57 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-24 11:24:52 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2021-12-24 11:28:23 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 268 seconds) |
| 2021-12-24 11:29:41 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2021-12-24 11:30:20 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) |
| 2021-12-24 11:33:45 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 2021-12-24 11:35:00 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-24 11:36:02 +0100 | Codaraxis_ | (~Codaraxis@user/codaraxis) |
| 2021-12-24 11:37:56 +0100 | Bartol | (~Bartol@user/Bartol) |
| 2021-12-24 11:39:31 +0100 | Codaraxis__ | (~Codaraxis@user/codaraxis) (Ping timeout: 256 seconds) |
| 2021-12-24 11:40:02 +0100 | acidjnk | (~acidjnk@p200300d0c7271e5539f4c4c5e28366d0.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-12-24 11:43:38 +0100 | Codaraxis_ | (~Codaraxis@user/codaraxis) (Quit: Leaving) |
| 2021-12-24 11:47:25 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-12-24 11:47:25 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2021-12-24 11:47:25 +0100 | finn_elija | FinnElija |
| 2021-12-24 11:48:03 +0100 | bollu | (uid233390@id-233390.helmsley.irccloud.com) |
| 2021-12-24 11:54:21 +0100 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2021-12-24 11:56:08 +0100 | __monty__ | (~toonn@user/toonn) |
| 2021-12-24 12:06:54 +0100 | Axman6 | (~Axman6@user/axman6) |
| 2021-12-24 12:08:47 +0100 | neceve | (~quassel@2.26.93.228) |
| 2021-12-24 12:08:57 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-24 12:09:22 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2021-12-24 12:09:39 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 2021-12-24 12:15:06 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2021-12-24 12:17:01 +0100 | gensyst | (gensyst@user/gensyst) (Quit: Leaving) |
| 2021-12-24 12:18:54 +0100 | kadir | (~kadir@88.251.54.120) |
| 2021-12-24 12:19:57 +0100 | coot | (~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) (Quit: coot) |
| 2021-12-24 12:22:32 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 240 seconds) |
| 2021-12-24 12:31:37 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::917a) (Ping timeout: 240 seconds) |
| 2021-12-24 12:39:36 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-12-24 12:39:41 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-24 12:40:30 +0100 | arahael | (~arahael@203.158.51.1) |
| 2021-12-24 12:41:51 +0100 | foul_owl | (~kerry@97-126-11-68.tukw.qwest.net) (Ping timeout: 256 seconds) |
| 2021-12-24 12:44:14 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 260 seconds) |
| 2021-12-24 12:44:50 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-12-24 12:45:33 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-24 12:45:35 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-12-24 12:48:07 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-12-24 12:49:25 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2021-12-24 12:49:49 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2021-12-24 12:52:37 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-12-24 12:55:28 +0100 | syrkis | (~syrkis@109.59.170.168.mobile.3.dk) |
| 2021-12-24 12:55:46 +0100 | CiaoSen | (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-12-24 12:57:07 +0100 | Guest24 | (~Guest24@81.106.113.17) |
| 2021-12-24 12:57:16 +0100 | foul_owl | (~kerry@94.140.8.107) |
| 2021-12-24 12:58:00 +0100 | Guest24 | (~Guest24@81.106.113.17) (Client Quit) |
| 2021-12-24 12:58:24 +0100 | sim590 | (~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 268 seconds) |
| 2021-12-24 13:01:17 +0100 | otherwise | (~otherwise@c-73-221-44-172.hsd1.wa.comcast.net) (Quit: Connection closed) |
| 2021-12-24 13:03:04 +0100 | zer0bitz | (~zer0bitz@2001:2003:f444:a000:e182:9e47:91db:c531) |
| 2021-12-24 13:03:37 +0100 | xff0x | (~xff0x@2001:1a81:5311:2b00:1f91:2f58:522f:165b) (Ping timeout: 240 seconds) |
| 2021-12-24 13:04:25 +0100 | KvL | (~KvL@178.239.165.194) |
| 2021-12-24 13:04:47 +0100 | xff0x | (~xff0x@2001:1a81:5311:2b00:585:576e:a672:6acd) |
| 2021-12-24 13:05:12 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) (Ping timeout: 268 seconds) |
| 2021-12-24 13:11:26 +0100 | jespada | (~jespada@87.74.33.157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-12-24 13:11:57 +0100 | jespada | (~jespada@87.74.33.157) |
| 2021-12-24 13:15:35 +0100 | SummerSonw | (~The_viole@203.77.49.232) (Quit: Leaving) |
| 2021-12-24 13:16:22 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 2021-12-24 13:16:56 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-24 13:17:47 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-24 13:18:38 +0100 | Morrow | (~quassel@bzq-110-168-31-106.red.bezeqint.net) (Remote host closed the connection) |
| 2021-12-24 13:20:35 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) |
| 2021-12-24 13:21:17 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Ping timeout: 240 seconds) |
| 2021-12-24 13:21:17 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2021-12-24 13:22:52 +0100 | zer0bitz_ | (~zer0bitz@2001:2003:f444:a000:2421:137f:dee3:7f7d) |
| 2021-12-24 13:23:50 +0100 | CiaoSen | (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2021-12-24 13:24:59 +0100 | cheater | (~Username@user/cheater) |
| 2021-12-24 13:25:01 +0100 | zer0bitz | (~zer0bitz@2001:2003:f444:a000:e182:9e47:91db:c531) (Ping timeout: 240 seconds) |
| 2021-12-24 13:25:41 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-12-24 13:30:16 +0100 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2021-12-24 13:32:14 +0100 | Morrow | (~quassel@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-12-24 13:33:57 +0100 | xff0x | (~xff0x@2001:1a81:5311:2b00:585:576e:a672:6acd) (Ping timeout: 240 seconds) |
| 2021-12-24 13:34:59 +0100 | xff0x | (~xff0x@2001:1a81:5311:2b00:3477:5c7:6546:864b) |
| 2021-12-24 13:35:59 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-24 13:44:29 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-12-24 13:47:47 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-24 13:49:42 +0100 | Morrow | (~quassel@bzq-110-168-31-106.red.bezeqint.net) (Remote host closed the connection) |
| 2021-12-24 13:50:08 +0100 | Morrow | (~quassel@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-12-24 13:50:46 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-12-24 13:53:06 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-24 13:53:44 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2021-12-24 13:57:36 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-12-24 13:57:47 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Ping timeout: 256 seconds) |
| 2021-12-24 13:59:34 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 2021-12-24 14:01:25 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-12-24 14:02:24 +0100 | KvL | (~KvL@178.239.165.194) (Quit: KvL) |
| 2021-12-24 14:02:37 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2021-12-24 14:05:38 +0100 | syrkis | (~syrkis@109.59.170.168.mobile.3.dk) (Quit: Ping timeout (120 seconds)) |
| 2021-12-24 14:08:34 +0100 | Vajb | (~Vajb@2001:999:62:e042:be01:afcc:85c5:1e46) |
| 2021-12-24 14:12:26 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-12-24 14:15:29 +0100 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2021-12-24 14:16:11 +0100 | zer0bitz_ | (~zer0bitz@2001:2003:f444:a000:2421:137f:dee3:7f7d) (Ping timeout: 245 seconds) |
| 2021-12-24 14:17:01 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-12-24 14:17:58 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-24 14:18:11 +0100 | zer0bitz | (~zer0bitz@2001:2003:f444:a000:2421:137f:dee3:7f7d) |
| 2021-12-24 14:22:32 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2021-12-24 14:23:17 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) (Ping timeout: 256 seconds) |
| 2021-12-24 14:27:17 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 240 seconds) |
| 2021-12-24 14:28:12 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) |
| 2021-12-24 14:29:37 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-12-24 14:32:58 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-24 14:35:20 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) |
| 2021-12-24 14:36:51 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-12-24 14:37:28 +0100 | jespada | (~jespada@87.74.33.157) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-12-24 14:42:57 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) |
| 2021-12-24 14:45:13 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-24 14:52:46 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-12-24 14:53:19 +0100 | _xor | (~xor@dsl-50-5-233-169.fuse.net) (Read error: Connection reset by peer) |
| 2021-12-24 14:53:41 +0100 | _xor | (~xor@dsl-50-5-233-169.fuse.net) |
| 2021-12-24 14:56:12 +0100 | OscarZ | (~oscarz@95.175.104.235) (Read error: Connection reset by peer) |
| 2021-12-24 15:00:24 +0100 | timCF | (~timCF@m91-129-100-224.cust.tele2.ee) |
| 2021-12-24 15:01:30 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2021-12-24 15:01:51 +0100 | <timCF> | Hello! Did anybody experienced error "We cannot know what roles the parameters to 'a' have" when trying to implement some generic function? In my example all type parameters are phantom, but I don't know how to say it to GHC https://gist.github.com/21it/c6b510261c34a36b6329c11c17ce3833 |
| 2021-12-24 15:09:34 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-24 15:14:21 +0100 | sim590 | (~simon@modemcable157.243-56-74.mc.videotron.ca) |
| 2021-12-24 15:14:59 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Remote host closed the connection) |
| 2021-12-24 15:16:12 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-24 15:17:21 +0100 | ubert | (~Thunderbi@p548c8cd6.dip0.t-ipconnect.de) |
| 2021-12-24 15:18:12 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-24 15:23:21 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-12-24 15:23:22 +0100 | kaph | (~kaph@net-2-45-51-147.cust.vodafonedsl.it) |
| 2021-12-24 15:30:22 +0100 | syrkis | (~syrkis@109.59.170.168.mobile.3.dk) |
| 2021-12-24 15:33:20 +0100 | <juri_> | grr. hspec has changed it's presentation form for floats... to display them in rational form. |
| 2021-12-24 15:33:50 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) |
| 2021-12-24 15:34:12 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-12-24 15:34:14 +0100 | <int-e> | > toRational 0.1 |
| 2021-12-24 15:34:15 +0100 | <lambdabot> | 3602879701896397 % 36028797018963968 |
| 2021-12-24 15:34:25 +0100 | <int-e> | fun :-/ |
| 2021-12-24 15:34:30 +0100 | <timCF> | whuut |
| 2021-12-24 15:34:41 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-12-24 15:34:59 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-24 15:35:17 +0100 | <juri_> | that's double painful when you're dealing in projective geometry, and writing unit tests based on the output of Hspec. |
| 2021-12-24 15:36:26 +0100 | <geekosaur> | timCF, I'm no expert on what you're doing, but I think ghc's error message is exact: there is no way to specify that you know the roles will always be phantom, which is why ghc is forced to assume nominal for safety |
| 2021-12-24 15:36:31 +0100 | <juri_> | tl;dr: each value of mine is effectively in something that looks like three radians. representing that in three rational bases makes reading values and converting into "i think that's the right direction" nigh impossible. |
| 2021-12-24 15:36:35 +0100 | <geekosaur> | you may be forced to use unsafeCoerce |
| 2021-12-24 15:37:42 +0100 | <geekosaur> | and add a comment as to why, ideally |
| 2021-12-24 15:38:20 +0100 | jonathanx | (~jonathan@c-5eea3459-74736162.cust.telenor.se) |
| 2021-12-24 15:39:05 +0100 | <int-e> | -- I fasted for three days, sacrificed a goat, and consulted the oracle, and all omens were in favor of this use of `unsafeCoerce` |
| 2021-12-24 15:39:47 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2021-12-24 15:40:20 +0100 | <juri_> | oracle consulting fees are a big deal. |
| 2021-12-24 15:41:04 +0100 | <timCF> | geekosaur: seems like I was able to brute force it and solved with `Coercible (a 'UnRounded) (a 'Rounded)` additional constraint |
| 2021-12-24 15:41:35 +0100 | <geekosaur> | interesting |
| 2021-12-24 15:45:11 +0100 | syrkis | (~syrkis@109.59.170.168.mobile.3.dk) (Quit: Client closed) |
| 2021-12-24 15:47:01 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 245 seconds) |
| 2021-12-24 15:50:06 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-24 15:51:32 +0100 | dsrt^ | (~dsrt@64.253.22.77) (Ping timeout: 240 seconds) |
| 2021-12-24 15:52:19 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 268 seconds) |
| 2021-12-24 15:53:47 +0100 | cheater | (~Username@user/cheater) |
| 2021-12-24 15:58:44 +0100 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-12-24 15:59:37 +0100 | jonathanx | (~jonathan@c-5eea3459-74736162.cust.telenor.se) (Ping timeout: 256 seconds) |
| 2021-12-24 15:59:44 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2021-12-24 16:02:06 +0100 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-12-24 16:02:22 +0100 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-12-24 16:03:40 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-12-24 16:03:41 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) |
| 2021-12-24 16:04:28 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-24 16:04:28 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-12-24 16:04:28 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2021-12-24 16:06:37 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2021-12-24 16:06:56 +0100 | cheater | (~Username@user/cheater) |
| 2021-12-24 16:08:17 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 240 seconds) |
| 2021-12-24 16:08:41 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 2021-12-24 16:09:21 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-24 16:19:50 +0100 | Achylles | (~Achylles_@2804:431:d725:86fc:abf6:fa73:2a9e:707b) |
| 2021-12-24 16:19:52 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) |
| 2021-12-24 16:21:27 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-12-24 16:22:18 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-24 16:22:32 +0100 | lechner | (~lechner@debian/lechner) (Ping timeout: 268 seconds) |
| 2021-12-24 16:24:23 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 252 seconds) |
| 2021-12-24 16:27:03 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 250 seconds) |
| 2021-12-24 16:31:20 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 2021-12-24 16:31:21 +0100 | benin4 | (~benin@183.82.27.57) |
| 2021-12-24 16:32:13 +0100 | benin | (~benin@183.82.27.57) (Ping timeout: 240 seconds) |
| 2021-12-24 16:32:13 +0100 | benin4 | benin |
| 2021-12-24 16:36:05 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) |
| 2021-12-24 16:38:47 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Read error: Connection reset by peer) |
| 2021-12-24 16:39:23 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 2021-12-24 16:40:46 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 245 seconds) |
| 2021-12-24 16:47:45 +0100 | bollu | (uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-24 16:52:46 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) |
| 2021-12-24 16:53:04 +0100 | Everything | (~Everythin@37.115.210.35) |
| 2021-12-24 16:57:23 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 250 seconds) |
| 2021-12-24 16:57:56 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-24 16:59:53 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Remote host closed the connection) |
| 2021-12-24 17:00:38 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) |
| 2021-12-24 17:02:57 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2021-12-24 17:06:37 +0100 | goepsilongo | (~goepsilon@2806:263:c404:8000:1841:9986:6b2b:10e6) |
| 2021-12-24 17:07:17 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) |
| 2021-12-24 17:10:25 +0100 | jeetelongname | (~jeet@88.111.159.26) |
| 2021-12-24 17:10:47 +0100 | cosimone | (~user@93-47-231-248.ip115.fastwebnet.it) (Remote host closed the connection) |
| 2021-12-24 17:11:01 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) (Ping timeout: 256 seconds) |
| 2021-12-24 17:13:05 +0100 | cosimone | (~user@93-47-231-248.ip115.fastwebnet.it) |
| 2021-12-24 17:14:23 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-12-24 17:15:13 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-24 17:15:46 +0100 | cosimone | (~user@93-47-231-248.ip115.fastwebnet.it) (Remote host closed the connection) |
| 2021-12-24 17:16:11 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2021-12-24 17:18:01 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-24 17:25:04 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) |
| 2021-12-24 17:25:29 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2021-12-24 17:33:01 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-24 17:34:30 +0100 | bollu | (uid233390@id-233390.helmsley.irccloud.com) |
| 2021-12-24 17:35:46 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 2021-12-24 17:35:55 +0100 | coot | (~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) |
| 2021-12-24 17:39:00 +0100 | sus | (zero@user/zeromomentum) (Quit: Ping timeout (120 seconds)) |
| 2021-12-24 17:39:43 +0100 | sus | (~zeromomen@user/zeromomentum) |
| 2021-12-24 17:41:31 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-12-24 17:42:17 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-24 17:46:57 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2021-12-24 17:51:33 +0100 | max22- | (~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-12-24 17:54:37 +0100 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-12-24 17:59:16 +0100 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-12-24 17:59:37 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) (Ping timeout: 240 seconds) |
| 2021-12-24 17:59:56 +0100 | puke | (~puke@user/puke) (Quit: puke) |
| 2021-12-24 18:01:10 +0100 | max22- | (~maxime@2a01cb08833598008b3c03f8a6bde97c.ipv6.abo.wanadoo.fr) |
| 2021-12-24 18:02:25 +0100 | wrengr | (~wrengr@150.12.83.34.bc.googleusercontent.com) (Ping timeout: 268 seconds) |
| 2021-12-24 18:06:07 +0100 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-12-24 18:06:11 +0100 | CiaoSen | (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-12-24 18:06:27 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-24 18:06:48 +0100 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
| 2021-12-24 18:07:10 +0100 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 260 seconds) |
| 2021-12-24 18:07:45 +0100 | econo | (uid147250@user/econo) |
| 2021-12-24 18:07:55 +0100 | wrengr | (~wrengr@150.12.83.34.bc.googleusercontent.com) |
| 2021-12-24 18:08:20 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) |
| 2021-12-24 18:10:32 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::917a) |
| 2021-12-24 18:11:05 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-12-24 18:12:54 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) (Ping timeout: 268 seconds) |
| 2021-12-24 18:17:03 +0100 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2021-12-24 18:18:26 +0100 | turlando | (~turlando@user/turlando) |
| 2021-12-24 18:18:31 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-24 18:22:26 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) |
| 2021-12-24 18:25:12 +0100 | alfonsox | (~quassel@103.92.42.192) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-12-24 18:26:21 +0100 | <[itchyjunk]> | Is there a place where there are just problem sets? possibly sorted by topics? |
| 2021-12-24 18:27:51 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |
| 2021-12-24 18:29:29 +0100 | Achylles | (~Achylles_@2804:431:d725:86fc:abf6:fa73:2a9e:707b) (Remote host closed the connection) |
| 2021-12-24 18:30:24 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-12-24 18:30:40 +0100 | puke | (~puke@user/puke) |
| 2021-12-24 18:31:08 +0100 | pieguy128 | (~pieguy128@bas1-quebec14-67-70-102-17.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-12-24 18:33:08 +0100 | deech` | (~user@024-217-244-075.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-12-24 18:33:21 +0100 | deech` | (~user@024-217-244-075.res.spectrum.com) |
| 2021-12-24 18:33:40 +0100 | vysn | (~vysn@user/vysn) |
| 2021-12-24 18:36:27 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-12-24 18:38:59 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-12-24 18:39:19 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-12-24 18:39:25 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) (Ping timeout: 268 seconds) |
| 2021-12-24 18:40:19 +0100 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-48-67-70-102-17.dsl.bell.ca) |
| 2021-12-24 18:41:17 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2021-12-24 18:42:37 +0100 | rito_ | (~rito_gh@45.112.243.69) |
| 2021-12-24 18:45:29 +0100 | lechner | (~lechner@debian/lechner) |
| 2021-12-24 18:49:39 +0100 | <monochrom> | I don't know how seriously I should take "just". Consider the https://wiki.haskell.org/H-99:_Ninety-Nine_Haskell_Problems and open.kattis.com |
| 2021-12-24 18:50:23 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-12-24 18:51:25 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-12-24 18:52:19 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2021-12-24 18:52:42 +0100 | zaquest | (~notzaques@5.130.79.72) |
| 2021-12-24 18:56:30 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-12-24 18:58:57 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2021-12-24 19:05:27 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-12-24 19:05:56 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-12-24 19:09:07 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-12-24 19:13:33 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-12-24 19:17:45 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2021-12-24 19:18:38 +0100 | otherwise | (~otherwise@c-73-221-44-172.hsd1.wa.comcast.net) |
| 2021-12-24 19:20:04 +0100 | Akiva | (~Akiva@user/Akiva) |
| 2021-12-24 19:20:10 +0100 | otherwis_ | (~otherwise@c-73-221-44-172.hsd1.wa.comcast.net) |
| 2021-12-24 19:23:19 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-12-24 19:24:58 +0100 | <otherwis_> | > reverse "amanap lanac a nalp a nam a" |
| 2021-12-24 19:25:00 +0100 | <lambdabot> | "a man a plan a canal panama" |
| 2021-12-24 19:25:13 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-24 19:30:03 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Remote host closed the connection) |
| 2021-12-24 19:30:35 +0100 | shapr | (~user@pool-108-28-144-11.washdc.fios.verizon.net) |
| 2021-12-24 19:32:26 +0100 | n3rdy1 | (~n3rdy1@2601:281:c780:a510:c82b:6078:8c93:1082) |
| 2021-12-24 19:37:45 +0100 | bollu | (uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-24 19:38:22 +0100 | CiaoSen | (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2021-12-24 19:38:25 +0100 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-24 19:41:02 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2021-12-24 19:41:49 +0100 | coolnickname | (uid531864@user/coolnickname) (Quit: Connection closed for inactivity) |
| 2021-12-24 19:45:15 +0100 | otherwise | (~otherwise@c-73-221-44-172.hsd1.wa.comcast.net) (Quit: Connection closed) |
| 2021-12-24 19:48:03 +0100 | deech`` | (~user@024-217-244-075.res.spectrum.com) |
| 2021-12-24 19:48:29 +0100 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 268 seconds) |
| 2021-12-24 19:49:32 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-12-24 19:50:20 +0100 | deech` | (~user@024-217-244-075.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2021-12-24 19:50:28 +0100 | dsrt^ | (~dsrt@207.5.54.6) |
| 2021-12-24 20:01:25 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-24 20:04:29 +0100 | kadir | (~kadir@88.251.54.120) (goodnight) |
| 2021-12-24 20:06:18 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2021-12-24 20:07:04 +0100 | coot | (~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) (Quit: coot) |
| 2021-12-24 20:07:35 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-24 20:08:37 +0100 | coolnickname | (uid531864@user/coolnickname) |
| 2021-12-24 20:09:29 +0100 | otherwis_ | rumpled_pigeon |
| 2021-12-24 20:12:21 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Ping timeout: 256 seconds) |
| 2021-12-24 20:12:58 +0100 | <rumpled_pigeon> | any hints on how to set prompt via a command in .hs file? so that when loading the file in ghci the prompt updates to the chosen text? |
| 2021-12-24 20:15:26 +0100 | <g> | [itchyjunk]: adventofcode.com has a bunch of problems (not sorted by topic) starting easy each year and getting more involved |
| 2021-12-24 20:16:14 +0100 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-12-24 20:17:16 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-12-24 20:19:46 +0100 | rito_ | (~rito_gh@45.112.243.69) (Quit: Leaving) |
| 2021-12-24 20:22:05 +0100 | <lyxia> | https://www.spoj.com/problems/classical/ |
| 2021-12-24 20:22:05 +0100 | <sm> | rumpled_pigeon: interesting puzzle |
| 2021-12-24 20:22:34 +0100 | <sm> | rumpled_pigeon: you could use a shebang line that runs ghci |
| 2021-12-24 20:22:59 +0100 | <sm> | I think that's the only way |
| 2021-12-24 20:27:15 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) |
| 2021-12-24 20:28:37 +0100 | yaroot | (~yaroot@60.149.13.160.dy.iij4u.or.jp) (Ping timeout: 240 seconds) |
| 2021-12-24 20:28:46 +0100 | yaroot | (~yaroot@60.149.13.160.dy.iij4u.or.jp) |
| 2021-12-24 20:28:57 +0100 | geekosaur | wonders if %call would work here |
| 2021-12-24 20:29:02 +0100 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-12-24 20:29:56 +0100 | <geekosaur> | kinda doing it backwards |
| 2021-12-24 20:31:54 +0100 | Vajb | (~Vajb@2001:999:62:e042:be01:afcc:85c5:1e46) (Read error: Connection reset by peer) |
| 2021-12-24 20:32:21 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2021-12-24 20:36:33 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 276 seconds) |
| 2021-12-24 20:38:09 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Remote host closed the connection) |
| 2021-12-24 20:38:13 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2021-12-24 20:40:33 +0100 | sus | (~zeromomen@user/zeromomentum) (Quit: Ping timeout (120 seconds)) |
| 2021-12-24 20:41:46 +0100 | sus | (zero@user/zeromomentum) |
| 2021-12-24 20:47:21 +0100 | IgnatInsarov[m] | (~kindaroma@2001:470:69fc:105::f5d9) |
| 2021-12-24 20:48:40 +0100 | <geekosaur> | mm, actually I think neither will work. shelling out to ghci would affect that ghci and not the running one; there's no way to pass something like the current file name to %call |
| 2021-12-24 20:51:38 +0100 | zmt01 | (~zmt00@user/zmt00) |
| 2021-12-24 20:54:37 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2021-12-24 20:55:02 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2021-12-24 20:55:38 +0100 | zmt00 | (~zmt00@user/zmt00) (Remote host closed the connection) |
| 2021-12-24 20:55:57 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2021-12-24 20:56:37 +0100 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2021-12-24 20:57:32 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 240 seconds) |
| 2021-12-24 20:57:33 +0100 | xff0x | (~xff0x@2001:1a81:5311:2b00:3477:5c7:6546:864b) (Ping timeout: 268 seconds) |
| 2021-12-24 20:58:14 +0100 | xff0x | (~xff0x@2001:1a81:5311:2b00:3f8f:ed06:c623:ab7c) |
| 2021-12-24 20:59:23 +0100 | lagash | (lagash@lagash.shelltalk.net) (Ping timeout: 252 seconds) |
| 2021-12-24 21:04:52 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-12-24 21:05:03 +0100 | juhp | (~juhp@128.106.188.82) (Ping timeout: 256 seconds) |
| 2021-12-24 21:05:46 +0100 | johnw | (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Quit: ZNC - http://znc.in) |
| 2021-12-24 21:06:03 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) |
| 2021-12-24 21:07:22 +0100 | juhp | (~juhp@128.106.188.82) |
| 2021-12-24 21:07:53 +0100 | gdd | (~gdd@129.199.146.230) (Ping timeout: 256 seconds) |
| 2021-12-24 21:08:40 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2021-12-24 21:13:15 +0100 | <rumpled_pigeon> | sm LimeChat isn't notifying me, didnt see your response till just now |
| 2021-12-24 21:13:57 +0100 | zmt01 | (~zmt00@user/zmt00) |
| 2021-12-24 21:14:11 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3) |
| 2021-12-24 21:16:57 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2021-12-24 21:20:51 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 2021-12-24 21:21:00 +0100 | max22- | (~maxime@2a01cb08833598008b3c03f8a6bde97c.ipv6.abo.wanadoo.fr) (Ping timeout: 268 seconds) |
| 2021-12-24 21:21:10 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-12-24 21:22:15 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2021-12-24 21:22:17 +0100 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2021-12-24 21:22:44 +0100 | benin | (~benin@183.82.27.57) (Quit: The Lounge - https://thelounge.chat) |
| 2021-12-24 21:24:07 +0100 | pavonia | (~user@user/siracusa) |
| 2021-12-24 21:24:39 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) |
| 2021-12-24 21:25:27 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2021-12-24 21:26:02 +0100 | <energizer> | "`list int` is a subtype of `list numberlike`" is called covariance, yes? is there a name for "`list int` is a subtype of `containerlike int`"? |
| 2021-12-24 21:26:17 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2021-12-24 21:27:07 +0100 | <sm> | geekosaur: won't a shebang line, eg as in a stack script, load the current file in ghci; and as options to the command you can run ghci commands ? |
| 2021-12-24 21:27:36 +0100 | <energizer> | really i'm just looking for some search terms for reading |
| 2021-12-24 21:27:53 +0100 | <geekosaur> | hm. I guess, but then you can't load a different file in the same session, you have to exit the session |
| 2021-12-24 21:28:53 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 21:28:53 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 21:29:25 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) (Ping timeout: 256 seconds) |
| 2021-12-24 21:32:57 +0100 | <EvanR> | containers... not exactly a very technically specific concept |
| 2021-12-24 21:33:22 +0100 | <EvanR> | even though other languages like to make container interfaces, they have no laws |
| 2021-12-24 21:34:02 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 252 seconds) |
| 2021-12-24 21:34:18 +0100 | <EvanR> | for number-like structures see abstract algebra |
| 2021-12-24 21:35:48 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2021-12-24 21:36:29 +0100 | <IgnatInsarov[m]> | Speaking of containers, there is some theory attached to that name. See work by Michael Abbott, Thorsten Altenkirch and Neil Ghani. <https://citeseer.ist.psu.edu/viewdoc/download?doi=10.1.1.120.9567&rep=rep1&type=pdf> |
| 2021-12-24 21:37:28 +0100 | <energizer> | what i'm aiming at is the way that b < b' => a[b] <: a[b'] differs from a < a' => a[b] a'[b] |
| 2021-12-24 21:38:04 +0100 | <energizer> | (where a[b] means parametrizing a by b) |
| 2021-12-24 21:38:04 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2021-12-24 21:38:19 +0100 | <EvanR> | the subtype contravariance thing comes up in languages with mutable containers |
| 2021-12-24 21:38:32 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) |
| 2021-12-24 21:38:49 +0100 | <energizer> | this isnt' that |
| 2021-12-24 21:39:03 +0100 | <oats> | with lens, is it possible to create a Fold over the "neighboring elements" of an index? |
| 2021-12-24 21:39:13 +0100 | <oats> | such as with a 2d array structure |
| 2021-12-24 21:39:27 +0100 | <EvanR> | comonads to the rescue? |
| 2021-12-24 21:39:31 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-12-24 21:39:54 +0100 | <oats> | what's a comonad |
| 2021-12-24 21:40:09 +0100 | <oats> | can I turn the monad on my bookshelf inside-out? |
| 2021-12-24 21:40:10 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-12-24 21:40:34 +0100 | <geekosaur> | energizer, I'd imagine that in that case we would talk about being "covariant/contravariant in …" |
| 2021-12-24 21:40:44 +0100 | <geekosaur> | since there's more than one possibility |
| 2021-12-24 21:40:58 +0100 | <energizer> | ah, that's easy. cheers |
| 2021-12-24 21:41:36 +0100 | deadmarshal | (~deadmarsh@95.38.117.158) |
| 2021-12-24 21:42:09 +0100 | <geekosaur> | because what do you do when you suddenly have three possibilities, invent yet another term? |
| 2021-12-24 21:42:37 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Ping timeout: 240 seconds) |
| 2021-12-24 21:43:16 +0100 | <energizer> | well it's not just more possiblities like a[b,c,d], it's leveled a[b[c[d]]] |
| 2021-12-24 21:45:02 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2021-12-24 21:46:45 +0100 | <dsal> | oats: sounds like https://hackage.haskell.org/package/lens-3.2/docs/Control-Lens-Zipper.html |
| 2021-12-24 21:48:07 +0100 | jlamothe | (~jlamothe@198.251.61.229) (Ping timeout: 268 seconds) |
| 2021-12-24 21:50:54 +0100 | <energizer> | is there a name for the outer type of a parametrized type? |
| 2021-12-24 21:51:46 +0100 | <energizer> | ie "List" in "List int" |
| 2021-12-24 21:52:03 +0100 | <oats> | dsal, is that removed in newer versions of `lens`? |
| 2021-12-24 21:52:24 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-12-24 21:53:39 +0100 | <oats> | oh, moved to a different package in lens 4.0 |
| 2021-12-24 21:53:39 +0100 | <dsal> | Hmm... it was moved |
| 2021-12-24 21:54:23 +0100 | <dsal> | Would be cool if they mentioned what that package was. |
| 2021-12-24 21:54:28 +0100 | jlamothe | (~jlamothe@198.251.61.229) |
| 2021-12-24 21:54:29 +0100 | <dsal> | But the concept in general is zipper. |
| 2021-12-24 21:54:50 +0100 | <oats> | still in progress trying to understand it :P |
| 2021-12-24 21:55:05 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-12-24 21:55:07 +0100 | <geekosaur> | energizer, terms vary but I'd say List int is a type and List is a parameterized type |
| 2021-12-24 21:55:49 +0100 | <geekosaur> | that said, "parameterized" is a bit fraught; it starts to make more sense to talk in terms of kinds |
| 2021-12-24 21:55:53 +0100 | <geekosaur> | :k StateT |
| 2021-12-24 21:55:54 +0100 | <lambdabot> | * -> (* -> *) -> * -> * |
| 2021-12-24 21:56:04 +0100 | <geekosaur> | how do you describe this in words? |
| 2021-12-24 21:56:38 +0100 | <geekosaur> | whereas lists are simple: |
| 2021-12-24 21:56:39 +0100 | <oats> | star arrow star arrow star arrow.... |
| 2021-12-24 21:56:40 +0100 | <geekosaur> | :k [] |
| 2021-12-24 21:56:41 +0100 | <lambdabot> | * -> * |
| 2021-12-24 21:58:09 +0100 | <energizer> | can't say :k List tho |
| 2021-12-24 21:58:33 +0100 | <geekosaur> | if you define your own List type, you can |
| 2021-12-24 21:59:04 +0100 | <geekosaur> | Haskell calls it [] so that's how you must name it. SML would be different, where it's "int list" or similar |
| 2021-12-24 22:00:18 +0100 | <geekosaur> | (there being a bunch of SML variants) |
| 2021-12-24 22:01:28 +0100 | <hpc> | SML is short for "so many languages" |
| 2021-12-24 22:02:04 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-12-24 22:14:12 +0100 | <geekosaur> | (you also can't say :k int in Haskell since type names always start with an uppercase letter, so I'm not really sure what the point of :k List was) |
| 2021-12-24 22:15:23 +0100 | falafel | (~falafel@2603-8000-d800-688c-502d-7280-71cc-20e7.res6.spectrum.com) |
| 2021-12-24 22:18:08 +0100 | goepsilongo | (~goepsilon@2806:263:c404:8000:1841:9986:6b2b:10e6) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-12-24 22:19:38 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 260 seconds) |
| 2021-12-24 22:21:25 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) |
| 2021-12-24 22:22:07 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2021-12-24 22:22:27 +0100 | <[itchyjunk]> | Just to mentally think this through we have map :: (a->b) -> [a] -> [b] right? |
| 2021-12-24 22:22:56 +0100 | <[itchyjunk]> | so what would it look like it i had something that can take a higher order function and return [b] say |
| 2021-12-24 22:23:11 +0100 | <[itchyjunk]> | It should be possible i think but brain can't think it through |
| 2021-12-24 22:24:10 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-12-24 22:24:10 +0100 | <Rembane> | :t map |
| 2021-12-24 22:24:11 +0100 | <lambdabot> | (a -> b) -> [a] -> [b] |
| 2021-12-24 22:24:19 +0100 | <Rembane> | :t map id [] |
| 2021-12-24 22:24:20 +0100 | <lambdabot> | [b] |
| 2021-12-24 22:24:24 +0100 | <Rembane> | Like that? |
| 2021-12-24 22:25:30 +0100 | <geekosaur> | note that you can think of map as: (a -> b) -> ([a] -> [b]) |
| 2021-12-24 22:25:33 +0100 | <[itchyjunk]> | aren't you just using map with id as its parameter? |
| 2021-12-24 22:25:49 +0100 | rumpled_pigeon | otherwise |
| 2021-12-24 22:26:09 +0100 | <[itchyjunk]> | hmm |
| 2021-12-24 22:26:45 +0100 | <Rembane> | [itchyjunk]: Sure, lets say you have a function that does what I just did instead. |
| 2021-12-24 22:26:49 +0100 | <[itchyjunk]> | i can think of map as a function that takes a function (a->b) as a parameter and returns a function ([a]->[b]) ? |
| 2021-12-24 22:26:59 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 22:27:06 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 22:27:12 +0100 | <Rembane> | [itchyjunk]: Yes! |
| 2021-12-24 22:27:19 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-12-24 22:27:36 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 268 seconds) |
| 2021-12-24 22:27:59 +0100 | <[itchyjunk]> | So i would want a function that takes a function that takes a function and return it a function for a higher order function that takes a higher order function as a parameter |
| 2021-12-24 22:28:15 +0100 | <otherwise> | > 1+1 |
| 2021-12-24 22:28:17 +0100 | <lambdabot> | 2 |
| 2021-12-24 22:28:40 +0100 | <otherwise> | phwew |
| 2021-12-24 22:29:50 +0100 | <geekosaur> | :t map (+2) |
| 2021-12-24 22:29:51 +0100 | <lambdabot> | Num b => [b] -> [b] |
| 2021-12-24 22:31:08 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 22:31:08 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 22:31:27 +0100 | <[itchyjunk]> | (+2) is a partial function. so `map (+2)` should produce another partial function that takes a list and spits out a list ah.. |
| 2021-12-24 22:31:33 +0100 | <[itchyjunk]> | that's what the [b] -> [b] is |
| 2021-12-24 22:32:00 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 22:32:01 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 22:32:35 +0100 | <geekosaur> | :t (+2) |
| 2021-12-24 22:32:36 +0100 | <lambdabot> | Num a => a -> a |
| 2021-12-24 22:32:42 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 260 seconds) |
| 2021-12-24 22:33:35 +0100 | <geekosaur> | that it's partial doesn't matter; I could just as well define it as a non-partial lambda and it would still work |
| 2021-12-24 22:33:51 +0100 | <[itchyjunk]> | If i think of + as Int -> (Int -> Int), +2 would be the remaining (Int->Int) part |
| 2021-12-24 22:33:58 +0100 | <geekosaur> | but partially applied functions are quite convenient in Haskell |
| 2021-12-24 22:34:33 +0100 | <geekosaur> | (also note "partial" conventially has a different meaning in Haskell. (+2) is partially applied. head is partial, because it's not defined for all inputs) |
| 2021-12-24 22:34:52 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-24 22:34:52 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-12-24 22:34:52 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2021-12-24 22:35:01 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 22:35:01 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 22:35:08 +0100 | <[itchyjunk]> | oh, not familiar with that second meaning |
| 2021-12-24 22:35:25 +0100 | <hpc> | it comes from total/partial being opposites |
| 2021-12-24 22:35:27 +0100 | <[itchyjunk]> | shouldn't you get a compilation error if everything in to domain isn't mapped to something? |
| 2021-12-24 22:35:43 +0100 | <hpc> | a total function is defined for all inputs |
| 2021-12-24 22:36:02 +0100 | <geekosaur> | not in Haskell. it'll quite happily let you write "head []", it'll just throw an error at runtime |
| 2021-12-24 22:36:35 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 22:36:36 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 22:36:51 +0100 | <[itchyjunk]> | ah |
| 2021-12-24 22:36:59 +0100 | <geekosaur> | also proving that something is total is difficult in general, so while there are languages which require totality, they either require you to prove it or don't let you write very much in general because you're restricted to a total subset |
| 2021-12-24 22:37:03 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 22:37:04 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 22:37:42 +0100 | <EvanR> | and if what you're restricted to is exactly what you're trying to accomplish, gravy :) |
| 2021-12-24 22:37:43 +0100 | <[itchyjunk]> | Ah, this is linked to proof assistance not being turning complete because of restrictions like this? |
| 2021-12-24 22:37:46 +0100 | <hpc> | in turing-complete languages, proving totality is undecidable |
| 2021-12-24 22:37:48 +0100 | <hpc> | yep |
| 2021-12-24 22:38:10 +0100 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) |
| 2021-12-24 22:38:18 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-24 22:38:34 +0100 | <hpc> | partiality includes not just errors like (head []), but infinite loops like (let x = x in x) |
| 2021-12-24 22:39:06 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-12-24 22:39:09 +0100 | <[itchyjunk]> | oh interesting recursion |
| 2021-12-24 22:39:28 +0100 | <EvanR> | "something in the domain isn't mapped to something" |
| 2021-12-24 22:39:34 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 22:39:35 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 22:39:41 +0100 | <geekosaur> | also note that this restriction may mean you can't write e.g. web servers, because you can't prove that a connecting client won't send an infinite stream of data |
| 2021-12-24 22:39:59 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 22:40:00 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 22:40:00 +0100 | <hpc> | geekosaur: well, there it gets complicated |
| 2021-12-24 22:40:39 +0100 | <EvanR> | if it's a websocket, that's ok. If it's supposed to cut you off at some policy amount, that's ok |
| 2021-12-24 22:40:41 +0100 | <hpc> | there's a notion of non-turing-complete languages in which you can write programs that run forever, but only by having some finite computation on every step of input |
| 2021-12-24 22:40:52 +0100 | <hpc> | if there's infinite input, there's infinite output |
| 2021-12-24 22:40:58 +0100 | <hpc> | but the program remains productive through the whole thing |
| 2021-12-24 22:41:37 +0100 | <EvanR> | the gritty details come in for driver loops |
| 2021-12-24 22:44:10 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-12-24 22:44:40 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-24 22:47:08 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 22:47:09 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 22:48:57 +0100 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2021-12-24 22:53:01 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2021-12-24 22:53:28 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Client Quit) |
| 2021-12-24 22:54:41 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) |
| 2021-12-24 22:55:33 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 22:55:34 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 22:55:52 +0100 | <monochrom> | For an interactive system like web servers and web apps, the theory (model) of total functions is not appropriate. Much more appropriate is temporal logic and liveness. |
| 2021-12-24 22:59:35 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 22:59:35 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 22:59:37 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 240 seconds) |
| 2021-12-24 23:01:16 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2021-12-24 23:02:12 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 23:02:12 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 23:02:20 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2021-12-24 23:03:04 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) |
| 2021-12-24 23:03:16 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-12-24 23:03:56 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-24 23:03:57 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 23:04:27 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: closed) |
| 2021-12-24 23:04:47 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-24 23:05:44 +0100 | otherwise | (~otherwise@c-73-221-44-172.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2021-12-24 23:13:33 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 2021-12-24 23:14:17 +0100 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-12-24 23:14:55 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-12-24 23:15:18 +0100 | rlj | (~rlj@62.119.244.114) |
| 2021-12-24 23:18:00 +0100 | notzmv | (~zmv@user/notzmv) |
| 2021-12-24 23:20:17 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-24 23:20:55 +0100 | rlj | (~rlj@62.119.244.114) (Ping timeout: 256 seconds) |
| 2021-12-24 23:21:29 +0100 | otherwise | (~otherwise@2601:602:880:90f0:2164:480c:998d:fc7c) |
| 2021-12-24 23:24:32 +0100 | CiaoSen | (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-12-24 23:28:41 +0100 | jeetelongname | (~jeet@88.111.159.26) (Ping timeout: 250 seconds) |
| 2021-12-24 23:31:21 +0100 | <sm> | working with emacs and emacs config really makes you appreciate the disciplined control of state in haskell software. For all our problems, that is a huge asset that I take for granted |
| 2021-12-24 23:31:46 +0100 | <sm> | it's a shock when you go back to older systems |
| 2021-12-24 23:31:58 +0100 | <sm> | older/less disciplined |
| 2021-12-24 23:32:13 +0100 | Techcable | (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in) |
| 2021-12-24 23:33:49 +0100 | Techcable | (~Techcable@168.235.93.147) |
| 2021-12-24 23:36:21 +0100 | acidjnk | (~acidjnk@p200300d0c7271e974de60a217c79c2cb.dip0.t-ipconnect.de) |
| 2021-12-24 23:40:23 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) |
| 2021-12-24 23:41:24 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-12-24 23:42:23 +0100 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) (Remote host closed the connection) |
| 2021-12-24 23:42:57 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::917a) (Ping timeout: 240 seconds) |
| 2021-12-24 23:44:37 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Ping timeout: 240 seconds) |
| 2021-12-24 23:45:17 +0100 | deech`` | (~user@024-217-244-075.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-12-24 23:45:28 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-12-24 23:46:27 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2021-12-24 23:48:07 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-12-24 23:55:47 +0100 | perro | (~perro@072-191-245-069.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2021-12-24 23:58:44 +0100 | acode | (~acode@151.65.31.181) |
| 2021-12-24 23:59:17 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |