| 2022-02-15 00:00:28 +0100 | <EvanR> | funny because Maybe is a submonad of List xD |
| 2022-02-15 00:00:49 +0100 | <Rembane> | Oh. Oh no. How?! |
| 2022-02-15 00:01:06 +0100 | <geekosaur> | Maybe is a 1-element list |
| 2022-02-15 00:01:08 +0100 | <byorgey> | Maybe is lists of length at most 1. |
| 2022-02-15 00:01:15 +0100 | <EvanR> | correct me if I'm wrong but, the behavior matches the behavior for list of at most length 1 |
| 2022-02-15 00:01:27 +0100 | <Rembane> | And we have a hat trick! |
| 2022-02-15 00:01:28 +0100 | <byorgey> | that sounds right. |
| 2022-02-15 00:01:31 +0100 | <geekosaur> | yeh, 1 element max, sorry |
| 2022-02-15 00:01:56 +0100 | <geekosaur> | that said,m the difference is that a 1-element-max list isn't recursive |
| 2022-02-15 00:01:59 +0100 | <Rembane> | So a list of length zero is Nothing, and a list of length one is Just something? |
| 2022-02-15 00:02:13 +0100 | <geekosaur> | and I suspect it's the recursion that makes the list monad brain-boily |
| 2022-02-15 00:02:13 +0100 | <EvanR> | yeah |
| 2022-02-15 00:02:22 +0100 | <hpc> | isn't the issue with [] just that it's not commutative? |
| 2022-02-15 00:03:14 +0100 | <hpc> | the list monad is pretty easy to understand, start with list comprehensions and then go "okay, now write it with do" |
| 2022-02-15 00:03:36 +0100 | <dibblego> | teach monads by getting the class to inadvertently invent the primary purpose |
| 2022-02-15 00:04:27 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-02-15 00:04:44 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) |
| 2022-02-15 00:06:15 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-15 00:09:11 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2022-02-15 00:10:36 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-02-15 00:11:57 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 00:11:58 +0100 | lavaman | (~lavaman@98.38.249.169) (Read error: Connection reset by peer) |
| 2022-02-15 00:11:59 +0100 | awschnap | (~lavaman@98.38.249.169) |
| 2022-02-15 00:14:56 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2022-02-15 00:16:12 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-15 00:19:24 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2022-02-15 00:21:28 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2022-02-15 00:21:56 +0100 | <jackdk> | byorgey: how'd you go with all that disco stuff? did you get it going? |
| 2022-02-15 00:23:36 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-02-15 00:23:50 +0100 | <EvanR> | "what is the primary purpose of monads" sounds like something an awkward godlike alien entity would demand captain kirk to answer satisfactorily before they can break free from its force field |
| 2022-02-15 00:24:43 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-02-15 00:25:19 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 2022-02-15 00:26:20 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-02-15 00:26:20 +0100 | <int-e> | is the purpose to abstract from almost nothing and confuse generations of programmers... |
| 2022-02-15 00:26:24 +0100 | <jackdk> | "merging spacesuits together", if we're keeping with the scifi theme |
| 2022-02-15 00:26:48 +0100 | <Rembane> | Pew pew pew! |
| 2022-02-15 00:26:57 +0100 | <Rembane> | Cue Star Wars Theme! |
| 2022-02-15 00:27:06 +0100 | <EvanR> | Monadchloriens |
| 2022-02-15 00:27:36 +0100 | <Rembane> | Definitely the List Monadchloreans |
| 2022-02-15 00:27:44 +0100 | <byorgey> | jackdk: I got it building on replit.com via nix, but it ended up being a no-go because it takes like 15-30 minutes to build and sometimes decides to randomly rebuild the entire environment while you're in the middle of doing something. |
| 2022-02-15 00:28:02 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-02-15 00:28:10 +0100 | <byorgey> | jackdk: for now I just wrote up very detailed instructions on how the students can install it via 'cabal install', which worked OK in 95% of cases |
| 2022-02-15 00:28:45 +0100 | <geekosaur> | 95% sounds 5% unfortunate |
| 2022-02-15 00:28:59 +0100 | <monochrom> | When I was learning monads, I felt it was abstracting from almost everything. :) |
| 2022-02-15 00:29:07 +0100 | <byorgey> | geekosaur: yes, for the 5% I set up accounts on my VPS so they can log in and use it via SSH. |
| 2022-02-15 00:29:31 +0100 | <byorgey> | jackdk: in the long term, I hope I can get a stable version of disco onto Hackage and from there into nixpkgs, and then it will load on replit.com in a snap |
| 2022-02-15 00:30:12 +0100 | <geekosaur> | assuming stackage ever gets itself unstuck |
| 2022-02-15 00:30:15 +0100 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) (Read error: Connection reset by peer) |
| 2022-02-15 00:30:23 +0100 | <geekosaur> | be nice if they'd done an LTS *before* tackling aeson 2 |
| 2022-02-15 00:30:32 +0100 | <jackdk> | byorgey: glad you got something for your students. I've had to do less doJailbreak etc shenanigans over time, so I think the hackage ecosystem is converging towards stability |
| 2022-02-15 00:31:03 +0100 | <jackson99> | stackage is stuck? |
| 2022-02-15 00:31:14 +0100 | <byorgey> | jackdk: that's good to hear. |
| 2022-02-15 00:31:27 +0100 | <geekosaur> | LTS is still 8.10.7 |
| 2022-02-15 00:31:40 +0100 | <byorgey> | there is one benefit to having them install via cabal, which is that I can tell them to 'cabal update && cabal install disco' every time I add new features or fix a bug =) |
| 2022-02-15 00:31:46 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-15 00:31:48 +0100 | <geekosaur> | nightlies advanced from 9.0.1 to 9.0.2, but now they've taken on aeson 2 and broke a bunch of stuff |
| 2022-02-15 00:32:17 +0100 | <jackson99> | I think (hope) they are just waiting 9.2 to be fixed |
| 2022-02-15 00:32:20 +0100 | <geekosaur> | which is not so much a problem with stackage as such, as a failure of management or foresight |
| 2022-02-15 00:32:23 +0100 | <jackdk> | I would stop using stack, personally - freeze files + git give you much finer control, and cabal has improved a lot |
| 2022-02-15 00:32:34 +0100 | <geekosaur> | but a nbunch of other packagers depend on stackage LTSes |
| 2022-02-15 00:32:42 +0100 | <geekosaur> | including nixpkgs |
| 2022-02-15 00:35:40 +0100 | cjb | (~cjb@user/cjb) (Ping timeout: 260 seconds) |
| 2022-02-15 00:36:06 +0100 | <jackdk> | Yeah, that's a challenge, and those snapshots are useful if you want to provide "one version of each thing". That's often too limiting, though. As we've seen with the stop-the-world update to aeson>2. IMHO stackage would do well to just focus on snapshots, but I get that's gonna be a contentious suggestion |
| 2022-02-15 00:38:01 +0100 | gurkenglas | (~gurkengla@dslb-188-096-121-068.188.096.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2022-02-15 00:40:41 +0100 | telser | (~AdminUser@user/telser) (Quit: No Ping reply in 180 seconds.) |
| 2022-02-15 00:41:57 +0100 | telser | (~AdminUser@user/telser) |
| 2022-02-15 00:43:03 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-15 00:43:53 +0100 | acidjnk | (~acidjnk@p200300d0c7057581091bb45d0bf1cd2b.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-02-15 00:43:54 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 00:45:57 +0100 | hololeap | (~hololeap@user/hololeap) (Excess Flood) |
| 2022-02-15 00:46:09 +0100 | afidegnum | (~afidegnum@102.176.94.184) |
| 2022-02-15 00:46:34 +0100 | <afidegnum> | hi, what pefect IDE would you recommend ? |
| 2022-02-15 00:48:12 +0100 | <monochrom> | I disbelieve in perfection. I recommend complacency. |
| 2022-02-15 00:48:22 +0100 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) |
| 2022-02-15 00:48:30 +0100 | <monochrom> | emacs haskell-mode is more than good enough for me. |
| 2022-02-15 00:48:36 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-15 00:49:03 +0100 | <afidegnum> | ok |
| 2022-02-15 00:49:09 +0100 | <monochrom> | Especially given the trivial amount of installation time and disk space it takes. |
| 2022-02-15 00:49:50 +0100 | <monochrom> | Something better than it by 10% exists, but it costs 10 times more. |
| 2022-02-15 00:50:21 +0100 | jgeerds | (~jgeerds@55d4a547.access.ecotel.net) |
| 2022-02-15 00:51:48 +0100 | ix | (~ix@2a02:8010:674f:0:a71f:d8ff:17eb:65ba) (Ping timeout: 252 seconds) |
| 2022-02-15 00:53:39 +0100 | <monochrom> | byorgey: In disco's case expressions, have you considered changing "when <e> is <pat>" to "if <e> is <pat>" so there is one fewer reserved word to learn? Or would it be too hard for the parser? |
| 2022-02-15 00:54:11 +0100 | <Axman6> | VS Code is the most popular choice these days, according to the last haskell language survey afidegnum, haskell-language-server works very well with it now too, and doesn't have much of a learning curve |
| 2022-02-15 00:54:27 +0100 | <geekosaur> | afidegnum, many people like vscode with the haskell extension. it comes with HLS support out of the box |
| 2022-02-15 00:54:43 +0100 | <geekosaur> | it's not my cup of tea, but see /nick :) |
| 2022-02-15 00:54:54 +0100 | <jackdk> | I like emacs, but that's because I've spent more than 50% of my life adapting it to me and me to it. This is probably a worthwhile investment if you plan to spend a lot of time coding |
| 2022-02-15 00:55:05 +0100 | <hpc> | the best development environment is what you can work quickly with, whether it's an IDE or just a "DE" |
| 2022-02-15 00:55:25 +0100 | <hpc> | a split terminal with vim on one side and ghci on the other has always been enough for me |
| 2022-02-15 00:55:27 +0100 | <afidegnum> | ok, thanks, i'm using haskell on WSL |
| 2022-02-15 00:55:36 +0100 | <afidegnum> | so I think Vscode would work |
| 2022-02-15 00:55:47 +0100 | <Axman6> | you'll probably find life easuier with VS Code in that case |
| 2022-02-15 00:55:59 +0100 | <hpc> | yeah, on windows vscode is probably best |
| 2022-02-15 00:56:08 +0100 | <afidegnum> | cool |
| 2022-02-15 00:56:08 +0100 | <Axman6> | hmm, so apparently I'm not authorised to deop myself :thinkingface: |
| 2022-02-15 00:56:19 +0100 | ChanServ | +o geekosaur |
| 2022-02-15 00:56:26 +0100 | geekosaur | -o Axman6 |
| 2022-02-15 00:56:29 +0100 | geekosaur | -o geekosaur |
| 2022-02-15 00:56:43 +0100 | <Axman6> | <3 ... though I find that pretty funny |
| 2022-02-15 00:56:43 +0100 | <hpc> | now what if geekosaur couldn't deop :D |
| 2022-02-15 00:56:59 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-02-15 00:57:01 +0100 | <EvanR> | emacs cyborg symbiont |
| 2022-02-15 00:57:03 +0100 | <Axman6> | Simple, I'd reop myself and deop them! |
| 2022-02-15 00:57:09 +0100 | <afidegnum> | there is a metaprogramming projects i'm working on in python but I guess using haskell would be easier even though i'm a novice |
| 2022-02-15 00:57:13 +0100 | <hpc> | oh, problem solved then |
| 2022-02-15 00:58:12 +0100 | jgeerds_ | (~jgeerds@55d4b9df.access.ecotel.net) |
| 2022-02-15 00:59:38 +0100 | Guest89 | (~Guest89@114.23.127.15) |
| 2022-02-15 00:59:58 +0100 | <EvanR> | afidegnum, that's how I got into haskell, doing some project at work in complete noob fashion |
| 2022-02-15 01:00:17 +0100 | <EvanR> | burned myself on laziness a couple times and was better for it |
| 2022-02-15 01:00:21 +0100 | jgeerds | (~jgeerds@55d4a547.access.ecotel.net) (Ping timeout: 250 seconds) |
| 2022-02-15 01:00:34 +0100 | <afidegnum> | let me give it a try, wish me luck :) |
| 2022-02-15 01:00:43 +0100 | Guest89 | (~Guest89@114.23.127.15) (Client Quit) |
| 2022-02-15 01:00:53 +0100 | <Axman6> | afidegnum: what's the project, if you can say? |
| 2022-02-15 01:01:41 +0100 | <afidegnum> | I'm trying to dynamically generate MVC patterns from specific database models |
| 2022-02-15 01:02:22 +0100 | <afidegnum> | this will reduce development time |
| 2022-02-15 01:02:39 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-02-15 01:02:52 +0100 | <afidegnum> | I made an attempt in elisp which somehow workds but I need to interact with teh GUI too |
| 2022-02-15 01:03:15 +0100 | <geekosaur> | "somehow works" kinda summarizes elisp :þ |
| 2022-02-15 01:03:47 +0100 | ix | (~ix@2a02:8010:674f:0:cda6:d05:f0d7:4922) |
| 2022-02-15 01:05:03 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-15 01:05:22 +0100 | cynomys | (~cynomys@user/cynomys) (Quit: leaving) |
| 2022-02-15 01:05:46 +0100 | <afidegnum> | :) |
| 2022-02-15 01:06:26 +0100 | k8yun | (~k8yun@user/k8yun) |
| 2022-02-15 01:07:38 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-15 01:09:03 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 272 seconds) |
| 2022-02-15 01:10:04 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-02-15 01:10:07 +0100 | <byorgey> | monochrom: that's a good suggestion, thanks. I doubt it would be that hard for the parser. Though I feel like I considered that before and rejected the idea, but I can't remember why now. |
| 2022-02-15 01:10:43 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-15 01:13:30 +0100 | <liskin> | Axman6: have you tried deoping via chanserv instead of a slash command by any chance? |
| 2022-02-15 01:13:53 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-02-15 01:14:05 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-02-15 01:14:07 +0100 | Pickchea | (~private@user/pickchea) (Ping timeout: 272 seconds) |
| 2022-02-15 01:14:18 +0100 | hololeap | (~hololeap@user/hololeap) |
| 2022-02-15 01:14:31 +0100 | <jackdk> | geekosaur: emacs is the only known successful implementation of the "big ball of mud" design pattern |
| 2022-02-15 01:14:35 +0100 | <geekosaur> | Axman6 got opped by shapr, iirc |
| 2022-02-15 01:14:46 +0100 | <geekosaur> | jackdk, isn't it though :) |
| 2022-02-15 01:14:53 +0100 | <jackdk> | it's so good |
| 2022-02-15 01:15:00 +0100 | <Axman6> | liskin: yeah, that's all I tried |
| 2022-02-15 01:15:09 +0100 | <geekosaur> | although sometimes I wonder about vim þ |
| 2022-02-15 01:15:40 +0100 | <Axman6> | wasn't GCC also a big ball of mud, until Clang came along and showed that a modular compiler actually made people want to work on it? |
| 2022-02-15 01:15:48 +0100 | <liskin> | Axman6: that explains it then :-) |
| 2022-02-15 01:16:10 +0100 | <geekosaur> | Axman6, if you have ops then "/mode #channel -o yournick" should work to remove them. good luck getting them back though |
| 2022-02-15 01:16:21 +0100 | <geekosaur> | unless shapr's feeling magnanimous again :) |
| 2022-02-15 01:17:02 +0100 | shapr | grins |
| 2022-02-15 01:17:29 +0100 | <Axman6> | "error: chano-privs-needed #haskell You're not a channel operator" |
| 2022-02-15 01:17:33 +0100 | Axman6 | feels messed with |
| 2022-02-15 01:18:41 +0100 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-02-15 01:26:34 +0100 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) |
| 2022-02-15 01:29:33 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-15 01:29:33 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-15 01:29:33 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-15 01:30:32 +0100 | mmhat | (~mmh@55d4de53.access.ecotel.net) (Quit: WeeChat 3.4) |
| 2022-02-15 01:31:26 +0100 | <afidegnum> | can you please give a hand? using debian, what's the recommended package manager? i'm trying to install haskell language server |
| 2022-02-15 01:31:40 +0100 | <afidegnum> | debian 10 |
| 2022-02-15 01:32:06 +0100 | <Axman6> | IMO I would stay away from OS package managers and just use ghcup to install GHC and HLS |
| 2022-02-15 01:32:08 +0100 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) (Read error: Connection reset by peer) |
| 2022-02-15 01:32:24 +0100 | <Axman6> | but you're working on systems I have no experience with so no idea if that's good advice |
| 2022-02-15 01:32:43 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-15 01:33:44 +0100 | lagash | (lagash@lagash.shelltalk.net) (Ping timeout: 250 seconds) |
| 2022-02-15 01:34:31 +0100 | <geekosaur> | ghcup is recommended everywhere these days |
| 2022-02-15 01:34:44 +0100 | <geekosaur> | package managers tend to be slow, especially debian related ones |
| 2022-02-15 01:34:53 +0100 | <jkaye[m]> | I'd install hls from source using stack or cabal though |
| 2022-02-15 01:34:54 +0100 | <afidegnum> | ok |
| 2022-02-15 01:35:02 +0100 | <hpc> | iirc you can apt install ghcup too |
| 2022-02-15 01:35:28 +0100 | <hpc> | (although even then you might want to just use latest) |
| 2022-02-15 01:38:40 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-02-15 01:39:00 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-15 01:40:51 +0100 | telser | (~AdminUser@user/telser) (Quit: No Ping reply in 180 seconds.) |
| 2022-02-15 01:41:51 +0100 | jgeerds_ | (~jgeerds@55d4b9df.access.ecotel.net) (Ping timeout: 252 seconds) |
| 2022-02-15 01:42:06 +0100 | telser | (~AdminUser@user/telser) |
| 2022-02-15 01:42:37 +0100 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-02-15 01:42:52 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-02-15 01:43:37 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-02-15 01:47:40 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2022-02-15 01:52:52 +0100 | afidegnum | (~afidegnum@102.176.94.184) (Quit: leaving) |
| 2022-02-15 01:55:00 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) (Ping timeout: 240 seconds) |
| 2022-02-15 01:55:01 +0100 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) (Remote host closed the connection) |
| 2022-02-15 01:55:27 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2022-02-15 01:55:39 +0100 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) |
| 2022-02-15 01:56:02 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-02-15 01:56:15 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-02-15 01:59:20 +0100 | awschnap | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-15 02:00:00 +0100 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) (Ping timeout: 252 seconds) |
| 2022-02-15 02:01:52 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-02-15 02:05:15 +0100 | cjb | (~cjb@user/cjb) |
| 2022-02-15 02:07:02 +0100 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) |
| 2022-02-15 02:09:09 +0100 | afidegnum | (~afidegnum@102.176.94.184) |
| 2022-02-15 02:09:36 +0100 | nunggu_ | (~q@user/nunggu) (Ping timeout: 240 seconds) |
| 2022-02-15 02:10:29 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-02-15 02:10:39 +0100 | nunggu_ | (~q@user/nunggu) |
| 2022-02-15 02:11:44 +0100 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) (Ping timeout: 272 seconds) |
| 2022-02-15 02:12:07 +0100 | afidegnum | (~afidegnum@102.176.94.184) (Client Quit) |
| 2022-02-15 02:15:22 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-15 02:15:34 +0100 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) |
| 2022-02-15 02:16:35 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-02-15 02:20:48 +0100 | <justsomeguy> | What is list fusion? |
| 2022-02-15 02:21:53 +0100 | <justsomeguy> | Nevermind, I finally found a good search result: https://wiki.haskell.org/Short_cut_fusion |
| 2022-02-15 02:22:26 +0100 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) |
| 2022-02-15 02:22:34 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d449-2685-1032-d72e.res6.spectrum.com) (Remote host closed the connection) |
| 2022-02-15 02:22:36 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2022-02-15 02:23:49 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-15 02:24:38 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-02-15 02:25:08 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-02-15 02:26:02 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-15 02:28:04 +0100 | YukiSou | (~YukiSou@116.6.232.251) |
| 2022-02-15 02:31:44 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-15 02:40:31 +0100 | telser | (~AdminUser@user/telser) (Quit: No Ping reply in 180 seconds.) |
| 2022-02-15 02:41:45 +0100 | telser | (~AdminUser@user/telser) |
| 2022-02-15 02:43:14 +0100 | femboid | (~femboid@31.6.9.246) |
| 2022-02-15 02:48:23 +0100 | texasmynsted | (~texasmyns@99.96.221.112) (WeeChat 3.4) |
| 2022-02-15 02:51:09 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-02-15 02:53:54 +0100 | qwedfg | (~qwedfg@user/qwedfg) (Remote host closed the connection) |
| 2022-02-15 02:55:15 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-02-15 02:55:15 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-02-15 02:55:15 +0100 | finn_elija | FinnElija |
| 2022-02-15 02:55:21 +0100 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-02-15 02:55:42 +0100 | lottaquestions | (~nick@2607:fa49:5041:a200:b555:2e8f:fe4f:2e3d) |
| 2022-02-15 02:59:47 +0100 | femboid | (~femboid@31.6.9.246) (Quit: Ping timeout (120 seconds)) |
| 2022-02-15 02:59:48 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2022-02-15 03:00:23 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-02-15 03:06:33 +0100 | neurocyte0917090 | (~neurocyte@user/neurocyte) (Ping timeout: 252 seconds) |
| 2022-02-15 03:08:19 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout)) |
| 2022-02-15 03:08:56 +0100 | xsperry | (~xs@user/xsperry) (Remote host closed the connection) |
| 2022-02-15 03:10:23 +0100 | vysn | (~vysn@user/vysn) |
| 2022-02-15 03:11:01 +0100 | afidegnum | (~afidegnum@102.176.94.184) |
| 2022-02-15 03:11:20 +0100 | <afidegnum> | how do i configure the haskell interpreter on https://pasteboard.co/62B9DqobWJNe.png ? |
| 2022-02-15 03:13:29 +0100 | femboid | (~femboid@31.6.9.246) |
| 2022-02-15 03:14:16 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-02-15 03:17:57 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 2022-02-15 03:21:06 +0100 | femboid | (~femboid@31.6.9.246) (Quit: Ping timeout (120 seconds)) |
| 2022-02-15 03:21:13 +0100 | afidegnum | (~afidegnum@102.176.94.184) (Quit: leaving) |
| 2022-02-15 03:22:36 +0100 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) (Ping timeout: 240 seconds) |
| 2022-02-15 03:25:37 +0100 | cynomys | (~cynomys@user/cynomys) (Quit: Lost terminal) |
| 2022-02-15 03:35:58 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2022-02-15 03:36:05 +0100 | femboid | (~femboid@31.6.9.246) |
| 2022-02-15 03:38:27 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-15 03:40:41 +0100 | telser | (~AdminUser@user/telser) (Quit: No Ping reply in 180 seconds.) |
| 2022-02-15 03:41:01 +0100 | cyphase | (~cyphase@user/cyphase) |
| 2022-02-15 03:41:57 +0100 | telser | (~AdminUser@user/telser) |
| 2022-02-15 03:41:58 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-15 03:42:04 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds) |
| 2022-02-15 03:44:12 +0100 | jlamothe | (~jlamothe@198.251.61.229) (Ping timeout: 240 seconds) |
| 2022-02-15 03:46:17 +0100 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) |
| 2022-02-15 03:48:52 +0100 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) (Remote host closed the connection) |
| 2022-02-15 03:49:06 +0100 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) |
| 2022-02-15 03:50:34 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-15 03:53:00 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-02-15 03:54:25 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-02-15 03:54:25 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-02-15 03:54:25 +0100 | finn_elija | FinnElija |
| 2022-02-15 03:56:03 +0100 | xff0x | (~xff0x@2001:1a81:52c4:8c00:a51c:6f1b:e868:ffc) (Ping timeout: 252 seconds) |
| 2022-02-15 03:56:12 +0100 | ix | (~ix@2a02:8010:674f:0:cda6:d05:f0d7:4922) (Ping timeout: 240 seconds) |
| 2022-02-15 03:56:43 +0100 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) |
| 2022-02-15 03:57:13 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-15 03:57:56 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-15 03:58:07 +0100 | xff0x | (~xff0x@2001:1a81:53dd:d400:55aa:6c11:c98:ce99) |
| 2022-02-15 04:01:03 +0100 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) (Read error: Connection reset by peer) |
| 2022-02-15 04:01:24 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-02-15 04:03:02 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-15 04:03:04 +0100 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 2022-02-15 04:03:26 +0100 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Quit: Leaving) |
| 2022-02-15 04:07:21 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Quit: Leaving) |
| 2022-02-15 04:11:27 +0100 | mbuf | (~Shakthi@117.96.195.201) |
| 2022-02-15 04:19:39 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 2022-02-15 04:24:21 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-15 04:26:37 +0100 | k8yun | (~k8yun@user/k8yun) |
| 2022-02-15 04:28:18 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-15 04:28:18 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-15 04:28:18 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-15 04:28:48 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 04:29:55 +0100 | td_ | (~td@muedsl-82-207-238-184.citykom.de) (Ping timeout: 256 seconds) |
| 2022-02-15 04:31:50 +0100 | td_ | (~td@94.134.91.25) |
| 2022-02-15 04:32:54 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-02-15 04:33:00 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-15 04:33:22 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-15 04:33:33 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-15 04:33:33 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-15 04:33:33 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-15 04:33:37 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-15 04:33:44 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-15 04:36:02 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-02-15 04:40:05 +0100 | femboid | (~femboid@31.6.9.246) (Quit: Ping timeout (120 seconds)) |
| 2022-02-15 04:40:31 +0100 | femboid | (~femboid@31.6.9.246) |
| 2022-02-15 04:40:51 +0100 | telser | (~AdminUser@user/telser) (Quit: No Ping reply in 180 seconds.) |
| 2022-02-15 04:42:06 +0100 | telser | (~AdminUser@user/telser) |
| 2022-02-15 04:46:47 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-02-15 04:47:18 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 04:49:24 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-02-15 04:51:45 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds) |
| 2022-02-15 04:55:24 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2022-02-15 04:55:58 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-02-15 04:56:56 +0100 | nunggu_ | (~q@user/nunggu) (Ping timeout: 240 seconds) |
| 2022-02-15 05:00:26 +0100 | nunggu_ | (~q@user/nunggu) |
| 2022-02-15 05:02:12 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-02-15 05:02:42 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-02-15 05:04:16 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-15 05:05:08 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-02-15 05:08:39 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2022-02-15 05:13:53 +0100 | [_] | [itchyjunk] |
| 2022-02-15 05:14:59 +0100 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2022-02-15 05:16:45 +0100 | Topsi1 | (~Tobias@dyndsl-091-249-082-220.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-02-15 05:19:20 +0100 | femboid | (~femboid@31.6.9.246) (Quit: Ping timeout (120 seconds)) |
| 2022-02-15 05:21:27 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-02-15 05:21:29 +0100 | gaff | (~gaff@49.207.221.11) |
| 2022-02-15 05:26:10 +0100 | gaff | (~gaff@49.207.221.11) (Ping timeout: 272 seconds) |
| 2022-02-15 05:27:24 +0100 | xff0x | (~xff0x@2001:1a81:53dd:d400:55aa:6c11:c98:ce99) (Ping timeout: 240 seconds) |
| 2022-02-15 05:27:36 +0100 | cjb | (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 29.0.50) |
| 2022-02-15 05:27:43 +0100 | zaquest | (~notzaques@5.130.79.72) |
| 2022-02-15 05:28:18 +0100 | xff0x | (~xff0x@2001:1a81:53dd:d400:4619:fbb5:b364:48b6) |
| 2022-02-15 05:32:36 +0100 | yauhsien_ | (~Yau-Hsien@61-231-32-166.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 2022-02-15 05:33:09 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-02-15 05:40:10 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 05:41:01 +0100 | telser | (~AdminUser@user/telser) (Quit: No Ping reply in 180 seconds.) |
| 2022-02-15 05:42:16 +0100 | telser | (~AdminUser@user/telser) |
| 2022-02-15 05:44:04 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-15 05:44:36 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-15 05:45:04 +0100 | YukiSou | (~YukiSou@116.6.232.251) (Quit: Client closed) |
| 2022-02-15 05:45:57 +0100 | femboid | (~femboid@31.6.9.246) |
| 2022-02-15 05:48:52 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-02-15 05:49:01 +0100 | telser | (~AdminUser@user/telser) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-02-15 05:52:38 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-15 05:55:36 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-15 05:57:36 +0100 | hueso | (~root@user/hueso) (Ping timeout: 252 seconds) |
| 2022-02-15 05:58:40 +0100 | coot | (~coot@213.134.190.95) |
| 2022-02-15 06:00:23 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2022-02-15 06:00:34 +0100 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) (Quit: Leaving...) |
| 2022-02-15 06:07:42 +0100 | femboid | (~femboid@31.6.9.246) (Ping timeout: 256 seconds) |
| 2022-02-15 06:08:24 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-15 06:08:47 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:4084:84c5:95c2:a194) (Remote host closed the connection) |
| 2022-02-15 06:10:39 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-02-15 06:11:58 +0100 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-02-15 06:13:00 +0100 | lagash | (lagash@lagash.shelltalk.net) (Ping timeout: 252 seconds) |
| 2022-02-15 06:13:37 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 256 seconds) |
| 2022-02-15 06:13:55 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 06:13:59 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2022-02-15 06:14:13 +0100 | k8yun | (~k8yun@user/k8yun) |
| 2022-02-15 06:16:28 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Remote host closed the connection) |
| 2022-02-15 06:16:38 +0100 | rusrushal13 | (~rusrushal@103.85.18.34) |
| 2022-02-15 06:16:47 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-02-15 06:18:12 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-15 06:26:38 +0100 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-02-15 06:29:38 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-02-15 06:31:01 +0100 | swistak | (~swistak@185.21.216.141) |
| 2022-02-15 06:35:18 +0100 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2022-02-15 06:37:09 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-02-15 06:41:55 +0100 | gaff | (~gaff@49.207.218.11) |
| 2022-02-15 06:42:26 +0100 | myme | (~myme@2a01:799:d5a:cd00:4746:bc4e:ee58:44d9) (Ping timeout: 245 seconds) |
| 2022-02-15 06:43:26 +0100 | myme | (~myme@2a01:799:d5a:cd00:9ae3:d451:a989:e1e9) |
| 2022-02-15 06:46:12 +0100 | gaff | (~gaff@49.207.218.11) (Ping timeout: 240 seconds) |
| 2022-02-15 06:48:15 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 06:50:49 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-15 06:51:27 +0100 | mvk | (~mvk@2607:fea8:5cdc:bf00::99e7) |
| 2022-02-15 06:51:33 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-15 06:52:36 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-15 06:53:08 +0100 | deadmarshal | (~deadmarsh@95.38.117.142) |
| 2022-02-15 06:57:28 +0100 | gaff | (~gaff@49.207.218.11) |
| 2022-02-15 07:00:15 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2022-02-15 07:01:41 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2022-02-15 07:01:49 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 07:11:13 +0100 | mikail_ | (~mikail@94.3.253.161) |
| 2022-02-15 07:11:29 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 07:14:03 +0100 | mikail | (~mikail@2a02:c7f:bd03:2c00:df97:6ebf:5b0b:7304) (Ping timeout: 252 seconds) |
| 2022-02-15 07:16:24 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-02-15 07:29:10 +0100 | yauhsien | (~Yau-Hsien@61-231-32-166.dynamic-ip.hinet.net) |
| 2022-02-15 07:29:46 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 07:34:12 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-15 07:35:06 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 07:35:38 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-15 07:38:13 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-15 07:40:24 +0100 | whound | (~dust@2409:4071:4d8d:7b21:2586:8c37:2856:667a) |
| 2022-02-15 07:40:26 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2022-02-15 07:41:13 +0100 | hololeap | (~hololeap@user/hololeap) (Excess Flood) |
| 2022-02-15 07:41:16 +0100 | drdo | (~drdo@roach0.drdo.eu) (Quit: Ping timeout (120 seconds)) |
| 2022-02-15 07:42:40 +0100 | hololeap | (~hololeap@user/hololeap) |
| 2022-02-15 07:44:41 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 07:45:29 +0100 | off^ | (~off@50.235.176.163) |
| 2022-02-15 07:48:56 +0100 | nunggu_ | (~q@user/nunggu) (Ping timeout: 240 seconds) |
| 2022-02-15 07:50:21 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 252 seconds) |
| 2022-02-15 07:51:27 +0100 | nunggu_ | (~q@user/nunggu) |
| 2022-02-15 07:53:13 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-15 07:59:47 +0100 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) |
| 2022-02-15 08:01:20 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-15 08:01:59 +0100 | <capo_greco> | Hello! I have a beginner question |
| 2022-02-15 08:02:23 +0100 | <capo_greco> | according to Hoogle, shear is part of the Data.List.HT package |
| 2022-02-15 08:02:54 +0100 | <capo_greco> | I am already using some functions from Data.List |
| 2022-02-15 08:03:25 +0100 | <capo_greco> | `import Data.List.HT (shear)` doesn't seem to work |
| 2022-02-15 08:03:58 +0100 | <capo_greco> | I feel like I am missing something rudimentary |
| 2022-02-15 08:05:38 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-15 08:05:48 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2022-02-15 08:10:36 +0100 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2022-02-15 08:12:53 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2022-02-15 08:15:53 +0100 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) |
| 2022-02-15 08:15:53 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-15 08:16:19 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-02-15 08:16:44 +0100 | michalz | (~michalz@185.246.204.93) |
| 2022-02-15 08:16:58 +0100 | <jackdk> | capo_greco: the Data.List.HT module is provided by the `utility-ht` package |
| 2022-02-15 08:17:01 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-15 08:17:35 +0100 | <jackdk> | capo_greco: (this is what the `utility-ht` written in unlabelled tiny green text on the hoogle results means) |
| 2022-02-15 08:17:48 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2022-02-15 08:17:52 +0100 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) |
| 2022-02-15 08:18:08 +0100 | <jackdk> | capo_greco: how have you set up your haskell project? you will need to add `utility-ht` to `build-depends:` in your cabal file or `package.yaml` |
| 2022-02-15 08:20:25 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-15 08:23:14 +0100 | gurkenglas | (~gurkengla@dslb-188-096-121-068.188.096.pools.vodafone-ip.de) |
| 2022-02-15 08:25:00 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 08:25:49 +0100 | raym | (~raym@user/raym) (Quit: kernel update, rebooting...) |
| 2022-02-15 08:27:12 +0100 | deadmarshal | (~deadmarsh@95.38.117.142) (Ping timeout: 252 seconds) |
| 2022-02-15 08:28:31 +0100 | <capo_greco> | using stack for this project |
| 2022-02-15 08:28:36 +0100 | whound | (~dust@2409:4071:4d8d:7b21:2586:8c37:2856:667a) (Ping timeout: 240 seconds) |
| 2022-02-15 08:31:21 +0100 | raym | (~raym@user/raym) |
| 2022-02-15 08:31:21 +0100 | <capo_greco> | dependencies: |
| 2022-02-15 08:31:21 +0100 | <capo_greco> | - base >= 4.7 && < 5 |
| 2022-02-15 08:31:21 +0100 | <capo_greco> | - utility-ht |
| 2022-02-15 08:31:43 +0100 | <capo_greco> | under `dependencies`, as per ^ ? |
| 2022-02-15 08:34:35 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 08:35:25 +0100 | <jackdk> | if that's what hpack calls it, then I think so? |
| 2022-02-15 08:35:31 +0100 | <jackdk> | (I don't use stack, sorry) |
| 2022-02-15 08:36:49 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-02-15 08:37:22 +0100 | fendor | (~fendor@91.141.60.250.wireless.dyn.drei.com) |
| 2022-02-15 08:39:06 +0100 | whound | (~dust@2409:4071:4d8d:7b21:2586:8c37:2856:667a) |
| 2022-02-15 08:39:12 +0100 | mbuf | (~Shakthi@117.96.195.201) (Quit: Leaving) |
| 2022-02-15 08:39:15 +0100 | adam1 | (~adam@2001-b011-4007-283f-8c1c-5c42-5289-7882.dynamic-ip6.hinet.net) |
| 2022-02-15 08:41:49 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-15 08:41:57 +0100 | <capo_greco> | yup! dependencies worked. many thanks! @jackdk |
| 2022-02-15 08:42:29 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-15 08:44:25 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-15 08:44:51 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-15 08:50:16 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 08:51:16 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-02-15 08:53:07 +0100 | coot | (~coot@213.134.190.95) |
| 2022-02-15 08:54:51 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds) |
| 2022-02-15 08:57:28 +0100 | alp | (~alp@user/alp) |
| 2022-02-15 08:59:48 +0100 | gurkenglas | (~gurkengla@dslb-188-096-121-068.188.096.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2022-02-15 09:00:29 +0100 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) |
| 2022-02-15 09:00:49 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2022-02-15 09:02:47 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-02-15 09:03:37 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a86e:f918:f8cf:38c0) |
| 2022-02-15 09:08:57 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 09:09:36 +0100 | chele | (~chele@user/chele) |
| 2022-02-15 09:11:49 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-15 09:12:33 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-15 09:16:51 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-02-15 09:17:51 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7443:3f57:453b:e0ec) |
| 2022-02-15 09:22:05 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-02-15 09:24:12 +0100 | acidjnk | (~acidjnk@p200300d0c7057500a04355ceabfe8d47.dip0.t-ipconnect.de) |
| 2022-02-15 09:27:53 +0100 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-02-15 09:31:23 +0100 | ubert | (~Thunderbi@p548c8cd6.dip0.t-ipconnect.de) |
| 2022-02-15 09:32:26 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-15 09:33:20 +0100 | deadmarshal | (~deadmarsh@95.38.117.142) |
| 2022-02-15 09:34:12 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-15 09:37:01 +0100 | dextaa_ | (~dextaa@cpc142174-lewi20-2-0-cust34.2-4.cable.virginm.net) (Quit: leaving) |
| 2022-02-15 09:37:04 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-02-15 09:37:24 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-02-15 09:37:24 +0100 | whound | (~dust@2409:4071:4d8d:7b21:2586:8c37:2856:667a) (Ping timeout: 240 seconds) |
| 2022-02-15 09:38:19 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7443:3f57:453b:e0ec) (Remote host closed the connection) |
| 2022-02-15 09:39:57 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-15 09:39:57 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-15 09:39:57 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-15 09:39:57 +0100 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds) |
| 2022-02-15 09:40:59 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 09:41:34 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-02-15 09:41:56 +0100 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2022-02-15 09:42:04 +0100 | jgeerds_ | (~jgeerds@55d4b9df.access.ecotel.net) |
| 2022-02-15 09:44:23 +0100 | jgeerds_ | (~jgeerds@55d4b9df.access.ecotel.net) (Remote host closed the connection) |
| 2022-02-15 09:44:35 +0100 | jgeerds_ | (~jgeerds@55d4b9df.access.ecotel.net) |
| 2022-02-15 09:44:36 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-02-15 09:46:57 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-15 09:47:41 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-15 09:48:05 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-02-15 09:48:38 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-02-15 09:48:57 +0100 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-02-15 09:54:37 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-15 09:56:08 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-15 09:57:38 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 09:58:55 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-02-15 10:00:13 +0100 | Morrow[m] | (~morrowmma@2001:470:69fc:105::1d0) (Quit: You have been kicked for being idle) |
| 2022-02-15 10:00:22 +0100 | max22- | (~maxime@2a01cb08833598008f1709df66707174.ipv6.abo.wanadoo.fr) |
| 2022-02-15 10:00:42 +0100 | mikail_ | (~mikail@94.3.253.161) (Ping timeout: 252 seconds) |
| 2022-02-15 10:00:49 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-15 10:01:08 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-15 10:02:01 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds) |
| 2022-02-15 10:05:25 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-15 10:06:31 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-15 10:06:39 +0100 | gurkenglas | (~gurkengla@dslb-188-096-121-068.188.096.pools.vodafone-ip.de) |
| 2022-02-15 10:07:18 +0100 | jgeerds_ | (~jgeerds@55d4b9df.access.ecotel.net) (Ping timeout: 252 seconds) |
| 2022-02-15 10:07:50 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-02-15 10:09:01 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-02-15 10:13:26 +0100 | adam1 | (~adam@2001-b011-4007-283f-8c1c-5c42-5289-7882.dynamic-ip6.hinet.net) (Quit: WeeChat 3.4) |
| 2022-02-15 10:13:37 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-02-15 10:16:06 +0100 | <phma> | I've defined a function "add7 a b c" which is a full adder of the digits 0 to 6. I just wrote a unit test. How do I write a Tasty.QuickCheck test that (add7 a b c) == (add7 b c a), with a,b,c less than 7? |
| 2022-02-15 10:17:43 +0100 | mikail | (~mikail@2a02:c7f:bd03:2c00:df97:6ebf:5b0b:7304) |
| 2022-02-15 10:18:30 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Read error: Connection reset by peer) |
| 2022-02-15 10:18:30 +0100 | raoul | (~raoul@95.179.203.88) (Quit: Ping timeout (120 seconds)) |
| 2022-02-15 10:18:30 +0100 | SoF | (~skius@user/skius) (Quit: Ping timeout (120 seconds)) |
| 2022-02-15 10:18:38 +0100 | raoul8 | (~raoul@95.179.203.88) |
| 2022-02-15 10:18:50 +0100 | m5zs7k_ | (aquares@web10.mydevil.net) |
| 2022-02-15 10:18:56 +0100 | SoF | (~skius@user/skius) |
| 2022-02-15 10:19:50 +0100 | ubert | (~Thunderbi@p548c8cd6.dip0.t-ipconnect.de) (Quit: ubert) |
| 2022-02-15 10:22:42 +0100 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) (Ping timeout: 252 seconds) |
| 2022-02-15 10:23:05 +0100 | chele | (~chele@user/chele) |
| 2022-02-15 10:24:43 +0100 | MajorBiscuit | (~MajorBisc@c-001-001-032.client.tudelft.eduvpn.nl) |
| 2022-02-15 10:26:17 +0100 | ix | (~ix@82-71-2-184.dsl.in-addr.zen.co.uk) |
| 2022-02-15 10:27:46 +0100 | m5zs7k_ | m5zs7k |
| 2022-02-15 10:28:56 +0100 | <jackdk> | phma: you will need to construct a generator which generates values in teh range [0..6], look at `chooseInt`. Then use that generator to make a generator for triples (the tools in `Control.Applicative` will help). Then use `forAll` with your generator to construct a `Property` and use `Test.Tasty.QuickCheck.testProperty` to turn it into a `TestTree` |
| 2022-02-15 10:32:30 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-15 10:33:21 +0100 | ix | (~ix@82-71-2-184.dsl.in-addr.zen.co.uk) (Ping timeout: 272 seconds) |
| 2022-02-15 10:33:21 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-15 10:34:04 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-15 10:34:15 +0100 | ix | (~ix@82-71-2-184.dsl.in-addr.zen.co.uk) |
| 2022-02-15 10:37:00 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2022-02-15 10:38:42 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7443:3f57:453b:e0ec) |
| 2022-02-15 10:41:55 +0100 | ardell | (~ardell@user/ardell) |
| 2022-02-15 10:43:00 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7443:3f57:453b:e0ec) (Ping timeout: 240 seconds) |
| 2022-02-15 10:45:32 +0100 | <cheater> | hi |
| 2022-02-15 10:46:03 +0100 | <cheater> | are there currently any good gui solutions for windows? preferably also able to display some sort of interactable 3D graphics within a rectangle? |
| 2022-02-15 10:47:33 +0100 | <phma> | jackdk: I'm new to Haskell. I found chooseInt, but am not sure how to use it. Here's the test I've already written: |
| 2022-02-15 10:47:41 +0100 | <jackdk> | @where paste |
| 2022-02-15 10:47:41 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2022-02-15 10:48:16 +0100 | <jackdk> | just in case you're new to IRC too, use that link (or a GH gist) to share code or error messages |
| 2022-02-15 10:49:21 +0100 | <phma> | https://paste.tomsmeding.com/GKHjBRIM |
| 2022-02-15 10:50:57 +0100 | whound | (~dust@2409:4071:4d8d:7b21:2586:8c37:2856:667a) |
| 2022-02-15 10:53:00 +0100 | drdo | (~drdo@roach0.drdo.eu) (Ping timeout: 240 seconds) |
| 2022-02-15 10:54:44 +0100 | gaff | (~gaff@49.207.218.11) (Remote host closed the connection) |
| 2022-02-15 10:57:54 +0100 | mikail | (~mikail@2a02:c7f:bd03:2c00:df97:6ebf:5b0b:7304) (Ping timeout: 252 seconds) |
| 2022-02-15 10:58:03 +0100 | <jackdk> | phma: okay, if you're used to writing properties in that style, I suggest the following plan: define a newtype wrapper (around Int, I guess) which has an Arbitrary instance that generates numbers in the reduced range, and then write your property test as a function like the one in your pastebin |
| 2022-02-15 10:58:10 +0100 | <jackdk> | have you seen newtypes before? |
| 2022-02-15 10:58:33 +0100 | ubert | (~Thunderbi@2a02:8109:9880:303c:bca8:d0f:7008:eb61) |
| 2022-02-15 11:00:54 +0100 | <phma> | I'm not used to anything. I found an example written like that. How else can they be written? |
| 2022-02-15 11:02:46 +0100 | <phma> | I copied the tests from https://hackage.haskell.org/package/tasty-1.1/src/README.md and modified them. |
| 2022-02-15 11:05:01 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-02-15 11:06:48 +0100 | cosimone | (~user@93-44-187-99.ip98.fastwebnet.it) |
| 2022-02-15 11:10:11 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 11:13:24 +0100 | ix | (~ix@82-71-2-184.dsl.in-addr.zen.co.uk) (Ping timeout: 240 seconds) |
| 2022-02-15 11:14:36 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-02-15 11:15:18 +0100 | <jackdk> | phma: This is how I would try to do it, but I haven't used QuickCheck very much https://www.irccloud.com/pastebin/bkUnHAwg/ZeroToSix.hs |
| 2022-02-15 11:16:30 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c58b:31b1:c12f:8193) |
| 2022-02-15 11:18:38 +0100 | ix | (~ix@82-71-2-184.dsl.in-addr.zen.co.uk) |
| 2022-02-15 11:19:31 +0100 | ardell | (~ardell@user/ardell) (Quit: Konversation terminated!) |
| 2022-02-15 11:19:45 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 11:20:36 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c58b:31b1:c12f:8193) (Ping timeout: 240 seconds) |
| 2022-02-15 11:21:43 +0100 | <gurkenglas> | phma, "(checked by QuickCheck)" sounds redundant - everything that involves "QC.testProperty" is checked by QuickCheck, right? |
| 2022-02-15 11:22:12 +0100 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 240 seconds) |
| 2022-02-15 11:25:23 +0100 | <jackdk> | it's a label for a tasty testgroup, and you can make testgroups using tasty-hunit, tasty-hedgehog, tasty-hspec... |
| 2022-02-15 11:27:02 +0100 | <gurkenglas> | Oh I see, QC is not QuickCheck itself but tasty's interface to it :) |
| 2022-02-15 11:27:27 +0100 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) |
| 2022-02-15 11:27:35 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:2522:8e77:48b4:28a1) |
| 2022-02-15 11:27:37 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2022-02-15 11:30:15 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-02-15 11:31:48 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:2522:8e77:48b4:28a1) (Ping timeout: 240 seconds) |
| 2022-02-15 11:36:52 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 11:37:10 +0100 | <gurkenglas> | I would have fed quickcheck "\a b c -> any (\x->x<0||x>=7) || f a b c == f b c a", but it doesn't try to hit all the branches, does it? |
| 2022-02-15 11:37:59 +0100 | <jackdk> | I wrote a new generator because "generate, then filter" can give you really slow tests because it has to reroll a lot |
| 2022-02-15 11:38:18 +0100 | <jackdk> | I think John Hughes talks about it in https://www.youtube.com/watch?v=NcJOiQlzlXQ |
| 2022-02-15 11:41:24 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-15 11:42:33 +0100 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) (Read error: Connection reset by peer) |
| 2022-02-15 11:44:46 +0100 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) |
| 2022-02-15 11:44:51 +0100 | <phma> | jackdk: Thanks! I don't think "shrink" is needed, there are only 343 possibilities. |
| 2022-02-15 11:44:53 +0100 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2022-02-15 11:44:55 +0100 | ix | (~ix@82-71-2-184.dsl.in-addr.zen.co.uk) (Ping timeout: 272 seconds) |
| 2022-02-15 11:45:33 +0100 | foul_owl | (~kerry@207.244.125.36) (Ping timeout: 272 seconds) |
| 2022-02-15 11:46:12 +0100 | ix | (~ix@82-71-2-184.dsl.in-addr.zen.co.uk) |
| 2022-02-15 11:46:44 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-15 11:48:04 +0100 | cheater | (~Username@user/cheater) |
| 2022-02-15 11:48:17 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 240 seconds) |
| 2022-02-15 11:49:20 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-02-15 11:51:48 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a86e:f918:f8cf:38c0) (Ping timeout: 252 seconds) |
| 2022-02-15 11:55:05 +0100 | michalz | (~michalz@185.246.204.93) (Read error: Connection reset by peer) |
| 2022-02-15 11:55:05 +0100 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) (Remote host closed the connection) |
| 2022-02-15 11:55:21 +0100 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) |
| 2022-02-15 11:55:24 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-02-15 11:55:29 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8978:c9ec:3b56:b4e9) |
| 2022-02-15 11:55:30 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-02-15 11:55:40 +0100 | michalz | (~michalz@185.246.204.93) |
| 2022-02-15 11:56:48 +0100 | <gurkenglas> | ah, forAll (replicateM 3 $ choose (0,6)) $ \[a,b,c] -> f a b c === f b a c |
| 2022-02-15 11:59:29 +0100 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2022-02-15 11:59:48 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8978:c9ec:3b56:b4e9) (Ping timeout: 240 seconds) |
| 2022-02-15 12:00:41 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-02-15 12:02:00 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2022-02-15 12:03:28 +0100 | fendor | (~fendor@91.141.60.250.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-02-15 12:06:29 +0100 | ix | (~ix@82-71-2-184.dsl.in-addr.zen.co.uk) (Quit: WeeChat 3.4) |
| 2022-02-15 12:06:38 +0100 | ix | (~ix@2a02:8010:674f:0:cda6:d05:f0d7:4922) |
| 2022-02-15 12:06:42 +0100 | ix | (~ix@2a02:8010:674f:0:cda6:d05:f0d7:4922) (Remote host closed the connection) |
| 2022-02-15 12:06:50 +0100 | ix | (~ix@2a02:8010:674f:0:2e0:4cff:fe67:ba) |
| 2022-02-15 12:06:54 +0100 | ix | (~ix@2a02:8010:674f:0:2e0:4cff:fe67:ba) (Remote host closed the connection) |
| 2022-02-15 12:07:02 +0100 | ix | (~ix@2a02:8010:674f:0:2e0:4cff:fe67:ba) |
| 2022-02-15 12:07:08 +0100 | ix | (~ix@2a02:8010:674f:0:2e0:4cff:fe67:ba) (Remote host closed the connection) |
| 2022-02-15 12:07:16 +0100 | ix | (~ix@2a02:8010:674f:0:2e0:4cff:fe67:ba) |
| 2022-02-15 12:10:46 +0100 | foul_owl | (~kerry@207.244.125.36) |
| 2022-02-15 12:12:09 +0100 | ix | (~ix@2a02:8010:674f:0:2e0:4cff:fe67:ba) (Ping timeout: 252 seconds) |
| 2022-02-15 12:13:28 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 12:18:36 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-02-15 12:18:57 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.4) |
| 2022-02-15 12:19:07 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 12:19:10 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-02-15 12:19:18 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 12:19:24 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 240 seconds) |
| 2022-02-15 12:19:59 +0100 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) |
| 2022-02-15 12:20:19 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-15 12:22:02 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-15 12:24:43 +0100 | jeremyn | (~jeremyn@098-147-212-046.res.spectrum.com) |
| 2022-02-15 12:25:01 +0100 | jeremyn_ | (~jeremyn@098-147-212-046.res.spectrum.com) |
| 2022-02-15 12:25:49 +0100 | <jeremyn_> | Hey, is there any way to call a local C library function in Template Haskell? |
| 2022-02-15 12:26:52 +0100 | <jeremyn_> | I'm getting an undefined symbol error |
| 2022-02-15 12:31:49 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-15 12:32:37 +0100 | whound | (~dust@2409:4071:4d8d:7b21:2586:8c37:2856:667a) (Quit: Konversation terminated!) |
| 2022-02-15 12:34:33 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 250 seconds) |
| 2022-02-15 12:35:34 +0100 | <dminuoso> | Linkage during TH sounds like a fun nightmare |
| 2022-02-15 12:37:25 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-15 12:37:25 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-15 12:37:25 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-15 12:38:09 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.4) |
| 2022-02-15 12:41:29 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 12:42:24 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-02-15 12:43:24 +0100 | fendor | (~fendor@77.119.209.21.wireless.dyn.drei.com) |
| 2022-02-15 12:49:38 +0100 | cynomys | (~cynomys@user/cynomys) (Quit: Lost terminal) |
| 2022-02-15 12:51:12 +0100 | cosimone | (~user@93-44-187-99.ip98.fastwebnet.it) (Ping timeout: 252 seconds) |
| 2022-02-15 12:51:15 +0100 | <romesrf> | ahah |
| 2022-02-15 12:51:40 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 12:52:50 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-02-15 12:53:15 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-15 12:55:28 +0100 | <jeremyn_> | :( lol |
| 2022-02-15 12:55:56 +0100 | <jeremyn_> | I want to compile some information about a Vulkan pipeline statically |
| 2022-02-15 12:56:13 +0100 | <jeremyn_> | Maybe it doesn't make sense to do so now that I think about it though |
| 2022-02-15 13:01:15 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 13:01:31 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-02-15 13:02:11 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-15 13:03:45 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:5f01:5e57:4ded:3d7c) |
| 2022-02-15 13:07:48 +0100 | gaff | (~gaff@49.207.195.156) |
| 2022-02-15 13:07:53 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2022-02-15 13:08:43 +0100 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-02-15 13:14:02 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2022-02-15 13:15:47 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-02-15 13:19:43 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 13:20:34 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-15 13:23:46 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-02-15 13:24:23 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds) |
| 2022-02-15 13:28:09 +0100 | ubert | (~Thunderbi@2a02:8109:9880:303c:bca8:d0f:7008:eb61) (Remote host closed the connection) |
| 2022-02-15 13:28:28 +0100 | ubert | (~Thunderbi@2a02:8109:9880:303c:bca8:d0f:7008:eb61) |
| 2022-02-15 13:31:38 +0100 | Cajun | (~Cajun@user/cajun) |
| 2022-02-15 13:31:54 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds) |
| 2022-02-15 13:32:24 +0100 | ubert | (~Thunderbi@2a02:8109:9880:303c:bca8:d0f:7008:eb61) (Client Quit) |
| 2022-02-15 13:32:35 +0100 | ubert | (~Thunderbi@2a02:8109:9880:303c:bca8:d0f:7008:eb61) |
| 2022-02-15 13:33:05 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 2022-02-15 13:33:35 +0100 | ubert | (~Thunderbi@2a02:8109:9880:303c:bca8:d0f:7008:eb61) (Remote host closed the connection) |
| 2022-02-15 13:33:56 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-15 13:34:55 +0100 | jeremyn_ | (~jeremyn@098-147-212-046.res.spectrum.com) (Quit: Leaving) |
| 2022-02-15 13:34:55 +0100 | jeremyn | (~jeremyn@098-147-212-046.res.spectrum.com) (Quit: Leaving) |
| 2022-02-15 13:35:31 +0100 | ubert | (~Thunderbi@2a02:8109:9880:303c:df39:5895:e6dd:94da) |
| 2022-02-15 13:35:49 +0100 | <romesrf> | hello! |
| 2022-02-15 13:35:57 +0100 | <romesrf> | can someone help me interpret the following error |
| 2022-02-15 13:36:00 +0100 | <romesrf> | type Chat a = forall a. ChatBotMessage a => ReaderT (ReplyMessageState a) IO |
| 2022-02-15 13:36:35 +0100 | vysn | (~vysn@user/vysn) |
| 2022-02-15 13:36:43 +0100 | <romesrf> | Expecting one more argument to ‘ReaderT (ReplyMessageState a) IO’ | |
| 2022-02-15 13:36:44 +0100 | <romesrf> | 3 | Expected a type, but | |
| 2022-02-15 13:36:46 +0100 | <romesrf> | 4 | ‘ReaderT (ReplyMessageState a) IO’ has kind | |
| 2022-02-15 13:36:48 +0100 | <romesrf> | 5 | ‘* -> *’ |
| 2022-02-15 13:37:00 +0100 | rtsn | (~nstr@user/rtsn) |
| 2022-02-15 13:37:16 +0100 | <romesrf> | I want the type synonym to have kind * -> * |
| 2022-02-15 13:37:31 +0100 | <romesrf> | but upon adding the constraint I get this error |
| 2022-02-15 13:37:54 +0100 | <hpc> | are you expecting to partially apply that synonym later? |
| 2022-02-15 13:37:56 +0100 | <romesrf> | yes |
| 2022-02-15 13:38:08 +0100 | <hpc> | :( that rules out "type Chat a b = .... b" then |
| 2022-02-15 13:38:13 +0100 | <romesrf> | i mean, by the time i apply the synonym it's completely applied |
| 2022-02-15 13:38:27 +0100 | <romesrf> | hpc: yes, exactly |
| 2022-02-15 13:38:28 +0100 | <romesrf> | ahahah |
| 2022-02-15 13:38:46 +0100 | <romesrf> | I want to add the constraint without forcing the second type variable |
| 2022-02-15 13:38:51 +0100 | <hpc> | er, hmm |
| 2022-02-15 13:39:07 +0100 | <romesrf> | i can throw up a minimal example if you'd like |
| 2022-02-15 13:39:07 +0100 | <hpc> | in "Chat a", is "a" a phantom type? |
| 2022-02-15 13:39:20 +0100 | <romesrf> | gimme a sec let me write something simpler |
| 2022-02-15 13:42:21 +0100 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2022-02-15 13:44:43 +0100 | <romesrf> | https://paste.tomsmeding.com/pWixhL3W |
| 2022-02-15 13:44:48 +0100 | <romesrf> | Syn' doesn't typecheck |
| 2022-02-15 13:45:05 +0100 | <romesrf> | hpc: |
| 2022-02-15 13:47:51 +0100 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-02-15 13:50:04 +0100 | <romesrf> | brb |
| 2022-02-15 13:50:06 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 2022-02-15 13:50:31 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-15 13:51:35 +0100 | <romesrf> | back |
| 2022-02-15 13:53:29 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 13:58:11 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds) |
| 2022-02-15 13:59:42 +0100 | notzmv | (~zmv@user/notzmv) |
| 2022-02-15 14:02:05 +0100 | <raehik> | romesrf: I don't think you can partially apply type synonyms. you could try using a newtype instead? |
| 2022-02-15 14:02:18 +0100 | <raehik> | > newtype Syn' a b = Syn' { getSyn :: forall a. Constr a => ReaderT a IO b } |
| 2022-02-15 14:02:19 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘newtype’ |
| 2022-02-15 14:02:47 +0100 | <geekosaur> | you can partially apply as long as they're fully applied at the point of use, with LiberalisedTypeSynonyms |
| 2022-02-15 14:03:01 +0100 | <geekosaur> | need @let for declarations in lambdabot |
| 2022-02-15 14:03:04 +0100 | <raehik> | ohh thanks geekosaur I didn't know that one |
| 2022-02-15 14:03:09 +0100 | <geekosaur> | ">" is just expressions |
| 2022-02-15 14:03:11 +0100 | <romesrf> | raehik: you can partially apply them, just apparently not when you have the constraint |
| 2022-02-15 14:04:17 +0100 | <romesrf> | nd LiberalTypeSynonyms doesn't fix the constraints issue |
| 2022-02-15 14:04:29 +0100 | <romesrf> | meanwhile I've just moved the constraint to a different place |
| 2022-02-15 14:04:42 +0100 | <romesrf> | but it's interesting as to why doesn't it work |
| 2022-02-15 14:09:43 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-15 14:14:16 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-02-15 14:15:37 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2022-02-15 14:17:35 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-02-15 14:18:35 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-15 14:19:29 +0100 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) |
| 2022-02-15 14:21:24 +0100 | max22- | (~maxime@2a01cb08833598008f1709df66707174.ipv6.abo.wanadoo.fr) (Ping timeout: 252 seconds) |
| 2022-02-15 14:21:25 +0100 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) (Read error: Connection reset by peer) |
| 2022-02-15 14:22:21 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-15 14:24:58 +0100 | kayprish | (~kayprish@cable-24-135-254-227.dynamic.sbb.rs) |
| 2022-02-15 14:28:10 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7dbf:9eef:ddfc:d739) |
| 2022-02-15 14:28:15 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 14:32:12 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7dbf:9eef:ddfc:d739) (Ping timeout: 240 seconds) |
| 2022-02-15 14:32:50 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 14:33:05 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 14:33:07 +0100 | chenqisu1 | (~chenqisu1@183.217.200.249) |
| 2022-02-15 14:37:03 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c4e7:84cc:496a:5ba8) |
| 2022-02-15 14:37:13 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-02-15 14:37:21 +0100 | MajorBiscuit | (~MajorBisc@c-001-001-032.client.tudelft.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-02-15 14:37:48 +0100 | chenqisu12 | (~chenqisu1@183.217.200.249) |
| 2022-02-15 14:40:28 +0100 | chenqisu1 | (~chenqisu1@183.217.200.249) (Read error: Connection reset by peer) |
| 2022-02-15 14:41:24 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c4e7:84cc:496a:5ba8) (Ping timeout: 240 seconds) |
| 2022-02-15 14:41:38 +0100 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) |
| 2022-02-15 14:42:21 +0100 | kuribas | (~user@ptr-25vy0i6vww7x1l8ynbn.18120a2.ip6.access.telenet.be) |
| 2022-02-15 14:42:41 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 14:43:31 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-02-15 14:47:20 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3043:922a:3ee:629c) |
| 2022-02-15 14:51:24 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3043:922a:3ee:629c) (Ping timeout: 240 seconds) |
| 2022-02-15 14:59:08 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 14:59:21 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-02-15 15:03:48 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-15 15:08:05 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-15 15:12:21 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 15:12:21 +0100 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 15:15:43 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2022-02-15 15:17:19 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 15:17:33 +0100 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 15:18:58 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-15 15:18:58 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-15 15:18:59 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-15 15:19:57 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:690a:d027:b8ea:dcab) |
| 2022-02-15 15:20:15 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-02-15 15:20:41 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-15 15:21:23 +0100 | zer0bitz_ | (~zer0bitz@2001:2003:f74d:b800:5c57:7f45:b808:8adb) (Ping timeout: 250 seconds) |
| 2022-02-15 15:22:44 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 15:22:44 +0100 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 15:23:22 +0100 | burnside_ | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-15 15:23:46 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-15 15:24:21 +0100 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) |
| 2022-02-15 15:24:51 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:690a:d027:b8ea:dcab) (Ping timeout: 250 seconds) |
| 2022-02-15 15:24:58 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-02-15 15:26:28 +0100 | kuribas | (~user@ptr-25vy0i6vww7x1l8ynbn.18120a2.ip6.access.telenet.be) (Read error: Connection reset by peer) |
| 2022-02-15 15:26:43 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 15:27:55 +0100 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 15:31:27 +0100 | alp | (~alp@user/alp) |
| 2022-02-15 15:32:16 +0100 | kuribas | (~user@ptr-25vy0i6vww7x1l8ynbn.18120a2.ip6.access.telenet.be) |
| 2022-02-15 15:32:43 +0100 | raoul8 | raoul |
| 2022-02-15 15:33:06 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 15:33:07 +0100 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 15:33:49 +0100 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) (Ping timeout: 240 seconds) |
| 2022-02-15 15:34:16 +0100 | max22- | (~maxime@2a01cb0883359800f7b27aee14b4b0ce.ipv6.abo.wanadoo.fr) |
| 2022-02-15 15:35:58 +0100 | MajorBiscuit | (~MajorBisc@c-001-001-032.client.tudelft.eduvpn.nl) |
| 2022-02-15 15:37:12 +0100 | rusrushal13 | (~rusrushal@103.85.18.34) (Ping timeout: 256 seconds) |
| 2022-02-15 15:37:14 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 15:37:30 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:95ea:d1ff:55f2:9ea6) |
| 2022-02-15 15:38:18 +0100 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 15:39:48 +0100 | mvk | (~mvk@2607:fea8:5cdc:bf00::99e7) (Ping timeout: 240 seconds) |
| 2022-02-15 15:40:36 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 252 seconds) |
| 2022-02-15 15:42:08 +0100 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
| 2022-02-15 15:43:29 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 15:43:29 +0100 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 15:45:14 +0100 | zer0bitz_ | (~zer0bitz@2001:2003:f74d:b800:95ea:d1ff:55f2:9ea6) |
| 2022-02-15 15:46:57 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:95ea:d1ff:55f2:9ea6) (Ping timeout: 250 seconds) |
| 2022-02-15 15:48:40 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 15:48:40 +0100 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 15:52:00 +0100 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-02-15 15:53:52 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 15:53:52 +0100 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 15:54:12 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-02-15 15:55:47 +0100 | sss | (~sss@187.83.249.216.dyn.smithville.net) |
| 2022-02-15 15:56:29 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-15 15:59:03 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 15:59:03 +0100 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 16:00:26 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 16:00:27 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-02-15 16:00:35 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 16:00:39 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-02-15 16:00:47 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 16:00:51 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-02-15 16:00:59 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 16:01:03 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-02-15 16:01:11 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 16:01:15 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-02-15 16:01:48 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-02-15 16:04:14 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 16:04:14 +0100 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 16:04:26 +0100 | jlamothe | (~jlamothe@198.251.61.229) |
| 2022-02-15 16:05:35 +0100 | slack1256 | (~slack1256@186.11.97.42) |
| 2022-02-15 16:06:37 +0100 | <romesrf> | can I have existential types in typeclass methods ? |
| 2022-02-15 16:06:56 +0100 | <slack1256> | Is there a binding to the `file` filetype database on hackage? |
| 2022-02-15 16:08:25 +0100 | <sss> | I've got some code with a data type that takes quite a few type arguments, like data Foo a b c d e f .... = Foo { fa :: a, fb :: b, ...}. The problem is that I'm often writing functions that only instantiate a small number of these types, say addB :: (forall a c d e f ...) . Foo a () c d e f ... -> Foo a Int c d e f ... Is there any reasonable way |
| 2022-02-15 16:08:26 +0100 | <sss> | to do something like this without having to write out all of the type arguments every time? (Ideally I'd want e.g. type-level record syntax, but that doesn't seem to be a thing afaik. I could probably get close to this with some type families, but that requires some work every time I add a field to the datatype) |
| 2022-02-15 16:09:26 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 16:09:26 +0100 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 16:09:49 +0100 | <merijn> | slack1256: You probably mean libmagic? |
| 2022-02-15 16:09:52 +0100 | <merijn> | @hackage magic |
| 2022-02-15 16:09:52 +0100 | <lambdabot> | https://hackage.haskell.org/package/magic |
| 2022-02-15 16:10:09 +0100 | <slack1256> | Awesome! |
| 2022-02-15 16:10:15 +0100 | <merijn> | Seems a bit...ancient, though |
| 2022-02-15 16:10:20 +0100 | <merijn> | So YMMV ;) |
| 2022-02-15 16:10:57 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-02-15 16:11:49 +0100 | <slack1256> | I can probably update it. Thanks merijn. |
| 2022-02-15 16:13:27 +0100 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2022-02-15 16:14:05 +0100 | chenqisu12 | (~chenqisu1@183.217.200.249) (Ping timeout: 272 seconds) |
| 2022-02-15 16:14:31 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 16:14:37 +0100 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 16:16:54 +0100 | Cajun | (~Cajun@user/cajun) (Quit: Client closed) |
| 2022-02-15 16:18:42 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 16:19:48 +0100 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 16:22:21 +0100 | haskell_ | (~haskell@65-102-32-32.ptld.qwest.net) |
| 2022-02-15 16:22:44 +0100 | haskell_ | (~haskell@65-102-32-32.ptld.qwest.net) (Remote host closed the connection) |
| 2022-02-15 16:22:57 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 16:24:59 +0100 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 16:25:59 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-02-15 16:29:11 +0100 | gaff | (~gaff@49.207.195.156) (Remote host closed the connection) |
| 2022-02-15 16:30:11 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 16:30:11 +0100 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 16:31:21 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:68e1:d7ca:4ab6:46e) |
| 2022-02-15 16:34:54 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2022-02-15 16:35:24 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:68e1:d7ca:4ab6:46e) (Ping timeout: 240 seconds) |
| 2022-02-15 16:40:33 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-02-15 16:40:56 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-02-15 16:42:45 +0100 | xff0x | (~xff0x@2001:1a81:53dd:d400:4619:fbb5:b364:48b6) (Ping timeout: 252 seconds) |
| 2022-02-15 16:42:56 +0100 | nunggu_ | (~q@user/nunggu) (Ping timeout: 240 seconds) |
| 2022-02-15 16:43:30 +0100 | xff0x | (~xff0x@2001:1a81:53dd:d400:dbd2:febe:ea58:7c1a) |
| 2022-02-15 16:44:06 +0100 | gaff | (~gaff@49.207.195.156) |
| 2022-02-15 16:46:33 +0100 | nunggu_ | (~q@user/nunggu) |
| 2022-02-15 16:46:36 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-02-15 16:48:50 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-15 16:49:42 +0100 | afidegnum | (~afidegnum@102.176.94.134) |
| 2022-02-15 16:51:40 +0100 | <afidegnum> | hi, can you pls guide? I'm trying to build directed graphs made of nodes, but I would like to add a mouse event to link one node to a custom node, or other shapes, I come accross diagrams but I can't see anything related to mouse events. can you please advise better ? |
| 2022-02-15 16:53:55 +0100 | sss | (~sss@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2022-02-15 16:58:12 +0100 | gaff | (~gaff@49.207.195.156) (Ping timeout: 240 seconds) |
| 2022-02-15 16:59:00 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-15 17:00:06 +0100 | yehoshuapw | (~yehoshuap@2001:470:69fc:105::a5f) (Quit: You have been kicked for being idle) |
| 2022-02-15 17:01:53 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-15 17:01:53 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-15 17:01:53 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-15 17:03:49 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:68e1:d7ca:4ab6:46e) |
| 2022-02-15 17:04:04 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:68e1:d7ca:4ab6:46e) (Remote host closed the connection) |
| 2022-02-15 17:04:13 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-02-15 17:04:25 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:68e1:d7ca:4ab6:46e) |
| 2022-02-15 17:04:51 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-02-15 17:05:29 +0100 | jgeerds_ | (~jgeerds@55d4b9df.access.ecotel.net) |
| 2022-02-15 17:05:43 +0100 | eggplant_ | (~Eggplanta@2600:1700:bef1:5e10:49da:9bbf:6c0f:9f3d) |
| 2022-02-15 17:05:55 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2022-02-15 17:06:30 +0100 | Guest28 | (~Guest28@a89-183-97-15.net-htp.de) |
| 2022-02-15 17:08:36 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:68e1:d7ca:4ab6:46e) (Ping timeout: 240 seconds) |
| 2022-02-15 17:09:17 +0100 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) (Ping timeout: 250 seconds) |
| 2022-02-15 17:10:07 +0100 | afidegnum | (~afidegnum@102.176.94.134) (Quit: leaving) |
| 2022-02-15 17:14:02 +0100 | megeve | (sid523379@id-523379.hampstead.irccloud.com) (Ping timeout: 240 seconds) |
| 2022-02-15 17:14:10 +0100 | Guest28 | (~Guest28@a89-183-97-15.net-htp.de) () |
| 2022-02-15 17:15:13 +0100 | Guest3567 | (~cat@h-98-128-128-173.A351.priv.bahnhof.se) (Quit: Reconnecting) |
| 2022-02-15 17:15:25 +0100 | sudden | (~cat@h-98-128-128-173.A351.priv.bahnhof.se) |
| 2022-02-15 17:15:49 +0100 | sudden | Guest402 |
| 2022-02-15 17:16:15 +0100 | Guest402 | (~cat@h-98-128-128-173.A351.priv.bahnhof.se) (Changing host) |
| 2022-02-15 17:16:15 +0100 | Guest402 | (~cat@user/sudden) |
| 2022-02-15 17:16:17 +0100 | megeve | (sid523379@id-523379.hampstead.irccloud.com) |
| 2022-02-15 17:16:17 +0100 | slac19076 | (~slack1256@191.125.99.76) |
| 2022-02-15 17:16:56 +0100 | nunggu_ | (~q@user/nunggu) (Ping timeout: 240 seconds) |
| 2022-02-15 17:18:41 +0100 | slack1256 | (~slack1256@186.11.97.42) (Ping timeout: 272 seconds) |
| 2022-02-15 17:20:31 +0100 | nunggu_ | (~q@user/nunggu) |
| 2022-02-15 17:23:23 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:5f01:5e57:4ded:3d7c) (Quit: WeeChat 2.8) |
| 2022-02-15 17:24:43 +0100 | gaff | (~gaff@49.207.198.116) |
| 2022-02-15 17:26:29 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-15 17:27:36 +0100 | nunggu_ | (~q@user/nunggu) (Ping timeout: 240 seconds) |
| 2022-02-15 17:28:16 +0100 | mncheckm | (~mncheck@193.224.205.254) (Ping timeout: 245 seconds) |
| 2022-02-15 17:28:24 +0100 | kayprish | (~kayprish@cable-24-135-254-227.dynamic.sbb.rs) (Ping timeout: 252 seconds) |
| 2022-02-15 17:29:29 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-02-15 17:29:51 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-02-15 17:30:36 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-15 17:30:57 +0100 | acidjnk | (~acidjnk@p200300d0c7057500a04355ceabfe8d47.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-02-15 17:33:24 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 17:35:09 +0100 | mncheck | (~mncheck@193.224.205.254) |
| 2022-02-15 17:39:56 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-15 17:40:08 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-15 17:41:39 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-15 17:42:18 +0100 | mvk | (~mvk@2607:fea8:5cdc:bf00::99e7) |
| 2022-02-15 17:42:42 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2022-02-15 17:42:58 +0100 | polyphem_ | (~rod@2a02:810d:840:8754:21f9:18ab:ce0d:488d) (Ping timeout: 260 seconds) |
| 2022-02-15 17:43:44 +0100 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2022-02-15 17:44:07 +0100 | alp | (~alp@user/alp) |
| 2022-02-15 17:45:07 +0100 | nunggu_ | (~q@user/nunggu) |
| 2022-02-15 17:46:55 +0100 | gensyst | (gensyst@user/gensyst) |
| 2022-02-15 17:47:38 +0100 | burnside_ | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-02-15 17:53:11 +0100 | <gensyst> | Please challenge my belief that websites should mostly work without JavaScript, not just for purposes of purity and viewability on text-based browsers but also because very privacy conscious people may want to disable JavaScript altogether. |
| 2022-02-15 17:53:15 +0100 | <gensyst> | However given this belief, Haskell is not really a suitable language for doing front-end, is it? I think the best I can go for is PureScript. This allows me to write a website that mostly works without JavaScript, but will be more feature-rich with JavaScript active. |
| 2022-02-15 17:54:30 +0100 | slac19076 | slack1256 |
| 2022-02-15 17:55:08 +0100 | <slack1256> | Wait, purescript compiles to JS doesn't it? |
| 2022-02-15 17:55:30 +0100 | <geekosaur> | I don't see what about a Haskell backend requires JS as a front-end |
| 2022-02-15 17:55:40 +0100 | <geekosaur> | it's common, yes, but so are JS front-ends in general |
| 2022-02-15 17:59:13 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-02-15 18:00:17 +0100 | <gensyst> | I wasn't clear enough above. I'm talking only about front-end here. The point is that Haskell for front-end is not suitable for just "spicing up" HTML that works fine without JS, is it? |
| 2022-02-15 18:00:38 +0100 | <gensyst> | Haskell for front-end is more for just monolithic single page "apps", isn't it? |
| 2022-02-15 18:00:51 +0100 | <gensyst> | (If JS is disabled in the browser, nothing works) |
| 2022-02-15 18:01:55 +0100 | <geekosaur> | afaik the only way you get haskell as *front* end is ghcjs? |
| 2022-02-15 18:02:17 +0100 | polyphem | (~rod@2a02:810d:840:8754:448e:47ff:4575:7cfb) |
| 2022-02-15 18:03:51 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-02-15 18:06:31 +0100 | <gensyst> | geekosaur, yeah and afaik rest of JS can't really talk to the haskell JS part since it's a different runtime. |
| 2022-02-15 18:06:40 +0100 | <gensyst> | it's its own thing in isolation |
| 2022-02-15 18:06:55 +0100 | <geekosaur> | you can do foreign imports, iirc |
| 2022-02-15 18:07:21 +0100 | <geekosaur> | you can't mix it with other frameworks but that's kind of a given anyway isn't it? |
| 2022-02-15 18:07:29 +0100 | <janus> | geekosaur: maybe one can compile Hugs with Emscripten |
| 2022-02-15 18:07:32 +0100 | eggplant_ | (~Eggplanta@2600:1700:bef1:5e10:49da:9bbf:6c0f:9f3d) (Remote host closed the connection) |
| 2022-02-15 18:08:06 +0100 | <janus> | another way of having haskell on the frontend though :P |
| 2022-02-15 18:08:47 +0100 | <geekosaur> | in any case I think if you really want something haskell-like on the front end elm is the go-to |
| 2022-02-15 18:08:51 +0100 | <janus> | also since GRIN compiles to LLVM, and LLVM compiles to WASM, should work? https://grin-compiler.github.io/ |
| 2022-02-15 18:09:11 +0100 | <janus> | geekosaur: why not purescript? it isn't limiting you like Elm is |
| 2022-02-15 18:09:43 +0100 | <janus> | more similar to haskell than Elm afaik? |
| 2022-02-15 18:10:03 +0100 | <geekosaur> | mm, maybe. I had the impression elm was more haskell-like |
| 2022-02-15 18:10:39 +0100 | <janus> | how? it doesn't have higher-order types |
| 2022-02-15 18:10:51 +0100 | <geekosaur> | whereas purescript is what you'd get if JS had been designed with Haskell concepts in mind |
| 2022-02-15 18:10:52 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:c5cf:b717:584d:5dd3) |
| 2022-02-15 18:12:30 +0100 | <janus> | i don't see the similarity between PureScript and JS except for how e.g. the string type is an array of utf-16 code units |
| 2022-02-15 18:13:05 +0100 | <janus> | arguably it is even more haskelly than haskell since the type classes are more granular |
| 2022-02-15 18:13:13 +0100 | <slack1256> | Maybe backwards? Haskell if was designed with JS concerns in mind. |
| 2022-02-15 18:13:46 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-15 18:17:32 +0100 | sagax | (~sagax_nb@user/sagax) |
| 2022-02-15 18:17:35 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2022-02-15 18:17:53 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-15 18:18:11 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-15 18:19:20 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49da:9bbf:6c0f:9f3d) |
| 2022-02-15 18:19:42 +0100 | Akiva | (~Akiva@user/Akiva) |
| 2022-02-15 18:24:49 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-02-15 18:25:25 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-15 18:26:45 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-15 18:28:01 +0100 | ubert | (~Thunderbi@2a02:8109:9880:303c:df39:5895:e6dd:94da) (Remote host closed the connection) |
| 2022-02-15 18:29:48 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2022-02-15 18:33:44 +0100 | chele | (~chele@user/chele) (Quit: Leaving) |
| 2022-02-15 18:39:46 +0100 | ack_inc | (~anirudh@223.190.93.158) |
| 2022-02-15 18:40:00 +0100 | ack_inc | (~anirudh@223.190.93.158) (Client Quit) |
| 2022-02-15 18:40:08 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 2022-02-15 18:42:43 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 18:43:33 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-02-15 18:44:07 +0100 | MajorBiscuit | (~MajorBisc@c-001-001-032.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.4) |
| 2022-02-15 18:44:41 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-02-15 18:50:09 +0100 | <maerwald> | janus: because elm is actually successful |
| 2022-02-15 18:50:54 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-02-15 18:53:35 +0100 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) |
| 2022-02-15 18:57:05 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) |
| 2022-02-15 18:57:50 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Remote host closed the connection) |
| 2022-02-15 18:58:13 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-15 18:59:46 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 19:00:20 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-02-15 19:01:03 +0100 | gaff | (~gaff@49.207.198.116) (Remote host closed the connection) |
| 2022-02-15 19:01:51 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-02-15 19:02:29 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-02-15 19:03:08 +0100 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2022-02-15 19:03:49 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 2022-02-15 19:04:25 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-15 19:04:33 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds) |
| 2022-02-15 19:04:40 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 2022-02-15 19:09:41 +0100 | turlando | (~turlando@user/turlando) (Ping timeout: 256 seconds) |
| 2022-02-15 19:11:11 +0100 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
| 2022-02-15 19:12:00 +0100 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2022-02-15 19:12:00 +0100 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 2022-02-15 19:12:00 +0100 | turlando | (~turlando@user/turlando) |
| 2022-02-15 19:12:09 +0100 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Client Quit) |
| 2022-02-15 19:12:49 +0100 | <dminuoso> | janus: the typeclasses in elm are a mess |
| 2022-02-15 19:13:18 +0100 | <geekosaur> | the typeclasses in haskell aren't? |
| 2022-02-15 19:13:33 +0100 | <dminuoso> | geekosaur: At least they're an actual component of the language |
| 2022-02-15 19:14:18 +0100 | xnbya2 | xnbya |
| 2022-02-15 19:14:26 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) |
| 2022-02-15 19:15:15 +0100 | <dolio> | It just has a few built in special cases of overloading, no? |
| 2022-02-15 19:15:21 +0100 | <dminuoso> | Right |
| 2022-02-15 19:16:11 +0100 | <dolio> | I'm no expert, but my impression was that elm would be the absolute last thing the original questioner would want. |
| 2022-02-15 19:16:34 +0100 | <dolio> | I thought it was all about writing the website in some kind of FRP methodology. |
| 2022-02-15 19:17:10 +0100 | <dminuoso> | For what its worth, I wholeheartedly agree with gensyst's original proposition of unobstrusive JavaScript. |
| 2022-02-15 19:17:44 +0100 | <dminuoso> | My experience is not as dark, as a NoScript user there's some websites that dont work, but plenty that do. |
| 2022-02-15 19:17:48 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-02-15 19:18:45 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 2022-02-15 19:18:57 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Ping timeout: 252 seconds) |
| 2022-02-15 19:19:24 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2022-02-15 19:19:52 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
| 2022-02-15 19:21:26 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) |
| 2022-02-15 19:23:20 +0100 | mzan | (~quassel@mail.asterisell.com) (Quit: No Ping reply in 180 seconds.) |
| 2022-02-15 19:24:46 +0100 | mzan | (~quassel@mail.asterisell.com) |
| 2022-02-15 19:34:30 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-15 19:39:15 +0100 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
| 2022-02-15 19:39:17 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2022-02-15 19:42:50 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) (Quit: Leaving) |
| 2022-02-15 19:43:42 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-15 19:43:47 +0100 | <maerwald> | I usually just pretend I only know backend |
| 2022-02-15 19:43:51 +0100 | <maerwald> | which is a lie, but yeah |
| 2022-02-15 19:46:23 +0100 | <[exa]> | very practical |
| 2022-02-15 19:46:25 +0100 | <janus> | maerwald: how do you judge whether purescript is successful or not? |
| 2022-02-15 19:46:53 +0100 | <maerwald> | janus: that's my impression... I didn't write a paper on it |
| 2022-02-15 19:47:43 +0100 | <maerwald> | e.g. how many times it was mentioned in job postings/interviews, how often I saw actual purescript codebases, etc |
| 2022-02-15 19:48:08 +0100 | <janus> | i don't care about those things because i already have a job writing purescript :P |
| 2022-02-15 19:48:23 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) |
| 2022-02-15 19:48:23 +0100 | <janus> | in a way i'd say it beats haskell on some fronts, like e.g. the ecosystem is more unified |
| 2022-02-15 19:48:24 +0100 | <maerwald> | yeah, I reviewed a purescript codebase once too |
| 2022-02-15 19:48:36 +0100 | <janus> | e.g. the quickcheck package for purescript also supports the hedgehog way of working |
| 2022-02-15 19:48:55 +0100 | <janus> | and there is no argument about BlockArguments because you can't turn it off ;) |
| 2022-02-15 19:49:05 +0100 | <gensyst> | dminuoso, exactly! so this leaves haskell out. i think purescript is the way |
| 2022-02-15 19:49:41 +0100 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-02-15 19:51:25 +0100 | <maerwald> | I mean yeah... row types are cool, but I can have the same benefits with typescripts structural typing and less complexity |
| 2022-02-15 19:51:36 +0100 | <maerwald> | and I find devs easier |
| 2022-02-15 19:51:48 +0100 | econo | (uid147250@user/econo) |
| 2022-02-15 19:51:49 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 19:52:06 +0100 | <maerwald> | and Haskell is huge pain on that front indeed |
| 2022-02-15 19:52:25 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-02-15 19:52:27 +0100 | <maerwald> | converting between "web types" etc |
| 2022-02-15 19:53:51 +0100 | <[exa]> | `unsafeCoerceJSON` |
| 2022-02-15 19:54:49 +0100 | <monochrom> | Someone missed the opportunity of calling it "column polymorphism" :) when they defined the dual or row polymorphism, i.e., whereas row polymorphism is some kind of open product, they defined a corresponding kind of open sum. |
| 2022-02-15 19:56:12 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-15 19:56:57 +0100 | <dolio> | I don't think there's anything about GHCJS that requires building your whole website in javascript. But if you're just looking for a haskell-like language to generate small JS functions, purescript is probably more suitable, I guess. |
| 2022-02-15 19:58:11 +0100 | <geekosaur> | not so much "requires" as "invites the sunk cost fallacy" imo |
| 2022-02-15 20:00:14 +0100 | x_kuru | (~xkuru@user/xkuru) |
| 2022-02-15 20:02:29 +0100 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) |
| 2022-02-15 20:03:09 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-02-15 20:03:30 +0100 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 252 seconds) |
| 2022-02-15 20:03:44 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-02-15 20:04:06 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-02-15 20:04:59 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-02-15 20:05:00 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-02-15 20:05:20 +0100 | ubert | (~Thunderbi@p200300ecdf0994a3b5a040f373828229.dip0.t-ipconnect.de) |
| 2022-02-15 20:05:39 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-15 20:08:23 +0100 | coot | (~coot@213.134.190.95) |
| 2022-02-15 20:11:12 +0100 | deadmarshal | (~deadmarsh@95.38.117.142) (Ping timeout: 252 seconds) |
| 2022-02-15 20:12:06 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2022-02-15 20:12:36 +0100 | xff0x | (~xff0x@2001:1a81:53dd:d400:dbd2:febe:ea58:7c1a) (Ping timeout: 240 seconds) |
| 2022-02-15 20:12:40 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-02-15 20:13:13 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 20:13:41 +0100 | xff0x | (~xff0x@2001:1a81:53dd:d400:b969:14d4:3062:a4) |
| 2022-02-15 20:13:53 +0100 | ubert | (~Thunderbi@p200300ecdf0994a3b5a040f373828229.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-02-15 20:14:01 +0100 | ub | (~Thunderbi@p548c8cd6.dip0.t-ipconnect.de) |
| 2022-02-15 20:14:40 +0100 | gensyst | (gensyst@user/gensyst) (Quit: Leaving) |
| 2022-02-15 20:16:19 +0100 | ub | ubert |
| 2022-02-15 20:27:11 +0100 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-02-15 20:39:46 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-02-15 20:40:54 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2022-02-15 20:42:28 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2022-02-15 20:44:34 +0100 | fluxit | (~fluxit@techsmix.net) |
| 2022-02-15 20:48:07 +0100 | thyriaen | (~thyriaen@simnet-nat-pool-185-130-54-167.stargrpns.pp.ua) |
| 2022-02-15 20:51:35 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Ping timeout: 250 seconds) |
| 2022-02-15 20:54:30 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-02-15 20:54:30 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-02-15 20:54:54 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-02-15 20:55:08 +0100 | <dsal> | Does anyone have a pointer for how I might go about making a docker image for an app I've got (binary + some extra files)? I've only barely used docker in a while and all the stuff I've found makes it seem excessively complicated. |
| 2022-02-15 20:59:35 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-02-15 21:00:51 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-15 21:02:54 +0100 | briandaed | (~root@109.95.142.92.r.toneticgroup.pl) (Ping timeout: 252 seconds) |
| 2022-02-15 21:03:26 +0100 | <maerwald> | dsal: https://gist.github.com/hasufell/f0893abfbba63ac4ea40feb0520946ee |
| 2022-02-15 21:03:55 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-15 21:04:30 +0100 | <dsal> | maerwald: Thanks! |
| 2022-02-15 21:05:25 +0100 | juhp | (~juhp@128.106.188.82) (Ping timeout: 272 seconds) |
| 2022-02-15 21:06:28 +0100 | <ProfSimm> | When you get state in a monad and you return modified state for next call, who stores that state |
| 2022-02-15 21:06:31 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-02-15 21:06:55 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-02-15 21:06:56 +0100 | <Rembane> | ProfSimm: You do, but in a sneaky way. |
| 2022-02-15 21:08:01 +0100 | <ProfSimm> | But. We can't mutate state right |
| 2022-02-15 21:08:05 +0100 | slack1256 | (~slack1256@191.125.99.76) (Remote host closed the connection) |
| 2022-02-15 21:08:23 +0100 | <Rembane> | ProfSimm: Indeed, but we can change the state we send to a function call. |
| 2022-02-15 21:08:32 +0100 | juhp | (~juhp@128.106.188.82) |
| 2022-02-15 21:08:41 +0100 | <maerwald> | there's no mutation, it's just passed around in a tuple along with the function result |
| 2022-02-15 21:08:47 +0100 | <ProfSimm> | Doesn't that imply we have that state in the first place, so we can send it |
| 2022-02-15 21:09:03 +0100 | <geekosaur> | runState provides it |
| 2022-02-15 21:09:19 +0100 | <ProfSimm> | So I'm guessing runState cheats |
| 2022-02-15 21:09:24 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 21:09:31 +0100 | <geekosaur> | huh? |
| 2022-02-15 21:09:46 +0100 | <geekosaur> | you have some very odd ideas of how State works |
| 2022-02-15 21:10:05 +0100 | <ProfSimm> | I have no ideas |
| 2022-02-15 21:10:46 +0100 | <geekosaur> | then you have nothing to guessfrom |
| 2022-02-15 21:11:25 +0100 | <Rembane> | ProfSimm: You can replace the state monad with a tuple as maerwald said. Maybe you've encountered that already? |
| 2022-02-15 21:11:47 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2022-02-15 21:11:59 +0100 | <maerwald> | `foo :: Int -> State Bool String` is equivalent to `foo :: Int -> Bool -> (Bool, String)` |
| 2022-02-15 21:12:15 +0100 | <maerwald> | where Bool is the state |
| 2022-02-15 21:12:21 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2022-02-15 21:12:41 +0100 | <geekosaur> | State is s -> (a,s). runState provides the first `s`, and produces the final `(a,s)` |
| 2022-02-15 21:12:59 +0100 | <geekosaur> | pretty much can't get more transparent than that |
| 2022-02-15 21:17:33 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-02-15 21:18:06 +0100 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) |
| 2022-02-15 21:18:10 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-02-15 21:18:15 +0100 | <Inst[m]> | you're probably more thinking of IORef etc |
| 2022-02-15 21:20:59 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-15 21:21:31 +0100 | <monochrom> | Some of my students found it helpful to expand the defintions of put, get, and >>= in "put 5 >>= get". Then they finally agreed that the state storage is emulated by parameter passing. |
| 2022-02-15 21:22:08 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49da:9bbf:6c0f:9f3d) (Remote host closed the connection) |
| 2022-02-15 21:22:25 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-02-15 21:22:26 +0100 | <monochrom> | It also helps that I frame the whole story as "the fairy tale of mutable state implemented by the reality of mathematics". Ah, the irony. |
| 2022-02-15 21:22:47 +0100 | <ProfSimm> | monochrom: is it that way though |
| 2022-02-15 21:23:09 +0100 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2022-02-15 21:23:17 +0100 | <geekosaur> | how about you do the exercise monochrom suggested |
| 2022-02-15 21:23:33 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) |
| 2022-02-15 21:24:06 +0100 | <ProfSimm> | Passing parameters is not the issue, but IO as Inst[m] noted |
| 2022-02-15 21:24:08 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-15 21:25:11 +0100 | <monochrom> | IO is a different story that I didn't teach. |
| 2022-02-15 21:26:59 +0100 | <ProfSimm> | I'm thinking in general terms about how an isolated function can encode mutations as commands it returns and input is the world it sees resulting from the previous commands it returned |
| 2022-02-15 21:27:00 +0100 | <monochrom> | But it's the compiler generating appropriate code for you. |
| 2022-02-15 21:27:11 +0100 | <ProfSimm> | Gives us mutability, transactions, and still pure code in the function |
| 2022-02-15 21:29:32 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-15 21:29:47 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-15 21:29:54 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-15 21:30:08 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-15 21:30:16 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-15 21:30:46 +0100 | deadmarshal | (~deadmarsh@95.38.117.142) |
| 2022-02-15 21:31:16 +0100 | ChanServ | +o litharge |
| 2022-02-15 21:31:17 +0100 | litharge | +b $a:lavaman |
| 2022-02-15 21:31:27 +0100 | litharge | -o litharge |
| 2022-02-15 21:32:06 +0100 | <monochrom> | (hrm, so that's what it does) |
| 2022-02-15 21:33:43 +0100 | <ProfSimm> | All programming paradigms, imperative, functional, dataflow, start looking like syntactical variations of the same thing when you look at it in a certain way |
| 2022-02-15 21:34:57 +0100 | <maerwald> | yeah, because the hardware is the same |
| 2022-02-15 21:35:23 +0100 | <Sqaure> | janus: Have you checked out Miso? Its just like Elm but haskell. |
| 2022-02-15 21:35:49 +0100 | deadmarshal | (~deadmarsh@95.38.117.142) (Ping timeout: 272 seconds) |
| 2022-02-15 21:35:56 +0100 | <Sqaure> | ive had a solid experience with it. |
| 2022-02-15 21:36:35 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2022-02-15 21:37:16 +0100 | <ProfSimm> | maerwald: well I mean at a higher level. |
| 2022-02-15 21:38:19 +0100 | <maerwald> | is that a snoop dogg meme? |
| 2022-02-15 21:42:45 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-02-15 21:42:56 +0100 | cynomys | (~cynomys@user/cynomys) (Quit: leaving) |
| 2022-02-15 21:44:16 +0100 | thyriaen | (~thyriaen@simnet-nat-pool-185-130-54-167.stargrpns.pp.ua) (Quit: Leaving) |
| 2022-02-15 21:45:16 +0100 | <koala_man> | how can I go Map k (Maybe v) -> Map k v by deleting all the Nothings? Is there something neater than mapMaybe + from/toAscList? |
| 2022-02-15 21:46:26 +0100 | <monochrom> | Data.Map's filter may help. |
| 2022-02-15 21:48:00 +0100 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2022-02-15 21:48:21 +0100 | <koala_man> | oh, there *is* a Map.mapMaybe, not sure how I missed that |
| 2022-02-15 21:48:29 +0100 | <jackdk> | na, that's not type-changing. yeah you want mapMaybe id |
| 2022-02-15 21:48:47 +0100 | zer0bitz_ | (~zer0bitz@2001:2003:f74d:b800:95ea:d1ff:55f2:9ea6) (Ping timeout: 250 seconds) |
| 2022-02-15 21:48:58 +0100 | <koala_man> | thanks! |
| 2022-02-15 21:48:58 +0100 | <monochrom> | Oh darn. Yeah mapMaybe. |
| 2022-02-15 21:49:42 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 2022-02-15 21:54:40 +0100 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-02-15 21:55:02 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 21:58:52 +0100 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2022-02-15 21:59:27 +0100 | <Inst[m]> | <ProfSimm> "All programming paradigms..." <- i mean tbh the easier way to arrive at this is just do FP in an imperative language |
| 2022-02-15 21:59:33 +0100 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 2022-02-15 22:00:50 +0100 | <monochrom> | No, do Prolog-style in imperative languages, to appreciate how it's "just" "syntax sugar". |
| 2022-02-15 22:01:11 +0100 | ystael | (~ystael@user/ystael) |
| 2022-02-15 22:01:12 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Ping timeout: 252 seconds) |
| 2022-02-15 22:01:46 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) |
| 2022-02-15 22:02:30 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-02-15 22:04:07 +0100 | acidjnk | (~acidjnk@p200300d0c7057500a04355ceabfe8d47.dip0.t-ipconnect.de) |
| 2022-02-15 22:05:40 +0100 | pavonia | (~user@user/siracusa) |
| 2022-02-15 22:06:47 +0100 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) |
| 2022-02-15 22:06:59 +0100 | nunggu_ | (~q@user/nunggu) (Remote host closed the connection) |
| 2022-02-15 22:07:42 +0100 | nunggu_ | (~q@user/nunggu) |
| 2022-02-15 22:07:54 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49da:9bbf:6c0f:9f3d) |
| 2022-02-15 22:08:09 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 22:08:57 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 22:12:09 +0100 | <dolio> | It's a mere 60 pages in SICP. |
| 2022-02-15 22:13:35 +0100 | <mjrosenb> | Sqaure: janus: I've also had good experiences with miso. |
| 2022-02-15 22:18:01 +0100 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-02-15 22:18:45 +0100 | samtoth | (~igloo@90.208.227.189) |
| 2022-02-15 22:20:24 +0100 | samtoth | (~igloo@90.208.227.189) (Remote host closed the connection) |
| 2022-02-15 22:20:45 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-15 22:20:47 +0100 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) (Ping timeout: 272 seconds) |
| 2022-02-15 22:22:19 +0100 | alphabeta | (~kilolympu@31.205.200.235) |
| 2022-02-15 22:22:41 +0100 | kilolympus | (~kilolympu@31.205.200.235) (Ping timeout: 272 seconds) |
| 2022-02-15 22:23:02 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 2022-02-15 22:24:14 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-02-15 22:24:50 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-02-15 22:25:51 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 2022-02-15 22:26:06 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 2022-02-15 22:31:16 +0100 | ChanServ | +o litharge |
| 2022-02-15 22:31:17 +0100 | litharge | -bo $a:lavaman litharge |
| 2022-02-15 22:31:59 +0100 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) |
| 2022-02-15 22:37:05 +0100 | alp | (~alp@user/alp) |
| 2022-02-15 22:37:10 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4) |
| 2022-02-15 22:45:09 +0100 | fendor | (~fendor@77.119.209.21.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-02-15 22:48:44 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Remote host closed the connection) |
| 2022-02-15 22:54:12 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-15 22:54:31 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-15 22:56:12 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds) |
| 2022-02-15 22:59:11 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds) |
| 2022-02-15 22:59:21 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-15 23:02:24 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-15 23:04:01 +0100 | off^ | (~off@50.235.176.163) (Remote host closed the connection) |
| 2022-02-15 23:05:00 +0100 | FernandoChu[m] | (~ryunaqmat@2001:470:69fc:105::1:4dc0) |
| 2022-02-15 23:06:04 +0100 | kuribas | (~user@ptr-25vy0i6vww7x1l8ynbn.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-02-15 23:06:22 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 2022-02-15 23:06:46 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 23:07:01 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 23:09:39 +0100 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Quit: WeeChat 2.2-dev) |
| 2022-02-15 23:16:08 +0100 | coot_ | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-02-15 23:16:47 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 23:17:01 +0100 | <zwro[m]> | test |
| 2022-02-15 23:17:17 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-02-15 23:17:35 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 23:18:36 +0100 | coot | (~coot@213.134.190.95) (Ping timeout: 240 seconds) |
| 2022-02-15 23:22:18 +0100 | michalz | (~michalz@185.246.204.93) (Remote host closed the connection) |
| 2022-02-15 23:31:01 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-02-15 23:33:43 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 2022-02-15 23:35:11 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: Sorry, I need to scratch my left butt cheek.) |
| 2022-02-15 23:44:35 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-02-15 23:45:34 +0100 | cynomys | (~cynomys@user/cynomys) (Quit: leaving) |
| 2022-02-15 23:45:45 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-15 23:46:34 +0100 | cynomys | (~cynomys@user/cynomys) (Client Quit) |
| 2022-02-15 23:46:45 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-15 23:54:06 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-02-15 23:56:09 +0100 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2022-02-15 23:56:33 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) |
| 2022-02-15 23:57:25 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-02-15 23:59:36 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
