| 2022-09-16 00:00:15 +0200 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-16 00:06:04 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-09-16 00:06:45 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-16 00:07:00 +0200 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 264 seconds) |
| 2022-09-16 00:09:03 +0200 | cacke | (~cacke@mainpc.lha.sgsnet.se) |
| 2022-09-16 00:09:05 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-16 00:09:16 +0200 | mikess | (~sam@user/mikess) |
| 2022-09-16 00:09:51 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a753c140bcb17afb1cf.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-09-16 00:10:44 +0200 | ell | (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 2022-09-16 00:11:00 +0200 | ell | (~ellie@user/ellie) |
| 2022-09-16 00:11:00 +0200 | mixphix | (~cigsender@74.124.58.162) (Quit: Lost terminal) |
| 2022-09-16 00:11:28 +0200 | megaTherion | (~therion@unix.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-16 00:11:37 +0200 | <slac51150> | Is my idea or `+RTS -xc` block stdout? |
| 2022-09-16 00:11:38 +0200 | megaTherion | (~therion@unix.io) |
| 2022-09-16 00:14:21 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-09-16 00:16:30 +0200 | <monochrom> | I don't understand the question. |
| 2022-09-16 00:17:08 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Ping timeout: 244 seconds) |
| 2022-09-16 00:17:28 +0200 | <checkum> | System.out.println("putStrLn \"hello, world\""); |
| 2022-09-16 00:18:06 +0200 | <slac51150> | ./binary +RTS -xc --RTS should have the normal binary output on STDOUT and the "stack traces" on STDERR as I understand it. But it seems that no output is sent to STDOUT. |
| 2022-09-16 00:20:04 +0200 | <monochrom> | worksforme cannotreproduce |
| 2022-09-16 00:20:31 +0200 | srk | (~sorki@user/srk) (Ping timeout: 268 seconds) |
| 2022-09-16 00:21:05 +0200 | <smol-hors> | checkum: public class HaskellProgramFactory {? |
| 2022-09-16 00:21:48 +0200 | <checkum> | let id x = x |
| 2022-09-16 00:23:13 +0200 | <geekosaur> | slac51150, how are you determining this? |
| 2022-09-16 00:23:19 +0200 | <checkum> | once upon a time I wrote a botnet client in Haskell, to flex my brain muscles (I was 16, bonnet never deployed) |
| 2022-09-16 00:23:25 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-16 00:24:11 +0200 | <checkum> | I actually encountered a runtime error using the network library (runtime errors rarely occur in Haskell, with the exception of blatant negligence) |
| 2022-09-16 00:24:30 +0200 | srk | (~sorki@user/srk) |
| 2022-09-16 00:24:32 +0200 | slac51150 | (~slack1256@191.126.99.210) (Remote host closed the connection) |
| 2022-09-16 00:24:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 00:24:39 +0200 | <geekosaur> | … |
| 2022-09-16 00:24:43 +0200 | <checkum> | I posted a question of Stack overflow, and someone found the answer I was looking for. |
| 2022-09-16 00:25:16 +0200 | <checkum> | then I read about Ross Ulbricht, founder of the Silk Road, and discovered how he was exploited by the US feds |
| 2022-09-16 00:25:23 +0200 | <checkum> | then I thought, oh shit |
| 2022-09-16 00:25:41 +0200 | <checkum> | privacy is extremely difficult |
| 2022-09-16 00:25:44 +0200 | <int-e> | this seems rather random |
| 2022-09-16 00:26:02 +0200 | <int-e> | In any case, types don't save you from network errors. |
| 2022-09-16 00:26:59 +0200 | <checkum> | this wasn't your typical runtime error... |
| 2022-09-16 00:27:02 +0200 | <geekosaur> | network *has* been a fertile source of inappropriate "unsafe" FFI calls |
| 2022-09-16 00:27:34 +0200 | <sm> | jean-paul.: re "I guess the Hoogle part isn't working so well." - see that link I mentioned on the stackage hoogle results: "Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more." It's showing results for lts 19.23. And if you search the page of https://www.stackage.org/lts-19.23 you'll see stripe-core is no longer in that snapshot. |
| 2022-09-16 00:28:27 +0200 | <int-e> | Oh no... is it "because 'unsafe' makes code faster"... *sigh* |
| 2022-09-16 00:28:28 +0200 | <geekosaur> | sm, that just brings back the original question though: how was stack finding it? |
| 2022-09-16 00:29:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 00:29:29 +0200 | <sm> | I'm unclear on the original question, but stack will happily install (compatible) packages from hackage if you ask it to, does that answer it ? |
| 2022-09-16 00:29:50 +0200 | <monochrom> | Yamamoto is a very knowledgeable and responsible person, I don't think he would do FFI or "unsafe" recklessly. |
| 2022-09-16 00:30:34 +0200 | <monochrom> | Or at least s/think/believe/ |
| 2022-09-16 00:30:55 +0200 | <sm> | geekosaur: did you mean "I can't find stripe-core in https://www.stackage.org/lts-18.28 but after updating my stack.yaml to 18.28, I don't need stripe-core in extra-deps anymore. What's going on?" ? |
| 2022-09-16 00:31:04 +0200 | <geekosaur> | sm, yes |
| 2022-09-16 00:31:11 +0200 | srk | (~sorki@user/srk) (Ping timeout: 252 seconds) |
| 2022-09-16 00:31:14 +0200 | <sm> | stripe-core is in lts-18.28. But not in lts-19.23 |
| 2022-09-16 00:31:56 +0200 | <sm> | and the stackage hoogle searches only the latter. And presents the results in a confusing way |
| 2022-09-16 00:33:02 +0200 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-16 00:33:52 +0200 | <checkum> | https://stackoverflow.com/questions/14172149/haskell-socks5-refusing-to-connect |
| 2022-09-16 00:35:27 +0200 | <sm> | jean-paul. and anticipating your next question, it was removed because https://github.com/commercialhaskell/stackage/blob/master/build-constraints.yaml#L7041 |
| 2022-09-16 00:36:29 +0200 | <geekosaur> | checkum, ah yes. and PortNum has been deprecated in newer versions of network as a result |
| 2022-09-16 00:37:21 +0200 | srk | (~sorki@user/srk) |
| 2022-09-16 00:37:38 +0200 | <checkum> | see! not the typical runtime error 😉 at the time I was sho ked that my program would compile but would not run. also bamboozled by the solution, which was so simple, and my overcomplexity |
| 2022-09-16 00:38:20 +0200 | <geekosaur> | what you weren't tiold is this goes all the way down to the C layer, which requires network byte order for a *host* operation. it's stupid |
| 2022-09-16 00:38:31 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 252 seconds) |
| 2022-09-16 00:38:44 +0200 | perdent | (~perdent@101.175.158.254) (Quit: Client closed) |
| 2022-09-16 00:38:49 +0200 | <geekosaur> | if the kernel needs to have it in network byte order, let that convert it |
| 2022-09-16 00:39:03 +0200 | <checkum> | byte order as in, a Unix vs Windows convention? |
| 2022-09-16 00:39:17 +0200 | <geekosaur> | a CPU convention. |
| 2022-09-16 00:39:30 +0200 | <checkum> | ah geez |
| 2022-09-16 00:39:38 +0200 | <monochrom> | 8086 vs 68000 convention |
| 2022-09-16 00:39:42 +0200 | <geekosaur> | originally 68020 vs. VAX |
| 2022-09-16 00:40:14 +0200 | <geekosaur> | but continuing these days because the 68020 convention was what got standardized in the late 70s |
| 2022-09-16 00:40:15 +0200 | darkling | cracks his eggs at the little end. |
| 2022-09-16 00:41:33 +0200 | <geekosaur> | but, again, this stupidly got exposed at the layer of host operations. fine, wire conventions are big-endian, but the host OS should do that conversion, not the user-level programmer! |
| 2022-09-16 00:41:50 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-09-16 00:42:21 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-09-16 00:47:28 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-16 00:50:01 +0200 | <jean-paul[m]> | sm: aha. joy. I suppose I'll be re-adding extra deps someday, then :) |
| 2022-09-16 00:50:45 +0200 | <sm> | or it might get back into stackage by then |
| 2022-09-16 00:51:16 +0200 | <jean-paul[m]> | :) |
| 2022-09-16 00:51:26 +0200 | <jean-paul[m]> | I'll just carefully time to upgrades to coincide with LTSs that have it |
| 2022-09-16 00:52:00 +0200 | <sm> | your extra-deps should be customised for the resolver you're using, no big deal |
| 2022-09-16 00:54:35 +0200 | <jackdk> | This all feels like a self-inflicted problem. What is stack getting you here? |
| 2022-09-16 00:55:13 +0200 | <sm> | easy reproducibility |
| 2022-09-16 00:55:22 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2022-09-16 00:58:54 +0200 | <cacke> | I really dont understand randomness, so haskell needs some inital data that determines randomness yea? so, lets say i have a function that takes a list of integers as input, and a list of numbers type Double (0-1), say i want to pick a random integer and move it to another list, what do i do? given a number between 0 and 1, how will the function |
| 2022-09-16 00:58:54 +0200 | <cacke> | know what integer to pick and move? |
| 2022-09-16 00:59:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 01:02:21 +0200 | <hpc> | it works the same as other languages |
| 2022-09-16 01:02:27 +0200 | <jackdk> | There's some stuff in your question that doesn't really make sense in a pure language, like "move it to another list". Are you able to have another go at describing your problem? Maybe at a higher level, or by writing the type signatures that you think you want? |
| 2022-09-16 01:02:44 +0200 | <hpc> | the initial input to the rng might be say, the current time |
| 2022-09-16 01:02:48 +0200 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 264 seconds) |
| 2022-09-16 01:03:06 +0200 | <hpc> | you can do a bit of math to change a continuous 0-1 range into an integer 0-n range |
| 2022-09-16 01:03:14 +0200 | <hpc> | or let the library do it for you, there's some functions for that |
| 2022-09-16 01:03:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 01:05:11 +0200 | ubert | (~Thunderbi@77.119.210.120.wireless.dyn.drei.com) (Ping timeout: 244 seconds) |
| 2022-09-16 01:06:38 +0200 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-09-16 01:07:22 +0200 | <cacke> | remove it from the current list and add it to a new list |
| 2022-09-16 01:07:58 +0200 | <jackdk> | You will probably want to return a pair of "old list without the selected element" and "selected element" or something |
| 2022-09-16 01:09:43 +0200 | cowboy8625 | (~cowboy@96-2-208-2-static.midco.net) (Quit: WeeChat 3.5) |
| 2022-09-16 01:12:52 +0200 | <cacke> | the problem is that i need a random element and idk how :c |
| 2022-09-16 01:23:21 +0200 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) |
| 2022-09-16 01:25:35 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-16 01:27:04 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 268 seconds) |
| 2022-09-16 01:29:22 +0200 | <jackdk> | You will either need to take in a random generator as input (and return the new generator with your other outputs) or make your function an IO action (i.e. return `IO (listwithoutelement, element)`) |
| 2022-09-16 01:31:12 +0200 | tvandinther | (~tvandinth@2404:4408:8740:3800:cd40:56c8:fd06:acd0) |
| 2022-09-16 01:31:38 +0200 | VictorHugenay | (~jh@user/VictorHugenay) |
| 2022-09-16 01:32:13 +0200 | VictorHugenay | (~jh@user/VictorHugenay) (Client Quit) |
| 2022-09-16 01:32:50 +0200 | <monochrom> | Every computer needs initialization for pseudo-random generators. And yes it's pseudo only. Some languages hide this fact away. |
| 2022-09-16 01:33:01 +0200 | <cacke> | my function takes in numbers (type Double) between 0 and 1 as its first input and a list as second input. but idk how to make it pick a random element depending on the number?? |
| 2022-09-16 01:33:12 +0200 | <cacke> | i just dont know what to do from there |
| 2022-09-16 01:33:55 +0200 | <hpc> | well, what random input might correspond to the first element of the list? |
| 2022-09-16 01:33:56 +0200 | <tvandinther> | Hi, how can I load all modules into stack ghci? (Not just exported members) |
| 2022-09-16 01:34:08 +0200 | <hpc> | say there's... 4 elements in the list |
| 2022-09-16 01:34:33 +0200 | <jackdk> | your function (because it is a pure function) cannot initialise a random generator inside itself because that will make it do the same thing every time you call it with the same args - not random. You have two options (roughly): accept a random generator as a first argument, or return an IO action |
| 2022-09-16 01:34:57 +0200 | <monochrom> | Is this homework? Supposedly, homework has sufficient tied-in class material. |
| 2022-09-16 01:35:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 01:35:42 +0200 | <geekosaur> | tvandinther, you have to arrange for them to be bytecode-compiled. binary compiled modules have lost the information about non-exported functions and can't get it back |
| 2022-09-16 01:36:33 +0200 | <geekosaur> | with raw ghci you can :load or :add a module with a leading asterisk to force bytecode compilation (:add *Foo.Bar). I don't know how you do it with stack ghci |
| 2022-09-16 01:39:14 +0200 | <cacke> | hpc what do you mean? |
| 2022-09-16 01:39:53 +0200 | <hpc> | or, alternate question |
| 2022-09-16 01:40:03 +0200 | <hpc> | i have a list [a, b, c, d] |
| 2022-09-16 01:40:10 +0200 | <hpc> | and the random number generator spits out 0.65 |
| 2022-09-16 01:40:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 01:40:15 +0200 | <hpc> | which element do i move? |
| 2022-09-16 01:40:56 +0200 | <cacke> | idk. thats what im trying to find out ;_; |
| 2022-09-16 01:41:12 +0200 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 264 seconds) |
| 2022-09-16 01:41:37 +0200 | <hpc> | easier question, say it spits out 0.00 |
| 2022-09-16 01:41:41 +0200 | <hpc> | or 1.00 |
| 2022-09-16 01:41:58 +0200 | <monochrom> | Do you realize you just have to cut up the interval [0,1] into 4 equal parts. |
| 2022-09-16 01:42:25 +0200 | <geekosaur> | hpc is not asking the question you think he is |
| 2022-09-16 01:42:30 +0200 | henninb | (~henninb@97-116-154-134.mpls.qwest.net) |
| 2022-09-16 01:42:33 +0200 | <monochrom> | Or n equal parts if your are selecting one out of n things. |
| 2022-09-16 01:42:46 +0200 | <geekosaur> | he's assuming you have the random number already. now, how do you use it? |
| 2022-09-16 01:43:23 +0200 | <monochrom> | We are all assuming that. It is now given that a Double parameter in the [0,1] interval is received. |
| 2022-09-16 01:44:24 +0200 | <monochrom> | At which point the "knowledge" that the received number is "random" becomes actually confusing. |
| 2022-09-16 01:44:59 +0200 | <hpc> | ah yeah, forget all the randomness for a second |
| 2022-09-16 01:45:05 +0200 | <hpc> | that function that just takes in a number and a list |
| 2022-09-16 01:45:25 +0200 | <hpc> | imagine putting stuff into that function by hand just to see what happens |
| 2022-09-16 01:45:44 +0200 | <monochrom> | The secondary knowledge, though, about uniform distributions is the key. |
| 2022-09-16 01:46:23 +0200 | <monochrom> | Every uniform distribution is pure, and mapping one uniform distribution to another is also pure. |
| 2022-09-16 01:46:42 +0200 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2022-09-16 01:47:29 +0200 | <monochrom> | Perhaps we need to begin with measure theory. |
| 2022-09-16 01:48:02 +0200 | <cacke> | i'm so confused |
| 2022-09-16 01:48:37 +0200 | <hpc> | let's get even simpler? |
| 2022-09-16 01:48:41 +0200 | <monochrom> | Oh, probability is usually taught confusingly. |
| 2022-09-16 01:48:43 +0200 | <hpc> | say i give your function the number 0.5 |
| 2022-09-16 01:48:46 +0200 | <hpc> | and the list [1] |
| 2022-09-16 01:49:57 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Ping timeout: 250 seconds) |
| 2022-09-16 01:51:43 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) |
| 2022-09-16 01:53:10 +0200 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) (Read error: Connection reset by peer) |
| 2022-09-16 01:54:10 +0200 | checkum | (~checkum@2604:ca00:1f9:4a43::1260:e530) |
| 2022-09-16 01:59:26 +0200 | Colere | (~colere@about/linux/staff/sauvin) |
| 2022-09-16 01:59:35 +0200 | <Axman6> | Does anyone have a particularly good article which introduces the Reader monad? Looking at you monochrom as you know all the best things for teaching =) |
| 2022-09-16 02:01:36 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-09-16 02:02:09 +0200 | <Axman6> | Did not expect for the top result for "reader monad" on DDG to be from dollarshaveclub's engineering blog! |
| 2022-09-16 02:02:36 +0200 | <monochrom> | I didn't read such an article. I heard people saying "hey this forms a monad" and I worked it out myself. (The most retentive way of learning is reinventing.) |
| 2022-09-16 02:02:53 +0200 | <monochrom> | But I might point students to Typeclassopedia. |
| 2022-09-16 02:03:56 +0200 | <Axman6> | hmm, good idea |
| 2022-09-16 02:06:26 +0200 | <Axman6> | Hmmm, it doesn't really have what I'm after - it mentioned that ((->) e) forms a monad, but I'm looking for something more aimed at the usage of it for dependency injection in real world apps |
| 2022-09-16 02:07:40 +0200 | <cacke> | hpc idk where you're trying to get |
| 2022-09-16 02:08:29 +0200 | <geekosaur> | cacke: break the problem down into pieces. for now ignore the question of how to get a random number. what do you do with it once you have it? can you solve that problem? |
| 2022-09-16 02:08:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 02:09:57 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-16 02:11:11 +0200 | <monochrom> | I don't know of such an article. |
| 2022-09-16 02:11:45 +0200 | <cacke> | but that's exactly what i've been asking. what do i do with the number and the list? |
| 2022-09-16 02:11:59 +0200 | <cacke> | how do i know what element to remove given a random number? |
| 2022-09-16 02:12:19 +0200 | <jackdk> | Axman6: the "next level mtl" vid? https://www.youtube.com/watch?v=GZPup5Iuaqw |
| 2022-09-16 02:12:30 +0200 | <jackdk> | Not an article, admittedly |
| 2022-09-16 02:12:49 +0200 | <geekosaur> | cacke: you have a number and a list. the list has a length. |
| 2022-09-16 02:13:06 +0200 | <geekosaur> | you can combine the two to select an element |
| 2022-09-16 02:13:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-16 02:14:35 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-16 02:16:44 +0200 | <cacke> | how do i select an element |
| 2022-09-16 02:17:08 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-16 02:17:11 +0200 | <monochrom> | Which element do you want to select? |
| 2022-09-16 02:17:32 +0200 | <cacke> | a random element from my list |
| 2022-09-16 02:17:38 +0200 | <jackdk> | :t (!!) -- this is an unsafe function but should get you going |
| 2022-09-16 02:17:39 +0200 | <lambdabot> | [a] -> Int -> a |
| 2022-09-16 02:17:45 +0200 | <monochrom> | Is that a homework question? |
| 2022-09-16 02:18:36 +0200 | <monochrom> | Because if it is, I want to see the original real verbatim homework question, not your misinterpretation. |
| 2022-09-16 02:18:51 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-16 02:20:09 +0200 | <monochrom> | And if it is not, we can sit back and relax and be general curiosity fiends. For example, what does "random" mean? |
| 2022-09-16 02:21:39 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds) |
| 2022-09-16 02:22:41 +0200 | beteigeuze | (~Thunderbi@p5090d00a.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-09-16 02:24:07 +0200 | ente` | (~daemon@inferno.barfooze.de) (Ping timeout: 252 seconds) |
| 2022-09-16 02:24:17 +0200 | <monochrom> | https://xkcd.com/221/ |
| 2022-09-16 02:24:52 +0200 | <cacke> | xd |
| 2022-09-16 02:28:59 +0200 | <cacke> | "to "pick a random element" we will use the list of random values that the function gets as its first argument." is what i'm trying to understand. Idk how to use it. |
| 2022-09-16 02:29:40 +0200 | benin09 | (~benin@183.82.204.57) |
| 2022-09-16 02:30:51 +0200 | benin0 | (~benin@183.82.204.57) (Ping timeout: 260 seconds) |
| 2022-09-16 02:30:52 +0200 | benin09 | benin0 |
| 2022-09-16 02:31:14 +0200 | <pavonia> | What is the type of those random elements? |
| 2022-09-16 02:31:49 +0200 | <monochrom> | Alternatively, that can't be the complete homework question. |
| 2022-09-16 02:32:20 +0200 | <cacke> | Obviously not, but it's the part I don't understand. |
| 2022-09-16 02:32:55 +0200 | <monochrom> | Well I understand none of it, since it's incomplete. No one should. |
| 2022-09-16 02:33:13 +0200 | <jackdk> | it sounds to me like you are to treat the list of doubles as your random source, which you get from somewhere, and you should not care how it is generated. |
| 2022-09-16 02:33:14 +0200 | <geekosaur> | please state the entire problem, preferably in a pastebin |
| 2022-09-16 02:33:20 +0200 | <geekosaur> | @where paste |
| 2022-09-16 02:33:21 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2022-09-16 02:33:29 +0200 | <cacke> | I can't simplify the problem more than I already have xd |
| 2022-09-16 02:33:41 +0200 | <monochrom> | No one is asking for any simplification. |
| 2022-09-16 02:33:56 +0200 | <monochrom> | What part of "original real verbatim" is unclear? |
| 2022-09-16 02:35:57 +0200 | <troydm> | I'm trying to parse a double String such as "123e-12" into Double using read function, how can I do it safely? I can sometimes get Double overflow but parser succeeds with 0.0 value |
| 2022-09-16 02:36:12 +0200 | <monochrom> | Text.Read has readMaybe |
| 2022-09-16 02:36:26 +0200 | <troydm> | that too succeeds with 0.0 |
| 2022-09-16 02:36:32 +0200 | <troydm> | Just 0.0 to be precise |
| 2022-09-16 02:36:32 +0200 | <monochrom> | Oh, that. I don't know. |
| 2022-09-16 02:36:55 +0200 | <monochrom> | > read "123e13337" :: Double |
| 2022-09-16 02:36:57 +0200 | <lambdabot> | Infinity |
| 2022-09-16 02:37:04 +0200 | <monochrom> | That is not 0 though. |
| 2022-09-16 02:37:10 +0200 | <geekosaur> | I'm not sure you can without writing your own parser and doing a lot of extra work:P over/underflow behavior is specified by the standard |
| 2022-09-16 02:37:23 +0200 | <geekosaur> | s/:P/:/ |
| 2022-09-16 02:37:37 +0200 | <geekosaur> | (the IEEE standard, that is, not Haskell) |
| 2022-09-16 02:37:44 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-09-16 02:37:44 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-09-16 02:37:44 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-09-16 02:37:45 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 265 seconds) |
| 2022-09-16 02:38:02 +0200 | <troydm> | monochrom: ohh you are right, sorry, maybe I have somehow something mixed up |
| 2022-09-16 02:38:12 +0200 | <cacke> | jackdk the list of doubles is generated and given to the function, it's done. Don't worry about it. I didn't ask how to generate the numbers. |
| 2022-09-16 02:38:14 +0200 | <troydm> | it does indeed return Infinity |
| 2022-09-16 02:38:20 +0200 | <pavonia> | > 123e13337 :: Double |
| 2022-09-16 02:38:21 +0200 | <lambdabot> | Infinity |
| 2022-09-16 02:38:25 +0200 | <monochrom> | 123e-13337 would become 0.0 yeah. |
| 2022-09-16 02:38:56 +0200 | <troydm> | > read "1e-1231231313" :: Double |
| 2022-09-16 02:38:59 +0200 | <lambdabot> | 0.0 |
| 2022-09-16 02:39:02 +0200 | <troydm> | yup |
| 2022-09-16 02:39:14 +0200 | <troydm> | > read "1e1231231313" :: Double |
| 2022-09-16 02:39:16 +0200 | <lambdabot> | Infinity |
| 2022-09-16 02:39:37 +0200 | <troydm> | so I can basicly check if I have 0.0 or Infinity values and raise exception of overflow then |
| 2022-09-16 02:39:47 +0200 | henninb | (~henninb@97-116-154-134.mpls.qwest.net) (Quit: leaving) |
| 2022-09-16 02:39:53 +0200 | <monochrom> | I don't know of someone's library that catches would-be overflows and underflows. |
| 2022-09-16 02:40:26 +0200 | checkum | (~checkum@2604:ca00:1f9:4a43::1260:e530) (Read error: Connection reset by peer) |
| 2022-09-16 02:40:29 +0200 | <monochrom> | Although, 0.0 is a pretty legit input number. |
| 2022-09-16 02:40:29 +0200 | ente` | (~daemon@inferno.barfooze.de) |
| 2022-09-16 02:40:35 +0200 | <pavonia> | ^ |
| 2022-09-16 02:41:14 +0200 | <geekosaur> | this is why I said write your own parser |
| 2022-09-16 02:41:33 +0200 | <geekosaur> | C defines max and min exponents, among other things |
| 2022-09-16 02:41:37 +0200 | <troydm> | I'm actually doing that inside a megaparsec double parser |
| 2022-09-16 02:41:50 +0200 | <troydm> | so I'm trying to handle e notation math |
| 2022-09-16 02:42:36 +0200 | <monochrom> | Perhaps parse to Scientific, then check ranges. |
| 2022-09-16 02:42:42 +0200 | <troydm> | so I can check if I have e notation specified which results in 0.0 after trying to read double and raise overflow then |
| 2022-09-16 02:42:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 02:43:02 +0200 | <troydm> | should do the trick |
| 2022-09-16 02:43:17 +0200 | <monochrom> | (then covert to Double when you are satisfied) |
| 2022-09-16 02:43:29 +0200 | <troydm> | yup, thx |
| 2022-09-16 02:43:44 +0200 | <troydm> | > read "-1e-1231231313131" :: Double |
| 2022-09-16 02:43:46 +0200 | <lambdabot> | -0.0 |
| 2022-09-16 02:44:02 +0200 | <troydm> | > -0.0 == 0.0 |
| 2022-09-16 02:44:04 +0200 | <lambdabot> | True |
| 2022-09-16 02:44:13 +0200 | <geekosaur> | welcome to IEEE math |
| 2022-09-16 02:44:46 +0200 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) |
| 2022-09-16 02:45:21 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-09-16 02:47:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 02:48:32 +0200 | <cacke> | What's wrong with my question? |
| 2022-09-16 02:49:03 +0200 | <geekosaur> | It is incomplete |
| 2022-09-16 02:49:22 +0200 | <geekosaur> | Like, nobody had any idea that a *list* of Doubles was involved until you bothered to mention it |
| 2022-09-16 02:49:37 +0200 | <geekosaur> | How much else does nobody here know yet? |
| 2022-09-16 02:49:57 +0200 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) (Read error: Connection reset by peer) |
| 2022-09-16 02:51:07 +0200 | <cacke> | I clearly said that the function took 2 lists as input. |
| 2022-09-16 02:51:57 +0200 | <jackdk> | "so, lets say i have a function that takes a list of integers as input, and a list of numbers type Double (0-1), say i want to pick a random integer and move it to another list" <- this does not indicate that the list of doubles are the random numbers given to you. |
| 2022-09-16 02:52:39 +0200 | <jackdk> | We want to help you, but in order to do that we must understand the problem. This is why monochrom was asking for the real exact verbatim question on your homework |
| 2022-09-16 02:58:11 +0200 | <cacke> | A list of randomly generated numbers type Double (0-1) is given to me, yes. |
| 2022-09-16 03:03:58 +0200 | checkum | (~checkum@172.58.22.205) |
| 2022-09-16 03:04:27 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-09-16 03:06:10 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.6) |
| 2022-09-16 03:07:42 +0200 | <cacke> | All i want to do is pick a random element from the input list, remove it and add it to a new list. |
| 2022-09-16 03:08:41 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Ping timeout: 265 seconds) |
| 2022-09-16 03:09:36 +0200 | <cacke> | but I don't understand what to do with the random number to get the random element |
| 2022-09-16 03:10:07 +0200 | <jackdk> | Neither do we, because you haven't posted the homework question. |
| 2022-09-16 03:11:05 +0200 | <sm> | wow, two hours in to this one ? |
| 2022-09-16 03:11:18 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-09-16 03:11:40 +0200 | <cacke> | 12 hours for me so I'm actually going crazy |
| 2022-09-16 03:11:56 +0200 | <sm> | we could show how to pick a random list element, how about that for a start ? have you tried searching the internets ? |
| 2022-09-16 03:12:39 +0200 | <cacke> | searching the internet is what i've done the whole day |
| 2022-09-16 03:13:32 +0200 | <sm> | I found these: https://hackage.haskell.org/package/random-extras-0.19/docs/Data-Random-Extras.html#g:4 |
| 2022-09-16 03:14:24 +0200 | <sm> | also this, which doesn't require an extra lib: https://programming-idioms.org/idiom/11/pick-a-random-element-from-a-list/828/haskell |
| 2022-09-16 03:14:50 +0200 | checkum | (~checkum@172.58.22.205) (Read error: Connection reset by peer) |
| 2022-09-16 03:17:25 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-09-16 03:17:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 03:19:11 +0200 | sm | sent a code block: https://libera.ems.host/_matrix/media/r0/download/libera.chat/125887dd2d6470c98b5e62679604199f5c4f… |
| 2022-09-16 03:19:47 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-16 03:22:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-16 03:26:40 +0200 | sm | finds there is an actual beginner-friendly api for this, but it requires installing the rando lib: |
| 2022-09-16 03:26:40 +0200 | sm | $ ghci |
| 2022-09-16 03:26:40 +0200 | sm | ghci> import Rando |
| 2022-09-16 03:26:40 +0200 | sm | ghci> pickOne [1..10] |
| 2022-09-16 03:26:40 +0200 | sm | 5 |
| 2022-09-16 03:27:32 +0200 | <sm> | ghci> :bro Rando |
| 2022-09-16 03:27:32 +0200 | <sm> | flipCoin :: IO Bool |
| 2022-09-16 03:27:32 +0200 | <sm> | pickOne :: [x] -> IO x |
| 2022-09-16 03:27:33 +0200 | <sm> | shuffle :: [x] -> IO [x] |
| 2022-09-16 03:27:47 +0200 | <jackdk> | That's leading him up the wrong path - the function he's been asked to write is to accept a `[Double]` representing the random stream. But how the individual random numbers are to be used to pick an element is unknown to me, because he has not posted that part of the question. |
| 2022-09-16 03:28:22 +0200 | <cacke> | because there is no such part, that's why i'm here |
| 2022-09-16 03:28:37 +0200 | <sm> | clearly after two hours solving a simpler problem is probably a good idea |
| 2022-09-16 03:28:55 +0200 | <jackdk> | I can think of at least three different ways to use a double to select an item from a list |
| 2022-09-16 03:29:01 +0200 | <sm> | or anyway, that's what helps me |
| 2022-09-16 03:29:48 +0200 | <sm> | cacke: did what I showed you help at all ? you didn't say - if not, sorry for the noise |
| 2022-09-16 03:31:30 +0200 | <jackdk> | It would have been really handy to know that, for example by sharing the complete verbatim real questions as suggested multiple times. What I think would be helpful here is to draw a diagram: Write out a short list of numbers above the real number line <---0--------1----> and think about how to map a number between zero and one into a list index (an integer between zero and "one less than the length of the list") |
| 2022-09-16 03:32:29 +0200 | sose | (~sose@d1pyp7g4yyyyyyyyyyyyt-3.rev.dnainternet.fi) (Read error: Connection reset by peer) |
| 2022-09-16 03:33:05 +0200 | <cacke> | sm Aww no worries, i'll save the links for later, just not sure if it's what I need right now |
| 2022-09-16 03:35:12 +0200 | <sm> | I'm confused, because the first paste seems exactly what you were asking for at one point |
| 2022-09-16 03:35:33 +0200 | <cacke> | I need to know what to do with my random numbers |
| 2022-09-16 03:36:13 +0200 | <sm> | try to break the task down into simpler tasks |
| 2022-09-16 03:37:17 +0200 | <sm> | you said you receive a list of doubles as an argument. Among other things, you'd like to pick a random item from that list ? Or did I get that wrong ? |
| 2022-09-16 03:39:12 +0200 | <cacke> | I have a function that receives a list of doubles as its first argument, and another list of x elements as its second argument. |
| 2022-09-16 03:39:48 +0200 | <sm> | a list of x elements ? |
| 2022-09-16 03:40:13 +0200 | <cacke> | yeah let's just say it's a list with 10 integers |
| 2022-09-16 03:40:20 +0200 | <sm> | ok |
| 2022-09-16 03:41:06 +0200 | <sm> | what's your next goal/task ? |
| 2022-09-16 03:41:07 +0200 | <jackdk> | cacke: Drawing diagrams is helpful: https://usercontent.irccloud-cdn.com/file/o7a0g5F2/NumberLine.png |
| 2022-09-16 03:42:19 +0200 | <cacke> | to "pick" a random element, or integer in this case and add it to a new list. The output is a new list. |
| 2022-09-16 03:42:40 +0200 | <sm> | I showed you how to pick a random element, right ? |
| 2022-09-16 03:43:36 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-16 03:43:39 +0200 | dsrt^ | (~dsrt@70.88.176.185) |
| 2022-09-16 03:44:23 +0200 | <cacke> | Yeah, but it doesn't show me how to use the doubles |
| 2022-09-16 03:45:13 +0200 | <sm> | so "use the doubles" is actually your next task ? what do you mean by use the doubles ? |
| 2022-09-16 03:46:23 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a0ee:ef10:839c:6e73) (Ping timeout: 255 seconds) |
| 2022-09-16 03:47:51 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-16 03:48:51 +0200 | <sm> | Sorry if I'm being pushy. You seemed to be getting the kind of "help" I got in #php yesterday, and I wanted to try to get you unstuck. Perhaps the problem is you've been going for 12 hours. |
| 2022-09-16 03:49:05 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a0ee:ef10:839c:6e73) |
| 2022-09-16 03:50:47 +0200 | <cacke> | don't worry about it, i know i'm confusing, i guess it's true that my questions have been incomplete :c |
| 2022-09-16 03:51:09 +0200 | <jackdk> | Did you look at the diagram that I posted, which suggests a way of mapping the range (0..1) to elements of a list? |
| 2022-09-16 03:51:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 03:52:38 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-16 03:54:12 +0200 | <cacke> | what if i have a lot of elements? |
| 2022-09-16 03:54:23 +0200 | <cacke> | and not just 3 |
| 2022-09-16 03:54:36 +0200 | <jackdk> | Draw more diagrams, and think about how the length of the list changes the way the mapping works. Write out a few more examples and look for a pattern |
| 2022-09-16 03:54:51 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a0ee:ef10:839c:6e73) (Ping timeout: 260 seconds) |
| 2022-09-16 03:55:20 +0200 | <monochrom> | Ugh if that diagram doesn't inspire you the general case, you're truly asking people to do your homework. |
| 2022-09-16 03:55:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 03:55:42 +0200 | <jackdk> | (When you've had a chance to sleep, check out a copy of Polya's _How to Solve It_ from your local library. It's "about" geometry, but really about problem solving strategy in general, and full of such tactics) |
| 2022-09-16 03:56:40 +0200 | <jackdk> | Play with the numbers involved -- why is the number "3" appearing all over the diagram? |
| 2022-09-16 03:56:42 +0200 | <monochrom> | The irony being no one ever saw the homework question. |
| 2022-09-16 03:56:45 +0200 | <cacke> | i'm not asking anyone to do my homework or i would've pasted my homework question here as soon as i got here. |
| 2022-09-16 03:57:17 +0200 | <monochrom> | A particular sticking point being why there is a list of Doubles not just one single Double. |
| 2022-09-16 03:58:33 +0200 | <monochrom> | I would rather see the actual homework question. |
| 2022-09-16 03:58:47 +0200 | <monochrom> | I refuse to play this telephone game. |
| 2022-09-16 03:59:39 +0200 | <monochrom> | Do you know telephone games? |
| 2022-09-16 04:00:07 +0200 | <glguy> | the things people used to use decades ago? |
| 2022-09-16 04:00:14 +0200 | <monochrom> | haha |
| 2022-09-16 04:01:48 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a0ee:ef10:839c:6e73) |
| 2022-09-16 04:01:55 +0200 | <dsal> | The modern telephone is primarily a gaming platform for many people. |
| 2022-09-16 04:02:06 +0200 | <monochrom> | haha |
| 2022-09-16 04:02:49 +0200 | <glguy> | Oh, that's what monochrom means by playing telephone? Like the ad-fueled mobile games? :) |
| 2022-09-16 04:03:07 +0200 | <monochrom> | I thought they were pay-to-win. |
| 2022-09-16 04:03:19 +0200 | glguy | waits for the timer to reset to water his crops |
| 2022-09-16 04:03:38 +0200 | <monochrom> | Even my sisters conceded and pay some money for star dusts or something in Pokemon Go. |
| 2022-09-16 04:04:09 +0200 | <monochrom> | Oh you're playing one of those farming simulation mobile games? :) |
| 2022-09-16 04:04:26 +0200 | <cacke> | i agree that the question was incomplete, what im trying to do is get a new list as output, with the elements in a random order, so, 1. pick a random element 2. remove it from the list and add it to a new list -- repeat. that's why there's a list of doubles. |
| 2022-09-16 04:04:33 +0200 | <monochrom> | Was Tamagochi the original farming game? >:) |
| 2022-09-16 04:05:51 +0200 | <glguy> | Mine drowned in the laundry :( |
| 2022-09-16 04:07:08 +0200 | <monochrom> | Tsumani... |
| 2022-09-16 04:07:19 +0200 | <sm> | cacke: feel free to ignore this, but that's still unclear - try to describe just the goal, without the proposed recipe. "get a new list .. with the elements in random order" - Is the goal simply to shuffle a list ? |
| 2022-09-16 04:07:38 +0200 | <jackdk> | Okay, so it sounds like the list of doubles is not an infinite stream, but some finite number of random numbers that select the items to pull. That means we don't have to return the "rest of the stream" or anything like that |
| 2022-09-16 04:07:40 +0200 | <cacke> | in other words, yeah |
| 2022-09-16 04:08:20 +0200 | <sm> | indeed jackdk that sounds like a chunk of confusion removed :) |
| 2022-09-16 04:09:08 +0200 | <jackdk> | We can also banish the word "random" from our description of these problems, because we are given the numbers and cannot know (and therefore must not care) where they came from |
| 2022-09-16 04:10:06 +0200 | <jackdk> | So. Subproblem: Given a list and a double in the range [0,1), write a function to select one element from the list, returning that element and the rest of the list. What could the type signature of such a function look like? |
| 2022-09-16 04:11:05 +0200 | riverside | (~guyst@109.249.184.216) |
| 2022-09-16 04:11:15 +0200 | <riverside> | i was asking on #ghc about build issues |
| 2022-09-16 04:11:22 +0200 | <riverside> | specifically, linking to c libs |
| 2022-09-16 04:11:34 +0200 | <riverside> | and having to build the c libs in order to get ghc to link to them |
| 2022-09-16 04:12:09 +0200 | <riverside> | trying to get at something that would incorperate pacman msys2 calls into the cabal build |
| 2022-09-16 04:12:21 +0200 | <riverside> | am i just describing stack? |
| 2022-09-16 04:12:30 +0200 | <maerwald[m]> | riverside: cabal is not designed to handle system libs |
| 2022-09-16 04:12:33 +0200 | <maerwald[m]> | It's out of scope |
| 2022-09-16 04:13:03 +0200 | <maerwald[m]> | stack doesn't do that either |
| 2022-09-16 04:13:15 +0200 | <riverside> | there is nothing we can do to help the user interface with the C side? |
| 2022-09-16 04:13:44 +0200 | <riverside> | i guess its just i see people calling pacman with stack to access the msys2 environment |
| 2022-09-16 04:14:30 +0200 | <riverside> | and idk, i assume that stack kind of handles the paths of its the mingw64 filesystem it creates |
| 2022-09-16 04:14:35 +0200 | <maerwald[m]> | ghcup run -- pacman -Sy foo |
| 2022-09-16 04:14:52 +0200 | <riverside> | ok, so ghcup is repllacing stack for that, good |
| 2022-09-16 04:15:32 +0200 | <riverside> | nice to see something so haskell adjacent directly accessing over pacman there |
| 2022-09-16 04:15:42 +0200 | <riverside> | instead of having to go via mingw? |
| 2022-09-16 04:15:45 +0200 | <cacke> | jackdk i have the type signature in my code already |
| 2022-09-16 04:16:15 +0200 | <riverside> | like, it has to be; prefix=/opt/local/x86_64-w64-mingw32 |
| 2022-09-16 04:16:18 +0200 | <jackdk> | for the subproblem I suggested? What did you come up with? |
| 2022-09-16 04:16:40 +0200 | <riverside> | sorry, pacman -S mingw-w64-x86_64-SDL2 |
| 2022-09-16 04:17:11 +0200 | <riverside> | how does ghcup "be like mingw" if thats "what the distribution targets" |
| 2022-09-16 04:17:42 +0200 | <cacke> | Oh wait i misread |
| 2022-09-16 04:19:49 +0200 | <cacke> | that's what i don't know. given a list and a double, how do i select an element? |
| 2022-09-16 04:19:52 +0200 | <riverside> | and can a call to ghcup combine this with a call to cabal install that somehow handles all the paths? |
| 2022-09-16 04:20:10 +0200 | <cacke> | it's what i've been trying to understand the whole day |
| 2022-09-16 04:20:12 +0200 | <jackdk> | did you study the diagram I posted, and write some examples of your own with other lengths? |
| 2022-09-16 04:20:45 +0200 | <riverside> | cacke: floor? |
| 2022-09-16 04:20:55 +0200 | <riverside> | linear interpolation? |
| 2022-09-16 04:20:59 +0200 | <cacke> | say it's a list with 50 elements |
| 2022-09-16 04:21:00 +0200 | <maerwald[m]> | riverside: yes |
| 2022-09-16 04:21:10 +0200 | <riverside> | super! |
| 2022-09-16 04:21:12 +0200 | <maerwald[m]> | But cabal knows nothing off msys2 |
| 2022-09-16 04:21:20 +0200 | <maerwald[m]> | It won't install anything |
| 2022-09-16 04:21:21 +0200 | <riverside> | mingw? |
| 2022-09-16 04:21:34 +0200 | <maerwald[m]> | It has knowledge of pkg config database only |
| 2022-09-16 04:21:45 +0200 | <maerwald[m]> | The solver uses it |
| 2022-09-16 04:22:01 +0200 | <riverside> | ok, so it just "builds" the c lib into the pkg config setup somehow? |
| 2022-09-16 04:22:25 +0200 | <riverside> | or like, what is pacman actually running on? |
| 2022-09-16 04:22:50 +0200 | <jackdk> | cacke: yes, so write some examples for lists of maybe 1,2,3,4,5 and look for the pattern that lets you generalise over all of them, and therefore handle lists of any finite length |
| 2022-09-16 04:23:14 +0200 | <riverside> | : [1..5] !! (floor 5.5) |
| 2022-09-16 04:23:28 +0200 | <riverside> | > [1..5] !! (floor 5.5) |
| 2022-09-16 04:23:30 +0200 | <lambdabot> | *Exception: Prelude.!!: index too large |
| 2022-09-16 04:23:35 +0200 | <riverside> | > [1..5] !! (floor 4.5) |
| 2022-09-16 04:23:37 +0200 | <lambdabot> | 5 |
| 2022-09-16 04:24:02 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-16 04:24:13 +0200 | <riverside> | :t lookupBy |
| 2022-09-16 04:24:14 +0200 | <lambdabot> | error: |
| 2022-09-16 04:24:15 +0200 | <lambdabot> | • Variable not in scope: lookupBy |
| 2022-09-16 04:24:15 +0200 | <lambdabot> | • Perhaps you meant one of these: |
| 2022-09-16 04:24:24 +0200 | <riverside> | hmm |
| 2022-09-16 04:26:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 04:26:39 +0200 | <riverside> | > head $ dropWhile (<30) [1..35] |
| 2022-09-16 04:26:41 +0200 | <lambdabot> | 30 |
| 2022-09-16 04:26:53 +0200 | <riverside> | > head $ dropWhile (<30.5) [1..35] |
| 2022-09-16 04:26:55 +0200 | <lambdabot> | 31.0 |
| 2022-09-16 04:28:08 +0200 | <riverside> | > head $ filter (\x -> (x-30.5) <= 0.5 ) [1..35] |
| 2022-09-16 04:28:09 +0200 | <lambdabot> | 1.0 |
| 2022-09-16 04:28:25 +0200 | <riverside> | > head $ filter (\x -> abs (x-30.5) <= 0.5 ) [1..35] |
| 2022-09-16 04:28:27 +0200 | <lambdabot> | 30.0 |
| 2022-09-16 04:28:45 +0200 | td_ | (~td@muedsl-82-207-238-033.citykom.de) (Ping timeout: 244 seconds) |
| 2022-09-16 04:29:05 +0200 | <riverside> | cacke: maybe you could be more specific |
| 2022-09-16 04:29:07 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.6) |
| 2022-09-16 04:30:17 +0200 | <maerwald[m]> | riverside: i don't understand your questions. I suggest to read some documentation |
| 2022-09-16 04:30:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-16 04:30:51 +0200 | td_ | (~td@muedsl-82-207-238-252.citykom.de) |
| 2022-09-16 04:32:33 +0200 | <cacke> | its 4:30 am 💀 |
| 2022-09-16 04:33:33 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-09-16 04:36:05 +0200 | <sm> | sleep, come back to it, everything will go easier |
| 2022-09-16 04:39:05 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2022-09-16 04:39:56 +0200 | Guest30 | (~Guest30@77.100.154.60) |
| 2022-09-16 04:42:08 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-16 04:42:14 +0200 | <riverside> | maerwald, i will consider using ghcup to do my c builds, but for now im trying to see if this sdl2 install with msys2 works |
| 2022-09-16 04:43:08 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-09-16 04:44:09 +0200 | mikess | (~sam@user/mikess) (Ping timeout: 250 seconds) |
| 2022-09-16 04:45:19 +0200 | <cacke> | I'm frustrated because i've spent so many hours just trying to understand the problem, I can't try to solve it if I don't understand how to use whatever i'm given to solve it. |
| 2022-09-16 04:45:35 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-09-16 04:47:45 +0200 | riverside | (~guyst@109.249.184.216) (Ping timeout: 265 seconds) |
| 2022-09-16 04:47:50 +0200 | <Axman6> | cacke: ok, I think everyone is getting frustrated, because it's not clear what the goal is. if I called your function with [1,2,3,4,5] and [0.4,0.1,0.6,0.2,0.4], do you know what result you should expect? |
| 2022-09-16 04:49:04 +0200 | <cacke> | a shuffled list |
| 2022-09-16 04:49:08 +0200 | <Axman6> | there's a bunch of different ways to do "something" with ome Ints and Doubles, in fact, there's an infinite number of things you could do, so to help you, we need some sort of idea what result you're actually after. should the output list of ints be the same length as the input? |
| 2022-09-16 04:49:14 +0200 | <Axman6> | ok, so now we're getting somewhere |
| 2022-09-16 04:49:52 +0200 | <Axman6> | so, one thing we could do is match up each Int with a Double, and then sort the pairs by the double, yes? |
| 2022-09-16 04:50:07 +0200 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) |
| 2022-09-16 04:51:31 +0200 | <Axman6> | > let f is ds = map snd $ sortOn fst $ zip ds is in f [1,2,3,4,5] [0.4,0.1,0.6,0.2,0.4] |
| 2022-09-16 04:51:33 +0200 | <lambdabot> | [2,4,1,5,3] |
| 2022-09-16 04:51:45 +0200 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) (Read error: Connection reset by peer) |
| 2022-09-16 04:52:07 +0200 | <Axman6> | that does _something_ - whether it's what you need still isn't clear to me, and feels like it's probably the wrong solution |
| 2022-09-16 04:52:11 +0200 | <glguy> | It's too bad sortOn is so much more convenient than sortBy; it's kind of a waste in this case |
| 2022-09-16 04:53:03 +0200 | <Axman6> | actually sortBy would avoid some allocation here, so probably the better option |
| 2022-09-16 04:54:07 +0200 | <glguy> | It's one of those thing that probably doesn't matter, it just annoys me that it's ever so slightly worse :) |
| 2022-09-16 04:54:18 +0200 | <cacke> | how do i write that as a function |
| 2022-09-16 04:54:45 +0200 | <Axman6> | that is a function. do no use it for your homework if you don't understand it though |
| 2022-09-16 04:55:36 +0200 | <sm> | cacke, frustration is understandable, we've all been there. We're frustrated because the questions and problem descriptions are too unclear and there is too much time lag for a productive conversation |
| 2022-09-16 04:55:40 +0200 | <Axman6> | (and if you couldn't write it tomorrow without referencing this conversation, definitely do no use it - your lecturers will know its not your own work [and there is a very good chance your lecturer is in here if you're oding a uni course]) |
| 2022-09-16 04:56:36 +0200 | <cacke> | yeah no of course |
| 2022-09-16 04:58:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 05:00:29 +0200 | <sm> | your responses are the kind of short, low effort ones that people give when they've been banging their head on something for 12 hours. It's a very low bandwidth exchange |
| 2022-09-16 05:02:11 +0200 | <sm> | it would go easier in person. Or with a fresh mind. Best of luck |
| 2022-09-16 05:02:17 +0200 | <cacke> | Yeah i'm just speechless because the whole situation i'm in is ridiculous |
| 2022-09-16 05:02:27 +0200 | <sm> | been there! |
| 2022-09-16 05:02:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 05:05:37 +0200 | <Axman6> | cacke: we're happy to help (that's why we're here), but keep in mind that if we're asking questions, it's because we need the answers to be able to help you. Having some sleep will definitely help, and there's a pretty good chance your brain will figure out what you're trying to do while you sleep - enjoy your codedreams! |
| 2022-09-16 05:14:38 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-09-16 05:15:09 +0200 | Furor | (~colere@about/linux/staff/sauvin) |
| 2022-09-16 05:16:41 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-16 05:17:33 +0200 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 252 seconds) |
| 2022-09-16 05:18:47 +0200 | Furor | (~colere@about/linux/staff/sauvin) (Remote host closed the connection) |
| 2022-09-16 05:23:17 +0200 | Colere | (~colere@about/linux/staff/sauvin) |
| 2022-09-16 05:23:56 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) (Quit: Going elsewhere) |
| 2022-09-16 05:25:23 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) |
| 2022-09-16 05:26:34 +0200 | Guest30 | (~Guest30@77.100.154.60) (Quit: Client closed) |
| 2022-09-16 05:27:23 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-16 05:29:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-09-16 05:30:11 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) (Client Quit) |
| 2022-09-16 05:30:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-16 05:31:02 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) |
| 2022-09-16 05:32:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 05:36:46 +0200 | <cacke> | I appreciate that you're trying to help. Some people really need to chill though... Good night. |
| 2022-09-16 05:37:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-16 05:43:33 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-16 05:52:34 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-16 05:56:25 +0200 | cacke | (~cacke@mainpc.lha.sgsnet.se) (Quit: Ping timeout (120 seconds)) |
| 2022-09-16 05:57:09 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-16 06:03:46 +0200 | checkum | (~checkum@172.58.22.130) |
| 2022-09-16 06:04:22 +0200 | checkum | (~checkum@172.58.22.130) (Read error: Connection reset by peer) |
| 2022-09-16 06:05:25 +0200 | kadobanana | (~mud@user/kadoban) (Quit: quit) |
| 2022-09-16 06:06:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 06:09:37 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-16 06:10:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 06:12:14 +0200 | AlexNoo_ | (~AlexNoo@178.34.161.3) |
| 2022-09-16 06:12:16 +0200 | Alex_test_ | (~al_test@178.34.161.3) |
| 2022-09-16 06:13:25 +0200 | Alex_test | (~al_test@178.34.161.3) (Ping timeout: 250 seconds) |
| 2022-09-16 06:14:14 +0200 | AlexNoo | (~AlexNoo@178.34.161.3) (Read error: Connection reset by peer) |
| 2022-09-16 06:14:23 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 2022-09-16 06:19:31 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-09-16 06:22:01 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-16 06:22:31 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) (Ping timeout: 250 seconds) |
| 2022-09-16 06:26:51 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-09-16 06:31:15 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-09-16 06:33:47 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-09-16 06:41:24 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-09-16 06:44:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 06:45:23 +0200 | biberu | (~biberu@user/biberu) |
| 2022-09-16 06:48:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 06:53:57 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-16 06:54:03 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-09-16 07:03:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 07:07:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 07:12:39 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-16 07:19:30 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-16 07:24:15 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Client Quit) |
| 2022-09-16 07:25:53 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-16 07:30:30 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-09-16 07:32:23 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-16 07:33:52 +0200 | mcglk | (~mcglk@131.191.49.120) |
| 2022-09-16 07:34:31 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-09-16 07:43:17 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-16 07:44:39 +0200 | cpli | (~cpli@77.47.62.180) (Ping timeout: 265 seconds) |
| 2022-09-16 07:53:44 +0200 | chomwitt | (~chomwitt@2a02:587:dc05:1e00:634:f7cd:410d:148d) |
| 2022-09-16 07:56:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 07:58:48 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-16 08:01:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-16 08:04:12 +0200 | checkum | (~checkum@172.58.19.92) |
| 2022-09-16 08:04:53 +0200 | checkum | (~checkum@172.58.19.92) (Read error: Connection reset by peer) |
| 2022-09-16 08:05:13 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-16 08:11:29 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-16 08:19:02 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-16 08:23:48 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-16 08:29:07 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-09-16 08:29:33 +0200 | talismanick | (~talismani@2601:644:9380:4570::2317) |
| 2022-09-16 08:29:59 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-16 08:30:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 08:32:08 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-09-16 08:34:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 08:38:03 +0200 | odnes | (~odnes@5-203-231-244.pat.nym.cosmote.net) |
| 2022-09-16 08:48:53 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-16 08:49:01 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-16 08:54:25 +0200 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2022-09-16 09:00:37 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:bd9a:9ef9:559f:c0b5) |
| 2022-09-16 09:04:43 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-09-16 09:04:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 09:05:55 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 268 seconds) |
| 2022-09-16 09:09:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 09:13:35 +0200 | kuribas | (~user@ptr-17d51epqf8g1ajenyeu.18120a2.ip6.access.telenet.be) |
| 2022-09-16 09:14:21 +0200 | <kuribas> | I want to create a compound constraint. One that I can use with Dict: https://hackage.haskell.org/package/hkd-records-0.0.4/docs/Data-HKD-Records.html#t:Dict |
| 2022-09-16 09:14:45 +0200 | <kuribas> | A type synonym doesn't work, because it cannot be partially applied, and a type family neither. |
| 2022-09-16 09:15:01 +0200 | akegalj | (~akegalj@93-138-36-181.adsl.net.t-com.hr) |
| 2022-09-16 09:15:20 +0200 | <kuribas> | I can do "class (C1 a, C2 a) => CS a; instance (C1 a, C2 a) => CS a" |
| 2022-09-16 09:15:26 +0200 | <kuribas> | But I wonder if there is a better way? |
| 2022-09-16 09:16:05 +0200 | <kuribas> | Worst case I make some TH function to do generate this Constraint... |
| 2022-09-16 09:17:36 +0200 | <[Leary]> | Perhaps `class (c1 a, c2 a) => (c1 :& c2) a; instance (c1 a, c2 a) => (c1 :& c2) a`? |
| 2022-09-16 09:18:10 +0200 | <kuribas> | hmm |
| 2022-09-16 09:18:38 +0200 | <kuribas> | that might work... |
| 2022-09-16 09:20:21 +0200 | <kuribas> | then I can do MyCompoundConstraint = c1 :& c2 |
| 2022-09-16 09:21:27 +0200 | tcard_ | (~tcard@p1772079-ipngn12801hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2022-09-16 09:22:28 +0200 | ubert | (~Thunderbi@77.119.200.188.wireless.dyn.drei.com) |
| 2022-09-16 09:25:37 +0200 | checkum | (~checkum@209.107.178.17) |
| 2022-09-16 09:26:59 +0200 | tcard | (~tcard@p1772079-ipngn12801hodogaya.kanagawa.ocn.ne.jp) |
| 2022-09-16 09:27:20 +0200 | checkum | (~checkum@209.107.178.17) (Read error: Connection reset by peer) |
| 2022-09-16 09:29:12 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2022-09-16 09:29:51 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-09-16 09:31:00 +0200 | <kuribas> | [Leary]: it doesn't work with my usecase, like: type LdDiffConstraints ldt = ( DiffConstraints (LdTypeAttributes ldt), ConstDiffConstraints (LdTypeRelations ldt)) |
| 2022-09-16 09:32:17 +0200 | <kuribas> | "DiffConstraints (LdTypeAttributes ldt)" is not a simple function "LdType -> Constraint" |
| 2022-09-16 09:32:38 +0200 | <kuribas> | I'd need a type level compose... |
| 2022-09-16 09:34:16 +0200 | <[Leary]> | Then repeat the trick: `class f (g a) => (f :. g) a; ...` |
| 2022-09-16 09:35:43 +0200 | <kuribas> | that becomes to complicated... |
| 2022-09-16 09:35:48 +0200 | <kuribas> | I think I'll go with the TH. |
| 2022-09-16 09:36:44 +0200 | <kuribas> | something like $(NewConstraint [t| LdDiffConstraints ldt] [t| ( DiffConstraints (LdTypeAttributes ldt), ConstDiffConstraints (LdTypeRelations ldt)) |] |
| 2022-09-16 09:37:04 +0200 | <kuribas> | well, "newConstraint" better |
| 2022-09-16 09:38:27 +0200 | <[Leary]> | Sounds more complicated to me, but you do you. ¯\_(ツ)_/¯ |
| 2022-09-16 09:39:03 +0200 | <kuribas> | this stuff is easier in idris, since it doesn't have Constraint kinds :) |
| 2022-09-16 09:39:07 +0200 | <kuribas> | Constraints are just types. |
| 2022-09-16 09:39:22 +0200 | <jackdk> | kuribas: constraints-extras may have some gadgets that are useful |
| 2022-09-16 09:40:10 +0200 | <kuribas> | [Leary]: I mean, (:.) has kind (Type -> Type) -> (Type -> Constraint) -> (Type -> Constraint), but then I also need (Type -> Type) -> (Type -> Type), etc... |
| 2022-09-16 09:40:33 +0200 | <kuribas> | [Leary]: more complicate to write, yes. Not more complicated to use. |
| 2022-09-16 09:40:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 09:44:05 +0200 | <kuribas> | [Leary]: oh, I guess that's parametric over the kinds. |
| 2022-09-16 09:45:13 +0200 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) |
| 2022-09-16 09:45:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-16 09:45:43 +0200 | <[Leary]> | It should be (k2 -> Constraint) -> (k1 -> k2) -> (k1 -> Constraint) |
| 2022-09-16 09:46:08 +0200 | <kuribas> | then I still need composition over types... |
| 2022-09-16 09:46:21 +0200 | <[Leary]> | It is a bit of a shame we can't write a properly polykinded (:.), and having to use two of them is a bit messy. |
| 2022-09-16 09:46:26 +0200 | <jackdk> | https://hackage.haskell.org/package/constraints-extras-0.3.2.1/docs/Data-Constraint-Compose.html |
| 2022-09-16 09:47:34 +0200 | <kuribas> | jackdk: that's just (:.) |
| 2022-09-16 09:47:51 +0200 | <[Leary]> | Oh, though if it associates correctly, can't you get away with using just this, so long as your composition always ends in Constraint? |
| 2022-09-16 09:48:54 +0200 | <kuribas> | hmm |
| 2022-09-16 09:51:53 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-16 09:52:34 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-16 09:55:59 +0200 | chele | (~chele@user/chele) |
| 2022-09-16 10:02:58 +0200 | Null_A_ | (~null_a@2601:645:8700:ac10:d500:3538:840b:56c3) |
| 2022-09-16 10:03:31 +0200 | Null_A | (~null_a@2601:645:8700:ac10:4003:febd:5f86:3cc5) (Ping timeout: 250 seconds) |
| 2022-09-16 10:08:23 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-16 10:11:24 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-16 10:12:00 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-16 10:13:10 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-16 10:14:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 10:15:01 +0200 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2022-09-16 10:15:28 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-16 10:15:29 +0200 | chimp_ | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) |
| 2022-09-16 10:16:04 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-16 10:16:15 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-16 10:17:48 +0200 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Ping timeout: 264 seconds) |
| 2022-09-16 10:18:45 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-16 10:18:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 10:25:02 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-09-16 10:29:13 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2022-09-16 10:29:54 +0200 | beteigeuze | (~Thunderbi@89.187.168.57) |
| 2022-09-16 10:30:36 +0200 | califax | (~califax@user/califx) |
| 2022-09-16 10:30:48 +0200 | <talismanick> | How do I pass a timeout flag to `cabal run`? I have a QuickCheck test hanging (I suspect combinatorial explosion because of naive recursion to check subexpressions in an AST) |
| 2022-09-16 10:31:14 +0200 | <talismanick> | or, tell me on which cases it's hanging |
| 2022-09-16 10:31:22 +0200 | <talismanick> | (using HSpec + QuickCheck) |
| 2022-09-16 10:35:29 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-16 10:42:55 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-16 10:43:37 +0200 | MajorBiscuit | (~MajorBisc@145.94.167.213) |
| 2022-09-16 10:47:33 +0200 | frost | (~frost@user/frost) |
| 2022-09-16 10:48:13 +0200 | ozkutuk | (~ozkutuk@176.240.173.153) |
| 2022-09-16 10:50:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 10:51:47 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-16 10:54:12 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-09-16 10:54:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 10:57:08 +0200 | <talismanick> | nvm just realized that I accidentally encoded evaluation of SK calculus and it probably generated Y combinators |
| 2022-09-16 10:59:02 +0200 | benin0 | (~benin@183.82.204.57) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-16 11:05:36 +0200 | Alex_test_ | Alex_test |
| 2022-09-16 11:06:50 +0200 | AlexNoo_ | AlexNoo |
| 2022-09-16 11:07:42 +0200 | FragByte_ | (~christian@user/fragbyte) |
| 2022-09-16 11:10:52 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-16 11:11:15 +0200 | FragByte | (~christian@user/fragbyte) (Ping timeout: 268 seconds) |
| 2022-09-16 11:11:15 +0200 | FragByte_ | FragByte |
| 2022-09-16 11:12:52 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-09-16 11:16:31 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 252 seconds) |
| 2022-09-16 11:23:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 11:27:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 11:28:05 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-16 11:28:37 +0200 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2022-09-16 11:30:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Ping timeout: 260 seconds) |
| 2022-09-16 11:36:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-16 11:38:05 +0200 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-09-16 11:40:41 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-09-16 11:47:29 +0200 | nunggu | (~q@user/nunggu) |
| 2022-09-16 11:47:34 +0200 | MoC | (~moc@user/moc) |
| 2022-09-16 11:48:28 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
| 2022-09-16 11:54:52 +0200 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-16 11:55:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 11:59:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 12:00:17 +0200 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) |
| 2022-09-16 12:07:36 +0200 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 264 seconds) |
| 2022-09-16 12:10:25 +0200 | <albet70> | if cabal v1-install package, how to remove it? |
| 2022-09-16 12:12:04 +0200 | <albet70> | or cabal v2-install --lib scotty-login-session, now I can use module from this package in ghci directly, how to remove this package? |
| 2022-09-16 12:17:17 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-16 12:19:44 +0200 | _xor | (~xor@74.215.182.83) |
| 2022-09-16 12:19:50 +0200 | <geekosaur> | if yiou v1-installed it, ghc-pkg unregister |
| 2022-09-16 12:20:07 +0200 | <geekosaur> | if you v2-installed it, find and edit the environment file |
| 2022-09-16 12:20:16 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-16 12:22:03 +0200 | <albet70> | geekosaur , thanks |
| 2022-09-16 12:22:26 +0200 | <geekosaur> | (if you must actually remove it, for v1 you must read the package registration first and remove the directories and files it points to. for v2-install, the line(s) in the environment file for that package will indicate a directory under ~/.cabal/store; you need to remove that directory too.) |
| 2022-09-16 12:23:35 +0200 | <albet70> | ~/.ghc/x86_64-linux/environments/default |
| 2022-09-16 12:23:37 +0200 | <geekosaur> | note that for v2-install this may break other packages that depend on it, since v2-install isn;t really designed to be used with --lib |
| 2022-09-16 12:25:19 +0200 | <albet70> | use cabal.project is better for multiple project, but v2-install --lib package is too easy to use, even directly in ghci |
| 2022-09-16 12:25:39 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-09-16 12:25:42 +0200 | <geekosaur> | it also gets you all the problems cabal v2 had |
| 2022-09-16 12:25:46 +0200 | <geekosaur> | "cabal hell" |
| 2022-09-16 12:25:53 +0200 | <geekosaur> | er, cabal v1 |
| 2022-09-16 12:26:47 +0200 | <geekosaur> | if you introduce a package conmflict in the environment file, or worse the v1 package db, good luck fixing it |
| 2022-09-16 12:27:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 12:28:34 +0200 | <albet70> | how you install pandoc by cabal? |
| 2022-09-16 12:28:45 +0200 | califax_ | (~califax@user/califx) |
| 2022-09-16 12:28:55 +0200 | <albet70> | an executive program |
| 2022-09-16 12:29:12 +0200 | <geekosaur> | "cabal install --exe pandoc" and wait about an hour for all the deps to build 🙂 |
| 2022-09-16 12:29:28 +0200 | <albet70> | an hour... |
| 2022-09-16 12:29:34 +0200 | <geekosaur> | (the --exe is optional; "cabal i8nstall" is actually intended for use with executables) |
| 2022-09-16 12:29:41 +0200 | <geekosaur> | pandoc is huge |
| 2022-09-16 12:30:20 +0200 | <albet70> | then I should use apt or pacman to install it |
| 2022-09-16 12:30:27 +0200 | <geekosaur> | ideally yes |
| 2022-09-16 12:31:17 +0200 | <albet70> | I don't familiar with nix, but nowadays I saw some haskell people using it |
| 2022-09-16 12:31:39 +0200 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-16 12:31:40 +0200 | califax_ | califax |
| 2022-09-16 12:31:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-16 12:45:06 +0200 | killsushi | (~killsushi@2607:fea8:3d40:6a7:3869:6b25:e732:f1e5) |
| 2022-09-16 12:45:06 +0200 | killsushi | (~killsushi@2607:fea8:3d40:6a7:3869:6b25:e732:f1e5) (Changing host) |
| 2022-09-16 12:45:06 +0200 | killsushi | (~killsushi@user/killsushi) |
| 2022-09-16 12:46:23 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-16 12:53:35 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Quit: WeeChat 3.6) |
| 2022-09-16 12:58:38 +0200 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-16 12:59:38 +0200 | yoneda | (~mike@193.206.102.122) |
| 2022-09-16 13:03:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 13:05:57 +0200 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 244 seconds) |
| 2022-09-16 13:07:39 +0200 | Guest9 | (~Guest9@mainpc.lha.sgsnet.se) |
| 2022-09-16 13:08:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 13:08:12 +0200 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 268 seconds) |
| 2022-09-16 13:09:51 +0200 | Guest9 | (~Guest9@mainpc.lha.sgsnet.se) (Client Quit) |
| 2022-09-16 13:10:58 +0200 | akegalj | (~akegalj@93-138-36-181.adsl.net.t-com.hr) (Quit: leaving) |
| 2022-09-16 13:11:35 +0200 | Guest366 | (~Guest3@c83-253-98-90.bredband.tele2.se) |
| 2022-09-16 13:12:25 +0200 | Guest4052 | (~Guest40@mainpc.lha.sgsnet.se) |
| 2022-09-16 13:12:40 +0200 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) |
| 2022-09-16 13:13:22 +0200 | Guest4052 | (~Guest40@mainpc.lha.sgsnet.se) (Client Quit) |
| 2022-09-16 13:15:18 +0200 | angerman_ | (~angerman@103.247.110.7) |
| 2022-09-16 13:22:38 +0200 | <kuribas> | How do I pass a new Name to TH? |
| 2022-09-16 13:22:41 +0200 | <kuribas> | as a string? |
| 2022-09-16 13:22:50 +0200 | <kuribas> | (for example a new class name) |
| 2022-09-16 13:30:25 +0200 | <kuribas> | hmm, I guess String if it doesn't exist yet. |
| 2022-09-16 13:33:52 +0200 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) (Read error: Connection reset by peer) |
| 2022-09-16 13:34:35 +0200 | chomwitt | (~chomwitt@2a02:587:dc05:1e00:634:f7cd:410d:148d) (Remote host closed the connection) |
| 2022-09-16 13:37:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 13:41:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-16 13:44:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-09-16 13:45:03 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-09-16 13:47:41 +0200 | cacke | (~cacke@mainpc.lha.sgsnet.se) |
| 2022-09-16 13:48:26 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-16 13:48:47 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-16 13:48:58 +0200 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) |
| 2022-09-16 13:49:07 +0200 | califax | (~califax@user/califx) |
| 2022-09-16 13:51:23 +0200 | angerman_ | (~angerman@103.247.110.7) (Quit: Ping timeout (120 seconds)) |
| 2022-09-16 13:52:42 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-09-16 13:53:50 +0200 | checkum | (~checkum@2607:fb90:581:a215:c12e:2477:e1f6:4d9f) (Ping timeout: 268 seconds) |
| 2022-09-16 13:59:25 +0200 | talismanick | (~talismani@2601:644:9380:4570::2317) (Remote host closed the connection) |
| 2022-09-16 14:00:22 +0200 | checkum | (~checkum@2604:ca00:1e0:78bc::1060:fc1) |
| 2022-09-16 14:01:13 +0200 | philpax_ | (sid516926@id-516926.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-16 14:01:40 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 265 seconds) |
| 2022-09-16 14:04:36 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a0ee:ef10:839c:6e73) (Ping timeout: 264 seconds) |
| 2022-09-16 14:08:10 +0200 | cacke | (~cacke@mainpc.lha.sgsnet.se) (Quit: Ping timeout (120 seconds)) |
| 2022-09-16 14:10:47 +0200 | razetime | (~quassel@117.254.35.208) |
| 2022-09-16 14:12:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 14:15:53 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3a1b:8096:52cf:f3ae) |
| 2022-09-16 14:17:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 14:19:05 +0200 | Guest366 | (~Guest3@c83-253-98-90.bredband.tele2.se) (Quit: Client closed) |
| 2022-09-16 14:22:39 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 250 seconds) |
| 2022-09-16 14:22:58 +0200 | lyle | (~lyle@104.246.145.85) |
| 2022-09-16 14:28:11 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-09-16 14:31:03 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-16 14:31:13 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-16 14:34:36 +0200 | odnes | (~odnes@5-203-231-244.pat.nym.cosmote.net) (Ping timeout: 268 seconds) |
| 2022-09-16 14:36:38 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-16 14:38:33 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 2022-09-16 14:38:47 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-16 14:39:59 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 2022-09-16 14:42:58 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-09-16 14:44:51 +0200 | nshepperd26 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2022-09-16 14:45:14 +0200 | danso | (danso@danso.ca) (Ping timeout: 268 seconds) |
| 2022-09-16 14:45:35 +0200 | danso | (danso@danso.ca) |
| 2022-09-16 14:46:16 +0200 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-16 14:46:26 +0200 | <kuribas> | My TH function worked from the first time. It's just so nice to have ADTs, pattern matching, static types, etc... |
| 2022-09-16 14:46:32 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 255 seconds) |
| 2022-09-16 14:46:32 +0200 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 255 seconds) |
| 2022-09-16 14:46:32 +0200 | nshepperd26 | nshepperd2 |
| 2022-09-16 14:46:40 +0200 | <kuribas> | Despite TH having a complex model. |
| 2022-09-16 14:46:57 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2022-09-16 14:47:07 +0200 | <kuribas> | People can make claims all they want, but I don't ever have this experience in other languages, lisps, javas, or whatever. |
| 2022-09-16 14:48:31 +0200 | <kuribas> | lispers may proclaim that macros are easy to write, for sure they aren't easy to debug. |
| 2022-09-16 14:48:57 +0200 | <kuribas> | while TH is harder to write, the few times I had to write it, most if it just worked. |
| 2022-09-16 14:54:16 +0200 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 268 seconds) |
| 2022-09-16 15:01:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 15:02:25 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-16 15:02:27 +0200 | dsrt^ | (~dsrt@70.88.176.185) (Remote host closed the connection) |
| 2022-09-16 15:06:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-16 15:11:30 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-09-16 15:13:36 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-16 15:20:26 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 265 seconds) |
| 2022-09-16 15:36:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 15:40:32 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 268 seconds) |
| 2022-09-16 15:40:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 15:41:00 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-16 15:42:46 +0200 | luffy | (~chenqisu1@183.217.201.192) (Max SendQ exceeded) |
| 2022-09-16 15:43:24 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-16 15:44:53 +0200 | waleee | (~waleee@192.165.44.49) |
| 2022-09-16 15:47:23 +0200 | luffy | (~chenqisu1@183.217.201.192) (Remote host closed the connection) |
| 2022-09-16 15:51:30 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-09-16 15:54:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 15:55:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-16 15:56:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 15:59:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-16 15:59:34 +0200 | califax | (~califax@user/califx) |
| 2022-09-16 15:59:37 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-16 16:03:29 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-09-16 16:04:16 +0200 | tvandinther | (~tvandinth@2404:4408:8740:3800:cd40:56c8:fd06:acd0) (Quit: Client closed) |
| 2022-09-16 16:05:08 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-09-16 16:05:23 +0200 | beteigeuze | (~Thunderbi@89.187.168.57) (Ping timeout: 265 seconds) |
| 2022-09-16 16:06:56 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:bd9a:9ef9:559f:c0b5) (Quit: WeeChat 2.8) |
| 2022-09-16 16:10:07 +0200 | cpli | (~cpli@2a01:598:b8b4:1de9:32d1:6bff:fe80:46bd) |
| 2022-09-16 16:13:27 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-09-16 16:16:57 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
| 2022-09-16 16:17:23 +0200 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-16 16:17:38 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 240 seconds) |
| 2022-09-16 16:18:51 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-16 16:20:30 +0200 | akegalj | (~akegalj@239-192.dsl.iskon.hr) |
| 2022-09-16 16:21:24 +0200 | checkum | (~checkum@2604:ca00:1e0:78bc::1060:fc1) (Ping timeout: 264 seconds) |
| 2022-09-16 16:21:48 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-16 16:26:40 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-16 16:29:54 +0200 | chomwitt | (~chomwitt@2a02:587:dc14:f500:7e30:7a86:774c:627a) |
| 2022-09-16 16:30:55 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-16 16:31:34 +0200 | <sm> | nice |
| 2022-09-16 16:31:36 +0200 | cpli | (~cpli@2a01:598:b8b4:1de9:32d1:6bff:fe80:46bd) (Ping timeout: 264 seconds) |
| 2022-09-16 16:34:43 +0200 | finsternis | (~X@23.226.237.192) |
| 2022-09-16 16:36:51 +0200 | ccapndave | (~ccapndave@mob-194-230-146-101.cgn.sunrise.net) |
| 2022-09-16 16:37:50 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-16 16:37:51 +0200 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) |
| 2022-09-16 16:39:22 +0200 | fjMSX | (~hypni2p@128-68-144-58.broadband.corbina.ru) (Quit: Уш'лЪЬ їз єтой IRC сетї) |
| 2022-09-16 16:40:53 +0200 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 250 seconds) |
| 2022-09-16 16:41:12 +0200 | MajorBiscuit | (~MajorBisc@145.94.167.213) (Ping timeout: 264 seconds) |
| 2022-09-16 16:41:39 +0200 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-09-16 16:49:36 +0200 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) (Read error: Connection reset by peer) |
| 2022-09-16 16:50:41 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a7-23.dhcp.inet.fi) |
| 2022-09-16 16:54:19 +0200 | ccapndave | (~ccapndave@mob-194-230-146-101.cgn.sunrise.net) (Ping timeout: 250 seconds) |
| 2022-09-16 16:56:30 +0200 | cpli | (~cpli@2a01:598:b8b4:1de9:32d1:6bff:fe80:46bd) |
| 2022-09-16 17:01:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-16 17:02:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 17:04:29 +0200 | waleee | (~waleee@192.165.44.49) (Ping timeout: 268 seconds) |
| 2022-09-16 17:06:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-16 17:06:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 17:07:29 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-16 17:12:00 +0200 | aliosablack | (~chomwitt@2a02:587:dc14:f500:f5a5:b633:623:44db) |
| 2022-09-16 17:12:55 +0200 | chomwitt | (~chomwitt@2a02:587:dc14:f500:7e30:7a86:774c:627a) (Ping timeout: 244 seconds) |
| 2022-09-16 17:15:21 +0200 | ccapndave | (~ccapndave@mob-194-230-158-198.cgn.sunrise.net) |
| 2022-09-16 17:15:56 +0200 | abrar | (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) |
| 2022-09-16 17:20:12 +0200 | vglfr | (~vglfr@145.224.94.16) (Read error: Connection reset by peer) |
| 2022-09-16 17:20:31 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-16 17:20:43 +0200 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-16 17:22:26 +0200 | fjMSX | (~hypni2p@128-68-144-58.broadband.corbina.ru) |
| 2022-09-16 17:36:58 +0200 | odnes | (~odnes@5-203-231-244.pat.nym.cosmote.net) |
| 2022-09-16 17:37:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-16 17:37:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 17:38:10 +0200 | ccapndave | (~ccapndave@mob-194-230-158-198.cgn.sunrise.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-09-16 17:39:45 +0200 | <gay9> | albet70: people use nix for the same reason they use stack: they need working and reproducible builds |
| 2022-09-16 17:39:45 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-09-16 17:41:09 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-16 17:43:29 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-16 17:43:45 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-16 17:44:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-16 17:45:19 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2022-09-16 17:46:06 +0200 | waleee | (~waleee@192.165.44.49) |
| 2022-09-16 17:47:27 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-16 17:47:37 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-09-16 17:48:24 +0200 | califax | (~califax@user/califx) |
| 2022-09-16 17:50:48 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-09-16 17:51:43 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-16 18:00:06 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) (Quit: You have been kicked for being idle) |
| 2022-09-16 18:01:12 +0200 | akegalj | (~akegalj@239-192.dsl.iskon.hr) (Quit: leaving) |
| 2022-09-16 18:01:45 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 268 seconds) |
| 2022-09-16 18:03:22 +0200 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) (Read error: Connection reset by peer) |
| 2022-09-16 18:05:43 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-16 18:09:18 +0200 | yoneda | (~mike@193.206.102.122) (Quit: leaving) |
| 2022-09-16 18:09:28 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-16 18:14:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 18:14:59 +0200 | <kuribas> | I am getting Cannot derive well-kinded instance of form ‘FieldNames (LdTypeRelations ...)’ Class ‘FieldNames’ expects an argument of kind ‘(* -> *) -> *’ • In the data instance declaration for ‘LdTypeRelations’ |
| 2022-09-16 18:15:24 +0200 | <kuribas> | that seems wrong, the kind of FieldNames is (k -> *) -> * |
| 2022-09-16 18:16:02 +0200 | aliosablack | (~chomwitt@2a02:587:dc14:f500:f5a5:b633:623:44db) (Quit: Leaving) |
| 2022-09-16 18:16:20 +0200 | <kuribas> | ah, and it works with a standalone. |
| 2022-09-16 18:16:20 +0200 | chomwitt | (~chomwitt@2a02:587:dc14:f500:f5a5:b633:623:44db) |
| 2022-09-16 18:16:32 +0200 | <kuribas> | Must be another compiler bug. |
| 2022-09-16 18:18:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 18:21:40 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-16 18:22:08 +0200 | <kuribas> | Maybe DeriveAnyClass has * hardcoded? |
| 2022-09-16 18:22:26 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-09-16 18:39:28 +0200 | Techcable | (~Techcable@user/Techcable) |
| 2022-09-16 18:39:43 +0200 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Quit: Leaving) |
| 2022-09-16 18:44:31 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-09-16 18:44:59 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::9c7) |
| 2022-09-16 18:45:08 +0200 | mikoto-chan | (~mikoto-ch@dy66plfyyyyyyyyyyyyby-4.rev.dnainternet.fi) |
| 2022-09-16 18:48:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 18:50:45 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a7-23.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-09-16 18:51:10 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a7-23.dhcp.inet.fi) |
| 2022-09-16 18:52:41 +0200 | cpli | (~cpli@2a01:598:b8b4:1de9:32d1:6bff:fe80:46bd) (Ping timeout: 255 seconds) |
| 2022-09-16 18:53:23 +0200 | waleee | (~waleee@192.165.44.49) (Ping timeout: 252 seconds) |
| 2022-09-16 18:56:59 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-16 19:00:30 +0200 | wonko | (~wjc@2a0e:1c80:11::50) (Read error: Connection reset by peer) |
| 2022-09-16 19:02:48 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a7-23.dhcp.inet.fi) (Ping timeout: 264 seconds) |
| 2022-09-16 19:03:03 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-09-16 19:03:34 +0200 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) |
| 2022-09-16 19:04:24 +0200 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) (Read error: Connection reset by peer) |
| 2022-09-16 19:05:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-16 19:10:30 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2022-09-16 19:11:09 +0200 | checkum | (~checkum@172.58.27.247) |
| 2022-09-16 19:11:28 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2022-09-16 19:11:57 +0200 | abrar | (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) (Quit: WeeChat 3.3) |
| 2022-09-16 19:12:16 +0200 | abrar | (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) |
| 2022-09-16 19:12:45 +0200 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-16 19:13:57 +0200 | checkum | (~checkum@172.58.27.247) (Read error: Connection reset by peer) |
| 2022-09-16 19:18:43 +0200 | kuribas | (~user@ptr-17d51epqf8g1ajenyeu.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-09-16 19:18:57 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-09-16 19:23:58 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 19:25:45 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-09-16 19:31:42 +0200 | zachel | (~zachel@user/zachel) |
| 2022-09-16 19:34:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-16 19:37:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 19:39:07 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::9c7) (Ping timeout: 244 seconds) |
| 2022-09-16 19:40:36 +0200 | mikoto-chan | (~mikoto-ch@dy66plfyyyyyyyyyyyyby-4.rev.dnainternet.fi) (Ping timeout: 264 seconds) |
| 2022-09-16 19:41:04 +0200 | Ian4 | (~Ian@c-71-234-92-136.hsd1.ct.comcast.net) |
| 2022-09-16 19:41:13 +0200 | irfan | (~irfan@user/irfan) |
| 2022-09-16 19:45:42 +0200 | odnes | (~odnes@5-203-231-244.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-09-16 19:47:55 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::9c7) |
| 2022-09-16 19:48:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-16 19:48:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 19:56:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-16 20:01:51 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) |
| 2022-09-16 20:03:12 +0200 | razetime | (~quassel@117.254.35.208) (Ping timeout: 265 seconds) |
| 2022-09-16 20:04:50 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-16 20:05:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 20:07:12 +0200 | califax | (~califax@user/califx) |
| 2022-09-16 20:09:45 +0200 | cpli | (~cpli@2001:a61:2b40:bb01:32d1:6bff:fe80:46bd) |
| 2022-09-16 20:12:19 +0200 | <oats> | glguy, heyo, just wondering if there's any particular reason that hookup has an upper bound of base <4.17? |
| 2022-09-16 20:13:01 +0200 | checkum | (~checkum@172.58.30.138) |
| 2022-09-16 20:13:27 +0200 | checkum | (~checkum@172.58.30.138) (Read error: Connection reset by peer) |
| 2022-09-16 20:13:34 +0200 | <oats> | the other packages in irc-core are <4.18 |
| 2022-09-16 20:20:12 +0200 | <int-e> | oats: odd? e.g. https://github.com/glguy/irc-core/blob/v2/bot/irc-core-bot.cabal#L26 |
| 2022-09-16 20:21:35 +0200 | <oats> | oh huh. well, /glirc.cabal does |
| 2022-09-16 20:21:53 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 250 seconds) |
| 2022-09-16 20:22:59 +0200 | <int-e> | Ah, that seems to be the only one. Good question then... |
| 2022-09-16 20:23:19 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-16 20:26:31 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-09-16 20:26:32 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-09-16 20:26:52 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-09-16 20:26:53 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-16 20:27:31 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-09-16 20:27:57 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2022-09-16 20:29:58 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-16 20:38:17 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-09-16 20:43:12 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-09-16 20:43:42 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 244 seconds) |
| 2022-09-16 20:46:03 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-09-16 20:46:23 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-16 20:48:23 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-09-16 20:49:06 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2022-09-16 20:49:48 +0200 | checkum | (~checkum@172.58.30.138) |
| 2022-09-16 20:50:18 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-16 20:51:17 +0200 | Topsi | (~Topsi@dyndsl-095-033-090-176.ewe-ip-backbone.de) |
| 2022-09-16 20:51:27 +0200 | checkum | (~checkum@172.58.30.138) (Read error: Connection reset by peer) |
| 2022-09-16 20:52:33 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 268 seconds) |
| 2022-09-16 20:54:24 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-09-16 20:55:22 +0200 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) |
| 2022-09-16 20:56:31 +0200 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) |
| 2022-09-16 20:59:07 +0200 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) (Read error: Connection reset by peer) |
| 2022-09-16 20:59:58 +0200 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) |
| 2022-09-16 21:02:55 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-09-16 21:05:26 +0200 | irfan | (~irfan@user/irfan) (Remote host closed the connection) |
| 2022-09-16 21:05:28 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-09-16 21:05:29 +0200 | <segfaultfizzbuzz> | some blog says that "a language is a set of generators and relations in the style of abstract algebra" -- where can i find a definition of generator and relation? |
| 2022-09-16 21:05:39 +0200 | <segfaultfizzbuzz> | i have been through abstract algebra and don't remember these terms |
| 2022-09-16 21:05:45 +0200 | <mrianbloom> | Given a multiparameter typeclass does the order of the parameters matter for instance selection? |
| 2022-09-16 21:06:00 +0200 | <segfaultfizzbuzz> | here was the source: |
| 2022-09-16 21:06:03 +0200 | <segfaultfizzbuzz> | https://semantic-domain.blogspot.com/2021/12/what-is-programming-language.html?m=1 |
| 2022-09-16 21:06:13 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 268 seconds) |
| 2022-09-16 21:06:38 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-16 21:06:46 +0200 | <segfaultfizzbuzz> | is a generator like, the generating set of a group? |
| 2022-09-16 21:07:59 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 244 seconds) |
| 2022-09-16 21:15:28 +0200 | koolazer | (~koo@user/koolazer) |
| 2022-09-16 21:18:24 +0200 | <sammelweis> | why can't you use a unary function like (arg `func`) ? E.g. let thousand = (* 1000) in (3.5 `thousand`) |
| 2022-09-16 21:19:17 +0200 | pavonia | (~user@user/siracusa) |
| 2022-09-16 21:19:55 +0200 | <geekosaur> | because the Haskell Report specifies what that syntax expands to and it's not compatible with that usage |
| 2022-09-16 21:20:03 +0200 | <geekosaur> | but see the PostfixOperators extension |
| 2022-09-16 21:28:40 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-16 21:30:28 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-16 21:31:33 +0200 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) (Read error: Connection reset by peer) |
| 2022-09-16 21:33:18 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-09-16 21:35:01 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2022-09-16 21:37:58 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-09-16 21:39:35 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) |
| 2022-09-16 21:41:22 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-16 21:43:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-16 21:43:21 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 250 seconds) |
| 2022-09-16 21:43:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 21:45:27 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-09-16 21:48:43 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-16 21:49:44 +0200 | thyriaen | (~thyriaen@85-125-32-21.static.upcbusiness.at) |
| 2022-09-16 21:50:18 +0200 | thyriaen | (~thyriaen@85-125-32-21.static.upcbusiness.at) (Client Quit) |
| 2022-09-16 21:50:37 +0200 | thyriaen | (~thyriaen@85-125-32-21.static.upcbusiness.at) |
| 2022-09-16 21:50:53 +0200 | thyriaen | (~thyriaen@85-125-32-21.static.upcbusiness.at) (Client Quit) |
| 2022-09-16 21:51:19 +0200 | thyriaen | (~thyriaen@85-125-32-21.static.upcbusiness.at) |
| 2022-09-16 21:51:26 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-09-16 21:52:07 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-09-16 21:55:40 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-16 21:56:40 +0200 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) |
| 2022-09-16 21:57:52 +0200 | wagle | (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-16 21:58:20 +0200 | wagle | (~wagle@quassel.wagle.io) |
| 2022-09-16 21:59:47 +0200 | killsushi | (~killsushi@user/killsushi) (Quit: Leaving) |
| 2022-09-16 22:00:24 +0200 | JimL | (~quassel@89-162-2-132.fiber.signal.no) (Ping timeout: 268 seconds) |
| 2022-09-16 22:00:43 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Read error: Connection reset by peer) |
| 2022-09-16 22:00:47 +0200 | killsushi | (~killsushi@2607:fea8:3d40:6a7:3869:6b25:e732:f1e5) |
| 2022-09-16 22:00:48 +0200 | killsushi | (~killsushi@2607:fea8:3d40:6a7:3869:6b25:e732:f1e5) (Changing host) |
| 2022-09-16 22:00:48 +0200 | killsushi | (~killsushi@user/killsushi) |
| 2022-09-16 22:01:59 +0200 | JimL | (~quassel@89-162-2-132.fiber.signal.no) |
| 2022-09-16 22:03:43 +0200 | killsushi | (~killsushi@user/killsushi) (Client Quit) |
| 2022-09-16 22:05:43 +0200 | hexeme_ | ldlework |
| 2022-09-16 22:09:07 +0200 | <byorgey> | segfaultfizzbuzz: yes, "generators and relations" is a method of defining/presenting a group, where you specify some abstract generator elements along with some equations that should hold |
| 2022-09-16 22:09:52 +0200 | thyriaen | (~thyriaen@85-125-32-21.static.upcbusiness.at) (Quit: Leaving) |
| 2022-09-16 22:11:14 +0200 | <byorgey> | https://en.wikipedia.org/wiki/Presentation_of_a_group |
| 2022-09-16 22:17:05 +0200 | Everything | (~Everythin@37.115.210.35) |
| 2022-09-16 22:18:22 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-09-16 22:18:23 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Read error: Connection timed out) |
| 2022-09-16 22:25:09 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) (Ping timeout: 268 seconds) |
| 2022-09-16 22:29:16 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-16 22:31:15 +0200 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.6) |
| 2022-09-16 22:31:29 +0200 | califax | (~califax@user/califx) |
| 2022-09-16 22:33:46 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-16 22:34:31 +0200 | califax | (~califax@user/califx) |
| 2022-09-16 22:34:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-16 22:34:39 +0200 | Guest97 | (~Guest97@2601:602:a080:fa0::b9fc) |
| 2022-09-16 22:35:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 22:36:50 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 268 seconds) |
| 2022-09-16 22:36:57 +0200 | <aaronv> | In `class Foo a where type Bar a b` what's the correct terminology for talking about the difference between the `a` and `b` parameters to `Bar`? From error messages I gather that `a` is a "type index" which must "coincide" with the class parameter. Is `b` also a "type index" but which doesn't need to coincide, or is it just a "parameter"? |
| 2022-09-16 22:37:38 +0200 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) (Read error: Connection reset by peer) |
| 2022-09-16 22:38:24 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-16 22:39:36 +0200 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) |
| 2022-09-16 22:40:42 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-09-16 22:42:01 +0200 | king_gs | (~Thunderbi@187.201.36.251) |
| 2022-09-16 22:42:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-16 22:46:39 +0200 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) (Read error: Connection reset by peer) |
| 2022-09-16 22:47:54 +0200 | Topsi | (~Topsi@dyndsl-095-033-090-176.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-09-16 22:54:41 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:d588:de76:f8ed:daae) (Ping timeout: 260 seconds) |
| 2022-09-16 22:55:16 +0200 | ubert | (~Thunderbi@77.119.200.188.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2022-09-16 22:55:46 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-09-16 22:58:07 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-09-16 22:59:49 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-16 23:01:33 +0200 | king_gs | (~Thunderbi@187.201.36.251) (Read error: Connection reset by peer) |
| 2022-09-16 23:02:07 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) |
| 2022-09-16 23:02:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 23:02:16 +0200 | Jdorth | (~jdorth@host-86-25.nyamvor.amherst.ny.us.clients.pavlovmedia.net) |
| 2022-09-16 23:04:28 +0200 | Jdorth | (~jdorth@host-86-25.nyamvor.amherst.ny.us.clients.pavlovmedia.net) (Client Quit) |
| 2022-09-16 23:04:35 +0200 | <oats> | if I've changed the "current" ghc version with ghcup, do I need to adjust a project's .cabal file to reflect the new base version? |
| 2022-09-16 23:05:19 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-09-16 23:05:28 +0200 | Jdorth | (~jdorth@host-86-25.nyamvor.amherst.ny.us.clients.pavlovmedia.net) |
| 2022-09-16 23:06:15 +0200 | <hpc> | the version of base you're using should be in the range in the .cabal file |
| 2022-09-16 23:06:28 +0200 | <hpc> | but you don't have to suddenly say the previous version is no longer compatible |
| 2022-09-16 23:06:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-16 23:06:38 +0200 | <hpc> | (unless that's true, in which case probably say that :D) |
| 2022-09-16 23:07:03 +0200 | <hpc> | it's like any other package |
| 2022-09-16 23:07:22 +0200 | <Jdorth> | Hi everyone, Haskell is part of my advanced course this semester .Hope to learn from everyone here :) |
| 2022-09-16 23:08:45 +0200 | nunggu | (~q@user/nunggu) (Ping timeout: 258 seconds) |
| 2022-09-16 23:11:00 +0200 | nunggu | (~q@user/nunggu) |
| 2022-09-16 23:11:46 +0200 | Jdorth | (~jdorth@host-86-25.nyamvor.amherst.ny.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2022-09-16 23:14:48 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::9c7) (Ping timeout: 264 seconds) |
| 2022-09-16 23:16:08 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-16 23:18:32 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-09-16 23:20:56 +0200 | mniip | (mniip@libera/staff/mniip) (Ping timeout: 615 seconds) |
| 2022-09-16 23:23:15 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-09-16 23:24:12 +0200 | jargon | (~jargon@184.101.186.15) |
| 2022-09-16 23:26:00 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
| 2022-09-16 23:27:35 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-16 23:33:15 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-16 23:33:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 23:34:13 +0200 | king_gs | (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) (Ping timeout: 268 seconds) |
| 2022-09-16 23:38:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-16 23:41:19 +0200 | k8yun | (~k8yun@user/k8yun) |
| 2022-09-16 23:41:24 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-09-16 23:45:59 +0200 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) |
| 2022-09-16 23:50:09 +0200 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) (Read error: Connection reset by peer) |
| 2022-09-16 23:50:35 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-16 23:54:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-16 23:55:29 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-09-16 23:56:12 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-16 23:59:11 +0200 | king_gs | (~Thunderbi@187.201.36.251) |
