IRCBrowse

2023/08/15

2023-08-15 00:00:13 +0000 <Axman6> quidnunc: I'm not familiar with the exercises, what tipics have you covered so far?
2023-08-15 00:02:43 +0000 <int-e> "bitstream" sounds promising.
2023-08-15 00:03:07 +0000 <Axman6> one way to complete that exercise might be to compute the products of every number with every number passed in, then sum those, and subtract each number multiplied by itself (a little wasteful but the code will be concise). Have you been introduced to applicatives or monads, particularly with regards to lists?
2023-08-15 00:03:38 +0000 <Axman6> int-e: indeed it does, thanks
2023-08-15 00:03:50 +0000 <int-e> (maybe there's a separate support package that provides arbitrary-width `FiniteBits` instances?)
2023-08-15 00:04:05 +0000 <quidnunc> Axman6: Not much, just patterns, guards, case
2023-08-15 00:04:48 +0000 <quidnunc> Axman6: Each file usually explains everything you need
2023-08-15 00:05:14 +0000 <quidnunc> Axman6: No applicatives or monads
2023-08-15 00:05:49 +0000 <Axman6> quidnunc: can you use sumProducts repeatedly?
2023-08-15 00:05:50 +0000 <EvanR> I'm guessing list of Bool isn't going to cut it xD
2023-08-15 00:06:05 +0000califax(~califax@user/califx) (Remote host closed the connection)
2023-08-15 00:06:05 +0000 <Axman6> EvanR: it could for a proof of concept
2023-08-15 00:06:22 +0000califax(~califax@user/califx)
2023-08-15 00:06:49 +0000 <probie> I think this one is meant to be a bit onerous to ensure you use `where` instead of writing one really long line. That said, remember that `a * b + a * c + a * d + a * e = a * (b + c + d + e)`
2023-08-15 00:06:50 +0000 <quidnunc> Axman6: It's not defined outside of a comment so I don't think so
2023-08-15 00:07:23 +0000 <EvanR> ah yes the Num laws
2023-08-15 00:07:39 +0000 <quidnunc> probie: thanks
2023-08-15 00:07:54 +0000 <Axman6> yeah it could be designed to make you feel the pain of not being able to use lists :)
2023-08-15 00:09:09 +0000 <Axman6> > let sumProductasFromTheFuture xs = sum (listA2 (*) xs xs) - sum (map (join (*)) xs) in sumProductasFromTheFuture [1,2,3,4]
2023-08-15 00:09:10 +0000 <lambdabot> error:
2023-08-15 00:09:10 +0000 <lambdabot> • Variable not in scope:
2023-08-15 00:09:10 +0000 <lambdabot> listA2 :: (a0 -> a0 -> a0) -> [a1] -> [a1] -> t0 a1
2023-08-15 00:09:12 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net)
2023-08-15 00:09:19 +0000 <Axman6> > let sumProductasFromTheFuture xs = sum (liftA2 (*) xs xs) - sum (map (join (*)) xs) in sumProductasFromTheFuture [1,2,3,4]
2023-08-15 00:09:20 +0000 <lambdabot> 70
2023-08-15 00:09:58 +0000dobblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-15 00:09:59 +0000dobblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-15 00:09:59 +0000dobblego(~dibblego@haskell/developer/dibblego)
2023-08-15 00:09:59 +0000 <Axman6> > let sumProductasFromTheFuture xs = sum (liftA2 (*) xs xs) - sum (map (join (*)) xs) in sumProductasFromTheFuture [a,b,c] :: Expr]
2023-08-15 00:10:00 +0000 <lambdabot> <hint>:1:129: error: parse error on input ‘]’
2023-08-15 00:10:03 +0000 <Axman6> > let sumProductasFromTheFuture xs = sum (liftA2 (*) xs xs) - sum (map (join (*)) xs) in sumProductasFromTheFuture [a,b,c] :: Expr
2023-08-15 00:10:05 +0000 <lambdabot> 0 + a * a + a * b + a * c + b * a + b * b + b * c + c * a + c * b + c * c - ...
2023-08-15 00:10:27 +0000 <Axman6> ... yeah that's probably right >_>
2023-08-15 00:10:34 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds)
2023-08-15 00:10:34 +0000dobblegodibblego
2023-08-15 00:11:19 +0000Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-08-15 00:12:52 +0000 <Axman6> I kinda wish Expr had an explicit brackets function for explicitly wrapping an expression
2023-08-15 00:16:36 +0000 <Axman6> quidnunc: based on the comments in badSum, I think you are probably supposed to try and pull out commen sub expressions like probie said, and get used to definitions referring to each other.
2023-08-15 00:17:39 +0000 <Axman6> seems like you could have something pretty efficient by first computing the sum of all the numbers then having several expressions of the form xProd = x * (totalNum - x)
2023-08-15 00:17:56 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 256 seconds)
2023-08-15 00:18:19 +0000 <Axman6> (totalSum* is what I meant to call that imaginary variable)
2023-08-15 00:19:46 +0000 <quidnunc> Axman6: probie was right, it's not too bad if you just remember to use distributive property http://ix.io/4DuB/haskell
2023-08-15 00:21:17 +0000 <Axman6> oh right, my idea would double count the pairs. yeah looks pretty clean. Generally I wouldn't indent things that far, just indent the where bt 2/4 spaces, and then definitions by the same amount again
2023-08-15 00:22:23 +0000 <Axman6> (Or for true pro level industrial haskell, stick the "where" at the end of the first line: foo x = y + z where\n y = ...\n z = ... - gotta conserve those lines of code!)
2023-08-15 00:23:07 +0000[_](~itchyjunk@user/itchyjunk/x-7353470)
2023-08-15 00:24:22 +0000 <probie> I think the most common I see is 2+2 (where indented 2, following lines indented 2 more). It's interesting because I see that in both code which is otherwise using 2 space indentation and which is using 4 space indentation
2023-08-15 00:25:19 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds)
2023-08-15 00:25:32 +0000 <Axman6> yeah, I believe my last job did that
2023-08-15 00:28:22 +0000 <Axman6> int-e: packages that use unicode syntax make mildly angry, Bitstream α => (β -> Bool -> β) -> β -> α -> β shouldn't be any harder to read than Bitstream a => (b -> Bool -> b) -> b -> a -> b, but it definitely is
2023-08-15 00:29:32 +0000 <geekosaur> I don't find it so, but I may use more Unicode than you do
2023-08-15 00:30:09 +0000 <int-e> Axman6: it's mostly internal, with a few unicode aliases for functions that also have ASCII names
2023-08-15 00:30:32 +0000 <Axman6> It's just unnecessary, it rarely, if ever, adds any clarity to the code.
2023-08-15 00:30:44 +0000 <probie> Life hack - instead of α and β use p and р
2023-08-15 00:31:02 +0000 <Axman6> :look_of_disapproval:
2023-08-15 00:31:09 +0000 <int-e> I don't particularly like it, but it's not a reason for not using a package as long as I don't have to type Unicode myself.
2023-08-15 00:31:19 +0000 <EvanR> it might also be a font thing because your alpha looks pretty much like an a here
2023-08-15 00:31:49 +0000 <int-e> probie: aww, one of them was ASCII
2023-08-15 00:31:53 +0000 <EvanR> geekosaur is now known as greekosaur
2023-08-15 00:32:10 +0000 <geekosaur> heh
2023-08-15 00:32:38 +0000 <Axman6> no, it wouldn't stop me using it, it just annoys me - use an editor that makes things look fancy on your own machine instead of making everyone else (one of the reasons I use Fira Code - I like the ligatures but wouldn't want to force the ones available in unicode on others))
2023-08-15 00:33:07 +0000 <probie> Axman6: Personally, I'm a slight fan of Greek letters for type variables, and Latin letters for "value" variables, but not enough to use them in code other people have to look at
2023-08-15 00:33:55 +0000fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-08-15 00:34:27 +0000 <Axman6> I can see how that would be helpful, and would probably be all for it if it was the norm in the community (having a type level a and a value level a, which has type a, sure can be confusing to beginners)
2023-08-15 00:34:44 +0000int-egives probie a lꙮꙮk
2023-08-15 00:35:25 +0000ft(~ft@i59F54793.versanet.de) (Ping timeout: 240 seconds)
2023-08-15 00:35:57 +0000 <Axman6> int-e: whatever that was broke my terminal/glirc
2023-08-15 00:36:30 +0000 <jackdk> Axman6: https://en.wikipedia.org/wiki/Multiocular_O
2023-08-15 00:36:37 +0000 <int-e> tꙬ bad.
2023-08-15 00:36:38 +0000 <geekosaur> terminal probably
2023-08-15 00:36:39 +0000 <glguy> Axman6: https://ibb.co/10fbSCt
2023-08-15 00:36:56 +0000 <glguy> Axman6: My terminal+glirc survived it
2023-08-15 00:37:13 +0000ft(~ft@i59F54AB3.versanet.de)
2023-08-15 00:37:23 +0000 <int-e> my terminal can't show it, actually
2023-08-15 00:37:29 +0000leah2(~leah@vuxu.org) (Ping timeout: 246 seconds)
2023-08-15 00:37:34 +0000 <int-e> (well not with the font it's using anyway)
2023-08-15 00:37:47 +0000 <probie> What I really want, is for the Prelude to export `∘` as `.`. That's the one "unicode" function I want, because `.` is already being used for other things
2023-08-15 00:38:13 +0000 <dsal> `.` is used for too many things and some of them are kind of gross.
2023-08-15 00:38:29 +0000 <Axman6> glguy: https://ibb.co/wszP43C note the missing * after "ftx" (when I wrote my comment, the star was pushed past the l in "lk")
2023-08-15 00:38:35 +0000 <geekosaur> hexchat was fine
2023-08-15 00:38:38 +0000 <Axman6> probably a macos terminal or tmux issue
2023-08-15 00:39:16 +0000 <geekosaur> I think tmux needs an option to do unicode correctly?
2023-08-15 00:39:27 +0000 <Axman6> possibly...
2023-08-15 00:39:43 +0000 <int-e> Axman6: I mainly did it because it's a cyrillic letter (though archaic and obscure), like р
2023-08-15 00:39:47 +0000 <glguy> int-e: could you do it one last time?
2023-08-15 00:40:06 +0000 <geekosaur> tmux -u
2023-08-15 00:40:16 +0000 <geekosaur> I don't know what that equates to in tmux.conf
2023-08-15 00:40:17 +0000 <int-e> Ꙫ
2023-08-15 00:40:30 +0000 <Axman6> https://askubuntu.com/questions/410048/utf-8-character-not-showing-properly-in-tmux seems to have answers
2023-08-15 00:40:35 +0000 <glguy> OK, it works in iTerm2 and Terminal.app, so tmux is a good place to look next
2023-08-15 00:40:39 +0000leon_on9527(~yoyofreem@117.39.32.218)
2023-08-15 00:41:14 +0000 <Axman6> brb then
2023-08-15 00:41:20 +0000Axman6(~Axman6@user/axman6) (Remote host closed the connection)
2023-08-15 00:41:43 +0000Axman6(~Axman6@user/axman6)
2023-08-15 00:42:11 +0000 <geekosaur> here's lꙮꙮking at you
2023-08-15 00:42:30 +0000 <int-e> @where look
2023-08-15 00:42:30 +0000 <lambdabot> I know nothing about look.
2023-08-15 00:42:42 +0000 <int-e> @where+ look lꙮꙮk
2023-08-15 00:42:42 +0000 <lambdabot> Done.
2023-08-15 00:42:48 +0000 <Axman6> I have returned, from the future!
2023-08-15 00:42:50 +0000 <Axman6> wow, things are even more broken now, amazing
2023-08-15 00:42:55 +0000 <geekosaur> ow
2023-08-15 00:42:59 +0000 <int-e> glguy: there, now you don't need me anymore
2023-08-15 00:43:09 +0000 <glguy> int-e: Aww, that's not true!
2023-08-15 00:43:09 +0000 <Axman6> https://ibb.co/CKPWdhk
2023-08-15 00:43:13 +0000yoyofreeman(~yoyofreem@117.39.35.76) (Ping timeout: 252 seconds)
2023-08-15 00:44:09 +0000 <int-e> Axman6: that's not *too* bad
2023-08-15 00:44:23 +0000 <int-e> Axman6: just missing characters and a messed up length calculation
2023-08-15 00:44:47 +0000 <geekosaur> makes me wonder about your font, but I forget how that works on OS X
2023-08-15 00:45:06 +0000 <Axman6> Nah it's kinda bad XD https://ibb.co/2cjQ3Bm
2023-08-15 00:45:11 +0000 <geekosaur> on Linux it'd be either direct font support or fallback fonts; I think it's supported directly in mine
2023-08-15 00:45:30 +0000 <jackdk> Axman6: sounds like you'd better switch off macOS to get better font rendering `:trollface:`
2023-08-15 00:45:31 +0000 <glguy> Whatever that's doing, it breaks my test program that uses ncurses 6.4
2023-08-15 00:45:33 +0000 <int-e> Axman6: But it's good to know that you've retur ed, fr m the future.
2023-08-15 00:45:52 +0000 <int-e> Axman6: (don't worry, those were spaces)
2023-08-15 00:46:05 +0000 <Axman6> There were no typos (surprisingly) in that
2023-08-15 00:46:47 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-15 00:47:16 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-08-15 00:47:16 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-08-15 00:47:16 +0000wroathe(~wroathe@user/wroathe)
2023-08-15 00:49:29 +0000Axman6(~Axman6@user/axman6) (Remote host closed the connection)
2023-08-15 00:50:15 +0000Axman6(~Axman6@user/axman6)
2023-08-15 00:51:19 +0000 <Axman6> @where look
2023-08-15 00:51:19 +0000 <lambdabot> lꙮꙮk
2023-08-15 00:51:56 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net)
2023-08-15 00:52:33 +0000wroathe(~wroathe@user/wroathe) (Quit: Reconnecting)
2023-08-15 00:52:46 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-08-15 00:52:46 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-08-15 00:52:46 +0000wroathe(~wroathe@user/wroathe)
2023-08-15 00:53:29 +0000 <Axman6> yeah still borked
2023-08-15 00:53:48 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds)
2023-08-15 00:55:11 +0000 <glguy> Axman6: https://ibb.co/z5d1kB2
2023-08-15 00:56:58 +0000 <Axman6> https://ibb.co/Kbz9N5f
2023-08-15 00:57:10 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds)
2023-08-15 00:58:03 +0000 <Axman6> (This is probably a better discussion for #glirc, though I'm also ok with the brokenness and to blame it on macOS)
2023-08-15 00:58:10 +0000 <int-e> > let ι ∷ ꙮ → ꙮ; ι 𐦂 = 𐦂 in text [ι '🨈'] -- let's break some more terminals
2023-08-15 00:58:11 +0000 <lambdabot> 🨈
2023-08-15 00:58:28 +0000 <Axman6> >:(
2023-08-15 00:58:31 +0000 <glguy> Axman6: I don't think it's glirc's fault, though I'm happy to chat about it there
2023-08-15 00:58:46 +0000 <glguy> that stuff is working in glirc in iterm2, terminal.app, and inside tmux inside iterm2
2023-08-15 00:59:31 +0000 <int-e> there's a good chance that it breaks somewhere because there's an RTL character in there.
2023-08-15 00:59:43 +0000 <int-e> (twice)
2023-08-15 01:00:20 +0000 <Axman6> my setup is Termina.app -> ssh -> freebsd -> tmux -> glirc, so many places things could go wrong (with some zsh's on both sizes of the connection)
2023-08-15 01:00:48 +0000 <glguy> neat, I didn't know it ran on freebsd
2023-08-15 01:01:09 +0000 <Axman6> yeah, has been working for years
2023-08-15 01:01:34 +0000 <Axman6> I generally assume any haskell stuff will work on unix environments and I'm rarely wrong
2023-08-15 01:11:25 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-08-15 01:13:20 +0000razetime(~quassel@117.254.37.206)
2023-08-15 01:14:23 +0000 <EvanR> somewhat surprised hexchat displayed all that
2023-08-15 01:17:59 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-08-15 01:23:05 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-08-15 01:26:34 +0000xff0x(~xff0x@2405:6580:b080:900:1eaf:1036:66fe:e11a) (Ping timeout: 246 seconds)
2023-08-15 01:27:52 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-08-15 01:32:29 +0000 <dsal> I'm not in hexchat, but ꙮ kind of looks like a hexagon to me, so maybe I am.
2023-08-15 01:40:21 +0000 <int-e> it's scarier when you zoom in
2023-08-15 01:43:56 +0000 <probie> Be not afraid
2023-08-15 01:50:48 +0000artem(~artem@38.42.227.237)
2023-08-15 01:50:49 +0000ulysses4ever(~artem@38.42.227.237) (Read error: Connection reset by peer)
2023-08-15 01:52:16 +0000jero98772(~jero98772@2800:484:1d84:300::3) (Quit: leaving)
2023-08-15 02:00:34 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2023-08-15 02:01:00 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2023-08-15 02:06:12 +0000mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 245 seconds)
2023-08-15 02:11:18 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds)
2023-08-15 02:12:43 +0000xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-08-15 02:17:15 +0000[_](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-08-15 02:17:25 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-08-15 02:20:34 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net)
2023-08-15 02:21:41 +0000nick3(~nick@2600:8807:9084:7800:25b7:dc96:70fc:a2ae)
2023-08-15 02:21:45 +0000sososasa(~textual@2600:1700:1e00:25a0:3c8c:3e69:dbb1:5575)
2023-08-15 02:25:32 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2023-08-15 02:25:48 +0000bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds)
2023-08-15 02:26:38 +0000bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8)
2023-08-15 02:28:50 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds)
2023-08-15 02:33:29 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-15 02:33:29 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-15 02:33:29 +0000dibblego(~dibblego@haskell/developer/dibblego)
2023-08-15 02:34:20 +0000razetime(~quassel@117.254.37.206) (Ping timeout: 248 seconds)
2023-08-15 02:34:36 +0000razetime(~quassel@117.254.37.237)
2023-08-15 02:38:06 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
2023-08-15 02:39:31 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73)
2023-08-15 02:40:44 +0000bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds)
2023-08-15 02:43:25 +0000NewtonTrendy(uid282092@user/bopqod) (Quit: Connection closed for inactivity)
2023-08-15 02:43:33 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) (Remote host closed the connection)
2023-08-15 02:43:48 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73)
2023-08-15 02:43:51 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-15 02:43:52 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-15 02:43:52 +0000dibblego(~dibblego@haskell/developer/dibblego)
2023-08-15 02:48:32 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-15 02:49:12 +0000razetime(~quassel@117.254.37.237) (Ping timeout: 252 seconds)
2023-08-15 02:49:47 +0000razetime(~quassel@117.254.37.38)
2023-08-15 02:51:12 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 246 seconds)
2023-08-15 02:52:26 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-08-15 02:52:26 +0000finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-08-15 02:52:26 +0000finn_elijaFinnElija
2023-08-15 02:52:40 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds)
2023-08-15 02:54:59 +0000tom_(~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684)
2023-08-15 02:57:08 +0000tom__(~tom@host81-151-255-71.range81-151.btcentralplus.com) (Ping timeout: 246 seconds)
2023-08-15 02:57:34 +0000td_(~td@i53870905.versanet.de) (Ping timeout: 246 seconds)
2023-08-15 02:59:31 +0000sososasa(~textual@2600:1700:1e00:25a0:3c8c:3e69:dbb1:5575) (Quit: Textual IRC Client: www.textualapp.com)
2023-08-15 02:59:36 +0000td_(~td@i53870938.versanet.de)
2023-08-15 02:59:47 +0000Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2023-08-15 03:00:00 +0000sososasa(~textual@108-210-178-55.lightspeed.tukrga.sbcglobal.net)
2023-08-15 03:00:19 +0000sososasa(~textual@108-210-178-55.lightspeed.tukrga.sbcglobal.net) (Client Quit)
2023-08-15 03:12:39 +0000aforemny_(~aforemny@2001:9e8:6cd8:700:57fe:b2bd:4720:3f78)
2023-08-15 03:14:02 +0000aforemny(~aforemny@2001:9e8:6cee:a000:122d:82c7:4388:6f2e) (Ping timeout: 260 seconds)
2023-08-15 03:17:55 +0000micro(~micro@user/micro) (Ping timeout: 240 seconds)
2023-08-15 03:18:46 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-08-15 03:19:43 +0000micro(~micro@user/micro)
2023-08-15 03:22:20 +0000YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 248 seconds)
2023-08-15 03:22:55 +0000chexum(~quassel@gateway/tor-sasl/chexum)
2023-08-15 03:24:20 +0000YuutaW(~YuutaW@mail.yuuta.moe)
2023-08-15 03:24:42 +0000mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be)
2023-08-15 03:37:41 +0000ulysses4ever(~artem@38.42.227.237)
2023-08-15 03:37:41 +0000artem(~artem@38.42.227.237) (Read error: Connection reset by peer)
2023-08-15 03:38:41 +0000artem(~artem@38.42.227.237)
2023-08-15 03:38:41 +0000ulysses4ever(~artem@38.42.227.237) (Read error: Connection reset by peer)
2023-08-15 03:55:32 +0000razetime(~quassel@117.254.37.38) (Ping timeout: 256 seconds)
2023-08-15 03:56:29 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds)
2023-08-15 04:02:06 +0000ddellacosta(~ddellacos@146.70.171.254) (Ping timeout: 245 seconds)
2023-08-15 04:02:20 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds)
2023-08-15 04:03:37 +0000 <Axman6> random C question: if you have void f(...);, void g(...);, is it legal to say f(...) { ... if(thing) return g(...); ...}? or would you need to use if(thing) { g(..); return; } to avoid needing the else for the !thing path
2023-08-15 04:03:51 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-08-15 04:04:12 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2023-08-15 04:04:28 +0000flounders(~flounders@24.246.133.1) (Ping timeout: 248 seconds)
2023-08-15 04:05:36 +0000 <monochrom> return g(...) is not legal.
2023-08-15 04:05:57 +0000 <Axman6> yeah, that was my question really
2023-08-15 04:07:33 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-08-15 04:11:23 +0000ulysses4ever(~artem@38.42.227.237)
2023-08-15 04:11:23 +0000artem(~artem@38.42.227.237) (Read error: Connection reset by peer)
2023-08-15 04:11:45 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 245 seconds)
2023-08-15 04:17:43 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-08-15 04:19:46 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2023-08-15 04:22:40 +0000 <Axman6> monochrom: is `g(..), return;` legal?
2023-08-15 04:24:23 +0000ddellacosta(~ddellacos@146.70.165.219)
2023-08-15 04:24:44 +0000 <glguy> If only there was a way to know :-S
2023-08-15 04:25:29 +0000 <Axman6> Yeah i wasn't sure Icould write a valid C file faster than I could get an answer here, I've always been impressed by how much #haskell knows about C
2023-08-15 04:36:10 +0000trev(~trev@user/trev)
2023-08-15 04:36:54 +0000razetime(~quassel@117.254.37.234)
2023-08-15 04:36:54 +0000hugo(znc@verdigris.lysator.liu.se)
2023-08-15 04:37:17 +0000coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-08-15 04:40:26 +0000trev(~trev@user/trev) (Ping timeout: 245 seconds)
2023-08-15 04:56:20 +0000fryguybob(~fryguybob@cpe-24-94-50-22.stny.res.rr.com) (Ping timeout: 245 seconds)
2023-08-15 05:01:31 +0000 <Inst> you know you're a sadsack when: you're benchmarking how long it takes for GHCup to deploy a Haskell toolchain on Windows
2023-08-15 05:01:39 +0000 <Inst> current estimate: 13 minutes on a 2017 Xeon mobile
2023-08-15 05:03:30 +0000fryguybob(~fryguybob@cpe-24-94-50-22.stny.res.rr.com)
2023-08-15 05:05:55 +0000 <monochrom> I think I already said that it was illegal.
2023-08-15 05:07:18 +0000 <glguy> <source>:3:10: error: expected expression before 'return'
2023-08-15 05:07:18 +0000 <glguy> 3 | g(), return;
2023-08-15 05:07:46 +0000 <monochrom> Err nevermind.
2023-08-15 05:08:04 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2023-08-15 05:08:06 +0000allbery_b(~geekosaur@xmonad/geekosaur)
2023-08-15 05:08:10 +0000allbery_bgeekosaur
2023-08-15 05:10:53 +0000 <monochrom> I have a feeling that "g(..), return;" with a comma in the middle was a typo.
2023-08-15 05:11:33 +0000 <Inst> cool, only takes 9 minutes, seems to be mostly connection limited
2023-08-15 05:11:44 +0000 <monochrom> But in case it was not, comma separates expressions, and return is not an expression.
2023-08-15 05:13:14 +0000razetime(~quassel@117.254.37.234) (Remote host closed the connection)
2023-08-15 05:15:22 +0000razetime(~quassel@117.254.37.234)
2023-08-15 05:34:29 +0000monochrom(trebla@216.138.220.146) (Read error: Connection reset by peer)
2023-08-15 05:34:57 +0000thegeekinside(~thegeekin@189.217.90.224) (Remote host closed the connection)
2023-08-15 05:35:46 +0000waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 244 seconds)
2023-08-15 05:36:54 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2023-08-15 05:39:20 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 252 seconds)
2023-08-15 05:39:51 +0000bollu(~bollu@159.65.151.13) (Quit: Ping timeout (120 seconds))
2023-08-15 05:40:17 +0000bollu(~bollu@159.65.151.13)
2023-08-15 05:42:11 +0000 <glguy> Maybe: g(), ({ return; }); using gcc's statement expressions
2023-08-15 05:43:50 +0000monochrom(trebla@216.138.220.146)
2023-08-15 05:50:41 +0000 <Axman6> monochrom: no, I mean the comma operator
2023-08-15 05:50:44 +0000 <Axman6> meant*
2023-08-15 05:56:34 +0000Pickchea(~private@user/pickchea)
2023-08-15 05:59:20 +0000cyphase_eviltwin(~cyphase@user/cyphase)
2023-08-15 05:59:55 +0000cyphase(~cyphase@user/cyphase) (Ping timeout: 240 seconds)
2023-08-15 06:04:56 +0000mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 260 seconds)
2023-08-15 06:07:47 +0000sord937(~sord937@gateway/tor-sasl/sord937)
2023-08-15 06:07:53 +0000robobub(uid248673@2a03:5180:f:5::3:cb61)
2023-08-15 06:09:59 +0000CiaoSen(~Jura@2a05:5800:2ad:5100:664b:f0ff:fe37:9ef)
2023-08-15 06:10:18 +0000jinsl(~jinsl@2408:8207:2552:f8f0:211:32ff:fec8:6aea) (Quit: ZNC - https://znc.in)
2023-08-15 06:14:22 +0000d34df00d(~d34df00d@2600:1702:4f1b:7c10::e) (Ping timeout: 256 seconds)
2023-08-15 06:15:40 +0000simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk)
2023-08-15 06:16:26 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-08-15 06:19:31 +0000Square2(~Square4@user/square)
2023-08-15 06:20:44 +0000Lycurgus(~juan@user/Lycurgus)
2023-08-15 06:22:36 +0000shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 252 seconds)
2023-08-15 06:25:20 +0000thegeekinside(~thegeekin@189.217.90.224)
2023-08-15 06:25:22 +0000Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-08-15 06:32:11 +0000sm(~sm@plaintextaccounting/sm)
2023-08-15 06:36:53 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-15 06:38:11 +0000mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be)
2023-08-15 06:42:08 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds)
2023-08-15 06:43:33 +0000ft(~ft@i59F54AB3.versanet.de) (Quit: leaving)
2023-08-15 06:45:38 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-15 06:45:39 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-15 06:45:39 +0000dibblego(~dibblego@haskell/developer/dibblego)
2023-08-15 06:50:08 +0000Lycurgus(~juan@user/Lycurgus) (Quit: Tschüss)
2023-08-15 06:55:46 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:fc5e:9ab9:469c:9878)
2023-08-15 06:56:19 +0000fendor(~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3)
2023-08-15 06:56:50 +0000ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2023-08-15 06:57:21 +0000ec(~ec@gateway/tor-sasl/ec)
2023-08-15 06:58:13 +0000simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Read error: Connection reset by peer)
2023-08-15 06:59:39 +0000titibandit(~titibandi@user/titibandit)
2023-08-15 07:05:22 +0000mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 246 seconds)
2023-08-15 07:05:52 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds)
2023-08-15 07:09:19 +0000artem(~artem@38.42.227.237)
2023-08-15 07:09:19 +0000ulysses4ever(~artem@38.42.227.237) (Read error: Connection reset by peer)
2023-08-15 07:09:20 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds)
2023-08-15 07:09:42 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-15 07:09:42 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-15 07:09:42 +0000dibblego(~dibblego@haskell/developer/dibblego)
2023-08-15 07:10:18 +0000ulysses4ever(~artem@38.42.227.237)
2023-08-15 07:10:18 +0000artem(~artem@38.42.227.237) (Read error: Connection reset by peer)
2023-08-15 07:10:36 +0000titibandit(~titibandi@user/titibandit) (Ping timeout: 246 seconds)
2023-08-15 07:13:15 +0000titibandit(~titibandi@user/titibandit)
2023-08-15 07:16:10 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-08-15 07:16:37 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
2023-08-15 07:20:54 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2023-08-15 07:22:03 +0000mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be)
2023-08-15 07:22:37 +0000dibblego(~dibblego@116.255.1.151)
2023-08-15 07:22:37 +0000dibblego(~dibblego@116.255.1.151) (Changing host)
2023-08-15 07:22:37 +0000dibblego(~dibblego@haskell/developer/dibblego)
2023-08-15 07:22:38 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com)
2023-08-15 07:25:14 +0000cfricke(~cfricke@user/cfricke)
2023-08-15 07:27:20 +0000mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 258 seconds)
2023-08-15 07:27:28 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-08-15 07:29:52 +0000bgs(~bgs@212.85.160.171)
2023-08-15 07:31:36 +0000ulysses4ever(~artem@38.42.227.237) (Read error: Connection reset by peer)
2023-08-15 07:31:39 +0000artem(~artem@38.42.227.237)
2023-08-15 07:32:14 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2023-08-15 07:41:33 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-15 07:45:51 +0000titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-08-15 07:47:02 +0000ph88(~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2023-08-15 07:48:10 +0000 <tomsmeding> Axman6: the comma operator is an operator, and takes two expressions; 'return' is a statement, not an expression
2023-08-15 07:48:13 +0000 <tomsmeding> you're not in haskell :p
2023-08-15 07:49:01 +0000 <tomsmeding> (though you are in #haskell)
2023-08-15 07:52:15 +0000 <mauke> Axman6: return g(...) might be legal in C++ code if the return type is templated
2023-08-15 07:52:37 +0000 <mauke> (also, 'return' is an expression in perl :-)
2023-08-15 07:52:50 +0000chele(~chele@user/chele)
2023-08-15 07:54:45 +0000razetime(~quassel@117.254.37.234) (Ping timeout: 244 seconds)
2023-08-15 07:55:34 +0000razetime(~quassel@117.254.36.186)
2023-08-15 07:58:05 +0000kupi(uid212005@id-212005.hampstead.irccloud.com)
2023-08-15 07:58:45 +0000thegeekinside(~thegeekin@189.217.90.224) (Read error: Connection reset by peer)
2023-08-15 07:58:50 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-08-15 08:00:30 +0000remexre(~remexre@user/remexre) (Ping timeout: 252 seconds)
2023-08-15 08:01:08 +0000mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be)
2023-08-15 08:02:54 +0000nick3(~nick@2600:8807:9084:7800:25b7:dc96:70fc:a2ae) (Ping timeout: 246 seconds)
2023-08-15 08:04:38 +0000leah2(~leah@2001:1410:200:eea::1)
2023-08-15 08:07:41 +0000remexre(~remexre@user/remexre)
2023-08-15 08:12:10 +0000razetime(~quassel@117.254.36.186) (Ping timeout: 250 seconds)
2023-08-15 08:12:43 +0000razetime(~quassel@117.254.37.141)
2023-08-15 08:14:32 +0000trev(~trev@user/trev)
2023-08-15 08:15:40 +0000titibandit(~titibandi@user/titibandit)
2023-08-15 08:17:22 +0000ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 252 seconds)
2023-08-15 08:18:50 +0000trev(~trev@user/trev) (Ping timeout: 252 seconds)
2023-08-15 08:20:00 +0000swistak(~swistak@185.21.216.141)
2023-08-15 08:25:43 +0000paulpaul1076(~textual@95-26-12-138.broadband.corbina.ru)
2023-08-15 08:31:01 +0000 <Inst> please, please kill me
2023-08-15 08:31:37 +0000 <Inst> spent all day writing my tutorial, then all of a sudden, something goes wrong with the freaking library i'm using, or its dependency tree, etc etc etc
2023-08-15 08:32:52 +0000 <Inst> https://media.discordapp.net/attachments/968989726633779215/1140925986603540500/image.png?width=80…
2023-08-15 08:34:16 +0000ubert(~Thunderbi@178.165.166.188.wireless.dyn.drei.com)
2023-08-15 08:35:26 +0000razetime(~quassel@117.254.37.141) (Ping timeout: 245 seconds)
2023-08-15 08:36:49 +0000ulysses4ever(~artem@38.42.227.237)
2023-08-15 08:36:49 +0000artem(~artem@38.42.227.237) (Read error: Connection reset by peer)
2023-08-15 08:38:47 +0000artem(~artem@38.42.227.237)
2023-08-15 08:38:47 +0000ulysses4ever(~artem@38.42.227.237) (Read error: Connection reset by peer)
2023-08-15 08:40:24 +0000 <tomsmeding> Inst: would be a bit unfair to kill you for something that's probably not your fault, wouldn't it? :)
2023-08-15 08:40:44 +0000ubert(~Thunderbi@178.165.166.188.wireless.dyn.drei.com) (Ping timeout: 244 seconds)
2023-08-15 08:40:50 +0000 <Inst> i nuked ghcup to get a fresh install and try to completely guide through the installatino process
2023-08-15 08:41:00 +0000 <Inst> i'm not sure if i screwed up somewhere, or if ghcup is already setting path environment variables correctly
2023-08-15 08:41:13 +0000 <Inst> Haskell on Windows, if you're doing ANYTHING off the beaten path, is complete freaking torture
2023-08-15 08:41:29 +0000 <[exa]> s/Haskell/anything/
2023-08-15 08:41:48 +0000 <Inst> windows run electron apps perfectly well
2023-08-15 08:42:04 +0000 <[exa]> Inst: because they basically pack their own operating system :D
2023-08-15 08:42:04 +0000 <Inst> can we just stop supporting windows or something?
2023-08-15 08:42:17 +0000 <[exa]> <3
2023-08-15 08:42:32 +0000 <[exa]> anyway you're not using WSL2?
2023-08-15 08:42:42 +0000 <Inst> i'm writing this tutorial, and i'm guessing half of the content is based on walking users through how to install Haskell on Windows and get the library toolchain working
2023-08-15 08:42:43 +0000 <[exa]> I didn't think that it's such a torture with WSL2
2023-08-15 08:43:28 +0000 <Inst> maybe, but can i build the app outside?
2023-08-15 08:43:53 +0000 <Inst> it's just a freaking simple tic tac toe app, i'm fairly close to deciding, scscrew it, go learn gi-gtk and do it in gi-gtk instead
2023-08-15 08:44:01 +0000 <[exa]> ah you want to do GUI stuff, I see
2023-08-15 08:44:16 +0000ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net)
2023-08-15 08:44:16 +0000 <Inst> the moment i ghcup nuked, it stopped working
2023-08-15 08:44:42 +0000 <Inst> it doesn't even run out of the box because GHC windows toolchain doesn't support stack protector
2023-08-15 08:46:18 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds)
2023-08-15 08:46:55 +0000 <Inst> it was working 2 weeks ago, now it won't run because something has gone wrong with its linkage to harfbuzz
2023-08-15 08:47:06 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-15 08:52:47 +0000 <tomsmeding> which has a beautiful name
2023-08-15 08:55:15 +0000razetime(~quassel@117.254.37.75)
2023-08-15 08:59:25 +0000zmt00(~zmt00@user/zmt00) (Ping timeout: 248 seconds)
2023-08-15 09:00:26 +0000razetime_(~quassel@117.254.36.109)
2023-08-15 09:00:32 +0000razetime(~quassel@117.254.37.75) (Ping timeout: 260 seconds)
2023-08-15 09:01:21 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-15 09:01:31 +0000danza(~francesco@151.46.219.132)
2023-08-15 09:06:28 +0000mima(~mmh@net-93-67-213-242.cust.vodafonedsl.it)
2023-08-15 09:09:24 +0000sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-08-15 09:14:07 +0000CiaoSen(~Jura@2a05:5800:2ad:5100:664b:f0ff:fe37:9ef) (Ping timeout: 245 seconds)
2023-08-15 09:14:32 +0000razetime_(~quassel@117.254.36.109) (Ping timeout: 260 seconds)
2023-08-15 09:14:38 +0000razetime(~quassel@117.254.36.255)
2023-08-15 09:17:03 +0000 <Inst> no, issue with truetype, tbh, i'm guessing it's probably an issue with windows breaking it on their side
2023-08-15 09:17:35 +0000 <Inst> i hit a system update recently, possibly might have broken truetype, but until stack protector support comes online on GHC windows toolchain (I'm told this will take a loooooong time)
2023-08-15 09:18:32 +0000phma(phma@2001:5b0:215a:8e08:ce2c:b247:8837:d81a) (Read error: Connection reset by peer)
2023-08-15 09:22:44 +0000phma(~phma@2001:5b0:2144:1f78:3563:b591:d7dd:84e3)
2023-08-15 09:24:58 +0000econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-08-15 09:25:55 +0000zmt00(~zmt00@user/zmt00)
2023-08-15 09:26:22 +0000 <Maxdamantus> freetype is the non-Windows implementation of truetype (and opentype, which is slightly more relevant to the error), so I imagine it wouldn't be Windows itself breaking that.
2023-08-15 09:26:33 +0000 <Maxdamantus> (not that I have any experience using Haskell on Windows)
2023-08-15 09:28:39 +0000tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2023-08-15 09:28:48 +0000 <Maxdamantus> Seems like not only a Windows issue: https://bugs.archlinux.org/task/71680
2023-08-15 09:31:24 +0000zmt00(~zmt00@user/zmt00) (Ping timeout: 248 seconds)
2023-08-15 09:31:48 +0000 <Maxdamantus> Yeah, so presumably it's just using an old version of HarfBuzz and a new version of Freetype.
2023-08-15 09:32:29 +0000zmt00(~zmt00@user/zmt00)
2023-08-15 09:35:14 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) (Remote host closed the connection)
2023-08-15 09:40:05 +0000razetime(~quassel@117.254.36.255) (Ping timeout: 245 seconds)
2023-08-15 09:40:51 +0000razetime(~quassel@117.254.37.16)
2023-08-15 09:44:45 +0000Square2Square
2023-08-15 09:45:27 +0000leon_on9527(~yoyofreem@117.39.32.218) (Quit: Leaving)
2023-08-15 09:45:44 +0000robobub(uid248673@2a03:5180:f:5::3:cb61) (Quit: Connection closed for inactivity)
2023-08-15 09:46:21 +0000yoyofreeman(~yoyofreem@117.39.32.218)
2023-08-15 09:46:23 +0000yoyofreeman(~yoyofreem@117.39.32.218) (Max SendQ exceeded)
2023-08-15 09:48:15 +0000yoyofreeman(~yoyofreem@47.254.237.126)
2023-08-15 09:48:25 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-08-15 09:49:29 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-15 09:50:16 +0000razetime(~quassel@117.254.37.16) (Ping timeout: 256 seconds)
2023-08-15 09:50:34 +0000razetime(~quassel@117.254.36.174)
2023-08-15 09:50:58 +0000ulysses4ever(~artem@38.42.227.237)
2023-08-15 09:50:58 +0000artem(~artem@38.42.227.237) (Read error: Connection reset by peer)
2023-08-15 09:51:32 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net)
2023-08-15 09:52:07 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-15 09:54:44 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-08-15 09:55:22 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
2023-08-15 09:55:44 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds)
2023-08-15 09:56:04 +0000Lord_of_Life_Lord_of_Life
2023-08-15 09:58:34 +0000libertyprime(~libertypr@203.96.203.44) (Quit: leaving)
2023-08-15 09:58:37 +0000razetime(~quassel@117.254.36.174) (Ping timeout: 246 seconds)
2023-08-15 09:58:45 +0000pavonia(~user@user/siracusa)
2023-08-15 09:59:14 +0000razetime(~quassel@117.254.37.124)
2023-08-15 10:01:25 +0000ulysses4ever(~artem@38.42.227.237) (Read error: Connection reset by peer)
2023-08-15 10:02:16 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-08-15 10:07:51 +0000kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-08-15 10:09:47 +0000danza(~francesco@151.46.219.132) (Remote host closed the connection)
2023-08-15 10:11:09 +0000danza(~francesco@151.46.219.132)
2023-08-15 10:11:22 +0000danza(~francesco@151.46.219.132) (Remote host closed the connection)
2023-08-15 10:11:51 +0000danza(~francesco@151.46.219.132)
2023-08-15 10:12:31 +0000xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 245 seconds)
2023-08-15 10:12:58 +0000Pickchea(~private@user/pickchea)
2023-08-15 10:13:17 +0000danza(~francesco@151.46.219.132) (Remote host closed the connection)
2023-08-15 10:15:57 +0000danza(~francesco@151.46.219.132)
2023-08-15 10:16:47 +0000danza(~francesco@151.46.219.132) (Remote host closed the connection)
2023-08-15 10:24:25 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-08-15 10:25:18 +0000ulysses4ever(~artem@38.42.227.237)
2023-08-15 10:28:22 +0000mima(~mmh@net-93-67-213-242.cust.vodafonedsl.it) (Ping timeout: 246 seconds)
2023-08-15 10:29:18 +0000sm(~sm@plaintextaccounting/sm)
2023-08-15 10:29:42 +0000danza(~francesco@151.46.219.132)
2023-08-15 10:34:06 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com)
2023-08-15 10:34:28 +0000mc47(~mc47@xmonad/TheMC47)
2023-08-15 10:35:46 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:918c:1f42:3cf8:7b7a)
2023-08-15 10:40:03 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:918c:1f42:3cf8:7b7a) (Ping timeout: 246 seconds)
2023-08-15 10:43:10 +0000p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
2023-08-15 10:49:03 +0000danza(~francesco@151.46.219.132) (Remote host closed the connection)
2023-08-15 10:49:22 +0000razetime(~quassel@117.254.37.124) (Ping timeout: 246 seconds)
2023-08-15 10:49:47 +0000danza(~francesco@151.46.219.132)
2023-08-15 10:50:17 +0000razetime(~quassel@117.254.36.229)
2023-08-15 10:50:33 +0000danza(~francesco@151.46.219.132) (Remote host closed the connection)
2023-08-15 10:51:37 +0000danza(~francesco@151.46.219.132)
2023-08-15 10:57:58 +0000danza(~francesco@151.46.219.132) (Remote host closed the connection)
2023-08-15 10:58:58 +0000danza(~francesco@151.46.219.132)
2023-08-15 11:00:28 +0000danza(~francesco@151.46.219.132) (Remote host closed the connection)
2023-08-15 11:07:20 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 256 seconds)
2023-08-15 11:07:26 +0000xff0x(~xff0x@2405:6580:b080:900:8609:fbca:2f35:9884)
2023-08-15 11:09:39 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-15 11:16:04 +0000CiaoSen(~Jura@2a05:5800:2ad:5100:664b:f0ff:fe37:9ef)
2023-08-15 11:17:41 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-08-15 11:22:24 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
2023-08-15 11:28:05 +0000Inst(~Inst@2601:6c4:4081:2fc0:c9ba:9410:6c9c:4630) (Read error: Connection reset by peer)
2023-08-15 11:29:58 +0000p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in)
2023-08-15 11:37:48 +0000razetime(~quassel@117.254.36.229) (Ping timeout: 248 seconds)
2023-08-15 11:38:07 +0000razetime(~quassel@117.254.36.237)
2023-08-15 11:40:54 +0000misterfish(~misterfis@87.215.131.102)
2023-08-15 11:44:01 +0000artem(~artem@38.42.227.237)
2023-08-15 11:44:02 +0000ulysses4ever(~artem@38.42.227.237) (Read error: Connection reset by peer)
2023-08-15 11:45:16 +0000NewtonTrendy(uid282092@user/bopqod)
2023-08-15 11:46:05 +0000ft(~ft@p4fc2a6f5.dip0.t-ipconnect.de)
2023-08-15 11:48:20 +0000ph88(~ph88@91.64.60.212)
2023-08-15 11:48:42 +0000artem(~artem@38.42.227.237) (Ping timeout: 256 seconds)
2023-08-15 11:48:52 +0000ulysses4ever(~artem@38.42.227.237)
2023-08-15 11:52:22 +0000razetime(~quassel@117.254.36.237) (Ping timeout: 246 seconds)
2023-08-15 11:52:52 +0000razetime(~quassel@117.254.37.218)
2023-08-15 11:56:22 +0000Inst(~liamzy@2601:6c4:4081:2fc0::8d44)
2023-08-15 11:59:08 +0000sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-08-15 11:59:31 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-15 12:05:05 +0000razetime(~quassel@117.254.37.218) (Ping timeout: 245 seconds)
2023-08-15 12:05:27 +0000razetime(~quassel@117.254.36.125)
2023-08-15 12:05:59 +0000titibandit(~titibandi@user/titibandit) (Quit: leaving)
2023-08-15 12:06:10 +0000titibandit(~titibandi@user/titibandit)
2023-08-15 12:06:27 +0000titibandit(~titibandi@user/titibandit) (Client Quit)
2023-08-15 12:06:37 +0000Pickchea(~private@user/pickchea) (Ping timeout: 248 seconds)
2023-08-15 12:06:38 +0000titibandit(~titibandi@user/titibandit)
2023-08-15 12:10:07 +0000razetime(~quassel@117.254.36.125) (Ping timeout: 260 seconds)
2023-08-15 12:10:09 +0000razetime_(~quassel@117.254.37.35)
2023-08-15 12:11:02 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-15 12:16:28 +0000elkcl(~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 256 seconds)
2023-08-15 12:17:07 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds)
2023-08-15 12:17:08 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-15 12:19:24 +0000elkcl(~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru)
2023-08-15 12:19:52 +0000ulysses4ever(~artem@38.42.227.237) (Ping timeout: 256 seconds)
2023-08-15 12:19:56 +0000Inst(~liamzy@2601:6c4:4081:2fc0::8d44) (Ping timeout: 246 seconds)
2023-08-15 12:21:02 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-15 12:22:01 +0000 <exarkun> Anyone mind looking over my first hackage package release (candidate) and pointing out anything glaringly dumb I did? https://hackage.haskell.org/package/tahoe-chk-0.1.0.1/candidate
2023-08-15 12:23:12 +0000 <jackdk> If you want to test how your haddocks look, you can run `cabal haddock --haddock-for-hackage` and then `cabal upload -d -u <hackage user> /path/to/doc/tarball.tar.gz
2023-08-15 12:23:47 +0000 <exarkun> ah, that sounds like a good idea, thanks
2023-08-15 12:25:28 +0000danza(~francesco@151.37.229.69)
2023-08-15 12:27:56 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds)
2023-08-15 12:34:46 +0000ph88(~ph88@91.64.60.212) (Ping timeout: 252 seconds)
2023-08-15 12:36:29 +0000sm(~sm@plaintextaccounting/sm)
2023-08-15 12:37:00 +0000sm(~sm@plaintextaccounting/sm) (Client Quit)
2023-08-15 12:37:56 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-15 12:38:19 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-15 12:38:50 +0000Inst(~liamzy@2601:6c4:4081:2fc0::8d44)
2023-08-15 12:39:16 +0000razetime_(~quassel@117.254.37.35) (Ping timeout: 260 seconds)
2023-08-15 12:39:19 +0000razetime(~quassel@117.254.36.60)
2023-08-15 12:39:52 +0000sagax(~sagax_nb@user/sagax) (Quit: Konversation terminated!)
2023-08-15 12:42:39 +0000 <Inst> grrr
2023-08-15 12:43:02 +0000 <Inst> sdl2 on Windows has 2 years to live unless GHC devs fix stack protector support
2023-08-15 12:43:25 +0000 <Inst> well, i can't drink anymore because my liver is fubared, but I can always drown my sorrows with Arch
2023-08-15 12:47:26 +0000mc47(~mc47@xmonad/TheMC47) (Quit: Leaving)
2023-08-15 12:51:02 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 256 seconds)
2023-08-15 12:56:57 +0000ulysses4ever(~artem@38.42.227.237)
2023-08-15 12:57:28 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-15 13:01:48 +0000 <int-e> this is the kind of complaint that should come with a ticket (I looked and didn't find one)
2023-08-15 13:02:15 +0000ph88(~ph88@ip5b403cd4.dynamic.kabel-deutschland.de)
2023-08-15 13:03:00 +0000 <int-e> hmm, maybe https://gitlab.haskell.org/ghc/ghc/-/issues/22999
2023-08-15 13:03:08 +0000ulysses4ever(~artem@38.42.227.237) (Ping timeout: 248 seconds)
2023-08-15 13:03:51 +0000Pickchea(~private@user/pickchea)
2023-08-15 13:03:58 +0000ulysses4ever(~artem@38.42.227.237)
2023-08-15 13:10:51 +0000cfricke(~cfricke@user/cfricke) (Ping timeout: 245 seconds)
2023-08-15 13:11:38 +0000cfricke(~cfricke@user/cfricke)
2023-08-15 13:12:59 +0000 <Inst> Yeah, I contacted Tamar Christina with it and he put it up. I've been considering whether or not to post a probable timeline of when the last working SDL2 goes down, but I'm blaming it for why monomer isn't working, i.e, if I do it again, I need to get contemporary msys2 packages to get it to work.
2023-08-15 13:13:14 +0000 <Inst> In either case, I'm just annoyed, but thanks to Kindaro I came up with a useful project idea.
2023-08-15 13:13:46 +0000 <Inst> Shouldn't be that hard, it can replace my monomer project in the cookbook
2023-08-15 13:14:15 +0000 <Inst> Short answer: Change.org doesn't get anywhere because people don't pledge money or time for demands. :)
2023-08-15 13:15:07 +0000 <int-e> ?
2023-08-15 13:16:41 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-15 13:17:00 +0000cfricke(~cfricke@user/cfricke) (Ping timeout: 248 seconds)
2023-08-15 13:20:59 +0000finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-08-15 13:20:59 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-08-15 13:20:59 +0000finn_elijaFinnElija
2023-08-15 13:25:44 +0000ph88(~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
2023-08-15 13:27:42 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds)
2023-08-15 13:31:29 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-15 13:35:05 +0000 <[exa]> Inst: that's kindof universal property of changes, right?
2023-08-15 13:37:30 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds)
2023-08-15 13:39:19 +0000random-jellyfish(~random-je@user/random-jellyfish)
2023-08-15 13:44:30 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 4.0.2)
2023-08-15 13:45:40 +0000 <Inst> https://discourse.haskell.org/t/maintaining-haskell-programs/7166/37
2023-08-15 13:45:42 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net)
2023-08-15 13:46:54 +0000 <Inst> can do it for more than Haskell, and I already have a domain name in sight; it's really cheap
2023-08-15 13:47:16 +0000 <Inst> I've had this interest in "fixing" FOSS because FOSS is outrageously slow, as well as new modes of economic organization.
2023-08-15 13:47:25 +0000 <exarkun> wooo blockchain
2023-08-15 13:49:09 +0000 <Inst> I'm interested in Haier's usage of blockchain to create and enforce internal contracts within their microenterprise network.
2023-08-15 13:50:05 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds)
2023-08-15 13:53:30 +0000artem(~artem@38.42.227.237)
2023-08-15 13:53:30 +0000ulysses4ever(~artem@38.42.227.237) (Read error: Connection reset by peer)
2023-08-15 13:54:21 +0000ulysses4ever(~artem@38.42.227.237)
2023-08-15 13:54:22 +0000artem(~artem@38.42.227.237) (Read error: Connection reset by peer)
2023-08-15 13:55:08 +0000artem(~artem@38.42.227.237)
2023-08-15 13:55:08 +0000ulysses4ever(~artem@38.42.227.237) (Read error: Connection reset by peer)
2023-08-15 13:55:43 +0000waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-08-15 13:57:00 +0000Pickchea(~private@user/pickchea) (Ping timeout: 248 seconds)
2023-08-15 13:57:31 +0000notzmv(~zmv@user/notzmv)
2023-08-15 14:01:36 +0000hgolden(~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection)
2023-08-15 14:01:37 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-15 14:02:23 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-15 14:02:45 +0000thegeekinside(~thegeekin@189.217.90.224)
2023-08-15 14:03:28 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-08-15 14:03:28 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-08-15 14:03:28 +0000wroathe(~wroathe@user/wroathe)
2023-08-15 14:03:52 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-15 14:05:32 +0000mima(~mmh@net-93-67-213-242.cust.vodafonedsl.it)
2023-08-15 14:07:57 +0000thegeekinside(~thegeekin@189.217.90.224) (Read error: Connection reset by peer)
2023-08-15 14:10:28 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds)
2023-08-15 14:13:00 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-15 14:16:18 +0000thegeekinside(~thegeekin@189.217.90.224)
2023-08-15 14:18:10 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds)
2023-08-15 14:19:17 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-15 14:19:25 +0000Inst(~liamzy@2601:6c4:4081:2fc0::8d44) (Read error: Connection reset by peer)
2023-08-15 14:20:01 +0000artem(~artem@38.42.227.237) (Read error: Connection reset by peer)
2023-08-15 14:20:12 +0000ulysses4ever(~artem@38.42.227.237)
2023-08-15 14:23:18 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2023-08-15 14:23:40 +0000notzmv(~zmv@user/notzmv) (Ping timeout: 248 seconds)
2023-08-15 14:24:24 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 250 seconds)
2023-08-15 14:25:40 +0000CiaoSen(~Jura@2a05:5800:2ad:5100:664b:f0ff:fe37:9ef) (Ping timeout: 256 seconds)
2023-08-15 14:32:16 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-08-15 14:32:30 +0000razetime(~quassel@117.254.36.60) (Remote host closed the connection)
2023-08-15 14:33:40 +0000shriekingnoise(~shrieking@186.137.175.87)
2023-08-15 14:33:40 +0000random-jellyfish(~random-je@user/random-jellyfish) (Quit: Client closed)
2023-08-15 14:34:01 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:fc5e:9ab9:469c:9878) (Quit: WeeChat 2.8)
2023-08-15 14:34:18 +0000kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1))
2023-08-15 14:34:28 +0000merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-15 14:35:50 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-15 14:40:01 +0000merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-08-15 14:44:48 +0000econo_(uid147250@id-147250.tinside.irccloud.com)
2023-08-15 14:45:00 +0000nckx(nckx@libera/staff/owl/nckx) (Read error: Connection reset by peer)
2023-08-15 14:46:49 +0000nckx(nckx@libera/staff/owl/nckx)
2023-08-15 14:47:17 +0000 <albet70> :t liftM2
2023-08-15 14:47:18 +0000 <lambdabot> Monad m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r
2023-08-15 14:50:40 +0000hgolden(~hgolden@2603:8000:9d00:3ed1:fc05:5499:f77c:fbe5)
2023-08-15 14:51:55 +0000hgolden(~hgolden@2603:8000:9d00:3ed1:fc05:5499:f77c:fbe5) (Remote host closed the connection)
2023-08-15 14:53:46 +0000ulysses4ever(~artem@38.42.227.237) (Ping timeout: 244 seconds)
2023-08-15 14:56:36 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds)
2023-08-15 15:01:00 +0000Square(~Square4@user/square) (Ping timeout: 246 seconds)
2023-08-15 15:01:57 +0000billchenchina(~billchenc@103.152.35.21)
2023-08-15 15:02:33 +0000Inst(~liamzy@2601:6c4:4081:2fc0::8d44)
2023-08-15 15:02:36 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-15 15:03:43 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-15 15:05:24 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net)
2023-08-15 15:05:24 +0000hgolden(~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com)
2023-08-15 15:08:22 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds)
2023-08-15 15:09:09 +0000nick3(~nick@2600:100d:b109:3579:4d49:ddfc:8cbb:8d72)
2023-08-15 15:12:04 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds)
2023-08-15 15:13:09 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net)
2023-08-15 15:14:37 +0000nick3(~nick@2600:100d:b109:3579:4d49:ddfc:8cbb:8d72) (Ping timeout: 258 seconds)
2023-08-15 15:15:27 +0000mc47(~mc47@xmonad/TheMC47)
2023-08-15 15:18:09 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds)
2023-08-15 15:18:46 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
2023-08-15 15:19:10 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-08-15 15:19:22 +0000hgolden(~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection)
2023-08-15 15:23:41 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2023-08-15 15:24:53 +0000hgolden(~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com)
2023-08-15 15:26:11 +0000cfricke(~cfricke@user/cfricke)
2023-08-15 15:26:40 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net)
2023-08-15 15:27:57 +0000acidjnk_new(~acidjnk@p200300d6e7072f340195dc8d23b3c708.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2023-08-15 15:30:33 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-08-15 15:31:02 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds)
2023-08-15 15:32:11 +0000sm(~sm@plaintextaccounting/sm)
2023-08-15 15:33:08 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net)
2023-08-15 15:33:33 +0000danza(~francesco@151.37.229.69) (Ping timeout: 246 seconds)
2023-08-15 15:35:40 +0000 <ncf> i keep seeing equality constraints that are obviously yoneda'ble, as in `instance i ~ j => Indexable i (Indexed j)` or `instance (c ~ d) => Each (Map c a) (Map d b) a b`. what's the point of this?
2023-08-15 15:36:17 +0000Inst(~liamzy@2601:6c4:4081:2fc0::8d44) (Ping timeout: 246 seconds)
2023-08-15 15:36:29 +0000thegeekinside(~thegeekin@189.217.90.224) (Read error: Connection reset by peer)
2023-08-15 15:36:30 +0000sm(~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds)
2023-08-15 15:37:33 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds)
2023-08-15 15:37:50 +0000 <ncf> lyxia: i feel like you know
2023-08-15 15:38:14 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-15 15:39:59 +0000sm(~sm@plaintextaccounting/sm)
2023-08-15 15:41:11 +0000danza(~francesco@151.43.224.132)
2023-08-15 15:42:35 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds)
2023-08-15 15:49:28 +0000misterfish(~misterfis@87.215.131.102) (Ping timeout: 252 seconds)
2023-08-15 15:50:35 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:918c:1f42:3cf8:7b7a)
2023-08-15 15:51:16 +0000sm_(~sm@plaintextaccounting/sm)
2023-08-15 15:52:27 +0000sm(~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
2023-08-15 15:52:42 +0000safinaskar(~quassel@212.73.77.98)
2023-08-15 15:52:49 +0000 <safinaskar> how to compile this? https://godbolt.org/z/hqvoMroqf
2023-08-15 15:53:02 +0000acidjnk_new(~acidjnk@p200300d6e7072f340195dc8d23b3c708.dip0.t-ipconnect.de)
2023-08-15 15:53:05 +0000 <safinaskar> i. e. how to pass lambda as argument to type constructor?
2023-08-15 15:56:53 +0000 <int-e> I think you just don't.
2023-08-15 15:56:54 +0000 <geekosaur> type level doesn't have lambdas
2023-08-15 15:57:33 +0000 <safinaskar> lambda here has type "Int -> Int"
2023-08-15 15:57:42 +0000 <safinaskar> i. e. this is usual lambda on data values
2023-08-15 15:58:16 +0000 <safinaskar> is there a way to switch to term syntax? Maybe "Y '(\x -> x)"?
2023-08-15 15:58:33 +0000 <geekosaur> haskell is not dependently typed, at least not yet
2023-08-15 15:58:40 +0000 <geekosaur> you cannot use term syntax in types
2023-08-15 15:59:05 +0000 <int-e> you can't demote terms to types either
2023-08-15 15:59:14 +0000 <safinaskar> i heard i can use apostroph (') to switch to term syntax. is this true?
2023-08-15 15:59:18 +0000 <EvanR> you can make an identity type family
2023-08-15 15:59:24 +0000 <EvanR> but not pass it to Y
2023-08-15 16:00:19 +0000 <geekosaur> it is not true. you can promote constructors with a tick
2023-08-15 16:00:22 +0000 <safinaskar> geekosaur: int-e: i remember you here in 2015. so all this time you sit here and answer question? thanks a lot for all this job!!!
2023-08-15 16:00:29 +0000 <geekosaur> you cannot generally switch to term syntax
2023-08-15 16:00:36 +0000 <safinaskar> *questions
2023-08-15 16:01:06 +0000 <dolio> You don't need dependent types to have lambda expressions in types. But putting them in there tends to make type inference undecidable.
2023-08-15 16:01:21 +0000 <int-e> geekosaur: but that's a lie, isn't it... the whole data type gets embedded into the type level, pretty much totally separate from the one at the value type.
2023-08-15 16:01:23 +0000 <geekosaur> there are a few type families for type level operations, e.g. you cna add type level numbers with the + type family
2023-08-15 16:01:39 +0000 <int-e> just sharing names
2023-08-15 16:02:12 +0000 <int-e> in particular, you can't use term-level definitions using that type at the type level; you have to use type families isntead
2023-08-15 16:03:14 +0000Midjak(~Midjak@82.66.147.146)
2023-08-15 16:03:20 +0000 <int-e> Oh well. At least that's my mental model of these things.
2023-08-15 16:03:54 +0000 <dolio> The term and type level have kind of fundamentally different behaviors in Haskell, so it's not super obvious how just lifting up any term level definition to the type level would work.
2023-08-15 16:06:00 +0000 <geekosaur> int-e: "promoted" is what ghc calls it, so you risk confusion if you don't use the same language, even if it's not quite true
2023-08-15 16:06:12 +0000 <int-e> There's a benefit to this clear cut: type erasure will always work (with the understanding that class instance evidence can still be values)
2023-08-15 16:06:48 +0000 <int-e> geekosaur: of course they do :-P
2023-08-15 16:07:59 +0000titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-08-15 16:08:10 +0000 <int-e> (this is essentially the same quibble as the one I have with reify/reflect)
2023-08-15 16:11:33 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net)
2023-08-15 16:11:37 +0000 <int-e> And "they" are of course type theorists who've never seen a real value in their whole life. I may have some issues to work out...
2023-08-15 16:15:40 +0000 <EvanR> so vulkans lack ethics and type theorists lack value?
2023-08-15 16:17:56 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds)
2023-08-15 16:18:49 +0000yoyofreeman(~yoyofreem@47.254.237.126) (Remote host closed the connection)
2023-08-15 16:19:33 +0000yoyofreeman(~yoyofreem@47.254.237.126)
2023-08-15 16:20:54 +0000ulysses4ever(~artem@2607:fb91:2d97:853f:f474:e3f8:9806:671)
2023-08-15 16:21:09 +0000 <lyxia> ncf: you mean this? https://chrisdone.com/posts/haskell-constraint-trick/
2023-08-15 16:22:32 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-15 16:22:37 +0000 <ncf> oh my yes
2023-08-15 16:22:40 +0000 <ncf> thank
2023-08-15 16:23:02 +0000sm(~sm@plaintextaccounting/sm)
2023-08-15 16:24:30 +0000sm_(~sm@plaintextaccounting/sm) (Remote host closed the connection)
2023-08-15 16:25:51 +0000Luke96(~Luke@2600:387:f:6812::7)
2023-08-15 16:26:19 +0000yoyofreeman(~yoyofreem@47.254.237.126) (Remote host closed the connection)
2023-08-15 16:27:17 +0000yoyofreeman(~yoyofreem@47.254.237.126)
2023-08-15 16:28:17 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net)
2023-08-15 16:29:15 +0000waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds)
2023-08-15 16:30:01 +0000 <int-e> EvanR: hah it took me until now to realize which vulkans you mean.
2023-08-15 16:30:12 +0000Square2(~Square@user/square)
2023-08-15 16:31:06 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
2023-08-15 16:31:16 +0000thegeekinside(~thegeekin@189.217.90.224)
2023-08-15 16:31:18 +0000ph88(~ph88@ip5b403cd4.dynamic.kabel-deutschland.de)
2023-08-15 16:31:51 +0000 <EvanR> yeah that's not how it's spelled in star trek
2023-08-15 16:32:34 +0000ph88(~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Client Quit)
2023-08-15 16:32:39 +0000 <Square2> Are there any publicly available nix binary caches for haskell tooling and packages available. The publish builds once a year at least
2023-08-15 16:32:59 +0000 <Square2> That publish
2023-08-15 16:35:15 +0000Luke96(~Luke@2600:387:f:6812::7) (Quit: Client closed)
2023-08-15 16:35:28 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-15 16:35:28 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-15 16:35:28 +0000dibblego(~dibblego@haskell/developer/dibblego)
2023-08-15 16:35:30 +0000Luke22(~Luke@2600:387:f:6812::7)
2023-08-15 16:35:38 +0000Luke22(~Luke@2600:387:f:6812::7) (Client Quit)
2023-08-15 16:35:47 +0000elkcl(~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 245 seconds)
2023-08-15 16:37:06 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds)
2023-08-15 16:38:06 +0000nick3(~nick@wsip-174-78-110-18.pn.at.cox.net)
2023-08-15 16:39:06 +0000elkcl(~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru)
2023-08-15 16:40:19 +0000trev(~trev@user/trev)
2023-08-15 16:40:50 +0000yoyofreeman(~yoyofreem@47.254.237.126) (Remote host closed the connection)
2023-08-15 16:41:29 +0000yoyofreeman(~yoyofreem@47.254.237.126)
2023-08-15 16:42:26 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds)
2023-08-15 16:42:35 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net)
2023-08-15 16:44:40 +0000trev(~trev@user/trev) (Ping timeout: 245 seconds)
2023-08-15 16:45:23 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-08-15 16:45:47 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-15 16:46:58 +0000sososasa(~textual@108-210-178-55.lightspeed.tukrga.sbcglobal.net)
2023-08-15 16:47:03 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds)
2023-08-15 16:52:36 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds)
2023-08-15 16:53:19 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-15 16:53:20 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-15 16:53:20 +0000dibblego(~dibblego@haskell/developer/dibblego)
2023-08-15 16:53:26 +0000trev(~trev@user/trev)
2023-08-15 16:55:22 +0000trev(~trev@user/trev) (Read error: Connection reset by peer)
2023-08-15 16:55:46 +0000trev(~trev@user/trev)
2023-08-15 16:56:30 +0000mc47(~mc47@xmonad/TheMC47) (Ping timeout: 246 seconds)
2023-08-15 17:00:30 +0000sososasa(~textual@108-210-178-55.lightspeed.tukrga.sbcglobal.net) (Quit: Textual IRC Client: www.textualapp.com)
2023-08-15 17:06:13 +0000 <ncf> cache.nixos.org
2023-08-15 17:06:42 +0000bratwurst(~blaadsfa@S010610561191f5d6.lb.shawcable.net)
2023-08-15 17:07:05 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-08-15 17:08:54 +0000trev(~trev@user/trev) (Ping timeout: 246 seconds)
2023-08-15 17:10:52 +0000exarkun(~exarkun@user/exarkun) (Excess Flood)
2023-08-15 17:11:12 +0000mima(~mmh@net-93-67-213-242.cust.vodafonedsl.it) (Ping timeout: 245 seconds)
2023-08-15 17:11:46 +0000exarkun(~exarkun@user/exarkun)
2023-08-15 17:15:33 +0000 <Square2> ncf, thanks
2023-08-15 17:18:14 +0000sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-08-15 17:25:30 +0000cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.0.1)
2023-08-15 17:29:50 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds)
2023-08-15 17:30:26 +0000dibblego(~dibblego@116.255.1.151)
2023-08-15 17:30:26 +0000dibblego(~dibblego@116.255.1.151) (Changing host)
2023-08-15 17:30:26 +0000dibblego(~dibblego@haskell/developer/dibblego)
2023-08-15 17:30:55 +0000danza(~francesco@151.43.224.132) (Ping timeout: 245 seconds)
2023-08-15 17:35:52 +0000bratwurst(~blaadsfa@S010610561191f5d6.lb.shawcable.net) (Remote host closed the connection)
2023-08-15 17:36:24 +0000bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8)
2023-08-15 17:40:01 +0000mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 245 seconds)
2023-08-15 17:41:14 +0000caryhartline(~caryhartl@168.182.58.169)
2023-08-15 17:41:49 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-15 17:45:56 +0000danza(~francesco@151.43.224.132)
2023-08-15 17:46:13 +0000bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 246 seconds)
2023-08-15 17:53:33 +0000Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-08-15 17:53:55 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
2023-08-15 17:54:32 +0000ICRainbow(~quassel@129.152.29.236)
2023-08-15 17:55:03 +0000ICRainbow(~quassel@129.152.29.236) (Client Quit)
2023-08-15 17:55:29 +0000billchenchina(~billchenc@103.152.35.21) (Quit: Leaving)
2023-08-15 17:55:58 +0000motherfsck(~motherfsc@user/motherfsck) (Remote host closed the connection)
2023-08-15 17:58:52 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-15 17:58:52 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-15 17:58:52 +0000dibblego(~dibblego@haskell/developer/dibblego)
2023-08-15 18:01:56 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net)
2023-08-15 18:01:58 +0000simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk)
2023-08-15 18:02:48 +0000safinaskar(~quassel@212.73.77.98) ()
2023-08-15 18:06:18 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds)
2023-08-15 18:08:27 +0000fweht(uid404746@id-404746.lymington.irccloud.com)
2023-08-15 18:16:18 +0000danza(~francesco@151.43.224.132) (Ping timeout: 246 seconds)
2023-08-15 18:16:28 +0000bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8)
2023-08-15 18:20:04 +0000ICRainbow(~quassel@129.152.29.236)
2023-08-15 18:20:42 +0000ICRainbow(~quassel@129.152.29.236) ()
2023-08-15 18:21:06 +0000gmg(~user@user/gehmehgeh)
2023-08-15 18:27:16 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-15 18:28:44 +0000caryhartline(~caryhartl@168.182.58.169) (Quit: caryhartline)
2023-08-15 18:36:11 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-08-15 18:38:00 +0000simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 244 seconds)
2023-08-15 18:38:03 +0000tzh(~tzh@24.21.73.154)
2023-08-15 18:39:20 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
2023-08-15 18:42:09 +0000rhemsta0(~rhemsta0@2001:4451:114d:8500:24bf:8c6a:d958:4b8a)
2023-08-15 18:46:40 +0000waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-08-15 18:49:03 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-15 18:49:03 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-15 18:49:03 +0000dibblego(~dibblego@haskell/developer/dibblego)
2023-08-15 18:52:14 +0000tromp(~textual@92.110.219.57)
2023-08-15 18:52:28 +0000rhemsta0(~rhemsta0@2001:4451:114d:8500:24bf:8c6a:d958:4b8a) (Quit: Client closed)
2023-08-15 18:58:13 +0000michalz(~michalz@185.246.207.193)
2023-08-15 18:58:16 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds)
2023-08-15 18:58:18 +0000simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk)
2023-08-15 19:00:45 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:918c:1f42:3cf8:7b7a) (Remote host closed the connection)
2023-08-15 19:02:03 +0000euandreh(~Thunderbi@189.6.18.7)
2023-08-15 19:06:24 +0000dibblego(~dibblego@116.255.1.151)
2023-08-15 19:06:24 +0000dibblego(~dibblego@116.255.1.151) (Changing host)
2023-08-15 19:06:24 +0000dibblego(~dibblego@haskell/developer/dibblego)
2023-08-15 19:06:57 +0000tromp(~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-15 19:08:10 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-15 19:13:25 +0000Square2(~Square@user/square) (Ping timeout: 245 seconds)
2023-08-15 19:14:08 +0000Inst(~liamzy@2601:6c4:4081:2fc0::8d44)
2023-08-15 19:15:01 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
2023-08-15 19:17:35 +0000jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 245 seconds)
2023-08-15 19:19:25 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net)
2023-08-15 19:20:00 +0000jle`(~jle`@23.240.75.236)
2023-08-15 19:20:32 +0000dibblego(~dibblego@116.255.1.151)
2023-08-15 19:20:32 +0000dibblego(~dibblego@116.255.1.151) (Changing host)
2023-08-15 19:20:32 +0000dibblego(~dibblego@haskell/developer/dibblego)
2023-08-15 19:21:03 +0000nate2(~nate@98.45.169.16)
2023-08-15 19:23:47 +0000cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds)
2023-08-15 19:23:47 +0000machinedgod(~machinedg@198.53.218.113)
2023-08-15 19:25:32 +0000nate2(~nate@98.45.169.16) (Ping timeout: 248 seconds)
2023-08-15 19:29:16 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds)
2023-08-15 19:30:33 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-15 19:30:34 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-15 19:30:34 +0000dibblego(~dibblego@haskell/developer/dibblego)
2023-08-15 19:35:30 +0000natto(~natto@140.238.225.67) (Quit: a.)
2023-08-15 19:36:26 +0000anselmschueler(~anselmsch@user/schuelermine)
2023-08-15 19:36:32 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds)
2023-08-15 19:39:15 +0000oats(~thomas@user/oats)
2023-08-15 19:39:50 +0000oatsschmoats
2023-08-15 19:42:25 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-08-15 19:46:58 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds)
2023-08-15 19:50:25 +0000titibandit(~titibandi@user/titibandit)
2023-08-15 19:51:24 +0000 <erisco> I haven't touched Haskell in a few years. We've got dependent types now, right?
2023-08-15 19:51:51 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-15 19:51:51 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-15 19:51:51 +0000dibblego(~dibblego@haskell/developer/dibblego)
2023-08-15 19:52:25 +0000 <dolio> No.
2023-08-15 19:52:29 +0000danza(~francesco@151.47.107.62)
2023-08-15 19:52:59 +0000 <erisco> Drat. I did nothing and it still isn't here!
2023-08-15 19:53:38 +0000 <dolio> Just use Idris.
2023-08-15 19:54:08 +0000 <erisco> well now I don't know if it is Idris or Idris 2 or what's going on
2023-08-15 19:54:13 +0000 <bratwurst> i couldn't get chez to build on my machine sadly
2023-08-15 19:54:20 +0000 <dolio> Or agda2hs.
2023-08-15 19:54:39 +0000 <bratwurst> it's idris2 but it uses chez scheme now
2023-08-15 19:55:09 +0000 <dolio> Doesn't even idris2 have lots of backends already?
2023-08-15 19:55:14 +0000 <bratwurst> building chez sucked up every bit of memory and swap on my machine and locked it up
2023-08-15 19:55:22 +0000 <bratwurst> no idea how to diagnose the problem
2023-08-15 19:55:45 +0000 <erisco> open case, look for any empty dimm slots, fill those slots
2023-08-15 19:57:46 +0000 <bratwurst> oh wait, im on a chromebook now, i could use 'apt'
2023-08-15 19:57:56 +0000 <bratwurst> and there it is yay!
2023-08-15 19:58:42 +0000 <bratwurst> i lost my main laptop to hard drive failure
2023-08-15 19:59:03 +0000ulysses4ever(~artem@2607:fb91:2d97:853f:f474:e3f8:9806:671) (Ping timeout: 258 seconds)
2023-08-15 20:00:03 +0000justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds)
2023-08-15 20:01:37 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:918c:1f42:3cf8:7b7a)
2023-08-15 20:01:47 +0000TonyStone(~TonyStone@74.76.57.186)
2023-08-15 20:01:50 +0000TonyStone(~TonyStone@74.76.57.186) (Remote host closed the connection)
2023-08-15 20:03:21 +0000misterfish(~misterfis@84.53.85.146)
2023-08-15 20:06:04 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:918c:1f42:3cf8:7b7a) (Ping timeout: 248 seconds)
2023-08-15 20:08:50 +0000danza(~francesco@151.47.107.62) (Ping timeout: 245 seconds)
2023-08-15 20:09:30 +0000vglfr(~vglfr@188.239.201.89) (Ping timeout: 246 seconds)
2023-08-15 20:10:38 +0000vglfr(~vglfr@2a0d:3344:148d:7a00:ed76:cbc2:e557:fc01)
2023-08-15 20:11:15 +0000 <_d0t> ohai! Question about Servant and context handlers. Can context handlers perform effectful computations in a custom monad with effects propagating into api handlers? Say, a context handler modifies the state in StateT and an api handler then uses those changes.
2023-08-15 20:13:18 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-08-15 20:14:02 +0000Pickchea(~private@user/pickchea)
2023-08-15 20:15:18 +0000vglfr(~vglfr@2a0d:3344:148d:7a00:ed76:cbc2:e557:fc01) (Ping timeout: 256 seconds)
2023-08-15 20:16:40 +0000 <_d0t> I suppose this isn't so, but I'm a bit hopeful someone can prove me wrong.
2023-08-15 20:16:43 +0000vglfr(~vglfr@145.224.100.231)
2023-08-15 20:17:21 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-15 20:20:23 +0000fbytez(~uid@user/fbytez) (Quit: byte byte)
2023-08-15 20:22:00 +0000fbytez(~uid@user/fbytez)
2023-08-15 20:22:01 +0000 <EvanR> erisco, I'm curious what you want to do with dependent types
2023-08-15 20:23:22 +0000vglfr(~vglfr@145.224.100.231) (Ping timeout: 252 seconds)
2023-08-15 20:23:49 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-15 20:23:53 +0000 <erisco> I am interested to see what the Haskell flavour of them will be. I usually just mess around with silly stuff
2023-08-15 20:24:07 +0000zeenk(~zeenk@2a02:2f04:a010:9500::7fe)
2023-08-15 20:24:19 +0000 <EvanR> there's at least 1 paper on dependent haskell and how it looks and works
2023-08-15 20:24:26 +0000justsomeguy(~justsomeg@user/justsomeguy)
2023-08-15 20:24:32 +0000 <EvanR> from a few years back now
2023-08-15 20:27:25 +0000simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving)
2023-08-15 20:28:00 +0000vglfr(~vglfr@145.224.100.231)
2023-08-15 20:28:35 +0000 <EvanR> now I can't find it
2023-08-15 20:30:32 +0000 <geekosaur> you thinking of eisenberg's thesis?
2023-08-15 20:30:45 +0000 <geekosaur> https://www.cis.upenn.edu/~sweirich/papers/eisenberg-thesis.pdf
2023-08-15 20:31:10 +0000troydm(~troydm@user/troydm) (Ping timeout: 256 seconds)
2023-08-15 20:32:09 +0000 <EvanR> well, I look at that paper and it doesn't match the corrupted memory of whatever I was trying to think of
2023-08-15 20:32:25 +0000 <EvanR> maybe I was looking at an early draft
2023-08-15 20:32:47 +0000 <monochrom> There were other papers too.
2023-08-15 20:36:01 +0000Lycurgus(~juan@user/Lycurgus)
2023-08-15 20:39:12 +0000ulysses4ever(~artem@50.216.106.11)
2023-08-15 20:39:16 +0000Inst(~liamzy@2601:6c4:4081:2fc0::8d44) (Remote host closed the connection)
2023-08-15 20:40:22 +0000vglfr(~vglfr@145.224.100.231) (Ping timeout: 245 seconds)
2023-08-15 20:40:25 +0000ulysses4ever(~artem@50.216.106.11) (Read error: Connection reset by peer)
2023-08-15 20:41:02 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2023-08-15 20:44:16 +0000oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
2023-08-15 20:45:57 +0000Abreu(~Abreu@143.107.225.16)
2023-08-15 20:46:02 +0000 <Abreu> Heya.
2023-08-15 20:46:34 +0000fendor(~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection)
2023-08-15 20:47:25 +0000 <g> hi
2023-08-15 20:47:46 +0000 <mauke> https://www.youtube.com/watch?v=lnCai9GYJ9k
2023-08-15 20:48:34 +0000 <Abreu> Nice. *:D
2023-08-15 20:48:37 +0000 <EvanR> what does lnCai9GYJ9k go to
2023-08-15 20:48:50 +0000 <EvanR> other than ads
2023-08-15 20:49:20 +0000 <mauke> Super Hey Ya! (remastered)
2023-08-15 20:50:07 +0000vglfr(~vglfr@2a0d:3344:148d:7a00:ed76:cbc2:e557:fc01)
2023-08-15 20:51:42 +0000 <g> mauke: this is some weird stuff
2023-08-15 20:52:38 +0000ulysses4ever(~artem@50.216.106.3)
2023-08-15 20:53:08 +0000coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-08-15 20:54:46 +0000artem(~artem@50.216.106.4)
2023-08-15 20:54:46 +0000ulysses4ever(~artem@50.216.106.3) (Read error: Connection reset by peer)
2023-08-15 20:55:20 +0000sm(~sm@plaintextaccounting/sm)
2023-08-15 20:59:12 +0000artem(~artem@50.216.106.4) (Ping timeout: 260 seconds)
2023-08-15 21:01:03 +0000bgs(~bgs@212.85.160.171) (Remote host closed the connection)
2023-08-15 21:01:39 +0000mima(~mmh@net-93-67-213-242.cust.vodafonedsl.it)
2023-08-15 21:01:42 +0000sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-08-15 21:02:33 +0000son0p(~ff@181.32.134.99) (Ping timeout: 246 seconds)
2023-08-15 21:05:04 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2023-08-15 21:06:02 +0000gmg(~user@user/gehmehgeh)
2023-08-15 21:06:30 +0000Lycurgus(~juan@user/Lycurgus) (Quit: Tschüss)
2023-08-15 21:07:51 +0000anselmschueler(~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.3)
2023-08-15 21:14:13 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-15 21:17:35 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
2023-08-15 21:17:58 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 246 seconds)
2023-08-15 21:22:10 +0000bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 245 seconds)
2023-08-15 21:24:15 +0000dibblego(~dibblego@116.255.1.151)
2023-08-15 21:24:15 +0000dibblego(~dibblego@116.255.1.151) (Changing host)
2023-08-15 21:24:15 +0000dibblego(~dibblego@haskell/developer/dibblego)
2023-08-15 21:28:57 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
2023-08-15 21:30:43 +0000natto(~natto@140.238.225.67)
2023-08-15 21:31:50 +0000michalz(~michalz@185.246.207.193) (Remote host closed the connection)
2023-08-15 21:33:25 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-15 21:33:25 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-15 21:33:25 +0000dibblego(~dibblego@haskell/developer/dibblego)
2023-08-15 21:44:59 +0000caryhartline(~caryhartl@168.182.58.169)
2023-08-15 21:45:29 +0000zeenk(~zeenk@2a02:2f04:a010:9500::7fe) (Quit: Konversation terminated!)
2023-08-15 21:49:57 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
2023-08-15 21:52:13 +0000machinedgod(~machinedg@198.53.218.113) (Ping timeout: 248 seconds)
2023-08-15 21:55:01 +0000dibblego(~dibblego@116.255.1.151)
2023-08-15 21:55:01 +0000dibblego(~dibblego@116.255.1.151) (Changing host)
2023-08-15 21:55:01 +0000dibblego(~dibblego@haskell/developer/dibblego)
2023-08-15 22:01:43 +0000LispTyro(~pepsi@iron.vengarl.com) (Remote host closed the connection)
2023-08-15 22:02:33 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-15 22:02:54 +0000mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be)
2023-08-15 22:03:22 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:918c:1f42:3cf8:7b7a)
2023-08-15 22:06:20 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds)
2023-08-15 22:06:56 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 256 seconds)
2023-08-15 22:07:52 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:918c:1f42:3cf8:7b7a) (Ping timeout: 245 seconds)
2023-08-15 22:10:03 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 246 seconds)
2023-08-15 22:10:43 +0000chele(~chele@user/chele) (Remote host closed the connection)
2023-08-15 22:13:09 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-15 22:13:10 +0000dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-15 22:13:10 +0000dibblego(~dibblego@haskell/developer/dibblego)
2023-08-15 22:13:40 +0000gmg(~user@user/gehmehgeh)
2023-08-15 22:15:27 +0000justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
2023-08-15 22:17:16 +0000misterfish(~misterfis@84.53.85.146) (Ping timeout: 248 seconds)
2023-08-15 22:17:48 +0000nick3(~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 246 seconds)
2023-08-15 22:18:06 +0000titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-08-15 22:20:09 +0000bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8)
2023-08-15 22:20:46 +0000son0p(~ff@181.32.134.99)
2023-08-15 22:24:38 +0000Abreu(~Abreu@143.107.225.16) (Ping timeout: 246 seconds)
2023-08-15 22:24:45 +0000gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-08-15 22:25:30 +0000acidjnk_new(~acidjnk@p200300d6e7072f340195dc8d23b3c708.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2023-08-15 22:25:31 +0000Feuermagier(~Feuermagi@user/feuermagier)
2023-08-15 22:26:02 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
2023-08-15 22:27:55 +0000Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-08-15 22:37:03 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-08-15 22:38:29 +0000mawiie(~mawiie@c-76-155-235-153.hsd1.co.comcast.net)
2023-08-15 22:43:55 +0000 <mawiie> do any of you remember what you struggled with most learning Haskell or functional programming for the first time? i want to introduce fp to some friends and was curious about common pitfalls.
2023-08-15 22:44:10 +0000Sgeo(~Sgeo@user/sgeo)
2023-08-15 22:44:54 +0000mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 252 seconds)
2023-08-15 22:45:08 +0000acidjnk_new(~acidjnk@p200300d6e7072f29a8bd101470ed31bc.dip0.t-ipconnect.de)
2023-08-15 22:47:26 +0000 <hpc> when i learned haskell, i knew java (from classes), perl (from the job), and python (for fun)
2023-08-15 22:47:47 +0000 <hpc> and haskell was so different that i had to break down a lot of assumptions in my head before i could get anywhere
2023-08-15 22:48:23 +0000 <hpc> i ended up taking a month in the gap between semesters to just power through it with the goal of connecting an irc bot to a network
2023-08-15 22:49:17 +0000 <EvanR> when learning scheme I was like how are you supposed to do anything without resorting to mutable variables
2023-08-15 22:49:28 +0000 <EvanR> on IRC they told me to just use mutable variables
2023-08-15 22:50:30 +0000 <EvanR> also monad tutorials at the time were especially bad
2023-08-15 22:50:44 +0000 <hpc> i think the meta-lesson from that whole experience (and then taking a course on electronic circuits shortly after) was that computation is everywhere
2023-08-15 22:51:23 +0000 <hpc> and no matter what form of computation you're looking at, there's always a dozen other ways to express any idea that are wildly different
2023-08-15 22:52:23 +0000 <mawiie> thank you both. monad tutorials are still not great imo lmao. i think clashing terminology threw me off a lot, aside from the fact i was basically relearning programming from scratch (i came from a C background)
2023-08-15 22:52:25 +0000 <hpc> so i guess, while you're busy doing the whole "forget everything you ever knew about programming" thing, try not to let any new assumptions fill in the gap
2023-08-15 22:53:00 +0000mima(~mmh@net-93-67-213-242.cust.vodafonedsl.it) (Ping timeout: 245 seconds)
2023-08-15 22:54:50 +0000 <monochrom> You don't need to teach or learn monads early on.
2023-08-15 22:55:19 +0000 <mawiie> definitely agree
2023-08-15 22:56:01 +0000 <monochrom> This semester I just survived not teaching monads until the end (and it is not going to be on the exam, at least not on the surface).
2023-08-15 22:56:32 +0000 <mawiie> having a hard time convincing my friend that they don't yet have to worry about what is practically the final boss of early haskell
2023-08-15 22:56:44 +0000 <EvanR> i noticed some people don't even get started in haskell because they see nothing familiar at all, and instead see a bunch of gratuitous math topics, which can be off putting if you didn't major in math
2023-08-15 22:56:59 +0000 <monochrom> So I just taught parsing by saying that pure and >>= are specific to my parser. I did not need to say it's a Monad instance.
2023-08-15 22:57:08 +0000 <mawiie> lol sneaky
2023-08-15 22:57:19 +0000 <hpc> EvanR: heh, i had a particularly extreme version of that while introducing a coworker to it
2023-08-15 22:57:52 +0000 <monochrom> And I did that again when I taught the "S -> Either Error (S, a)" model of mutable state and errors.
2023-08-15 22:57:53 +0000 <hpc> i whiteboarded some code to demonstrate something
2023-08-15 22:58:03 +0000 <hpc> and at the end he goes "okay, what does that look like in actual code"
2023-08-15 22:58:09 +0000 <hpc> and i just said "but... that is the code"
2023-08-15 22:58:12 +0000 <mawiie> it's very very tempting to ramble about categories and types even if i know it will only scare them
2023-08-15 22:59:19 +0000 <EvanR> oh yeah, that your code takes the form of functions. There's little you can do about that
2023-08-15 22:59:33 +0000 <EvanR> it doesn't help industrial languages "don't have functions"
2023-08-15 22:59:59 +0000 <monochrom> Most people struggle with FP because they are used to state variables and loops, not used to recursion and just passing changed parameters.
2023-08-15 23:00:35 +0000 <mawiie> EvanR: in the "function as in subroutine" vs. "function as in mapping" sense?
2023-08-15 23:00:41 +0000 <monochrom> Another way to say it is: Most programmers, because of that self-selection bias, can't do algebra.
2023-08-15 23:01:11 +0000 <monochrom> Those who can do algebra have already found more satisfying careers such as math and Jane Street.
2023-08-15 23:01:33 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-08-15 23:01:33 +0000mud(~mud@user/kadoban) (Quit: quit)
2023-08-15 23:02:01 +0000 <EvanR> java ruby c# scala don't have functions subroutines or mappings, but methods. PHP and python have functions but you're told not to use them
2023-08-15 23:02:14 +0000 <monochrom> BTW those who can write in natural languages have already found more satisfying careers in journalism, law, literature, etc. This is why programmers can't write docs, and some can't even read docs.
2023-08-15 23:02:44 +0000 <mawiie> lmfao checks out. i discovered haskell right as i was getting burnt out with C, and starting to do more math
2023-08-15 23:03:05 +0000mauke_(~mauke@user/mauke)
2023-08-15 23:03:09 +0000 <monochrom> Those who can come up with really good tests have already found more satisfying careers in science (tests = experiments). So we are left with programmers who can't test.
2023-08-15 23:04:00 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds)
2023-08-15 23:04:02 +0000 <EvanR> elixir has functions but they are kind of crippled vs haskell functions
2023-08-15 23:04:17 +0000thegeekinside(~thegeekin@189.217.90.224) (Read error: Connection reset by peer)
2023-08-15 23:04:18 +0000 <EvanR> so they have arcane ways of combibining them
2023-08-15 23:04:44 +0000mauke(~mauke@user/mauke) (Ping timeout: 248 seconds)
2023-08-15 23:04:45 +0000mauke_mauke
2023-08-15 23:06:49 +0000 <monochrom> Even OO is ruined by programmers. They are unable to grasp the most original, pure, elegant form of OO (Smalltalk, Simula). They can only water it down to micromanaging states again.
2023-08-15 23:07:24 +0000 <monochrom> They must water it down. They only know micromanagement.
2023-08-15 23:08:24 +0000 <monochrom> OK I stop now.
2023-08-15 23:09:36 +0000 <monochrom> I legit teach recursion by saying "don't unfold the recursion, use the induction hypothesis instead". The opposite what how most people teach recursion.
2023-08-15 23:09:41 +0000 <hpc> grammatically, it's more subject-oriented programming
2023-08-15 23:10:15 +0000 <hpc> x.frazzle(y) is "x frazzles y", and OOP considers that x more important than anything else
2023-08-15 23:10:42 +0000 <hpc> actual object-oriented programming is like if you made COMEFROM for function parameters
2023-08-15 23:10:42 +0000 <monochrom> I teach at a school where I can take for granted that students can do induction proofs for breakfast. So it works for me. I don't imagine that there is any hope for average programmers.
2023-08-15 23:11:02 +0000 <ncf> haskell is copula-oriented programming
2023-08-15 23:11:03 +0000 <hpc> i wonder what that would even look like
2023-08-15 23:11:37 +0000 <probie> My mother was a programmer (primarily writing COBOL) for 40 years and still gets confused by recursion
2023-08-15 23:11:48 +0000 <EvanR> it depends on what the definition of is is
2023-08-15 23:12:15 +0000 <EvanR> bill clinton was into an early version of haskell
2023-08-15 23:13:04 +0000 <geekosaur> whereas I was horrified when I discovered cobol didn't have recursion
2023-08-15 23:13:31 +0000 <mawiie> thank you all for the words noted a few for pedagogy things :3
2023-08-15 23:13:51 +0000 <hpc> geekosaur: if programmers can't understand recursion, how well do you think the intended MBA audience would do? :P
2023-08-15 23:14:09 +0000xff0x(~xff0x@2405:6580:b080:900:8609:fbca:2f35:9884) (Ping timeout: 246 seconds)
2023-08-15 23:15:15 +0000 <EvanR> they should have went with corecursion
2023-08-15 23:15:29 +0000 <EvanR> assume you understand corecursion. Ok you're done
2023-08-15 23:15:35 +0000 <monochrom> heh
2023-08-15 23:16:05 +0000 <probie> cobol has some great features like `alter`, so you can mutate your goto statements
2023-08-15 23:16:05 +0000 <hpc> but i only understand understanding corecursion!
2023-08-15 23:16:07 +0000xff0x(~xff0x@178.255.149.135)
2023-08-15 23:17:12 +0000 <mawiie> probie: that sounds like control flow hell...
2023-08-15 23:17:13 +0000 <hpc> someone should make an object-oriented version of cobol, and name it "add 1 to cobol returning cobol"
2023-08-15 23:17:32 +0000 <monochrom> hahahaha
2023-08-15 23:17:53 +0000 <int-e> cObOl is the original OO languagel
2023-08-15 23:18:06 +0000 <monochrom> I wonder if Gracehopper would be proud. >:)
2023-08-15 23:18:31 +0000caryhartline(~caryhartl@168.182.58.169) (Quit: caryhartline)
2023-08-15 23:18:42 +0000mawiie(~mawiie@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Client closed)
2023-08-15 23:19:01 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-15 23:19:27 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2023-08-15 23:19:44 +0000 <geekosaur> iirc visualage cobol has OO features
2023-08-15 23:20:28 +0000img(~img@user/img)
2023-08-15 23:21:15 +0000 <monochrom> Visual Age. That forgotten time when IBM had Visual Age <lang>.
2023-08-15 23:21:46 +0000monochromonly knew because of OS/2
2023-08-15 23:22:10 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-08-15 23:22:17 +0000 <hpc> they made it visual so it was easier to C
2023-08-15 23:22:25 +0000 <monochrom> hahahaha
2023-08-15 23:22:27 +0000 <probie> mawiie: It is. I'm pretty sure most code styles ban it. One of the intended uses is for "initialise on first use", so that te first call jumps to the initialisation code, and then the initialisation code updates it, so that when called again, it just jumps straight into the body
2023-08-15 23:23:19 +0000 <EvanR> rewriting address of thunks to improve performance, shameful who would do this
2023-08-15 23:23:43 +0000 <hpc> that sounds like python's module imports
2023-08-15 23:23:44 +0000 <monochrom> Ooohhh that sounds like exactly our "config = unsafePerformIO (readFile configfile)" :)
2023-08-15 23:23:51 +0000 <hpc> when you import a module, it's actually just running top-level code
2023-08-15 23:24:02 +0000 <hpc> plus a little bit of magic to make sure a second import doesn't actually do anything
2023-08-15 23:24:41 +0000 <int-e> sanity, sacrificed on the alter of performance
2023-08-15 23:24:48 +0000 <monochrom> hahahaha
2023-08-15 23:24:49 +0000 <hpc> or #include/#ifdef stuff
2023-08-15 23:24:54 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 258 seconds)
2023-08-15 23:26:09 +0000 <EvanR> unsafePerformIO combined with readFile
2023-08-15 23:26:21 +0000 <monochrom> oops heh
2023-08-15 23:26:31 +0000 <EvanR> what, that wasn't on purpose? xD
2023-08-15 23:26:56 +0000 <monochrom> I was only intending an unsafePerformIO example.
2023-08-15 23:27:06 +0000 <hpc> for maximum performance, read the config file in template haskell
2023-08-15 23:27:21 +0000 <dolio> readFile is fine.
2023-08-15 23:27:22 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2023-08-15 23:27:28 +0000 <dolio> It works just like Brouwer's creating subject.
2023-08-15 23:27:36 +0000 <EvanR> agreed
2023-08-15 23:28:33 +0000 <int-e> dolio: you say that now but eventually that unsafePerformIO will run inside an STM action that gets GC'd while `readFile` holds a lock and then you'll be mystified for ages.
2023-08-15 23:28:41 +0000 <EvanR> anUncomputable = unsafePerformIO (readFile oraclePath)
2023-08-15 23:28:48 +0000 <dolio> I didn't say unsafePerformIO is fine. :)
2023-08-15 23:29:17 +0000Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-08-15 23:29:21 +0000 <int-e> (does this extend to unsafeInterleavIO? I imagine it does...)
2023-08-15 23:29:21 +0000 <hpc> this is why you use unsafeDupablePerformIO
2023-08-15 23:29:23 +0000 <hpc> there, problem solved
2023-08-15 23:29:31 +0000 <hpc> and no way does it introduce new problems!
2023-08-15 23:29:40 +0000 <int-e> hpc: if by "solved" you mean "exacerbated"
2023-08-15 23:30:02 +0000 <hpc> int-e: only if you don't catch the exception :P
2023-08-15 23:30:10 +0000 <EvanR> as long as you make sure to catch the unsafePerformIO-inside-atomically exception and retry, you're good
2023-08-15 23:30:11 +0000 <int-e> what exception?
2023-08-15 23:30:14 +0000 <hpc> any amount of runtime problems can be solved by ignoring them
2023-08-15 23:30:16 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-15 23:30:46 +0000 <int-e> EvanR: One of us is making stuff up right now and for once it's not me.
2023-08-15 23:31:07 +0000 <hpc> oh, i thought it would throw something goofy
2023-08-15 23:31:13 +0000hpchas been writing too much python lately
2023-08-15 23:31:17 +0000 <EvanR> or was it atomically inside unsafePerformIO
2023-08-15 23:31:33 +0000 <geekosaur> the latter
2023-08-15 23:31:59 +0000 <monochrom> Well, a better (!) example would be "stdGen = unsafePerformIO (getCurrentTime >>= newIORef)"
2023-08-15 23:32:21 +0000 <int-e> that's probably mostly fine
2023-08-15 23:32:35 +0000Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2023-08-15 23:32:54 +0000 <int-e> (no locks, no resources allocated)
2023-08-15 23:33:25 +0000 <EvanR> os = unsafePerformIO detectOS
2023-08-15 23:34:57 +0000 <monochrom> Actually, System.Info's os is a case of "for maximum performance, read the config file in template haskell"
2023-08-15 23:35:21 +0000 <monochrom> To be sure, not literally, just that it's set at GHC's build time.
2023-08-15 23:35:47 +0000 <EvanR> interesting
2023-08-15 23:36:13 +0000 <monochrom> System.Info source code uses #include and #ifdef etc to define os to be a static string.
2023-08-15 23:37:00 +0000 <monochrom> So if you download a GHC binary for Linux, you download one that has "linux" hardcoded in the binary.
2023-08-15 23:37:02 +0000 <EvanR> good. So it's a pure value xD
2023-08-15 23:37:19 +0000 <monochrom> Yeah it's the only reason why it affords to be just String.
2023-08-15 23:37:22 +0000 <EvanR> C preprocessor is a purely functional language
2023-08-15 23:37:56 +0000justsomeguy(~justsomeg@user/justsomeguy)
2023-08-15 23:38:02 +0000 <int-e> ooph
2023-08-15 23:38:21 +0000arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds)
2023-08-15 23:38:53 +0000 <int-e> (have you ever played with ## and double expansion tricks to generate new macro names...)
2023-08-15 23:39:01 +0000 <monochrom> I have!
2023-08-15 23:39:14 +0000int-eisn't sure that "pure" really applies... it feels wrong.
2023-08-15 23:39:28 +0000 <monochrom> Err no, I haven't generated new macro names, I have played with ##.
2023-08-15 23:40:41 +0000xff0x(~xff0x@178.255.149.135) (Ping timeout: 246 seconds)
2023-08-15 23:41:51 +0000 <int-e> (Well, "new"... you can't define new macros inside macros, unless you run cpp several times. But you can still assemble already existing macro names to be called from arguments and the details of that are messy)
2023-08-15 23:42:30 +0000 <monochrom> I think I might have tried that with ## but not very successful.
2023-08-15 23:42:34 +0000 <int-e> (IIRC there was an IOCCC entry that did require running CPP more than once.)
2023-08-15 23:42:35 +0000xff0x(~xff0x@2405:6580:b080:900:8609:fbca:2f35:9884)
2023-08-15 23:43:04 +0000 <monochrom> But eventually I learned and used __VA_ARGS__
2023-08-15 23:43:21 +0000 <monochrom> I wrote #define BAN(rt, f, ...) rt f(__VA_ARGS__) { ban(#f); }
2023-08-15 23:43:31 +0000 <hpc> the real power move is using m4 instead of CPP
2023-08-15 23:44:03 +0000 <hpc> make them nervous every time they type parenthesis
2023-08-15 23:44:24 +0000 <monochrom> So that e.g. "BAN(FILE *, fdopen, int, const char *)" expands to: FILE * fdopen(int, const char *) {ban("fdopen"); }
2023-08-15 23:44:59 +0000 <monochrom> Bascially I was learning how to use LD_PRELOAD to ban some library functions in homework.
2023-08-15 23:47:32 +0000wroathe(~wroathe@user/wroathe)
2023-08-15 23:49:34 +0000justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
2023-08-15 23:53:39 +0000wroathe(~wroathe@user/wroathe) (Read error: Connection reset by peer)
2023-08-15 23:53:48 +0000wroathe(~wroathe@user/wroathe)
2023-08-15 23:54:24 +0000acidjnk_new(~acidjnk@p200300d6e7072f29a8bd101470ed31bc.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2023-08-15 23:58:18 +0000 <int-e> Hmm I think my brain is making more out of this than there was. What I managed to reconstruct is: #define Q(x) x; #define APPEND(x,y) Q(x)Q(y) for the traditional CPP but no way to actually invoke another macro. Sorry.