2022/02/15

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 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2022-02-15 00:04:44 +0100jackson99(~bc8147f2@cerf.good1.com)
2022-02-15 00:06:15 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-02-15 00:09:11 +0100slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2022-02-15 00:10:36 +0100random-jellyfish(~random-je@user/random-jellyfish)
2022-02-15 00:11:57 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 00:11:58 +0100lavaman(~lavaman@98.38.249.169) (Read error: Connection reset by peer)
2022-02-15 00:11:59 +0100awschnap(~lavaman@98.38.249.169)
2022-02-15 00:14:56 +0100slowButPresent(~slowButPr@user/slowbutpresent)
2022-02-15 00:16:12 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds)
2022-02-15 00:19:24 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2022-02-15 00:21:28 +0100random-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 +0100burnsidesLlama(~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 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2022-02-15 00:25:19 +0100zeenk(~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!)
2022-02-15 00:26:20 +0100bitdex(~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 +0100perrierjouet(~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 +0100Vajb(~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 +0100Vajb(~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 +0100cjb(~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 +0100gurkenglas(~gurkengla@dslb-188-096-121-068.188.096.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
2022-02-15 00:40:41 +0100telser(~AdminUser@user/telser) (Quit: No Ping reply in 180 seconds.)
2022-02-15 00:41:57 +0100telser(~AdminUser@user/telser)
2022-02-15 00:43:03 +0100burnsidesLlama(~burnsides@dhcp168-031.wadham.ox.ac.uk)
2022-02-15 00:43:53 +0100acidjnk(~acidjnk@p200300d0c7057581091bb45d0bf1cd2b.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2022-02-15 00:43:54 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 00:45:57 +0100hololeap(~hololeap@user/hololeap) (Excess Flood)
2022-02-15 00:46:09 +0100afidegnum(~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 +0100roboguy_(~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 +0100Null_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 +0100jgeerds(~jgeerds@55d4a547.access.ecotel.net)
2022-02-15 00:51:48 +0100ix(~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 +0100ChanServ+o geekosaur
2022-02-15 00:56:26 +0100geekosaur-o Axman6
2022-02-15 00:56:29 +0100geekosaur-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 +0100jgeerds_(~jgeerds@55d4b9df.access.ecotel.net)
2022-02-15 00:59:38 +0100Guest89(~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 +0100jgeerds(~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 +0100Guest89(~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 +0100machinedgod(~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 +0100ix(~ix@2a02:8010:674f:0:cda6:d05:f0d7:4922)
2022-02-15 01:05:03 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-15 01:05:22 +0100cynomys(~cynomys@user/cynomys) (Quit: leaving)
2022-02-15 01:05:46 +0100 <afidegnum> :)
2022-02-15 01:06:26 +0100k8yun(~k8yun@user/k8yun)
2022-02-15 01:07:38 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-02-15 01:09:03 +0100waleee(~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 272 seconds)
2022-02-15 01:10:04 +0100bitdex(~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 +0100waleee(~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 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-02-15 01:14:05 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-02-15 01:14:07 +0100Pickchea(~private@user/pickchea) (Ping timeout: 272 seconds)
2022-02-15 01:14:18 +0100hololeap(~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 +0100shaprgrins
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 +0100Axman6feels messed with
2022-02-15 01:18:41 +0100k8yun(~k8yun@user/k8yun) (Quit: Leaving)
2022-02-15 01:26:34 +0100Vajb(~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e)
2022-02-15 01:29:33 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-02-15 01:29:33 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-02-15 01:29:33 +0100wroathe(~wroathe@user/wroathe)
2022-02-15 01:30:32 +0100mmhat(~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 +0100Vajb(~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 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-02-15 01:33:44 +0100lagash(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 +0100justsomeguy(~justsomeg@user/justsomeguy)
2022-02-15 01:39:00 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-02-15 01:40:51 +0100telser(~AdminUser@user/telser) (Quit: No Ping reply in 180 seconds.)
2022-02-15 01:41:51 +0100jgeerds_(~jgeerds@55d4b9df.access.ecotel.net) (Ping timeout: 252 seconds)
2022-02-15 01:42:06 +0100telser(~AdminUser@user/telser)
2022-02-15 01:42:37 +0100wombat875(~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2022-02-15 01:42:52 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-02-15 01:43:37 +0100ec(~ec@gateway/tor-sasl/ec) (Quit: ec)
2022-02-15 01:47:40 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds)
2022-02-15 01:52:52 +0100afidegnum(~afidegnum@102.176.94.184) (Quit: leaving)
2022-02-15 01:55:00 +0100lbseale(~ep1ctetus@user/ep1ctetus) (Ping timeout: 240 seconds)
2022-02-15 01:55:01 +0100roboguy_(~roboguy_@cpe-98-156-4-161.kc.res.rr.com) (Remote host closed the connection)
2022-02-15 01:55:27 +0100lagash(lagash@lagash.shelltalk.net)
2022-02-15 01:55:39 +0100roboguy_(~roboguy_@cpe-98-156-4-161.kc.res.rr.com)
2022-02-15 01:56:02 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection)
2022-02-15 01:56:15 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net)
2022-02-15 01:59:20 +0100awschnap(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-15 02:00:00 +0100roboguy_(~roboguy_@cpe-98-156-4-161.kc.res.rr.com) (Ping timeout: 252 seconds)
2022-02-15 02:01:52 +0100califax(~califax@user/califx) (Remote host closed the connection)
2022-02-15 02:05:15 +0100cjb(~cjb@user/cjb)
2022-02-15 02:07:02 +0100roboguy_(~roboguy_@cpe-98-156-4-161.kc.res.rr.com)
2022-02-15 02:09:09 +0100afidegnum(~afidegnum@102.176.94.184)
2022-02-15 02:09:36 +0100nunggu_(~q@user/nunggu) (Ping timeout: 240 seconds)
2022-02-15 02:10:29 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-02-15 02:10:39 +0100nunggu_(~q@user/nunggu)
2022-02-15 02:11:44 +0100roboguy_(~roboguy_@cpe-98-156-4-161.kc.res.rr.com) (Ping timeout: 272 seconds)
2022-02-15 02:12:07 +0100afidegnum(~afidegnum@102.176.94.184) (Client Quit)
2022-02-15 02:15:22 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-02-15 02:15:34 +0100emergence(emergence@2607:5300:60:5910:dcad:beff:feef:5bc)
2022-02-15 02:16:35 +0100albet70(~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 +0100roboguy_(~roboguy_@cpe-98-156-4-161.kc.res.rr.com)
2022-02-15 02:22:34 +0100TonyStone(~TonyStone@2603-7080-8607-c36a-d449-2685-1032-d72e.res6.spectrum.com) (Remote host closed the connection)
2022-02-15 02:22:36 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2022-02-15 02:23:49 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-02-15 02:24:38 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
2022-02-15 02:25:08 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com)
2022-02-15 02:26:02 +0100lavaman(~lavaman@98.38.249.169)
2022-02-15 02:28:04 +0100YukiSou(~YukiSou@116.6.232.251)
2022-02-15 02:31:44 +0100cynomys(~cynomys@user/cynomys)
2022-02-15 02:40:31 +0100telser(~AdminUser@user/telser) (Quit: No Ping reply in 180 seconds.)
2022-02-15 02:41:45 +0100telser(~AdminUser@user/telser)
2022-02-15 02:43:14 +0100femboid(~femboid@31.6.9.246)
2022-02-15 02:48:23 +0100texasmynsted(~texasmyns@99.96.221.112) (WeeChat 3.4)
2022-02-15 02:51:09 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2022-02-15 02:53:54 +0100qwedfg(~qwedfg@user/qwedfg) (Remote host closed the connection)
2022-02-15 02:55:15 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-02-15 02:55:15 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-02-15 02:55:15 +0100finn_elijaFinnElija
2022-02-15 02:55:21 +0100qwedfg(~qwedfg@user/qwedfg)
2022-02-15 02:55:42 +0100lottaquestions(~nick@2607:fa49:5041:a200:b555:2e8f:fe4f:2e3d)
2022-02-15 02:59:47 +0100femboid(~femboid@31.6.9.246) (Quit: Ping timeout (120 seconds))
2022-02-15 02:59:48 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 240 seconds)
2022-02-15 03:00:23 +0100justsomeguy(~justsomeg@user/justsomeguy)
2022-02-15 03:06:33 +0100neurocyte0917090(~neurocyte@user/neurocyte) (Ping timeout: 252 seconds)
2022-02-15 03:08:19 +0100jackson99(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout))
2022-02-15 03:08:56 +0100xsperry(~xs@user/xsperry) (Remote host closed the connection)
2022-02-15 03:10:23 +0100vysn(~vysn@user/vysn)
2022-02-15 03:11:01 +0100afidegnum(~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 +0100femboid(~femboid@31.6.9.246)
2022-02-15 03:14:16 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
2022-02-15 03:17:57 +0100cyphase(~cyphase@user/cyphase) (Ping timeout: 240 seconds)
2022-02-15 03:21:06 +0100femboid(~femboid@31.6.9.246) (Quit: Ping timeout (120 seconds))
2022-02-15 03:21:13 +0100afidegnum(~afidegnum@102.176.94.184) (Quit: leaving)
2022-02-15 03:22:36 +0100roboguy_(~roboguy_@cpe-98-156-4-161.kc.res.rr.com) (Ping timeout: 240 seconds)
2022-02-15 03:25:37 +0100cynomys(~cynomys@user/cynomys) (Quit: Lost terminal)
2022-02-15 03:35:58 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 272 seconds)
2022-02-15 03:36:05 +0100femboid(~femboid@31.6.9.246)
2022-02-15 03:38:27 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-02-15 03:40:41 +0100telser(~AdminUser@user/telser) (Quit: No Ping reply in 180 seconds.)
2022-02-15 03:41:01 +0100cyphase(~cyphase@user/cyphase)
2022-02-15 03:41:57 +0100telser(~AdminUser@user/telser)
2022-02-15 03:41:58 +0100Erutuon(~Erutuon@user/erutuon)
2022-02-15 03:42:04 +0100ProfSimm(~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds)
2022-02-15 03:44:12 +0100jlamothe(~jlamothe@198.251.61.229) (Ping timeout: 240 seconds)
2022-02-15 03:46:17 +0100roboguy_(~roboguy_@cpe-98-156-4-161.kc.res.rr.com)
2022-02-15 03:48:52 +0100roboguy_(~roboguy_@cpe-98-156-4-161.kc.res.rr.com) (Remote host closed the connection)
2022-02-15 03:49:06 +0100roboguy_(~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 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-02-15 03:54:25 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-02-15 03:54:25 +0100finn_elijaFinnElija
2022-02-15 03:56:03 +0100xff0x(~xff0x@2001:1a81:52c4:8c00:a51c:6f1b:e868:ffc) (Ping timeout: 252 seconds)
2022-02-15 03:56:12 +0100ix(~ix@2a02:8010:674f:0:cda6:d05:f0d7:4922) (Ping timeout: 240 seconds)
2022-02-15 03:56:43 +0100Vajb(~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e)
2022-02-15 03:57:13 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt)
2022-02-15 03:57:56 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-15 03:58:07 +0100xff0x(~xff0x@2001:1a81:53dd:d400:55aa:6c11:c98:ce99)
2022-02-15 04:01:03 +0100Vajb(~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) (Read error: Connection reset by peer)
2022-02-15 04:01:24 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds)
2022-02-15 04:03:02 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-02-15 04:03:04 +0100c209e6dc-4d76-47(~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!)
2022-02-15 04:03:26 +0100Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Quit: Leaving)
2022-02-15 04:07:21 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Quit: Leaving)
2022-02-15 04:11:27 +0100mbuf(~Shakthi@117.96.195.201)
2022-02-15 04:19:39 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4)
2022-02-15 04:24:21 +0100lavaman(~lavaman@98.38.249.169)
2022-02-15 04:26:37 +0100k8yun(~k8yun@user/k8yun)
2022-02-15 04:28:18 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-02-15 04:28:18 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-02-15 04:28:18 +0100wroathe(~wroathe@user/wroathe)
2022-02-15 04:28:48 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 04:29:55 +0100td_(~td@muedsl-82-207-238-184.citykom.de) (Ping timeout: 256 seconds)
2022-02-15 04:31:50 +0100td_(~td@94.134.91.25)
2022-02-15 04:32:54 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2022-02-15 04:33:00 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds)
2022-02-15 04:33:22 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-15 04:33:33 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-02-15 04:33:33 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-02-15 04:33:33 +0100wroathe(~wroathe@user/wroathe)
2022-02-15 04:33:37 +0100lavaman(~lavaman@98.38.249.169)
2022-02-15 04:33:44 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-15 04:36:02 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-02-15 04:40:05 +0100femboid(~femboid@31.6.9.246) (Quit: Ping timeout (120 seconds))
2022-02-15 04:40:31 +0100femboid(~femboid@31.6.9.246)
2022-02-15 04:40:51 +0100telser(~AdminUser@user/telser) (Quit: No Ping reply in 180 seconds.)
2022-02-15 04:42:06 +0100telser(~AdminUser@user/telser)
2022-02-15 04:46:47 +0100zebrag(~chris@user/zebrag)
2022-02-15 04:47:18 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 04:49:24 +0100CiaoSen(~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-02-15 04:51:45 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds)
2022-02-15 04:55:24 +0100waleee(~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
2022-02-15 04:55:58 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-02-15 04:56:56 +0100nunggu_(~q@user/nunggu) (Ping timeout: 240 seconds)
2022-02-15 05:00:26 +0100nunggu_(~q@user/nunggu)
2022-02-15 05:02:12 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-02-15 05:02:42 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-02-15 05:04:16 +0100lavaman(~lavaman@98.38.249.169)
2022-02-15 05:05:08 +0100zebrag(~chris@user/zebrag)
2022-02-15 05:08:39 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2022-02-15 05:13:53 +0100[_][itchyjunk]
2022-02-15 05:14:59 +0100ralu(~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 256 seconds)
2022-02-15 05:16:45 +0100Topsi1(~Tobias@dyndsl-091-249-082-220.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2022-02-15 05:19:20 +0100femboid(~femboid@31.6.9.246) (Quit: Ping timeout (120 seconds))
2022-02-15 05:21:27 +0100zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-02-15 05:21:29 +0100gaff(~gaff@49.207.221.11)
2022-02-15 05:26:10 +0100gaff(~gaff@49.207.221.11) (Ping timeout: 272 seconds)
2022-02-15 05:27:24 +0100xff0x(~xff0x@2001:1a81:53dd:d400:55aa:6c11:c98:ce99) (Ping timeout: 240 seconds)
2022-02-15 05:27:36 +0100cjb(~cjb@user/cjb) (Quit: rcirc on GNU Emacs 29.0.50)
2022-02-15 05:27:43 +0100zaquest(~notzaques@5.130.79.72)
2022-02-15 05:28:18 +0100xff0x(~xff0x@2001:1a81:53dd:d400:4619:fbb5:b364:48b6)
2022-02-15 05:32:36 +0100yauhsien_(~Yau-Hsien@61-231-32-166.dynamic-ip.hinet.net) (Read error: Connection reset by peer)
2022-02-15 05:33:09 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 272 seconds)
2022-02-15 05:40:10 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 05:41:01 +0100telser(~AdminUser@user/telser) (Quit: No Ping reply in 180 seconds.)
2022-02-15 05:42:16 +0100telser(~AdminUser@user/telser)
2022-02-15 05:44:04 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-02-15 05:44:36 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds)
2022-02-15 05:45:04 +0100YukiSou(~YukiSou@116.6.232.251) (Quit: Client closed)
2022-02-15 05:45:57 +0100femboid(~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 +0100telser(~AdminUser@user/telser) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-02-15 05:52:38 +0100cynomys(~cynomys@user/cynomys)
2022-02-15 05:55:36 +0100lavaman(~lavaman@98.38.249.169)
2022-02-15 05:57:36 +0100hueso(~root@user/hueso) (Ping timeout: 252 seconds)
2022-02-15 05:58:40 +0100coot(~coot@213.134.190.95)
2022-02-15 06:00:23 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 272 seconds)
2022-02-15 06:00:34 +0100roboguy_(~roboguy_@cpe-98-156-4-161.kc.res.rr.com) (Quit: Leaving...)
2022-02-15 06:07:42 +0100femboid(~femboid@31.6.9.246) (Ping timeout: 256 seconds)
2022-02-15 06:08:24 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-02-15 06:08:47 +0100little_mac(~little_ma@2601:410:4300:3ce0:4084:84c5:95c2:a194) (Remote host closed the connection)
2022-02-15 06:10:39 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-02-15 06:11:58 +0100k8yun(~k8yun@user/k8yun) (Quit: Leaving)
2022-02-15 06:13:00 +0100lagash(lagash@lagash.shelltalk.net) (Ping timeout: 252 seconds)
2022-02-15 06:13:37 +0100swistak(~swistak@185.21.216.141) (Ping timeout: 256 seconds)
2022-02-15 06:13:55 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 06:13:59 +0100lagash(lagash@lagash.shelltalk.net)
2022-02-15 06:14:13 +0100k8yun(~k8yun@user/k8yun)
2022-02-15 06:16:28 +0100wyrd(~wyrd@gateway/tor-sasl/wyrd) (Remote host closed the connection)
2022-02-15 06:16:38 +0100rusrushal13(~rusrushal@103.85.18.34)
2022-02-15 06:16:47 +0100wyrd(~wyrd@gateway/tor-sasl/wyrd)
2022-02-15 06:18:12 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds)
2022-02-15 06:26:38 +0100k8yun(~k8yun@user/k8yun) (Quit: Leaving)
2022-02-15 06:29:38 +0100burnsidesLlama(~burnsides@dhcp168-031.wadham.ox.ac.uk) (Remote host closed the connection)
2022-02-15 06:31:01 +0100swistak(~swistak@185.21.216.141)
2022-02-15 06:35:18 +0100ralu(~ralu@static.211.245.203.116.clients.your-server.de)
2022-02-15 06:37:09 +0100dyeplexer(~dyeplexer@user/dyeplexer)
2022-02-15 06:41:55 +0100gaff(~gaff@49.207.218.11)
2022-02-15 06:42:26 +0100myme(~myme@2a01:799:d5a:cd00:4746:bc4e:ee58:44d9) (Ping timeout: 245 seconds)
2022-02-15 06:43:26 +0100myme(~myme@2a01:799:d5a:cd00:9ae3:d451:a989:e1e9)
2022-02-15 06:46:12 +0100gaff(~gaff@49.207.218.11) (Ping timeout: 240 seconds)
2022-02-15 06:48:15 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 06:50:49 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-02-15 06:51:27 +0100mvk(~mvk@2607:fea8:5cdc:bf00::99e7)
2022-02-15 06:51:33 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-02-15 06:52:36 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds)
2022-02-15 06:53:08 +0100deadmarshal(~deadmarsh@95.38.117.142)
2022-02-15 06:57:28 +0100gaff(~gaff@49.207.218.11)
2022-02-15 07:00:15 +0100slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2022-02-15 07:01:41 +0100meinside(uid24933@id-24933.helmsley.irccloud.com)
2022-02-15 07:01:49 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 07:11:13 +0100mikail_(~mikail@94.3.253.161)
2022-02-15 07:11:29 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection)
2022-02-15 07:14:03 +0100mikail(~mikail@2a02:c7f:bd03:2c00:df97:6ebf:5b0b:7304) (Ping timeout: 252 seconds)
2022-02-15 07:16:24 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2022-02-15 07:29:10 +0100yauhsien(~Yau-Hsien@61-231-32-166.dynamic-ip.hinet.net)
2022-02-15 07:29:46 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 07:34:12 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds)
2022-02-15 07:35:06 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 07:35:38 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt)
2022-02-15 07:38:13 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-02-15 07:40:24 +0100whound(~dust@2409:4071:4d8d:7b21:2586:8c37:2856:667a)
2022-02-15 07:40:26 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds)
2022-02-15 07:41:13 +0100hololeap(~hololeap@user/hololeap) (Excess Flood)
2022-02-15 07:41:16 +0100drdo(~drdo@roach0.drdo.eu) (Quit: Ping timeout (120 seconds))
2022-02-15 07:42:40 +0100hololeap(~hololeap@user/hololeap)
2022-02-15 07:44:41 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection)
2022-02-15 07:45:29 +0100off^(~off@50.235.176.163)
2022-02-15 07:48:56 +0100nunggu_(~q@user/nunggu) (Ping timeout: 240 seconds)
2022-02-15 07:50:21 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 252 seconds)
2022-02-15 07:51:27 +0100nunggu_(~q@user/nunggu)
2022-02-15 07:53:13 +0100Erutuon(~Erutuon@user/erutuon)
2022-02-15 07:59:47 +0100capo_greco(~textual@60-241-161-167.static.tpgi.com.au)
2022-02-15 08:01:20 +0100Null_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 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-02-15 08:05:48 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2022-02-15 08:10:36 +0100capo_greco(~textual@60-241-161-167.static.tpgi.com.au) (Ping timeout: 240 seconds)
2022-02-15 08:12:53 +0100dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2022-02-15 08:15:53 +0100capo_greco(~textual@60-241-161-167.static.tpgi.com.au)
2022-02-15 08:15:53 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-15 08:16:19 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-02-15 08:16:44 +0100michalz(~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 +0100vglfr(~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 +0100Erutuon(~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 +0100Erutuon(~Erutuon@user/erutuon)
2022-02-15 08:23:14 +0100gurkenglas(~gurkengla@dslb-188-096-121-068.188.096.pools.vodafone-ip.de)
2022-02-15 08:25:00 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 08:25:49 +0100raym(~raym@user/raym) (Quit: kernel update, rebooting...)
2022-02-15 08:27:12 +0100deadmarshal(~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 +0100whound(~dust@2409:4071:4d8d:7b21:2586:8c37:2856:667a) (Ping timeout: 240 seconds)
2022-02-15 08:31:21 +0100raym(~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 +0100Null_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 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-02-15 08:37:22 +0100fendor(~fendor@91.141.60.250.wireless.dyn.drei.com)
2022-02-15 08:39:06 +0100whound(~dust@2409:4071:4d8d:7b21:2586:8c37:2856:667a)
2022-02-15 08:39:12 +0100mbuf(~Shakthi@117.96.195.201) (Quit: Leaving)
2022-02-15 08:39:15 +0100adam1(~adam@2001-b011-4007-283f-8c1c-5c42-5289-7882.dynamic-ip6.hinet.net)
2022-02-15 08:41:49 +0100geekosaur(~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 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2022-02-15 08:44:25 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-15 08:44:51 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-15 08:50:16 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 08:51:16 +0100gehmehgeh(~user@user/gehmehgeh)
2022-02-15 08:53:07 +0100coot(~coot@213.134.190.95)
2022-02-15 08:54:51 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds)
2022-02-15 08:57:28 +0100alp(~alp@user/alp)
2022-02-15 08:59:48 +0100gurkenglas(~gurkengla@dslb-188-096-121-068.188.096.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2022-02-15 09:00:29 +0100MajorBiscuit(~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e)
2022-02-15 09:00:49 +0100cfricke(~cfricke@user/cfricke)
2022-02-15 09:02:47 +0100jakalx(~jakalx@base.jakalx.net)
2022-02-15 09:03:37 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:a86e:f918:f8cf:38c0)
2022-02-15 09:08:57 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 09:09:36 +0100chele(~chele@user/chele)
2022-02-15 09:11:49 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-15 09:12:33 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-15 09:16:51 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-02-15 09:17:51 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:7443:3f57:453b:e0ec)
2022-02-15 09:22:05 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4)
2022-02-15 09:24:12 +0100acidjnk(~acidjnk@p200300d0c7057500a04355ceabfe8d47.dip0.t-ipconnect.de)
2022-02-15 09:27:53 +0100shriekingnoise(~shrieking@201.231.16.156) (Quit: Quit)
2022-02-15 09:31:23 +0100ubert(~Thunderbi@p548c8cd6.dip0.t-ipconnect.de)
2022-02-15 09:32:26 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt)
2022-02-15 09:33:20 +0100deadmarshal(~deadmarsh@95.38.117.142)
2022-02-15 09:34:12 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds)
2022-02-15 09:37:01 +0100dextaa_(~dextaa@cpc142174-lewi20-2-0-cust34.2-4.cable.virginm.net) (Quit: leaving)
2022-02-15 09:37:04 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-02-15 09:37:24 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds)
2022-02-15 09:37:24 +0100whound(~dust@2409:4071:4d8d:7b21:2586:8c37:2856:667a) (Ping timeout: 240 seconds)
2022-02-15 09:38:19 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:7443:3f57:453b:e0ec) (Remote host closed the connection)
2022-02-15 09:39:57 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-02-15 09:39:57 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-02-15 09:39:57 +0100wroathe(~wroathe@user/wroathe)
2022-02-15 09:39:57 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds)
2022-02-15 09:40:59 +0100drdo(~drdo@roach0.drdo.eu)
2022-02-15 09:41:34 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-02-15 09:41:56 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2022-02-15 09:42:04 +0100jgeerds_(~jgeerds@55d4b9df.access.ecotel.net)
2022-02-15 09:44:23 +0100jgeerds_(~jgeerds@55d4b9df.access.ecotel.net) (Remote host closed the connection)
2022-02-15 09:44:35 +0100jgeerds_(~jgeerds@55d4b9df.access.ecotel.net)
2022-02-15 09:44:36 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-02-15 09:46:57 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-15 09:47:41 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-15 09:48:05 +0100__monty__(~toonn@user/toonn)
2022-02-15 09:48:38 +0100machinedgod(~machinedg@24.105.81.50)
2022-02-15 09:48:57 +0100capo_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 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-15 09:56:08 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-15 09:57:38 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 09:58:55 +0100chele(~chele@user/chele) (Remote host closed the connection)
2022-02-15 10:00:13 +0100Morrow[m](~morrowmma@2001:470:69fc:105::1d0) (Quit: You have been kicked for being idle)
2022-02-15 10:00:22 +0100max22-(~maxime@2a01cb08833598008f1709df66707174.ipv6.abo.wanadoo.fr)
2022-02-15 10:00:42 +0100mikail_(~mikail@94.3.253.161) (Ping timeout: 252 seconds)
2022-02-15 10:00:49 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-15 10:01:08 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt)
2022-02-15 10:02:01 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds)
2022-02-15 10:05:25 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-15 10:06:31 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-15 10:06:39 +0100gurkenglas(~gurkengla@dslb-188-096-121-068.188.096.pools.vodafone-ip.de)
2022-02-15 10:07:18 +0100jgeerds_(~jgeerds@55d4b9df.access.ecotel.net) (Ping timeout: 252 seconds)
2022-02-15 10:07:50 +0100Pickchea(~private@user/pickchea)
2022-02-15 10:09:01 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-02-15 10:13:26 +0100adam1(~adam@2001-b011-4007-283f-8c1c-5c42-5289-7882.dynamic-ip6.hinet.net) (Quit: WeeChat 3.4)
2022-02-15 10:13:37 +0100tzh(~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 +0100mikail(~mikail@2a02:c7f:bd03:2c00:df97:6ebf:5b0b:7304)
2022-02-15 10:18:30 +0100m5zs7k(aquares@web10.mydevil.net) (Read error: Connection reset by peer)
2022-02-15 10:18:30 +0100raoul(~raoul@95.179.203.88) (Quit: Ping timeout (120 seconds))
2022-02-15 10:18:30 +0100SoF(~skius@user/skius) (Quit: Ping timeout (120 seconds))
2022-02-15 10:18:38 +0100raoul8(~raoul@95.179.203.88)
2022-02-15 10:18:50 +0100m5zs7k_(aquares@web10.mydevil.net)
2022-02-15 10:18:56 +0100SoF(~skius@user/skius)
2022-02-15 10:19:50 +0100ubert(~Thunderbi@p548c8cd6.dip0.t-ipconnect.de) (Quit: ubert)
2022-02-15 10:22:42 +0100MajorBiscuit(~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) (Ping timeout: 252 seconds)
2022-02-15 10:23:05 +0100chele(~chele@user/chele)
2022-02-15 10:24:43 +0100MajorBiscuit(~MajorBisc@c-001-001-032.client.tudelft.eduvpn.nl)
2022-02-15 10:26:17 +0100ix(~ix@82-71-2-184.dsl.in-addr.zen.co.uk)
2022-02-15 10:27:46 +0100m5zs7k_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 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
2022-02-15 10:33:21 +0100ix(~ix@82-71-2-184.dsl.in-addr.zen.co.uk) (Ping timeout: 272 seconds)
2022-02-15 10:33:21 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-15 10:34:04 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-15 10:34:15 +0100ix(~ix@82-71-2-184.dsl.in-addr.zen.co.uk)
2022-02-15 10:37:00 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2022-02-15 10:38:42 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:7443:3f57:453b:e0ec)
2022-02-15 10:41:55 +0100ardell(~ardell@user/ardell)
2022-02-15 10:43:00 +0100eggplantade(~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 +0100whound(~dust@2409:4071:4d8d:7b21:2586:8c37:2856:667a)
2022-02-15 10:53:00 +0100drdo(~drdo@roach0.drdo.eu) (Ping timeout: 240 seconds)
2022-02-15 10:54:44 +0100gaff(~gaff@49.207.218.11) (Remote host closed the connection)
2022-02-15 10:57:54 +0100mikail(~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 +0100ubert(~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 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-02-15 11:06:48 +0100cosimone(~user@93-44-187-99.ip98.fastwebnet.it)
2022-02-15 11:10:11 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 11:13:24 +0100ix(~ix@82-71-2-184.dsl.in-addr.zen.co.uk) (Ping timeout: 240 seconds)
2022-02-15 11:14:36 +0100vysn(~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 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:c58b:31b1:c12f:8193)
2022-02-15 11:18:38 +0100ix(~ix@82-71-2-184.dsl.in-addr.zen.co.uk)
2022-02-15 11:19:31 +0100ardell(~ardell@user/ardell) (Quit: Konversation terminated!)
2022-02-15 11:19:45 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection)
2022-02-15 11:20:36 +0100eggplantade(~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 +0100pooryorick(~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 +0100pooryorick(~pooryoric@87-119-174-173.tll.elisa.ee)
2022-02-15 11:27:35 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:2522:8e77:48b4:28a1)
2022-02-15 11:27:37 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2022-02-15 11:30:15 +0100CiaoSen(~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-02-15 11:31:48 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:2522:8e77:48b4:28a1) (Ping timeout: 240 seconds)
2022-02-15 11:36:52 +0100Null_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 +0100Null_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 +0100cheater(~Username@user/cheater) (Read error: Connection reset by peer)
2022-02-15 11:44:55 +0100ix(~ix@82-71-2-184.dsl.in-addr.zen.co.uk) (Ping timeout: 272 seconds)
2022-02-15 11:45:33 +0100foul_owl(~kerry@207.244.125.36) (Ping timeout: 272 seconds)
2022-02-15 11:46:12 +0100ix(~ix@82-71-2-184.dsl.in-addr.zen.co.uk)
2022-02-15 11:46:44 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-02-15 11:48:04 +0100cheater(~Username@user/cheater)
2022-02-15 11:48:17 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 240 seconds)
2022-02-15 11:49:20 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-02-15 11:51:48 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:a86e:f918:f8cf:38c0) (Ping timeout: 252 seconds)
2022-02-15 11:55:05 +0100michalz(~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 +0100CiaoSen(~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-02-15 11:55:29 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:8978:c9ec:3b56:b4e9)
2022-02-15 11:55:30 +0100mc47(~mc47@xmonad/TheMC47)
2022-02-15 11:55:40 +0100michalz(~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 +0100cfricke(~cfricke@user/cfricke) (Ping timeout: 272 seconds)
2022-02-15 11:59:48 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:8978:c9ec:3b56:b4e9) (Ping timeout: 240 seconds)
2022-02-15 12:00:41 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-02-15 12:02:00 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 272 seconds)
2022-02-15 12:03:28 +0100fendor(~fendor@91.141.60.250.wireless.dyn.drei.com) (Remote host closed the connection)
2022-02-15 12:06:29 +0100ix(~ix@82-71-2-184.dsl.in-addr.zen.co.uk) (Quit: WeeChat 3.4)
2022-02-15 12:06:38 +0100ix(~ix@2a02:8010:674f:0:cda6:d05:f0d7:4922)
2022-02-15 12:06:42 +0100ix(~ix@2a02:8010:674f:0:cda6:d05:f0d7:4922) (Remote host closed the connection)
2022-02-15 12:06:50 +0100ix(~ix@2a02:8010:674f:0:2e0:4cff:fe67:ba)
2022-02-15 12:06:54 +0100ix(~ix@2a02:8010:674f:0:2e0:4cff:fe67:ba) (Remote host closed the connection)
2022-02-15 12:07:02 +0100ix(~ix@2a02:8010:674f:0:2e0:4cff:fe67:ba)
2022-02-15 12:07:08 +0100ix(~ix@2a02:8010:674f:0:2e0:4cff:fe67:ba) (Remote host closed the connection)
2022-02-15 12:07:16 +0100ix(~ix@2a02:8010:674f:0:2e0:4cff:fe67:ba)
2022-02-15 12:10:46 +0100foul_owl(~kerry@207.244.125.36)
2022-02-15 12:12:09 +0100ix(~ix@2a02:8010:674f:0:2e0:4cff:fe67:ba) (Ping timeout: 252 seconds)
2022-02-15 12:13:28 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-02-15 12:18:36 +0100xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2022-02-15 12:18:57 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.4)
2022-02-15 12:19:07 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-02-15 12:19:10 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection)
2022-02-15 12:19:18 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-02-15 12:19:24 +0100Akiva(~Akiva@user/Akiva) (Ping timeout: 240 seconds)
2022-02-15 12:19:59 +0100capo_greco(~textual@60-241-161-167.static.tpgi.com.au)
2022-02-15 12:20:19 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-02-15 12:22:02 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2022-02-15 12:24:43 +0100jeremyn(~jeremyn@098-147-212-046.res.spectrum.com)
2022-02-15 12:25:01 +0100jeremyn_(~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 +0100whound(~dust@2409:4071:4d8d:7b21:2586:8c37:2856:667a) (Quit: Konversation terminated!)
2022-02-15 12:34:33 +0100ix(~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 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-02-15 12:37:25 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-02-15 12:37:25 +0100wroathe(~wroathe@user/wroathe)
2022-02-15 12:38:09 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.4)
2022-02-15 12:41:29 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-02-15 12:42:24 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2022-02-15 12:43:24 +0100fendor(~fendor@77.119.209.21.wireless.dyn.drei.com)
2022-02-15 12:49:38 +0100cynomys(~cynomys@user/cynomys) (Quit: Lost terminal)
2022-02-15 12:51:12 +0100cosimone(~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 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 12:52:50 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-02-15 12:53:15 +0100raehik(~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 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection)
2022-02-15 13:01:31 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2022-02-15 13:02:11 +0100burnsidesLlama(~burnsides@dhcp168-031.wadham.ox.ac.uk)
2022-02-15 13:03:45 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:5f01:5e57:4ded:3d7c)
2022-02-15 13:07:48 +0100gaff(~gaff@49.207.195.156)
2022-02-15 13:07:53 +0100cfricke(~cfricke@user/cfricke)
2022-02-15 13:08:43 +0100capo_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 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2022-02-15 13:15:47 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2022-02-15 13:19:43 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 13:20:34 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-02-15 13:23:46 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-02-15 13:24:23 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds)
2022-02-15 13:28:09 +0100ubert(~Thunderbi@2a02:8109:9880:303c:bca8:d0f:7008:eb61) (Remote host closed the connection)
2022-02-15 13:28:28 +0100ubert(~Thunderbi@2a02:8109:9880:303c:bca8:d0f:7008:eb61)
2022-02-15 13:31:38 +0100Cajun(~Cajun@user/cajun)
2022-02-15 13:31:54 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds)
2022-02-15 13:32:24 +0100ubert(~Thunderbi@2a02:8109:9880:303c:bca8:d0f:7008:eb61) (Client Quit)
2022-02-15 13:32:35 +0100ubert(~Thunderbi@2a02:8109:9880:303c:bca8:d0f:7008:eb61)
2022-02-15 13:33:05 +0100zeenk(~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5)
2022-02-15 13:33:35 +0100ubert(~Thunderbi@2a02:8109:9880:303c:bca8:d0f:7008:eb61) (Remote host closed the connection)
2022-02-15 13:33:56 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-02-15 13:34:55 +0100jeremyn_(~jeremyn@098-147-212-046.res.spectrum.com) (Quit: Leaving)
2022-02-15 13:34:55 +0100jeremyn(~jeremyn@098-147-212-046.res.spectrum.com) (Quit: Leaving)
2022-02-15 13:35:31 +0100ubert(~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 +0100vysn(~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 +0100rtsn(~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 +0100alp(~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 +0100Unicorn_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 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4)
2022-02-15 13:50:31 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt)
2022-02-15 13:51:35 +0100 <romesrf> back
2022-02-15 13:53:29 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 13:58:11 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds)
2022-02-15 13:59:42 +0100notzmv(~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 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-15 14:14:16 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-02-15 14:15:37 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2022-02-15 14:17:35 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-02-15 14:18:35 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-02-15 14:19:29 +0100Vajb(~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e)
2022-02-15 14:21:24 +0100max22-(~maxime@2a01cb08833598008f1709df66707174.ipv6.abo.wanadoo.fr) (Ping timeout: 252 seconds)
2022-02-15 14:21:25 +0100Vajb(~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) (Read error: Connection reset by peer)
2022-02-15 14:22:21 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-02-15 14:24:58 +0100kayprish(~kayprish@cable-24-135-254-227.dynamic.sbb.rs)
2022-02-15 14:28:10 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:7dbf:9eef:ddfc:d739)
2022-02-15 14:28:15 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 14:32:12 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:7dbf:9eef:ddfc:d739) (Ping timeout: 240 seconds)
2022-02-15 14:32:50 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection)
2022-02-15 14:33:05 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 14:33:07 +0100chenqisu1(~chenqisu1@183.217.200.249)
2022-02-15 14:37:03 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:c4e7:84cc:496a:5ba8)
2022-02-15 14:37:13 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-02-15 14:37:21 +0100MajorBiscuit(~MajorBisc@c-001-001-032.client.tudelft.eduvpn.nl) (Ping timeout: 252 seconds)
2022-02-15 14:37:48 +0100chenqisu12(~chenqisu1@183.217.200.249)
2022-02-15 14:40:28 +0100chenqisu1(~chenqisu1@183.217.200.249) (Read error: Connection reset by peer)
2022-02-15 14:41:24 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:c4e7:84cc:496a:5ba8) (Ping timeout: 240 seconds)
2022-02-15 14:41:38 +0100MajorBiscuit(~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e)
2022-02-15 14:42:21 +0100kuribas(~user@ptr-25vy0i6vww7x1l8ynbn.18120a2.ip6.access.telenet.be)
2022-02-15 14:42:41 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection)
2022-02-15 14:43:31 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2022-02-15 14:47:20 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:3043:922a:3ee:629c)
2022-02-15 14:51:24 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:3043:922a:3ee:629c) (Ping timeout: 240 seconds)
2022-02-15 14:59:08 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 14:59:21 +0100meinside(uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-02-15 15:03:48 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds)
2022-02-15 15:08:05 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-02-15 15:12:21 +0100drdo(~drdo@roach0.drdo.eu)
2022-02-15 15:12:21 +0100drdo(~drdo@roach0.drdo.eu) (Client Quit)
2022-02-15 15:15:43 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2022-02-15 15:17:19 +0100drdo(~drdo@roach0.drdo.eu)
2022-02-15 15:17:33 +0100drdo(~drdo@roach0.drdo.eu) (Client Quit)
2022-02-15 15:18:58 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-02-15 15:18:58 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-02-15 15:18:59 +0100wroathe(~wroathe@user/wroathe)
2022-02-15 15:19:57 +0100zer0bitz(~zer0bitz@2001:2003:f74d:b800:690a:d027:b8ea:dcab)
2022-02-15 15:20:15 +0100burnsidesLlama(~burnsides@dhcp168-031.wadham.ox.ac.uk) (Remote host closed the connection)
2022-02-15 15:20:41 +0100burnsidesLlama(~burnsides@dhcp168-031.wadham.ox.ac.uk)
2022-02-15 15:21:23 +0100zer0bitz_(~zer0bitz@2001:2003:f74d:b800:5c57:7f45:b808:8adb) (Ping timeout: 250 seconds)
2022-02-15 15:22:44 +0100drdo(~drdo@roach0.drdo.eu)
2022-02-15 15:22:44 +0100drdo(~drdo@roach0.drdo.eu) (Client Quit)
2022-02-15 15:23:22 +0100burnside_(~burnsides@dhcp168-031.wadham.ox.ac.uk)
2022-02-15 15:23:46 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-02-15 15:24:21 +0100Vajb(~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e)
2022-02-15 15:24:51 +0100zer0bitz(~zer0bitz@2001:2003:f74d:b800:690a:d027:b8ea:dcab) (Ping timeout: 250 seconds)
2022-02-15 15:24:58 +0100burnsidesLlama(~burnsides@dhcp168-031.wadham.ox.ac.uk) (Remote host closed the connection)
2022-02-15 15:26:28 +0100kuribas(~user@ptr-25vy0i6vww7x1l8ynbn.18120a2.ip6.access.telenet.be) (Read error: Connection reset by peer)
2022-02-15 15:26:43 +0100drdo(~drdo@roach0.drdo.eu)
2022-02-15 15:27:55 +0100drdo(~drdo@roach0.drdo.eu) (Client Quit)
2022-02-15 15:31:27 +0100alp(~alp@user/alp)
2022-02-15 15:32:16 +0100kuribas(~user@ptr-25vy0i6vww7x1l8ynbn.18120a2.ip6.access.telenet.be)
2022-02-15 15:32:43 +0100raoul8raoul
2022-02-15 15:33:06 +0100drdo(~drdo@roach0.drdo.eu)
2022-02-15 15:33:07 +0100drdo(~drdo@roach0.drdo.eu) (Client Quit)
2022-02-15 15:33:49 +0100MajorBiscuit(~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) (Ping timeout: 240 seconds)
2022-02-15 15:34:16 +0100max22-(~maxime@2a01cb0883359800f7b27aee14b4b0ce.ipv6.abo.wanadoo.fr)
2022-02-15 15:35:58 +0100MajorBiscuit(~MajorBisc@c-001-001-032.client.tudelft.eduvpn.nl)
2022-02-15 15:37:12 +0100rusrushal13(~rusrushal@103.85.18.34) (Ping timeout: 256 seconds)
2022-02-15 15:37:14 +0100drdo(~drdo@roach0.drdo.eu)
2022-02-15 15:37:30 +0100zer0bitz(~zer0bitz@2001:2003:f74d:b800:95ea:d1ff:55f2:9ea6)
2022-02-15 15:38:18 +0100drdo(~drdo@roach0.drdo.eu) (Client Quit)
2022-02-15 15:39:48 +0100mvk(~mvk@2607:fea8:5cdc:bf00::99e7) (Ping timeout: 240 seconds)
2022-02-15 15:40:36 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 252 seconds)
2022-02-15 15:42:08 +0100hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2022-02-15 15:43:29 +0100drdo(~drdo@roach0.drdo.eu)
2022-02-15 15:43:29 +0100drdo(~drdo@roach0.drdo.eu) (Client Quit)
2022-02-15 15:45:14 +0100zer0bitz_(~zer0bitz@2001:2003:f74d:b800:95ea:d1ff:55f2:9ea6)
2022-02-15 15:46:57 +0100zer0bitz(~zer0bitz@2001:2003:f74d:b800:95ea:d1ff:55f2:9ea6) (Ping timeout: 250 seconds)
2022-02-15 15:48:40 +0100drdo(~drdo@roach0.drdo.eu)
2022-02-15 15:48:40 +0100drdo(~drdo@roach0.drdo.eu) (Client Quit)
2022-02-15 15:52:00 +0100shriekingnoise(~shrieking@201.231.16.156)
2022-02-15 15:53:52 +0100drdo(~drdo@roach0.drdo.eu)
2022-02-15 15:53:52 +0100drdo(~drdo@roach0.drdo.eu) (Client Quit)
2022-02-15 15:54:12 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-02-15 15:55:47 +0100sss(~sss@187.83.249.216.dyn.smithville.net)
2022-02-15 15:56:29 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-02-15 15:59:03 +0100drdo(~drdo@roach0.drdo.eu)
2022-02-15 15:59:03 +0100drdo(~drdo@roach0.drdo.eu) (Client Quit)
2022-02-15 16:00:26 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-02-15 16:00:27 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection)
2022-02-15 16:00:35 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-02-15 16:00:39 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection)
2022-02-15 16:00:47 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-02-15 16:00:51 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection)
2022-02-15 16:00:59 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-02-15 16:01:03 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection)
2022-02-15 16:01:11 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-02-15 16:01:15 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection)
2022-02-15 16:01:48 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-02-15 16:04:14 +0100drdo(~drdo@roach0.drdo.eu)
2022-02-15 16:04:14 +0100drdo(~drdo@roach0.drdo.eu) (Client Quit)
2022-02-15 16:04:26 +0100jlamothe(~jlamothe@198.251.61.229)
2022-02-15 16:05:35 +0100slack1256(~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 +0100drdo(~drdo@roach0.drdo.eu)
2022-02-15 16:09:26 +0100drdo(~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 +0100Sgeo(~Sgeo@user/sgeo)
2022-02-15 16:11:49 +0100 <slack1256> I can probably update it. Thanks merijn.
2022-02-15 16:13:27 +0100cfricke(~cfricke@user/cfricke) (Ping timeout: 272 seconds)
2022-02-15 16:14:05 +0100chenqisu12(~chenqisu1@183.217.200.249) (Ping timeout: 272 seconds)
2022-02-15 16:14:31 +0100drdo(~drdo@roach0.drdo.eu)
2022-02-15 16:14:37 +0100drdo(~drdo@roach0.drdo.eu) (Client Quit)
2022-02-15 16:16:54 +0100Cajun(~Cajun@user/cajun) (Quit: Client closed)
2022-02-15 16:18:42 +0100drdo(~drdo@roach0.drdo.eu)
2022-02-15 16:19:48 +0100drdo(~drdo@roach0.drdo.eu) (Client Quit)
2022-02-15 16:22:21 +0100haskell_(~haskell@65-102-32-32.ptld.qwest.net)
2022-02-15 16:22:44 +0100haskell_(~haskell@65-102-32-32.ptld.qwest.net) (Remote host closed the connection)
2022-02-15 16:22:57 +0100drdo(~drdo@roach0.drdo.eu)
2022-02-15 16:24:59 +0100drdo(~drdo@roach0.drdo.eu) (Client Quit)
2022-02-15 16:25:59 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2022-02-15 16:29:11 +0100gaff(~gaff@49.207.195.156) (Remote host closed the connection)
2022-02-15 16:30:11 +0100drdo(~drdo@roach0.drdo.eu)
2022-02-15 16:30:11 +0100drdo(~drdo@roach0.drdo.eu) (Client Quit)
2022-02-15 16:31:21 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:68e1:d7ca:4ab6:46e)
2022-02-15 16:34:54 +0100slowButPresent(~slowButPr@user/slowbutpresent)
2022-02-15 16:35:24 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:68e1:d7ca:4ab6:46e) (Ping timeout: 240 seconds)
2022-02-15 16:40:33 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2022-02-15 16:40:56 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net)
2022-02-15 16:42:45 +0100xff0x(~xff0x@2001:1a81:53dd:d400:4619:fbb5:b364:48b6) (Ping timeout: 252 seconds)
2022-02-15 16:42:56 +0100nunggu_(~q@user/nunggu) (Ping timeout: 240 seconds)
2022-02-15 16:43:30 +0100xff0x(~xff0x@2001:1a81:53dd:d400:dbd2:febe:ea58:7c1a)
2022-02-15 16:44:06 +0100gaff(~gaff@49.207.195.156)
2022-02-15 16:46:33 +0100nunggu_(~q@user/nunggu)
2022-02-15 16:46:36 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-02-15 16:48:50 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-02-15 16:49:42 +0100afidegnum(~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 +0100sss(~sss@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
2022-02-15 16:58:12 +0100gaff(~gaff@49.207.195.156) (Ping timeout: 240 seconds)
2022-02-15 16:59:00 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-02-15 17:00:06 +0100yehoshuapw(~yehoshuap@2001:470:69fc:105::a5f) (Quit: You have been kicked for being idle)
2022-02-15 17:01:53 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-02-15 17:01:53 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-02-15 17:01:53 +0100wroathe(~wroathe@user/wroathe)
2022-02-15 17:03:49 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:68e1:d7ca:4ab6:46e)
2022-02-15 17:04:04 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:68e1:d7ca:4ab6:46e) (Remote host closed the connection)
2022-02-15 17:04:13 +0100xkuru(~xkuru@user/xkuru)
2022-02-15 17:04:25 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:68e1:d7ca:4ab6:46e)
2022-02-15 17:04:51 +0100zebrag(~chris@user/zebrag)
2022-02-15 17:05:29 +0100jgeerds_(~jgeerds@55d4b9df.access.ecotel.net)
2022-02-15 17:05:43 +0100eggplant_(~Eggplanta@2600:1700:bef1:5e10:49da:9bbf:6c0f:9f3d)
2022-02-15 17:05:55 +0100dyeplexer(~dyeplexer@user/dyeplexer) (Remote host closed the connection)
2022-02-15 17:06:30 +0100Guest28(~Guest28@a89-183-97-15.net-htp.de)
2022-02-15 17:08:36 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:68e1:d7ca:4ab6:46e) (Ping timeout: 240 seconds)
2022-02-15 17:09:17 +0100Vajb(~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) (Ping timeout: 250 seconds)
2022-02-15 17:10:07 +0100afidegnum(~afidegnum@102.176.94.134) (Quit: leaving)
2022-02-15 17:14:02 +0100megeve(sid523379@id-523379.hampstead.irccloud.com) (Ping timeout: 240 seconds)
2022-02-15 17:14:10 +0100Guest28(~Guest28@a89-183-97-15.net-htp.de) ()
2022-02-15 17:15:13 +0100Guest3567(~cat@h-98-128-128-173.A351.priv.bahnhof.se) (Quit: Reconnecting)
2022-02-15 17:15:25 +0100sudden(~cat@h-98-128-128-173.A351.priv.bahnhof.se)
2022-02-15 17:15:49 +0100suddenGuest402
2022-02-15 17:16:15 +0100Guest402(~cat@h-98-128-128-173.A351.priv.bahnhof.se) (Changing host)
2022-02-15 17:16:15 +0100Guest402(~cat@user/sudden)
2022-02-15 17:16:17 +0100megeve(sid523379@id-523379.hampstead.irccloud.com)
2022-02-15 17:16:17 +0100slac19076(~slack1256@191.125.99.76)
2022-02-15 17:16:56 +0100nunggu_(~q@user/nunggu) (Ping timeout: 240 seconds)
2022-02-15 17:18:41 +0100slack1256(~slack1256@186.11.97.42) (Ping timeout: 272 seconds)
2022-02-15 17:20:31 +0100nunggu_(~q@user/nunggu)
2022-02-15 17:23:23 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:5f01:5e57:4ded:3d7c) (Quit: WeeChat 2.8)
2022-02-15 17:24:43 +0100gaff(~gaff@49.207.198.116)
2022-02-15 17:26:29 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-15 17:27:36 +0100nunggu_(~q@user/nunggu) (Ping timeout: 240 seconds)
2022-02-15 17:28:16 +0100mncheckm(~mncheck@193.224.205.254) (Ping timeout: 245 seconds)
2022-02-15 17:28:24 +0100kayprish(~kayprish@cable-24-135-254-227.dynamic.sbb.rs) (Ping timeout: 252 seconds)
2022-02-15 17:29:29 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-02-15 17:29:51 +0100zebrag(~chris@user/zebrag)
2022-02-15 17:30:36 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-02-15 17:30:57 +0100acidjnk(~acidjnk@p200300d0c7057500a04355ceabfe8d47.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2022-02-15 17:33:24 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 17:35:09 +0100mncheck(~mncheck@193.224.205.254)
2022-02-15 17:39:56 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt)
2022-02-15 17:40:08 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-02-15 17:41:39 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-02-15 17:42:18 +0100mvk(~mvk@2607:fea8:5cdc:bf00::99e7)
2022-02-15 17:42:42 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 252 seconds)
2022-02-15 17:42:58 +0100polyphem_(~rod@2a02:810d:840:8754:21f9:18ab:ce0d:488d) (Ping timeout: 260 seconds)
2022-02-15 17:43:44 +0100alp(~alp@user/alp) (Remote host closed the connection)
2022-02-15 17:44:07 +0100alp(~alp@user/alp)
2022-02-15 17:45:07 +0100nunggu_(~q@user/nunggu)
2022-02-15 17:46:55 +0100gensyst(gensyst@user/gensyst)
2022-02-15 17:47:38 +0100burnside_(~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 +0100slac19076slack1256
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 +0100wroathe(~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 +0100polyphem(~rod@2a02:810d:840:8754:448e:47ff:4575:7cfb)
2022-02-15 18:03:51 +0100lbseale(~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 +0100eggplant_(~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 +0100little_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 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-02-15 18:17:32 +0100sagax(~sagax_nb@user/sagax)
2022-02-15 18:17:35 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds)
2022-02-15 18:17:53 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-15 18:18:11 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt)
2022-02-15 18:19:20 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:49da:9bbf:6c0f:9f3d)
2022-02-15 18:19:42 +0100Akiva(~Akiva@user/Akiva)
2022-02-15 18:24:49 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-02-15 18:25:25 +0100burnsidesLlama(~burnsides@dhcp168-031.wadham.ox.ac.uk)
2022-02-15 18:26:45 +0100lavaman(~lavaman@98.38.249.169)
2022-02-15 18:28:01 +0100ubert(~Thunderbi@2a02:8109:9880:303c:df39:5895:e6dd:94da) (Remote host closed the connection)
2022-02-15 18:29:48 +0100burnsidesLlama(~burnsides@dhcp168-031.wadham.ox.ac.uk) (Ping timeout: 240 seconds)
2022-02-15 18:33:44 +0100chele(~chele@user/chele) (Quit: Leaving)
2022-02-15 18:39:46 +0100ack_inc(~anirudh@223.190.93.158)
2022-02-15 18:40:00 +0100ack_inc(~anirudh@223.190.93.158) (Client Quit)
2022-02-15 18:40:08 +0100zeenk(~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!)
2022-02-15 18:42:43 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection)
2022-02-15 18:43:33 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2022-02-15 18:44:07 +0100MajorBiscuit(~MajorBisc@c-001-001-032.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.4)
2022-02-15 18:44:41 +0100tzh(~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 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2022-02-15 18:53:35 +0100capo_greco(~textual@60-241-161-167.static.tpgi.com.au)
2022-02-15 18:57:05 +0100zincy_(~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b)
2022-02-15 18:57:50 +0100zincy_(~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Remote host closed the connection)
2022-02-15 18:58:13 +0100burnsidesLlama(~burnsides@dhcp168-031.wadham.ox.ac.uk)
2022-02-15 18:59:46 +0100Null_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 +0100gaff(~gaff@49.207.198.116) (Remote host closed the connection)
2022-02-15 19:01:51 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection)
2022-02-15 19:02:29 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-02-15 19:03:08 +0100hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Quit: Konversation terminated!)
2022-02-15 19:03:49 +0100burnsidesLlama(~burnsides@dhcp168-031.wadham.ox.ac.uk) (Ping timeout: 272 seconds)
2022-02-15 19:04:25 +0100burnsidesLlama(~burnsides@dhcp168-031.wadham.ox.ac.uk)
2022-02-15 19:04:33 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds)
2022-02-15 19:04:40 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4)
2022-02-15 19:09:41 +0100turlando(~turlando@user/turlando) (Ping timeout: 256 seconds)
2022-02-15 19:11:11 +0100hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2022-02-15 19:12:00 +0100turlando(~turlando@93-42-250-112.ip89.fastwebnet.it)
2022-02-15 19:12:00 +0100turlando(~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host)
2022-02-15 19:12:00 +0100turlando(~turlando@user/turlando)
2022-02-15 19:12:09 +0100hgolden(~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 +0100xnbya2xnbya
2022-02-15 19:14:26 +0100zincy_(~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 +0100vysn(~vysn@user/vysn) (Ping timeout: 240 seconds)
2022-02-15 19:18:45 +0100acidsys(~LSD@2a03:4000:55:d20::3) (Excess Flood)
2022-02-15 19:18:57 +0100zincy_(~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Ping timeout: 252 seconds)
2022-02-15 19:19:24 +0100Ranhir(~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/)
2022-02-15 19:19:52 +0100Ranhir(~Ranhir@157.97.53.139)
2022-02-15 19:21:26 +0100acidsys(~LSD@2a03:4000:55:d20::3)
2022-02-15 19:23:20 +0100mzan(~quassel@mail.asterisell.com) (Quit: No Ping reply in 180 seconds.)
2022-02-15 19:24:46 +0100mzan(~quassel@mail.asterisell.com)
2022-02-15 19:34:30 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
2022-02-15 19:39:15 +0100hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2022-02-15 19:39:17 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2022-02-15 19:42:50 +0100lbseale(~ep1ctetus@user/ep1ctetus) (Quit: Leaving)
2022-02-15 19:43:42 +0100waleee(~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 +0100zincy_(~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 +0100capo_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 +0100econo(uid147250@user/econo)
2022-02-15 19:51:49 +0100Null_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 +0100lbseale(~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 +0100Null_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 +0100x_kuru(~xkuru@user/xkuru)
2022-02-15 20:02:29 +0100capo_greco(~textual@60-241-161-167.static.tpgi.com.au)
2022-02-15 20:03:09 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-02-15 20:03:30 +0100xkuru(~xkuru@user/xkuru) (Ping timeout: 252 seconds)
2022-02-15 20:03:44 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-02-15 20:04:06 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-02-15 20:04:59 +0100ec(~ec@gateway/tor-sasl/ec)
2022-02-15 20:05:00 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-02-15 20:05:20 +0100ubert(~Thunderbi@p200300ecdf0994a3b5a040f373828229.dip0.t-ipconnect.de)
2022-02-15 20:05:39 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-02-15 20:08:23 +0100coot(~coot@213.134.190.95)
2022-02-15 20:11:12 +0100deadmarshal(~deadmarsh@95.38.117.142) (Ping timeout: 252 seconds)
2022-02-15 20:12:06 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2022-02-15 20:12:36 +0100xff0x(~xff0x@2001:1a81:53dd:d400:dbd2:febe:ea58:7c1a) (Ping timeout: 240 seconds)
2022-02-15 20:12:40 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2022-02-15 20:13:13 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-02-15 20:13:41 +0100xff0x(~xff0x@2001:1a81:53dd:d400:b969:14d4:3062:a4)
2022-02-15 20:13:53 +0100ubert(~Thunderbi@p200300ecdf0994a3b5a040f373828229.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2022-02-15 20:14:01 +0100ub(~Thunderbi@p548c8cd6.dip0.t-ipconnect.de)
2022-02-15 20:14:40 +0100gensyst(gensyst@user/gensyst) (Quit: Leaving)
2022-02-15 20:16:19 +0100ububert
2022-02-15 20:27:11 +0100capo_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 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-02-15 20:40:54 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2022-02-15 20:42:28 +0100Lord_of_Life_Lord_of_Life
2022-02-15 20:44:34 +0100fluxit(~fluxit@techsmix.net)
2022-02-15 20:48:07 +0100thyriaen(~thyriaen@simnet-nat-pool-185-130-54-167.stargrpns.pp.ua)
2022-02-15 20:51:35 +0100zincy_(~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Ping timeout: 250 seconds)
2022-02-15 20:54:30 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-02-15 20:54:30 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-02-15 20:54:54 +0100FinnElija(~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 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2022-02-15 21:00:51 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-02-15 21:02:54 +0100briandaed(~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 +0100Erutuon(~Erutuon@user/erutuon)
2022-02-15 21:04:30 +0100 <dsal> maerwald: Thanks!
2022-02-15 21:05:25 +0100juhp(~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 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-02-15 21:06:55 +0100ChaiTRex(~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 +0100slack1256(~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 +0100juhp(~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 +0100drdo(~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 +0100waleee(~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 +0100cfricke(~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 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection)
2022-02-15 21:18:06 +0100capo_greco(~textual@60-241-161-167.static.tpgi.com.au)
2022-02-15 21:18:10 +0100cosimone(~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 +0100cynomys(~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 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:49da:9bbf:6c0f:9f3d) (Remote host closed the connection)
2022-02-15 21:22:25 +0100adanwan(~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 +0100cfricke(~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 +0100zincy_(~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 +0100waleee(~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 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-15 21:29:47 +0100lavaman(~lavaman@98.38.249.169)
2022-02-15 21:29:54 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-15 21:30:08 +0100lavaman(~lavaman@98.38.249.169)
2022-02-15 21:30:16 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-15 21:30:46 +0100deadmarshal(~deadmarsh@95.38.117.142)
2022-02-15 21:31:16 +0100ChanServ+o litharge
2022-02-15 21:31:17 +0100litharge+b $a:lavaman
2022-02-15 21:31:27 +0100litharge-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 +0100deadmarshal(~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 +0100cfricke(~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 +0100burnsidesLlama(~burnsides@dhcp168-031.wadham.ox.ac.uk) (Remote host closed the connection)
2022-02-15 21:42:56 +0100cynomys(~cynomys@user/cynomys) (Quit: leaving)
2022-02-15 21:44:16 +0100thyriaen(~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 +0100alp(~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 +0100zer0bitz_(~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 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.3)
2022-02-15 21:54:40 +0100capo_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 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 21:58:52 +0100ystael(~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 +0100wombat875(~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 +0100ystael(~ystael@user/ystael)
2022-02-15 22:01:12 +0100zincy_(~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Ping timeout: 252 seconds)
2022-02-15 22:01:46 +0100zincy_(~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 +0100acidjnk(~acidjnk@p200300d0c7057500a04355ceabfe8d47.dip0.t-ipconnect.de)
2022-02-15 22:05:40 +0100pavonia(~user@user/siracusa)
2022-02-15 22:06:47 +0100capo_greco(~textual@60-241-161-167.static.tpgi.com.au)
2022-02-15 22:06:59 +0100nunggu_(~q@user/nunggu) (Remote host closed the connection)
2022-02-15 22:07:42 +0100nunggu_(~q@user/nunggu)
2022-02-15 22:07:54 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:49da:9bbf:6c0f:9f3d)
2022-02-15 22:08:09 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection)
2022-02-15 22:08:57 +0100Null_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 +0100capo_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 +0100samtoth(~igloo@90.208.227.189)
2022-02-15 22:20:24 +0100samtoth(~igloo@90.208.227.189) (Remote host closed the connection)
2022-02-15 22:20:45 +0100burnsidesLlama(~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 +0100alphabeta(~kilolympu@31.205.200.235)
2022-02-15 22:22:41 +0100kilolympus(~kilolympu@31.205.200.235) (Ping timeout: 272 seconds)
2022-02-15 22:23:02 +0100zeenk(~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5)
2022-02-15 22:24:14 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection)
2022-02-15 22:24:50 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-02-15 22:25:51 +0100burnsidesLlama(~burnsides@dhcp168-031.wadham.ox.ac.uk) (Ping timeout: 272 seconds)
2022-02-15 22:26:06 +0100Tuplanolla(~Tuplanoll@91-159-69-98.elisa-laajakaista.fi)
2022-02-15 22:31:16 +0100ChanServ+o litharge
2022-02-15 22:31:17 +0100litharge-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 +0100alp(~alp@user/alp)
2022-02-15 22:37:10 +0100dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4)
2022-02-15 22:45:09 +0100fendor(~fendor@77.119.209.21.wireless.dyn.drei.com) (Remote host closed the connection)
2022-02-15 22:48:44 +0100zincy_(~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Remote host closed the connection)
2022-02-15 22:54:12 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-02-15 22:54:31 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-02-15 22:56:12 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds)
2022-02-15 22:59:11 +0100ProfSimm(~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds)
2022-02-15 22:59:21 +0100burnsidesLlama(~burnsides@dhcp168-031.wadham.ox.ac.uk)
2022-02-15 23:02:24 +0100cynomys(~cynomys@user/cynomys)
2022-02-15 23:04:01 +0100off^(~off@50.235.176.163) (Remote host closed the connection)
2022-02-15 23:05:00 +0100FernandoChu[m](~ryunaqmat@2001:470:69fc:105::1:4dc0)
2022-02-15 23:06:04 +0100kuribas(~user@ptr-25vy0i6vww7x1l8ynbn.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2022-02-15 23:06:22 +0100burnsidesLlama(~burnsides@dhcp168-031.wadham.ox.ac.uk) (Ping timeout: 272 seconds)
2022-02-15 23:06:46 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection)
2022-02-15 23:07:01 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 23:09:39 +0100wombat875(~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Quit: WeeChat 2.2-dev)
2022-02-15 23:16:08 +0100coot_(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-02-15 23:16:47 +0100Null_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 +0100CiaoSen(~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-02-15 23:17:35 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-15 23:18:36 +0100coot(~coot@213.134.190.95) (Ping timeout: 240 seconds)
2022-02-15 23:22:18 +0100michalz(~michalz@185.246.204.93) (Remote host closed the connection)
2022-02-15 23:31:01 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-02-15 23:33:43 +0100acidsys(~LSD@2a03:4000:55:d20::3) (Excess Flood)
2022-02-15 23:35:11 +0100cosimone(~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 +0100ec(~ec@gateway/tor-sasl/ec) (Quit: ec)
2022-02-15 23:45:34 +0100cynomys(~cynomys@user/cynomys) (Quit: leaving)
2022-02-15 23:45:45 +0100cynomys(~cynomys@user/cynomys)
2022-02-15 23:46:34 +0100cynomys(~cynomys@user/cynomys) (Client Quit)
2022-02-15 23:46:45 +0100cynomys(~cynomys@user/cynomys)
2022-02-15 23:54:06 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-02-15 23:56:09 +0100alp(~alp@user/alp) (Ping timeout: 252 seconds)
2022-02-15 23:56:33 +0100acidsys(~LSD@2a03:4000:55:d20::3)
2022-02-15 23:57:25 +0100azimut_(~azimut@gateway/tor-sasl/azimut)
2022-02-15 23:59:36 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)