Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 .. 5022
— 502,152 events total
2020-11-05 11:18:37 <SirSaul> Alright, yea I don't really know. I work in vim so pretty basic haha
2020-11-05 11:18:48 <SirSaul> the syntax is quite new for me.
2020-11-05 11:18:57 <SirSaul> feels like coding 1101 again haha
2020-11-05 11:19:05 <tomjaguarpaw> It seems that there are a lot of indentation errors, for example in mkUnmanagedWindow
2020-11-05 11:19:28 <SirSaul> Yea it's probably because I copied it 1:1 from the web after i tried to write it by hand
2020-11-05 11:19:54 <SirSaul> does it matter tabs or spaces? or is either good as long as it is consistent?
2020-11-05 11:20:01 <tomsmeding> still, the spaces should've copied along
2020-11-05 11:20:04 <tomsmeding> spaces only in haskell
2020-11-05 11:20:09 <SirSaul> alright
2020-11-05 11:20:25 × fendor quits (~fendor@178.165.130.110.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2020-11-05 11:20:46 <tomjaguarpaw> Copying and pasting Haskell code is not easy. You have to make sure you copy the spaces exactly.
2020-11-05 11:21:18 <SirSaul> Yea, it's also hard to see properly as I'm not familiar yet.
2020-11-05 11:22:14 <tomjaguarpaw> Oh, those indentation errors do also appear on https://wiki.haskell.org/X_window_programming_in_Haskell
2020-11-05 11:22:20 <tomjaguarpaw> It may well be that the page is just wrong
2020-11-05 11:22:36 <tomsmeding> oh wow
2020-11-05 11:22:37 <tomsmeding> yes
2020-11-05 11:22:50 <tomjaguarpaw> It hasn't really been edited since 2010 so it could be well out of date and generally unhelpful
2020-11-05 11:22:52 <SirSaul> Yes, that why I came here
2020-11-05 11:22:59 <SirSaul> I assumed an error on the page
2020-11-05 11:23:07 <yushyin> tomsmeding: yes -Wtabs is on by default, even without -Wall
2020-11-05 11:23:13 <SirSaul> Actually was trying to someone who could maybe edit the wiki
2020-11-05 11:23:14 <tomsmeding> yushyin: 🎉
2020-11-05 11:23:42 <tomjaguarpaw> If your goal is to learn Haskell I would recommend against the wiki. It's massively out of date.
2020-11-05 11:23:42 × liff quits (liff@kapsi.fi) (Ping timeout: 260 seconds)
2020-11-05 11:23:50 <SirSaul> Yea I'm actually looking for some not to hard, not to easy apps to try and make
2020-11-05 11:23:51 <yushyin> but it's fine to use tabs in haskell, if you really really want to, it's just easy to get wrong :D
2020-11-05 11:23:55 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-11-05 11:23:59 → liff joins (liff@kapsi.fi)
2020-11-05 11:24:04 <SirSaul> most haskell things I find are like things add 10 2, or hello world..
2020-11-05 11:24:11 <SirSaul> but Im looking for something a bit more.
2020-11-05 11:24:22 <tomjaguarpaw> Hmm, I don't know of one personally. Maybe someone else can recommend something.
2020-11-05 11:24:58 <tomsmeding> how did that wiki even end up wrong? it's not even a formatting bug, there's really missing indentation in the page source
2020-11-05 11:24:59 <SirSaul> I need to up my knowledge and skills before I can truly do something, but just writting add and square functions ins just plain boring
2020-11-05 11:25:03 <SirSaul> I know how that works.
2020-11-05 11:25:15 × hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2020-11-05 11:25:19 <tomjaguarpaw> tomsmeding: The Wiki is just generally broken
2020-11-05 11:25:37 → hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-05 11:25:37 × fendor__ quits (~fendor@212095005240.public.telering.at) (Read error: Connection reset by peer)
2020-11-05 11:25:43 <yushyin> trying to solve AOC is always a nice way to learn a new language
2020-11-05 11:25:54 <tomsmeding> or project euler, if that's your thing
2020-11-05 11:26:34 <SirSaul> Well, my general idea is trying to write actual OS stuff in haskell
2020-11-05 11:26:34 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-05 11:26:47 <SirSaul> I've got the knowledge for that, just not for haskell at the moment haha
2020-11-05 11:27:05 <SirSaul> so im a noob and somewhat a pro at the same time.
2020-11-05 11:27:06 → fendor__ joins (~fendor@77.119.128.54.wireless.dyn.drei.com)
2020-11-05 11:27:17 <tomjaguarpaw> (I added a warning at the top of that page)
2020-11-05 11:28:03 <SirSaul> great for future coders :)
2020-11-05 11:28:17 <tomjaguarpaw> SirSaul: Did you make any progress with the code on that page at all?
2020-11-05 11:28:19 <int-e> https://wiki.haskell.org/index.php?title=X_window_programming_in_Haskell&oldid=14607 looks more correct; the next revision reformatted a lot of stuff incorrectly
2020-11-05 11:28:36 <SirSaul> Yea' I've got the window running from the first part
2020-11-05 11:28:53 <yushyin> I think Programming in Haskell by graham hutton is nice, if you already know about programming but not about haskell
2020-11-05 11:29:19 <tomjaguarpaw> Then maybe int-e's suggestion is good. You could use the code from that version. Or you could try to fix the indentation yourself - that will be a quick but frustrating way to learn about indentation in Haskell!
2020-11-05 11:29:24 <SirSaul> but the latter part after the unfinished window doesn't seem to work, and I'm not yet finding the correct indentation
2020-11-05 11:30:03 <SirSaul> I will take a look at that revision int-e
2020-11-05 11:30:40 <SirSaul> Thanks people for your quick response and help.
2020-11-05 11:31:18 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-05 11:31:25 → christo joins (~chris@81.96.113.213)
2020-11-05 11:32:24 × invaser quits (~Thunderbi@31.148.23.125) (Client Quit)
2020-11-05 11:33:46 <tomjaguarpaw> Feel free to come back and ask for more help if you run into more problems
2020-11-05 11:33:57 <tomjaguarpaw> Hope you find something that works for you!
2020-11-05 11:34:59 × rprije quits (~rprije@124.148.131.132) (Ping timeout: 265 seconds)
2020-11-05 11:35:00 hackage servant-openapi3 2.0.1.0 - Generate a Swagger/OpenAPI/OAS 3.0 specification for your servant API. https://hackage.haskell.org/package/servant-openapi3-2.0.1.0 (maksbotan)
2020-11-05 11:35:05 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-05 11:35:46 × christo quits (~chris@81.96.113.213) (Ping timeout: 246 seconds)
2020-11-05 11:36:19 × spamlessj quits (~spamlessj@2a01:4f8:141:1329::2) (Ping timeout: 272 seconds)
2020-11-05 11:37:41 → spamlessj joins (~spamlessj@2a01:4f8:141:1329::2)
2020-11-05 11:38:04 <int-e> I guess I'll just transplant the old code samples before the indentation edit of doom
2020-11-05 11:39:25 × Gurkenglas__ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2020-11-05 11:40:01 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2020-11-05 11:41:17 → LKoen joins (~LKoen@53.253.88.92.rev.sfr.net)
2020-11-05 11:41:22 × MarcelineVQ quits (~anja@198.254.202.72) (Ping timeout: 246 seconds)
2020-11-05 11:43:30 × SirSaul quits (559113cc@204-19-145-85.ftth.glasoperator.nl) (Remote host closed the connection)
2020-11-05 11:43:44 × alp quits (~alp@2a01:e0a:58b:4920:6070:c578:85d0:a73a) (Ping timeout: 246 seconds)
2020-11-05 11:43:46 → mdunnio_ joins (~mdunnio@208.59.170.5)
2020-11-05 11:45:04 → Aquazi joins (uid312403@gateway/web/irccloud.com/x-ghekqquifdegujeg)
2020-11-05 11:47:17 → alp joins (~alp@88.126.45.36)
2020-11-05 11:47:52 <int-e> Oh SirSaul left.
2020-11-05 11:48:38 × mdunnio_ quits (~mdunnio@208.59.170.5) (Ping timeout: 264 seconds)
2020-11-05 11:49:09 <int-e> tomjaguarpaw: I dropped the allusion to numerous indentation errors, but kept the outdated warning (since I didn't test any of the code)
2020-11-05 11:49:16 <tomjaguarpaw> Great, thanks
2020-11-05 11:52:33 → christo joins (~chris@81.96.113.213)
2020-11-05 11:59:53 × plutoniix quits (~q@175.176.222.7) (Quit: Leaving)
2020-11-05 12:00:01 × slewis quits (~slewis@185.204.1.185) ()
2020-11-05 12:03:22 <tomsmeding> you can't pattern-match on a GADT without a type signature on the result, even if the result doesn't do anything with the existential types in the GADT?
2020-11-05 12:04:45 <tomsmeding> ( https://paste.tomsmeding.com/h5VYeItr )
2020-11-05 12:09:19 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-05 12:09:37 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-05 12:10:14 <dminuoso> % :set -XGADTs
2020-11-05 12:10:15 <yahb> dminuoso:
2020-11-05 12:10:26 <dminuoso> % data G t where G1 :: T Int
2020-11-05 12:10:26 <yahb> dminuoso: ; <interactive>:82:22: error: Not in scope: type constructor or class `T'
2020-11-05 12:10:31 <dminuoso> % data G t where G1 :: G Int
2020-11-05 12:10:32 <yahb> dminuoso:
2020-11-05 12:10:37 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-11-05 12:10:42 <dminuoso> % f g = case g of G1 -> True
2020-11-05 12:10:42 <yahb> dminuoso: ; <interactive>:84:23: error:; * Couldn't match expected type `p' with actual type `Bool'; `p' is untouchable inside the constraints: t ~ Int bound by a pattern with constructor: G1 :: G Int, in a case alternative at <interactive>:84:17-18; `p' is a rigid type variable bound by; the inferred type of f :: G t -> p; at <interactive>:84:1-26; Possible fix: add a type
2020-11-05 12:10:55 → kuribastard joins (~user@ptr-25vy0i8ngykh0l4o8xc.18120a2.ip6.access.telenet.be)
2020-11-05 12:11:11 <dminuoso> that seems strange
2020-11-05 12:11:43 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-11-05 12:13:40 <lortabac> strangely, it compiles if you omit the argument type (with PartialTypeSignatures), but it doesn't if you omit the result
←Prev  Next→
Page 1 .. 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 .. 5022

All times are in UTC.