Logs on 2023-04-01 (liberachat/#haskell)
| 00:02:55 | <jwiegley> | :list identifier is basically what I want, but for it to list the whole identifier and not just the top definition line |
| 00:03:05 | <jwiegley> | whole definition* |
| 00:07:13 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 00:10:26 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 00:19:44 | × | chomwitt quits (~chomwitt@ppp-94-69-24-223.home.otenet.gr) (Ping timeout: 248 seconds) |
| 00:21:36 | → | Bocaneri joins (~sauvin@user/Sauvin) |
| 00:21:49 | × | Sauvin quits (~sauvin@user/Sauvin) (Ping timeout: 276 seconds) |
| 00:21:59 | Bocaneri | is now known as Guest6661 |
| 00:23:50 | → | rumgzy joins (~sauvin@user/Sauvin) |
| 00:24:43 | × | purlingstream quits (~godfibrat@178.70.110.196) (Quit: Leaving.) |
| 00:25:18 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 00:26:33 | × | Guest6661 quits (~sauvin@user/Sauvin) (Ping timeout: 250 seconds) |
| 00:30:20 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 265 seconds) |
| 00:34:54 | <talismanick> | How much would it break to be able to assign different type signatures to functions as a kind of "algebraic equivalence?" |
| 00:35:37 | <talismanick> | e.g. monads-as-adjunctions by rephrasing join as fmapping counit, with the attendant type signature |
| 00:36:25 | <talismanick> | some kind of structural typing on steroids... is there a name for this? |
| 00:39:07 | rumgzy | is now known as Sauvin |
| 00:44:56 | <EvanR> | throwing principal typing out the window |
| 00:45:10 | <EvanR> | which I hear is done in systems with subtypes |
| 00:45:15 | × | ph88 quits (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 00:45:37 | <talismanick> | EvanR: So, about where we are with GADTs? |
| 00:46:54 | <EvanR> | is that the case with GADTs? |
| 00:48:44 | <talismanick> | ...isn't it? |
| 00:49:30 | × | gurkenglas quits (~gurkengla@dynamic-089-204-138-080.89.204.138.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 00:49:47 | <c_wraith> | yes. Also RankNTypes is sufficient to remove principle types in some cases. |
| 00:57:52 | → | p3n_ joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 00:58:10 | × | p3n quits (~p3n@217.198.124.246) (Read error: Connection reset by peer) |
| 00:59:10 | × | voidzero quits (~voidzero@user/voidzero) (Quit: voidzero) |
| 01:02:45 | × | p3n_ quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Ping timeout: 260 seconds) |
| 01:03:57 | → | p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 01:05:47 | × | kimjetwav quits (~user@2607:fea8:235e:b600:98bd:5e68:98bc:535e) (Remote host closed the connection) |
| 01:06:25 | pony | is now known as no-n |
| 01:10:03 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 01:11:02 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:12:05 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) |
| 01:14:11 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 01:16:04 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 01:16:25 | × | bontaq quits (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 01:17:09 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:25:37 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 01:35:01 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 250 seconds) |
| 01:35:34 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 01:37:08 | → | khumba joins (~khumba@user/khumba) |
| 01:45:51 | → | jero98772 joins (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) |
| 01:48:10 | × | thegeekinside quits (~thegeekin@189.141.115.134) (Remote host closed the connection) |
| 01:57:19 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 01:58:24 | × | jero98772 quits (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) (Ping timeout: 248 seconds) |
| 01:59:43 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 252 seconds) |
| 02:08:25 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:08:25 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:08:25 | finn_elija | is now known as FinnElija |
| 02:10:17 | [_] | is now known as ]itchyjunk[ |
| 02:10:54 | → | jero98772 joins (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) |
| 02:13:05 | → | IRCHero joins (~IRCHero@S01069050ca4e3573.cg.shawcable.net) |
| 02:13:14 | <IRCHero> | hey can I ask a basic question here? |
| 02:14:28 | <no-n> | yes |
| 02:16:34 | → | nate1 joins (~nate@98.45.169.16) |
| 02:17:49 | <IRCHero> | no-n: whats the next number in this sequence? 1,3, 8, 11 13, 23, 29, 31, 37, ? |
| 02:17:58 | <IRCHero> | from an IQ test |
| 02:18:14 | <no-n> | are you asking me to help with your IQ test |
| 02:24:22 | <IRCHero> | no-n: no it's juat a practice one |
| 02:24:31 | <IRCHero> | its supposed to be easy |
| 02:24:35 | <IRCHero> | I just cant figure it out |
| 02:25:02 | <IRCHero> | I know the answer already |
| 02:25:08 | <IRCHero> | but not the rule, do you know? |
| 02:25:24 | <no-n> | oh, ok |
| 02:25:25 | <no-n> | nope |
| 02:25:35 | × | bhall quits (~brunohall@195.147.207.136) (Ping timeout: 260 seconds) |
| 02:25:40 | <no-n> | I'm dumb though |
| 02:25:42 | <no-n> | most people here are smart |
| 02:27:18 | × | td_ quits (~td@i5387092B.versanet.de) (Ping timeout: 265 seconds) |
| 02:27:50 | <IRCHero> | no-n: can haskell help me? |
| 02:27:56 | <IRCHero> | I mean, can we write a program that can solve it |
| 02:28:08 | <IRCHero> | its only 9 digits not that much |
| 02:28:18 | <IRCHero> | and I know Haskell is a mathematical programming language |
| 02:28:26 | <IRCHero> | that is good at patterns |
| 02:28:52 | → | td_ joins (~td@i5387093C.versanet.de) |
| 02:28:58 | → | bhall joins (~brunohall@195.147.207.136) |
| 02:28:59 | × | bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 02:31:32 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:31:57 | → | Nosrep joins (~Nosrep@user/nosrep) |
| 02:35:00 | <IRCHero> | or I guess haskell is rule based too? |
| 02:35:06 | <IRCHero> | like, you need to know the rule first |
| 02:35:09 | <IRCHero> | to write the program |
| 02:35:24 | <IRCHero> | it just makes it more superficially covenient to write that pattern? |
| 02:35:27 | <IRCHero> | or am I missing somethin |
| 02:36:50 | <no-n> | I don't know how to write a program that can solve a rule like that |
| 02:38:14 | → | razetime joins (~Thunderbi@49.207.192.117) |
| 02:39:00 | <IRCHero> | well your mentally is all fucked up |
| 02:39:09 | <IRCHero> | cause youre thinking in terms of 'solving' a 'rule' |
| 02:39:14 | <IRCHero> | I dont think you can solve a rule |
| 02:39:21 | <IRCHero> | its not an algebra prob |
| 02:39:43 | <IRCHero> | where theres one solution that can be solved like a quadratic equation |
| 02:39:48 | <IRCHero> | or even two |
| 02:40:59 | <IRCHero> | thats a dastardly vantage point. even calling it problem 'solving' is cancerous when it comes to these types of probs |
| 02:41:40 | <probie> | It's called looking for the generating program with lowest k-complexity |
| 02:45:55 | <probie> | (or maybe I should say kolmogorov complexity, instead of k-complexity) |
| 02:46:25 | → | jlee joins (~jlee@2601:248:1:d90:3fac:736e:cbdb:ae89) |
| 02:48:49 | <Nosrep> | is the hashmap in unordered-containers a hamt |
| 02:49:05 | <no-n> | IRCHero: try not to be a dick abotu it |
| 02:51:27 | <Axman6> | Nosrep: I believe so |
| 02:57:36 | <Nosrep> | cool |
| 03:05:05 | <hammond> | IRCHero: whats the next num? |
| 03:05:10 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 268 seconds) |
| 03:07:52 | <Axman6> | > zipWith subtract <*> tail $ [ 1,3, 8, 11, 13, 23, 29, 31, 37] |
| 03:07:54 | <lambdabot> | [2,5,3,2,10,6,2,6] |
| 03:08:42 | <Axman6> | IRCHero: talking to people like that is pretty cancerous IMO, particularly when you're seeking their help |
| 03:09:31 | <talismanick> | Are there any Datalog-as-database libraries in Haskell? |
| 03:09:45 | × | jero98772 quits (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) (Remote host closed the connection) |
| 03:12:27 | <IRCHero> | Axman6: whys that? |
| 03:12:45 | <IRCHero> | I didnt ask for anyones help in particular |
| 03:13:04 | <IRCHero> | I didnt say Axman6 I need your help on this specific problem |
| 03:13:13 | <Axman6> | You don't see why telling someone helping you "well your mentally is all fucked up" is a problem? Maybe you should be taking an EQ test |
| 03:13:35 | <hammond> | IRCHero: but whats the next number, i don't get the pattern in that sequence. |
| 03:14:20 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Quit: Fischmiep) |
| 03:14:48 | <EvanR> | don't ask me to help with your IQ test, your IQ will decrease |
| 03:15:14 | <EvanR> | see also collective stupidity |
| 03:15:47 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 03:15:55 | <hammond> | or... cmon now, 2 5 3 4 10 in the middle whats that. |
| 03:16:03 | <hammond> | then six two six |
| 03:16:09 | <IRCHero> | hammond: why does it have to be one number? |
| 03:16:13 | <IRCHero> | or why does a pattern have to exist? |
| 03:16:17 | <IRCHero> | maybe I just made it up lol |
| 03:16:23 | <IRCHero> | to prove a point |
| 03:16:45 | <IRCHero> | I could tell you how I constructed it |
| 03:16:55 | <Axman6> | this is feeling like a conversation from r/IAmVerySmart |
| 03:16:59 | <hammond> | i study random numbers... i want to know |
| 03:17:24 | <IRCHero> | hammond: so I thought to myself |
| 03:17:33 | <IRCHero> | "everyone here knows prime number sequence" |
| 03:17:40 | <IRCHero> | then I just added exceptions |
| 03:17:46 | <IRCHero> | like 1, a composite number |
| 03:17:55 | <IRCHero> | and skipped every 2nd prime for the first half |
| 03:18:03 | <IRCHero> | then second half, did every 2nd prime |
| 03:18:27 | <IRCHero> | then thought about flipping some random bits |
| 03:18:29 | <hammond> | irc that sequence is not long enough to find that out... but alright. |
| 03:18:31 | <IRCHero> | but thought was too complex |
| 03:18:57 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 03:19:14 | <Axman6> | This is like some 7th grade "you're dumb because I made something up and you didn't know it" level shit. |
| 03:19:16 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 03:20:20 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 03:20:43 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 03:21:09 | <tusko> | no u |
| 03:22:17 | <Axman6> | I'm telling |
| 03:22:28 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 03:22:37 | <hammond> | IRCHero: suppose this, can you write a software that finds the 9 millionth prime number? Without iterating. |
| 03:23:26 | <Axman6> | @google what is the 9 millionth prime |
| 03:23:33 | <hammond> | hehehe |
| 03:23:37 | <hammond> | i guess |
| 03:23:40 | × | ]itchyjunk[ quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 03:23:42 | <lambdabot> | Plugin `search' failed with: <<timeout>> |
| 03:23:44 | <Axman6> | Damn, did we get rid of that |
| 03:24:36 | <IRCHero> | hammond: i could find up to log of largest known prime |
| 03:24:37 | <IRCHero> | lol |
| 03:25:00 | <IRCHero> | which I think is around 9 million |
| 03:25:12 | <Axman6> | that sounds unlikely |
| 03:25:16 | <IRCHero> | so you could write software for it |
| 03:25:36 | <IRCHero> | but would take a long time |
| 03:25:44 | <IRCHero> | cause computers are dumb |
| 03:25:45 | <IRCHero> | lol |
| 03:26:40 | <Axman6> | > 2^82589933 - 1 -- not too hard to compute large primes |
| 03:26:44 | <IRCHero> | to find beyond 9 millionth prime would be equivalent question, yes |
| 03:26:44 | <lambdabot> | 1488944457420413255478064584723979166030262739927953241852712894252132393610... |
| 03:27:38 | <IRCHero> | but i doubt its halting problem equivalent |
| 03:27:42 | <IRCHero> | or a truly hard prob |
| 03:27:51 | <IRCHero> | for only 9 digit sequence lol |
| 03:28:09 | <IRCHero> | doesnt equivocate to 9 million |
| 03:29:44 | <IRCHero> | surely if I asked only 2 digits |
| 03:29:47 | <IRCHero> | Haskell could solve it easily |
| 03:29:54 | <hammond> | well thats the thing, you know 1 then 2, then 3 is the third one, 5 is the forth one, 7 is the fifth, then to find the sixth what mechanisms other than iteration one by one would u use? |
| 03:30:10 | <IRCHero> | algorithms lol |
| 03:30:21 | <IRCHero> | pattern recognition |
| 03:30:29 | <Axman6> | > let primes = 2 : 3 : filter isPrime [5,7..]; isPrime n = all (\x -> n `mod` x /= 0) $ takeWhile (\x -> x*x <= n) primes in primes !! 9000000 |
| 03:30:31 | <IRCHero> | dynamic programming |
| 03:30:31 | <hammond> | sifi - coding |
| 03:30:32 | <IRCHero> | for one |
| 03:30:35 | <lambdabot> | mueval-core: Time limit exceeded |
| 03:30:41 | <Axman6> | > let primes = 2 : 3 : filter isPrime [5,7..]; isPrime n = all (\x -> n `mod` x /= 0) $ takeWhile (\x -> x*x <= n) primes in primes !! 9000000 :: Int |
| 03:30:47 | <lambdabot> | mueval-core: Time limit exceeded |
| 03:30:52 | <Axman6> | :( |
| 03:31:43 | <mauke> | IRCHero: -269 |
| 03:32:11 | → | dipper_ joins (~dipper@203.168.13.4) |
| 03:36:50 | <IRCHero> | okay, so are you offended when I ask what is purpose of Haskell in face of this combinatorial complexity? |
| 03:37:03 | <IRCHero> | if 9 digits gives Haskell a problem |
| 03:37:11 | <IRCHero> | isnt Haskell just syntactic sugar |
| 03:37:43 | <IRCHero> | its not fucking lambda calculus |
| 03:38:25 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 03:38:26 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 03:38:26 | → | wroathe joins (~wroathe@user/wroathe) |
| 03:38:35 | <mauke> | are you on drugs? |
| 03:39:09 | <no-n> | you mentioned you were here to prove a point. what point is that? because so far you've only proven yourself an arse. |
| 03:39:14 | <hammond> | i read someonewhere haskell embodies category theory. |
| 03:40:24 | <int-e> | > let ex [a] = repeat a; ex (x:xs) = scanl (+) x (ex (zipWith (-) xs (x:xs))) in ex [1,3,8,11,13,23,29,31,37] |
| 03:40:25 | <lambdabot> | [1,3,8,11,13,23,29,31,37,-269,-2670,-13045,-46351,-135017,-342001,-779953,-1... |
| 03:40:44 | <Axman6> | nailed it |
| 03:41:06 | <int-e> | see, it agrees with what mauke said |
| 03:41:12 | <IRCHero> | no-n: my point is, in some ways I 'get' the point of Haskell and admire its potential, in other ways, I don't 'get it' because I feel it inadequately addresses the combinatorial problem |
| 03:41:16 | <IRCHero> | the core of mathematics |
| 03:41:20 | int-e | would still go with 42 though |
| 03:41:28 | <IRCHero> | which annoys me |
| 03:41:38 | <IRCHero> | so its why I like C++ |
| 03:41:40 | <Axman6> | int-e: I think from your comments above it;'s clear you don't "get" anything to do with Haskell |
| 03:41:42 | <IRCHero> | better |
| 03:41:51 | <Axman6> | uh, IRCHero. int-e you're doing alright :P |
| 03:41:55 | <mauke> | heh |
| 03:42:28 | <Axman6> | 9 millionth prime is 160481219 btw |
| 03:42:32 | <IRCHero> | C++ solved so many problems |
| 03:42:36 | <IRCHero> | like fast code |
| 03:42:42 | <Axman6> | C++ caused so many problems |
| 03:42:43 | <int-e> | Axman6: tbh I just like instances of `scanl` and this is a good one |
| 03:42:43 | <hammond> | thx Axman6 |
| 03:42:45 | <hammond> | lol |
| 03:42:56 | <mauke> | how is fast code a problem |
| 03:43:02 | <mauke> | and whats the solution |
| 03:43:03 | <Axman6> | I gotchu hammond |
| 03:43:07 | <IRCHero> | I mean problem was slow code |
| 03:43:22 | <int-e> | C++ did not, actually, make code faster |
| 03:43:31 | <probie> | So in a world before C++, all code was slow? TIL |
| 03:43:32 | <int-e> | it paid heavily for all its new abstractions when compared to C |
| 03:43:32 | <mauke> | oh, is that why C++ compilers are so slow |
| 03:43:35 | <Axman6> | and it certainly made development slower |
| 03:43:42 | <mauke> | they couldn't write a faster compiler because C++ didn't exist yet |
| 03:43:56 | <hammond> | C++ is inadequate for this math problem. |
| 03:43:59 | <Axman6> | probie: sure was man, sure was |
| 03:44:25 | <int-e> | it made certain kinds of complex code more manageable, and it made it easy to produce multi-megabyte executables with just hundreds of lines of templates. |
| 03:44:37 | <int-e> | (which were also slow to compile) |
| 03:44:38 | <Axman6> | What a ridiculous take, "C++ made code fast" XD |
| 03:45:13 | <hammond> | you picked a randomly increasing sequence and made it even more random by adding some structure ontop. IDK how any language or even AI could have helped u there. |
| 03:45:16 | <Axman6> | This is like taking programming advice from a "Top 10 programming languages this week!!!" youtube video |
| 03:45:16 | <int-e> | The idea that C++ code is fast is retroactive... if you take Python code and rewrite it in C++ there's a good chance the result will be faster. |
| 03:45:33 | <Axman6> | hammond: removed structure really |
| 03:45:35 | <int-e> | Plus, decades of work on compiler optimization. |
| 03:45:37 | <no-n> | oh, he's trolling ##math now -_- |
| 03:45:42 | <no-n> | with the same number sequence |
| 03:45:52 | <int-e> | And co-evolving CPUs. |
| 03:46:08 | <mauke> | int-e: why not ex [] = repeat 0 as the base case? |
| 03:46:28 | <int-e> | mauke: Good question; I didn't think of that as the base case. |
| 03:46:45 | <Axman6> | Yeah Haskell would be faster if they were build around graph reduction, but we decided to focus on other stuff |
| 03:47:58 | <int-e> | no-n: no, they brought it up on ##math first, they just didn't get much discussion out of it |
| 03:48:21 | <no-n> | oh, right (I should have looked at the timestamps :P) |
| 03:49:38 | <mauke> | @protontorpedo |
| 03:49:38 | <lambdabot> | so this java guy I know says that java is the best when things get really complex and u need your apps do do real work |
| 03:49:52 | <hammond> | Axman6: well, give a software his sequence and let it find the next num. without knowing about primes, or anything like that. just addition, subtraction, multiplication, and division. |
| 03:51:51 | <int-e> | maybe ask ChatGPT about the next number. This would actually be a good use of the system. |
| 03:52:18 | <int-e> | (It's good at GIGO.) |
| 03:53:04 | × | waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 248 seconds) |
| 03:53:37 | <mauke> | maybe ask it to explain why the next number in the sequence is "potato" |
| 03:54:25 | <hammond> | NNs, idk about chatGPT, but NNs are terrible at finding next nums, even after giving them very large(billions of) psuedo random numbers. |
| 03:55:09 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 03:56:02 | <int-e> | hammond: I meant for this particular sequence. |
| 03:56:23 | <hammond> | yea |
| 03:57:22 | <int-e> | OEIS is where I usually go with this kind of question. |
| 03:58:07 | <Axman6> | yeah that was the first thing I thought too. |
| 03:58:15 | <Axman6> | @oeis 1,3, 8, 11, 13, 23, 29, 31, 37 |
| 03:58:16 | <lambdabot> | Sequence not found. |
| 03:58:51 | <Axman6> | THE SEQUENCE DOES NOT EXIST! (to paraphrase Mean Girls) |
| 03:59:36 | → | raym joins (~ray@user/raym) |
| 03:59:37 | <int-e> | . o O ( Online Encyclopedia of Interesting Sequences ) |
| 04:00:07 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 04:00:11 | <int-e> | (The actual expansion is subtly different.) |
| 04:01:23 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 04:02:22 | <IRCHero> | when I made that sequence up, I actually didn't think much about it |
| 04:02:43 | <IRCHero> | I wrote it down very quickly |
| 04:03:05 | <IRCHero> | but was subtely aware that it was primes and to avoid gaps and obvious patterns I've seen before |
| 04:03:34 | <IRCHero> | subtly* |
| 04:03:49 | <IRCHero> | I wonder how hard that is to do |
| 04:04:09 | <int-e> | well you managed so I suppose it can't be difficult |
| 04:04:48 | <IRCHero> | it has to be though |
| 04:04:52 | <IRCHero> | since if you had a program that could do it |
| 04:05:00 | <IRCHero> | this problem would be solved |
| 04:05:07 | <Axman6> | but can haskell automagically just like do a vague thing I thought of? |
| 04:05:22 | <IRCHero> | so therefore, I must be pretty good at generating sequences like that |
| 04:05:24 | <Axman6> | haskell is like maths right? |
| 04:05:38 | <Axman6> | and maths is just numbers |
| 04:05:45 | <Axman6> | how could it be hard? |
| 04:05:47 | <monochrom> | Are we done? |
| 04:06:06 | <IRCHero> | either that problem is easy or im an idiot (but not both and theres no proof that problem is easy such that theres a program that can generate such sequences so by default, i must be pretty good) |
| 04:06:51 | <Axman6> | I'm done, not sure I could cringe much harder |
| 04:07:18 | <int-e> | . o O ( The result was a short burst of the most hideous cacophony in G minor. ) |
| 04:07:45 | <Axman6> | MIDI is the answer |
| 04:09:08 | <int-e> | I mean, this seems perfectly analogous... whether you take a random piece of, uh, music, forced into a particular scale, or whether you take a random sequence of numbers but most of them are prime... the result will not produce joy. |
| 04:12:56 | <IRCHero> | I wonder if I can come up with another sequence like that |
| 04:13:37 | <IRCHero> | 2, 5, 6, 7, 13, 17, 18, 19, 21, 22, 23, 24, 25, 26 |
| 04:14:28 | <int-e> | let me check... |
| 04:14:28 | <IRCHero> | is that truly random ? |
| 04:14:40 | <IRCHero> | or is there correlation with last one I generated |
| 04:14:44 | <int-e> | > joy [2, 5, 6, 7, 13, 17, 18, 19, 21, 22, 23, 24, 25, 26] |
| 04:14:45 | <Axman6> | nah, (supposedly) a human made it |
| 04:14:46 | <lambdabot> | 0 |
| 04:14:53 | <Axman6> | damn, no joy |
| 04:15:35 | <IRCHero> | actually reading that one over again feels 'flat' |
| 04:15:42 | <IRCHero> | not the same feel as last one |
| 04:16:00 | <Axman6> | IRCHero: do you have a questions about haskell or not? |
| 04:16:10 | <IRCHero> | nah |
| 04:16:31 | <Axman6> | then why are you here making nonsense noise? |
| 04:18:03 | × | razetime quits (~Thunderbi@49.207.192.117) (Remote host closed the connection) |
| 04:19:43 | × | talismanick quits (~talismani@76.133.152.122) (Ping timeout: 276 seconds) |
| 04:21:20 | × | msavoritias quits (cb716af6b3@irc.cheogram.com) (Ping timeout: 248 seconds) |
| 04:32:44 | × | azimut_ quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 04:35:27 | <IRCHero> | kubuntu |
| 04:35:30 | ← | IRCHero parts (~IRCHero@S01069050ca4e3573.cg.shawcable.net) () |
| 04:35:39 | <Axman6> | o/ |
| 04:43:06 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 04:44:25 | × | Vq quits (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 276 seconds) |
| 04:45:32 | → | Vq joins (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 04:57:08 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 265 seconds) |
| 04:58:26 | → | jinsun joins (~jinsun@user/jinsun) |
| 05:01:06 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) (Ping timeout: 255 seconds) |
| 05:04:03 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:04:15 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 05:04:58 | → | jinsun joins (~jinsun@user/jinsun) |
| 05:05:52 | → | razetime joins (~Thunderbi@49.207.192.117) |
| 05:11:27 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 255 seconds) |
| 05:15:43 | → | nate1 joins (~nate@98.45.169.16) |
| 05:17:46 | → | jargon joins (~jargon@174-22-223-2.phnx.qwest.net) |
| 05:18:16 | → | trev joins (~trev@user/trev) |
| 05:18:24 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 05:18:57 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 05:20:03 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 05:20:21 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 05:30:47 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 05:33:42 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 05:35:27 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 05:37:01 | × | mei quits (~mei@user/mei) (Quit: mei) |
| 05:37:30 | × | taupiqueur quits (~taupiqueu@2a02-842a-8180-4601-5cda-53cf-f789-516e.rev.sfr.net) (Quit: WeeChat 3.8) |
| 05:38:01 | × | shapr quits (~user@c-68-35-51-250.hsd1.al.comcast.net) (Ping timeout: 240 seconds) |
| 05:40:10 | → | mei joins (~mei@user/mei) |
| 05:42:27 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 05:44:30 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 05:44:36 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 05:45:34 | × | razetime quits (~Thunderbi@49.207.192.117) (Quit: See You Space Cowboy) |
| 06:06:36 | → | haasn` joins (~nand@haasn.dev) |
| 06:45:36 | → | msavoritias joins (cb716af6b3@irc.cheogram.com) |
| 06:49:35 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:51:25 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 06:53:57 | × | simpleauthority quits (~simpleaut@user/simpleauthority) (Quit: ZNC 1.8.2 - https://znc.in) |
| 06:54:17 | → | simpleauthority joins (~simpleaut@user/simpleauthority) |
| 06:56:15 | × | tureba quits (~tureba@tureba.org) (Ping timeout: 260 seconds) |
| 06:56:15 | × | jimki quits (~jmaki@gazorpazorp.fixme.fi) (Ping timeout: 260 seconds) |
| 06:56:15 | × | LambdaDuck quits (~anka@ksit.fixme.fi) (Ping timeout: 260 seconds) |
| 06:56:47 | → | LambdaDuck joins (~anka@ksit.fixme.fi) |
| 06:56:50 | × | Clint quits (~Clint@user/clint) (Ping timeout: 260 seconds) |
| 06:56:53 | → | jimki joins (~jmaki@gazorpazorp.fixme.fi) |
| 06:57:00 | × | laman2 quits (~laman@rego.ai) (Remote host closed the connection) |
| 06:57:25 | × | gnyeki quits (~gnyeki@user/gnyeki) (Ping timeout: 260 seconds) |
| 06:57:28 | → | Clint joins (~Clint@user/clint) |
| 06:57:42 | → | gnyeki joins (~gnyeki@li578-216.members.linode.com) |
| 06:57:43 | × | gnyeki quits (~gnyeki@li578-216.members.linode.com) (Changing host) |
| 06:57:43 | → | gnyeki joins (~gnyeki@user/gnyeki) |
| 06:58:44 | → | laman2 joins (~laman@rego.ai) |
| 06:59:35 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 250 seconds) |
| 06:59:43 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 07:01:13 | × | jargon quits (~jargon@174-22-223-2.phnx.qwest.net) (Remote host closed the connection) |
| 07:03:20 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 07:08:06 | → | tureba joins (~tureba@tureba.org) |
| 07:12:56 | × | Patternmaster quits (~georg@user/Patternmaster) (Quit: leaving) |
| 07:25:16 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 07:26:14 | → | acidjnk joins (~acidjnk@p200300d6e715c489c0756d28eb97d75e.dip0.t-ipconnect.de) |
| 07:26:22 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 07:38:37 | × | simeon quits (~pi@170.231.7.51.dyn.plus.net) (Ping timeout: 276 seconds) |
| 07:40:06 | × | khumba quits (~khumba@user/khumba) () |
| 07:46:29 | → | titibandit joins (~titibandi@user/titibandit) |
| 07:53:14 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 08:13:46 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 08:14:36 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 08:15:02 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 08:17:41 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 08:23:58 | → | smallville7123 joins (~Android@116.90.72.108) |
| 08:24:09 | × | smallville7123 quits (~Android@116.90.72.108) (Max SendQ exceeded) |
| 08:24:40 | → | smallville7123 joins (~Android@116.90.72.108) |
| 08:26:38 | → | dextaa joins (~DV@user/dextaa) |
| 08:29:35 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 08:38:52 | → | gurkenglas joins (~gurkengla@dynamic-089-204-138-080.89.204.138.pool.telefonica.de) |
| 08:40:55 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 08:44:34 | → | Guest40 joins (~Guest40@2001:861:5401:12b0:d149:a31c:3c29:397f) |
| 08:45:12 | × | bhall quits (~brunohall@195.147.207.136) (Ping timeout: 255 seconds) |
| 08:47:11 | → | bhall joins (~brunohall@195.147.207.136) |
| 08:47:59 | → | jinsun joins (~jinsun@user/jinsun) |
| 08:50:49 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:56:58 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 09:08:16 | → | heraldo joins (~heraldo@user/heraldo) |
| 09:16:56 | → | nate1 joins (~nate@98.45.169.16) |
| 09:18:56 | → | zeenk joins (~zeenk@2a02:2f04:a307:2300::7fe) |
| 09:22:00 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 09:31:12 | × | Inst_ quits (~Inst@2601:6c4:4081:54f0:a461:9c3:e50e:33ff) (Ping timeout: 248 seconds) |
| 09:32:16 | → | Guest4079 joins (~Guest40@i19-les02-ix2-176-180-209-43.sfr.lns.abo.bbox.fr) |
| 09:33:03 | × | Guest40 quits (~Guest40@2001:861:5401:12b0:d149:a31c:3c29:397f) (Ping timeout: 260 seconds) |
| 09:33:31 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 09:33:51 | → | michalz joins (~michalz@185.246.207.205) |
| 09:46:40 | × | tomboy65 quits (~tomboy64@user/tomboy64) (Ping timeout: 276 seconds) |
| 09:51:42 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 09:57:41 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 09:59:02 | → | tomboy65 joins (~tomboy64@user/tomboy64) |
| 10:00:02 | → | titibandit joins (~titibandi@user/titibandit) |
| 10:01:09 | × | bliminse quits (~bliminse@user/bliminse) (Ping timeout: 250 seconds) |
| 10:01:47 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 10:03:30 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 10:05:44 | × | gurkenglas quits (~gurkengla@dynamic-089-204-138-080.89.204.138.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 10:05:55 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:3cb1:54bf:cd2c:417f) (Remote host closed the connection) |
| 10:06:03 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 260 seconds) |
| 10:08:14 | → | gurkenglas joins (~gurkengla@dynamic-089-204-138-080.89.204.138.pool.telefonica.de) |
| 10:12:35 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 10:13:10 | → | NiceBird joins (~NiceBird@185.133.111.196) |
| 10:24:09 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 10:24:41 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 10:28:22 | haasn` | is now known as haasn |
| 10:28:48 | × | haasn quits (~nand@haasn.dev) (Killed (NickServ (GHOST command used by haasn_!sid579015@id-579015.hampstead.irccloud.com))) |
| 10:29:09 | → | haasn` joins (~nand@haasn.dev) |
| 10:38:58 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 10:47:43 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 10:50:25 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 10:50:38 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Client Quit) |
| 10:51:20 | × | tomboy65 quits (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 10:52:56 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 10:54:20 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 11:01:45 | → | purlingstream joins (~godfibrat@178.70.110.196) |
| 11:03:40 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 11:03:51 | → | talismanick joins (~talismani@76.133.152.122) |
| 11:06:24 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:3cb1:54bf:cd2c:417f) |
| 11:09:53 | × | sawilagar quits (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 11:10:55 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:3cb1:54bf:cd2c:417f) (Ping timeout: 250 seconds) |
| 11:18:02 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 11:19:41 | → | ph88 joins (~ph88@ip5b426553.dynamic.kabel-deutschland.de) |
| 11:20:24 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 11:23:57 | × | xff0x quits (~xff0x@2405:6580:b080:900:c67e:6ac9:60af:99aa) (Quit: xff0x) |
| 11:26:03 | × | ph88 quits (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 11:27:57 | → | xff0x joins (~xff0x@2405:6580:b080:900:a3e3:2a1:70b5:d474) |
| 11:28:05 | → | lxi joins (~quassel@2a02:2f08:4706:3500:8522:9b9f:a44:5190) |
| 11:30:32 | → | chomwitt joins (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) |
| 11:31:59 | → | bliminse joins (~bliminse@user/bliminse) |
| 11:32:04 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 268 seconds) |
| 11:33:16 | → | heraldo joins (~heraldo@user/heraldo) |
| 11:40:39 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 11:41:56 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 11:41:59 | <hexagoxel> | any clever ideas on extracting/obtaining a full list of operator fixities for operators that are "common" (base + other top-used libraries)? |
| 11:42:32 | <hexagoxel> | the haskell report has a small list |
| 11:42:45 | <ncf> | grep ^infix |
| 11:42:55 | <yin> | ^ |
| 11:43:10 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 268 seconds) |
| 11:45:37 | <yin> | hexagoxel: they are really intuitive though. if you use hlint or hls you'll also get hints when you use redundant parethesis for example, which will get you trained on fixity really fast |
| 11:47:10 | × | zeenk quits (~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!) |
| 11:47:45 | <hexagoxel> | yin: my goal is exactly to improve such tools atm :D |
| 11:48:01 | <yin> | which ide do you use? |
| 11:50:11 | <hexagoxel> | yin: plain editor + integration for ghcid and brittany |
| 11:51:49 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 11:51:56 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 11:52:28 | <yin> | any reason why you're not using an ide? |
| 11:54:44 | → | __monty__ joins (~toonn@user/toonn) |
| 11:55:17 | <hexagoxel> | *shrug* they tend to break and/or leak memory. I should give lsp another go though. |
| 11:56:36 | <tomsmeding> | for haskell there is not really any IDE apart from HLS over LSP :p |
| 11:56:55 | <hexagoxel> | and typed-holes + quick feedback loops via ghcid are usually sufficient. I _do_ miss info-on-hover occasionally. |
| 11:56:57 | <tomsmeding> | or rather, not a recent and maintained one other than |
| 12:04:31 | → | heraldo joins (~heraldo@user/heraldo) |
| 12:06:04 | → | mmhat joins (~mmh@p200300f1c7024062ee086bfffe095315.dip0.t-ipconnect.de) |
| 12:06:18 | × | mmhat quits (~mmh@p200300f1c7024062ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 12:14:34 | → | titibandit joins (~titibandi@user/titibandit) |
| 12:16:42 | × | bhall quits (~brunohall@195.147.207.136) (Ping timeout: 255 seconds) |
| 12:18:04 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 255 seconds) |
| 12:18:19 | × | lxi quits (~quassel@2a02:2f08:4706:3500:8522:9b9f:a44:5190) (Ping timeout: 248 seconds) |
| 12:20:48 | → | lxi joins (~quassel@2a02:2f08:4706:3500:1013:6c8d:378c:6c4d) |
| 12:22:38 | → | jero98772 joins (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) |
| 12:27:24 | × | lxi quits (~quassel@2a02:2f08:4706:3500:1013:6c8d:378c:6c4d) (Ping timeout: 252 seconds) |
| 12:29:26 | → | zeenk joins (~zeenk@2a02:2f04:a307:2300::7fe) |
| 12:30:15 | → | jtza8 joins (~user@165.255.88.253) |
| 12:30:28 | × | driib quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 12:31:22 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 12:32:17 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 12:46:56 | → | Sciencentistguy joins (~sciencent@hacksoc/ordinary-member) |
| 12:53:31 | <jtza8> | When using the flag "-Wincomplete-patterns" with GHC, I get a non-exhaustive pattern match warning, but it doesn't make sense given that the following code works https://play.haskell.org/saved/UKerHCIP . |
| 12:53:39 | <jtza8> | What am I missing? |
| 12:57:42 | × | purlingstream quits (~godfibrat@178.70.110.196) (Quit: Leaving.) |
| 12:57:50 | → | purlingstream joins (~godfibrat@178.70.110.196) |
| 12:58:43 | <[Leary]> | jtza8: https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/pragmas.html#complete-pragmas |
| 13:00:01 | <jtza8> | [Leary]: Thanks. |
| 13:00:22 | × | gurkenglas quits (~gurkengla@dynamic-089-204-138-080.89.204.138.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 13:05:51 | → | ubert joins (~Thunderbi@p200300ecdf1411da12888a533376b329.dip0.t-ipconnect.de) |
| 13:13:35 | → | cheater_ joins (~Username@user/cheater) |
| 13:17:16 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 13:17:19 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 13:17:22 | cheater_ | is now known as cheater |
| 13:18:26 | → | nate1 joins (~nate@98.45.169.16) |
| 13:23:22 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 13:23:31 | → | cryptosopher666 joins (~cryptosop@2a01:4f8:1c1c:7c03::1) |
| 13:26:28 | <cryptosopher666> | hi, why i recieve this error https://paste.tomsmeding.com/BphUnj9C for this code https://paste.tomsmeding.com/6lNO4Q5E |
| 13:27:16 | <mauke> | missing 'else' |
| 13:27:57 | <mauke> | compiler sees 'if ... then ... where' where it expected 'if ... then ... else ...' |
| 13:28:30 | <mauke> | 'fstString x or sndString y' is parsed as a single function call in the "then" branch |
| 13:28:38 | <mauke> | ('or' is not a keyword) |
| 13:28:49 | × | cryptosopher666 quits (~cryptosop@2a01:4f8:1c1c:7c03::1) (Quit: Client closed) |
| 13:29:06 | → | cryptosopher666 joins (~cryptosop@2a01:4f8:1c1c:7c03::1) |
| 13:29:56 | <cryptosopher666> | mauke ok fixed and now its the error https://paste.tomsmeding.com/W9AoKU46 |
| 13:31:01 | <mauke> | that's because 'y' is not aligned horizontally with 'x' |
| 13:31:33 | <cryptosopher666> | ahh thanks |
| 13:31:39 | <mauke> | more specifically, the horizontal position of the first token after 'where' sets the indentation level of any following line that's part of the 'where' block |
| 13:32:27 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 13:33:35 | <mauke> | this happens twice in your code. 'fstString' in line 3 is the first token after 'where' in line 1, so every declaration at the top level of this module is expected to start at column 1 (i.e. no indentation) |
| 13:34:05 | <mauke> | and 'x' in line 12 is the first token after 'where' in line 12, so all declarations that belong to this block need to be aligned with 'x' |
| 13:34:33 | × | cryptosopher666 quits (~cryptosop@2a01:4f8:1c1c:7c03::1) (Quit: Client closed) |
| 13:36:29 | → | cryptosopher666 joins (~cryptosop@2a01:4f8:1c1c:7c03::1) |
| 13:36:39 | × | cryptosopher666 quits (~cryptosop@2a01:4f8:1c1c:7c03::1) (Client Quit) |
| 13:38:16 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 13:45:28 | × | xff0x quits (~xff0x@2405:6580:b080:900:a3e3:2a1:70b5:d474) (Quit: xff0x) |
| 13:45:52 | × | hueso quits (~root@user/hueso) (Ping timeout: 276 seconds) |
| 13:47:48 | → | xff0x joins (~xff0x@2405:6580:b080:900:da20:b65a:3c49:4b97) |
| 13:49:31 | → | o-90 joins (~o-90@gateway/tor-sasl/o-90) |
| 13:49:31 | × | Vq quits (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 250 seconds) |
| 13:51:03 | → | Inst_ joins (~Inst@2601:6c4:4081:54f0:95e5:2b4f:3b7:d32a) |
| 13:51:21 | → | Vq joins (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 13:51:33 | → | cryptosopher666 joins (~cryptosop@2a01:4f8:1c1c:7c03::1) |
| 13:52:35 | <cryptosopher666> | wanna write sth for "h" based on "f" and "g" to pass compile https://paste.tomsmeding.com/2E52BdfU |
| 13:53:03 | → | Midjak joins (~Midjak@82.66.147.146) |
| 13:53:04 | × | krei-se quits (~krei-se@31.6.9.19) (Ping timeout: 248 seconds) |
| 13:55:08 | → | krei-se joins (~krei-se@p50874388.dip0.t-ipconnect.de) |
| 13:57:11 | × | cryptosopher666 quits (~cryptosop@2a01:4f8:1c1c:7c03::1) (Quit: Client closed) |
| 13:57:26 | → | cryptosopher666 joins (~cryptosop@2a01:4f8:1c1c:7c03::1) |
| 14:02:26 | × | o-90 quits (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 255 seconds) |
| 14:02:44 | × | cryptosopher666 quits (~cryptosop@2a01:4f8:1c1c:7c03::1) (Quit: Client closed) |
| 14:04:27 | × | phma quits (~phma@host-67-44-208-13.hnremote.net) (Read error: Connection reset by peer) |
| 14:07:28 | × | jtza8 quits (~user@165.255.88.253) (Ping timeout: 248 seconds) |
| 14:08:05 | → | phma joins (~phma@2001:5b0:211b:ccf8:95c1:8152:d7ab:2265) |
| 14:09:10 | → | maroloccio joins (~marolocci@90.166.19.124) |
| 14:12:37 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 14:18:11 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 14:22:10 | × | chomwitt quits (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) (Ping timeout: 252 seconds) |
| 14:27:09 | → | h2t joins (~h2t@user/h2t) |
| 14:27:24 | × | maroloccio quits (~marolocci@90.166.19.124) (Quit: WeeChat 3.7.1) |
| 14:29:31 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 14:30:08 | × | h2t quits (~h2t@user/h2t) (Client Quit) |
| 14:30:51 | → | h2t joins (~h2t@user/h2t) |
| 14:34:09 | × | smallville7123 quits (~Android@116.90.72.108) (Ping timeout: 250 seconds) |
| 14:41:47 | → | gurkenglas joins (~gurkengla@dynamic-089-204-138-080.89.204.138.pool.telefonica.de) |
| 14:50:49 | × | ubert quits (~Thunderbi@p200300ecdf1411da12888a533376b329.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 14:51:20 | → | ubert joins (~Thunderbi@p200300ecdf1411eb0df400a95b368a54.dip0.t-ipconnect.de) |
| 14:53:17 | × | zeenk quits (~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!) |
| 15:03:39 | × | gurkenglas quits (~gurkengla@dynamic-089-204-138-080.89.204.138.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 15:12:10 | → | cyphase joins (~cyphase@user/cyphase) |
| 15:15:15 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 15:17:31 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 276 seconds) |
| 15:18:24 | × | todi quits (~snuckls@p5dca57c0.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 15:21:57 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 15:23:35 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 15:27:25 | → | ub joins (~Thunderbi@p548c88d5.dip0.t-ipconnect.de) |
| 15:27:41 | × | ubert quits (~Thunderbi@p200300ecdf1411eb0df400a95b368a54.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 15:27:41 | ub | is now known as ubert |
| 15:33:14 | × | motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 246 seconds) |
| 15:35:02 | → | ph88 joins (~ph88@91.66.101.83) |
| 15:36:07 | → | AlexNoo_ joins (~AlexNoo@178.34.151.91) |
| 15:37:20 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 15:38:47 | × | AlexZenon quits (~alzenon@178.34.150.148) (Ping timeout: 260 seconds) |
| 15:39:35 | × | AlexNoo quits (~AlexNoo@178.34.150.148) (Ping timeout: 250 seconds) |
| 15:39:37 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 15:39:43 | × | Alex_test quits (~al_test@178.34.150.148) (Ping timeout: 260 seconds) |
| 15:44:05 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 15:46:00 | → | Alex_test joins (~al_test@178.34.151.91) |
| 15:46:25 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 15:47:29 | → | econo joins (uid147250@user/econo) |
| 15:50:42 | → | tomboy65 joins (~tomboy64@user/tomboy64) |
| 15:56:04 | → | AlexZenon joins (~alzenon@178.34.151.91) |
| 15:57:58 | <hippoid> | there's a 'pattern match non-exhaustive warning' for `insert` here https://paste.tomsmeding.com/XCwbV4hs. how to fix, while keeping the guards? |
| 15:59:52 | <geekosaur> | change the last guard to use `otherwise`. ghc is not smart enough to know that you've covered all cases (it doesn't actually know what those operators do) |
| 16:00:28 | <geekosaur> | alternately rewrite in terms ot `compare` instead of the operators, since it will understand completeness of `Ordering` |
| 16:00:41 | <geekosaur> | *of |
| 16:02:23 | <hippoid> | geekosaur: makes sense, thanks! |
| 16:11:17 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:3cb1:54bf:cd2c:417f) |
| 16:15:50 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:3cb1:54bf:cd2c:417f) (Ping timeout: 252 seconds) |
| 16:19:10 | × | Inst_ quits (~Inst@2601:6c4:4081:54f0:95e5:2b4f:3b7:d32a) (Read error: Connection reset by peer) |
| 16:20:30 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 16:21:46 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 16:22:03 | × | dipper_ quits (~dipper@203.168.13.4) (Ping timeout: 250 seconds) |
| 16:22:24 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 16:22:43 | → | heraldo joins (~heraldo@user/heraldo) |
| 16:23:16 | → | shapr joins (~user@c-68-35-51-250.hsd1.al.comcast.net) |
| 16:26:40 | × | motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 248 seconds) |
| 16:29:50 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 16:30:13 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 16:30:33 | × | cheater quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 16:31:18 | → | cheater joins (~Username@user/cheater) |
| 16:36:34 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:3cb1:54bf:cd2c:417f) |
| 16:39:23 | × | elkcl quits (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (Ping timeout: 250 seconds) |
| 16:41:33 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 16:43:52 | × | cheater quits (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 16:43:54 | → | irrgit__ joins (~irrgit@176.113.74.74) |
| 16:44:23 | → | cheater joins (~Username@user/cheater) |
| 16:45:13 | × | irrgit_ quits (~irrgit@176.113.74.74) (Ping timeout: 252 seconds) |
| 16:45:36 | → | nschoe joins (~q@2a01:e0a:8e:a190:14d:e782:373b:29fa) |
| 16:47:57 | → | elkcl joins (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) |
| 16:54:22 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 17:00:53 | → | bontaq joins (~user@ool-45779b84.dyn.optonline.net) |
| 17:05:10 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 17:06:33 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 17:10:52 | AlexNoo_ | is now known as AlexNoo |
| 17:13:53 | × | Midjak quits (~Midjak@82.66.147.146) (Read error: Connection reset by peer) |
| 17:14:31 | → | Midjak joins (~Midjak@82.66.147.146) |
| 17:16:10 | × | ph88 quits (~ph88@91.66.101.83) (Ping timeout: 268 seconds) |
| 17:16:45 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:20:35 | → | nate1 joins (~nate@98.45.169.16) |
| 17:23:37 | × | Midjak quits (~Midjak@82.66.147.146) (Read error: Connection reset by peer) |
| 17:24:01 | → | Midjak2 joins (~Midjak@82.66.147.146) |
| 17:25:04 | × | Midjak2 quits (~Midjak@82.66.147.146) (Remote host closed the connection) |
| 17:25:46 | → | Midjak joins (~Midjak@82.66.147.146) |
| 17:26:04 | × | superbil quits (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 268 seconds) |
| 17:26:13 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 17:27:10 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 17:30:39 | → | superbil joins (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 17:31:30 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 17:36:31 | × | hammond quits (proscan@user/hammond2) (Ping timeout: 268 seconds) |
| 17:37:16 | → | hammond joins (proscan@gateway02.insomnia247.nl) |
| 17:40:02 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:40:38 | → | o-90 joins (~o-90@gateway/tor-sasl/o-90) |
| 17:42:38 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 17:44:20 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 17:44:31 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 17:46:16 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 17:46:16 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 17:46:16 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:46:22 | × | wroathe quits (~wroathe@user/wroathe) (Client Quit) |
| 17:47:52 | → | todi joins (~snuckls@93.202.87.192) |
| 17:48:34 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Client Quit) |
| 17:49:40 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 17:50:53 | × | tomboy65 quits (~tomboy64@user/tomboy64) (Ping timeout: 250 seconds) |
| 17:54:11 | × | o-90 quits (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 255 seconds) |
| 18:08:37 | × | purlingstream quits (~godfibrat@178.70.110.196) (Quit: Leaving.) |
| 18:08:37 | × | superbil quits (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 268 seconds) |
| 18:13:26 | → | tomboy65 joins (~tomboy64@user/tomboy64) |
| 18:13:32 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 252 seconds) |
| 18:16:16 | × | hammond quits (proscan@gateway02.insomnia247.nl) (Remote host closed the connection) |
| 18:16:20 | × | tomboy65 quits (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 18:16:26 | → | heraldo joins (~heraldo@user/heraldo) |
| 18:16:29 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 18:20:16 | × | nschoe quits (~q@2a01:e0a:8e:a190:14d:e782:373b:29fa) (Ping timeout: 248 seconds) |
| 18:34:56 | → | ph88 joins (~ph88@ip5b426553.dynamic.kabel-deutschland.de) |
| 18:42:12 | → | ardell joins (~ardell@user/ardell) |
| 18:43:34 | × | malte quits (~malte@mal.tc) (Ping timeout: 276 seconds) |
| 18:52:59 | × | jle` quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 268 seconds) |
| 18:54:54 | → | jle` joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 18:55:11 | × | nek0 quits (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
| 19:10:08 | → | nek0 joins (~nek0@nek0.eu) |
| 19:11:22 | → | hammond joins (proscan@user/hammond2) |
| 19:12:32 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 19:13:10 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 19:13:36 | × | acidjnk quits (~acidjnk@p200300d6e715c489c0756d28eb97d75e.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 19:30:41 | → | acidjnk joins (~acidjnk@p200300d6e715c4451c1e70be6a287a33.dip0.t-ipconnect.de) |
| 19:31:06 | → | nschoe joins (~q@2a01:e0a:8e:a190:8db8:1718:340:7e51) |
| 19:33:55 | × | nschoe quits (~q@2a01:e0a:8e:a190:8db8:1718:340:7e51) (Client Quit) |
| 19:34:13 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 19:35:01 | → | chomwitt joins (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) |
| 19:35:40 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:36:21 | → | mastarija joins (~mastarija@2a05:4f46:e03:6000:1da0:5e85:ee2c:80c9) |
| 19:39:59 | no-n | is now known as ponycat |
| 19:47:47 | ponycat | is now known as no-n |
| 19:48:02 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 19:48:42 | × | mastarija quits (~mastarija@2a05:4f46:e03:6000:1da0:5e85:ee2c:80c9) (Quit: WeeChat 3.7.1) |
| 19:53:10 | × | chomwitt quits (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 19:53:31 | → | chomwitt joins (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) |
| 19:56:44 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 19:57:26 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 20:05:44 | → | mechap joins (~mechap@user/mechap) |
| 20:09:33 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 20:11:07 | × | ardell quits (~ardell@user/ardell) (Quit: Konversation terminated!) |
| 20:17:10 | × | NiceBird quits (~NiceBird@185.133.111.196) (Ping timeout: 260 seconds) |
| 20:17:35 | → | kenran joins (~user@user/kenran) |
| 20:18:49 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: Leaving) |
| 20:20:13 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 20:21:13 | → | jinsun joins (~jinsun@user/jinsun) |
| 20:21:35 | → | EvanR joins (~EvanR@user/evanr) |
| 20:22:32 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 20:22:34 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 20:24:31 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 20:32:09 | → | Midjak joins (~Midjak@82.66.147.146) |
| 20:35:09 | → | titibandit joins (~titibandi@user/titibandit) |
| 20:37:00 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 260 seconds) |
| 20:37:53 | → | heraldo joins (~heraldo@user/heraldo) |
| 20:39:25 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 20:40:57 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 20:46:24 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 265 seconds) |
| 20:47:51 | → | heraldo joins (~heraldo@user/heraldo) |
| 20:53:35 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 20:54:58 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 20:55:27 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 20:56:29 | no-n | is now known as pony |
| 20:57:58 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 21:00:14 | × | Midjak quits (~Midjak@82.66.147.146) (Read error: Connection reset by peer) |
| 21:00:15 | → | Midjak2 joins (~Midjak@82.66.147.146) |
| 21:00:25 | → | m___ joins (~Midjak@82.66.147.146) |
| 21:06:08 | × | m___ quits (~Midjak@82.66.147.146) (Quit: Leaving) |
| 21:06:09 | × | Midjak2 quits (~Midjak@82.66.147.146) (Quit: Leaving) |
| 21:06:49 | → | Midjak joins (~Midjak@82.66.147.146) |
| 21:10:44 | → | cheater_ joins (~Username@user/cheater) |
| 21:12:43 | × | cheater quits (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 21:12:50 | cheater_ | is now known as cheater |
| 21:15:20 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 21:16:07 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 21:19:15 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 21:21:33 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 21:21:36 | × | chomwitt quits (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) (Ping timeout: 248 seconds) |
| 21:22:04 | → | nate1 joins (~nate@98.45.169.16) |
| 21:26:54 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:27:03 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 21:30:52 | × | Guest4079 quits (~Guest40@i19-les02-ix2-176-180-209-43.sfr.lns.abo.bbox.fr) (Quit: Client closed) |
| 21:33:00 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 21:33:36 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 21:40:10 | × | trev quits (~trev@user/trev) (Remote host closed the connection) |
| 21:51:28 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 21:54:29 | × | bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 21:57:33 | → | eggplant_ joins (~Eggplanta@2600:1700:38c5:d800:e98d:20ea:7c:5f58) |
| 21:58:35 | × | acidjnk quits (~acidjnk@p200300d6e715c4451c1e70be6a287a33.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 22:00:27 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 22:00:31 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:3cb1:54bf:cd2c:417f) (Ping timeout: 260 seconds) |
| 22:01:49 | <juri_> | this irc channel is too quiet. |
| 22:11:58 | <davean> | sssh |
| 22:13:02 | <mauke> | chatting is a side effect |
| 22:13:04 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:15:40 | <monochrom> | /invite chatgpt >:) |
| 22:16:05 | × | michalz quits (~michalz@185.246.207.205) (Remote host closed the connection) |
| 22:18:55 | <pony> | play some euterpea tunes into the chat |
| 22:20:24 | <Nosrep> | @djinn [a -> a] -> a -> a |
| 22:20:24 | <lambdabot> | Error: Undefined type [] |
| 22:20:29 | <Nosrep> | D: |
| 22:21:36 | <geekosaur> | djinn can't handle recursive types, sadly |
| 22:22:18 | <geekosaur> | and exference is sadly dead |
| 22:25:17 | <ski> | (it can't handle rank-2 either, otherwise one could use a Church encoding) |
| 22:28:07 | → | kenaryn joins (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 22:30:47 | × | kenaryn quits (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Client Quit) |
| 22:34:42 | <geekosaur> | and probably watch it hang. the subset @djinn knows reliably terminates. exference didn't |
| 22:35:23 | × | hgolden quits (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 22:36:00 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 22:37:23 | → | hgolden joins (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 22:39:36 | × | hgolden quits (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 22:42:41 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 22:43:47 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:44:27 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 248 seconds) |
| 22:45:55 | → | zeenk joins (~zeenk@2a02:2f04:a307:2300::7fe) |
| 22:46:07 | → | heraldo joins (~heraldo@user/heraldo) |
| 22:49:23 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 22:49:23 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 22:49:23 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:49:52 | → | hgolden joins (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 22:50:12 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:50:37 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 265 seconds) |
| 22:55:36 | → | malte joins (~malte@mal.tc) |
| 23:01:33 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 23:02:49 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 23:12:31 | → | mauke_ joins (~mauke@user/mauke) |
| 23:14:27 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 268 seconds) |
| 23:14:28 | mauke_ | is now known as mauke |
| 23:19:13 | <pony> | trying to cabal install the Euterpea library got me https://bpa.st/GNTQW ... what can I do? |
| 23:19:56 | <geekosaur> | that's a fancy way of saying it needs an older ghc |
| 23:20:08 | <pony> | ok :) |
| 23:22:05 | × | CAT_S quits (apic@brezn3.muc.ccc.de) (Ping timeout: 260 seconds) |
| 23:22:16 | <geekosaur> | looks like ghc 8.6.5 is your best bet |
| 23:22:47 | <pony> | I see it recommending 8.6.3 hmm |
| 23:23:13 | → | CAT_S joins (apic@brezn3.muc.ccc.de) |
| 23:25:32 | <pony> | it just says to use 'cabal install', but how do I do that for a specific GHC version installed with ghcup? |
| 23:26:22 | <geekosaur> | cabal install -w ghc-x.y.z |
| 23:26:30 | <pony> | ty |
| 23:31:34 | × | mechap quits (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 23:31:54 | × | eggplant_ quits (~Eggplanta@2600:1700:38c5:d800:e98d:20ea:7c:5f58) (Remote host closed the connection) |
| 23:32:22 | × | zeenk quits (~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!) |
| 23:36:53 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 23:38:06 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 23:41:42 | × | jero98772 quits (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) (Ping timeout: 252 seconds) |
| 23:50:06 | → | Kirat joins (~Gill@S0106c09435eadff4.cg.shawcable.net) |
| 23:50:09 | × | Kirat quits (~Gill@S0106c09435eadff4.cg.shawcable.net) (Max SendQ exceeded) |
| 23:50:25 | → | Kirat joins (~Gill@S0106c09435eadff4.cg.shawcable.net) |
| 23:50:52 | × | Kirat quits (~Gill@S0106c09435eadff4.cg.shawcable.net) (Client Quit) |
| 23:51:11 | <pony> | yay! I got it working. |
| 23:51:34 | pony | played a piano key |
| 23:52:22 | <shapr> | yay! |
| 23:55:32 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 23:56:52 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 23:56:52 | Lord_of_Life_ | is now known as Lord_of_Life |
| 23:57:43 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:58:11 | → | heraldo joins (~heraldo@user/heraldo) |
| 23:59:10 | → | jero98772 joins (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) |
All times are in UTC on 2023-04-01.