Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2021-03-08 22:59:52 Axman6 wishes we had Ada style array indexing in Haskell natively
2021-03-08 23:01:58 <monochrom> I forgot, what does Ada array indexing look like? I only remember it was nice.
2021-03-08 23:02:14 stree joins (~stree@68.36.8.116)
2021-03-08 23:03:48 <Axman6> it's essentially arbitrary, you can say an array is indexed by Ints from 7 to 23. and also non numeric types, like having an enum of Red Green Bloe and defining Pixel = Array<Colour>
2021-03-08 23:04:42 <Axman6> it's essentially arbitrary, you can say an array is indexed by Ints from 7 to 23. and also non numeric types, like having an enum of Red Green Bloe and defining Pixel = Array<Colour>
2021-03-08 23:04:42 <monochrom> IIRC Pascal does that too.
2021-03-08 23:04:49 minoru_shiraeesh joins (~shiraeesh@46.34.207.152)
2021-03-08 23:05:01 <monochrom> But doesn't Data.Array already do that, and take it to the next dimension too?
2021-03-08 23:05:06 × __minoru__shirae quits (~shiraeesh@46.34.207.143) (Ping timeout: 260 seconds)
2021-03-08 23:05:49 <Axman6> yeah but it's clearly Ints uncerneath, it feels more baked into Ada
2021-03-08 23:06:00 <Axman6> underneath*
2021-03-08 23:06:34 <Axman6> and it wouldn't surprise me if it came from Pascal, since that's the closest language to Ada IIRC
2021-03-08 23:06:44 × mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew)
2021-03-08 23:07:10 <monochrom> Ada = Pascal + parametric polymorphism + module + concurrency :)
2021-03-08 23:07:24 <monochrom> = Haskell + imperative + module
2021-03-08 23:07:30 <cookielady> hey there any non haskell hacking chats you use?
2021-03-08 23:07:30 <Axman6> yeah
2021-03-08 23:07:41 <Axman6> what sort of hacking?
2021-03-08 23:08:02 <monochrom> I use hexchat. Does that count?
2021-03-08 23:08:20 <minoru_shiraeesh> cookielady: what did you find?
2021-03-08 23:08:23 <Axman6> I think if you do /whois Axman6 you'
2021-03-08 23:08:25 <monochrom> Especially the very small hamming distance between "hacks" and "hex".
2021-03-08 23:08:43 <Axman6> ll see the pletheroa of channels I'm in
2021-03-08 23:09:18 <glguy> Axman6: your channel list is private, it will only show common channels when someone runs /whois on you
2021-03-08 23:09:23 <Axman6> aww
2021-03-08 23:09:49 <glguy> You can opt-out of that privacy with: /umode -i
2021-03-08 23:09:50 <monochrom> But the context is that cookielady is here for general IRC guidance, not for Haskell.
2021-03-08 23:10:03 <Axman6> I guess not then!
2021-03-08 23:10:06 <monochrom> At some point I will have to point out "this is not a directory service either".
2021-03-08 23:10:58 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2021-03-08 23:11:14 <Axman6> cookielady: answering that question is difficult without knowing what you're itnerested in
2021-03-08 23:11:17 <cookielady> yes you right, but thats just because i dont really know haskell. do you wanna explain me a lil bit of what you actully use haskell for
2021-03-08 23:11:55 <Axman6> Programs :)
2021-03-08 23:12:03 <monochrom> Programming and understanding programming. Not for hacking.
2021-03-08 23:12:27 <Axman6> web services, data processing, playing with algorithms, #job
2021-03-08 23:12:42 <ephemient> well, depends on the definition of "hacking" in use
2021-03-08 23:13:06 <Axman6> I hack around with all sorts of things
2021-03-08 23:13:11 <glguy> I use Haskell to host my Lua programs
2021-03-08 23:13:14 <Axman6> in haskell*
2021-03-08 23:13:18 <Axman6> ha
2021-03-08 23:13:22 <minoru_shiraeesh> cookielady: so you joined a bunch of channels? are there channels comparable to haskell in terms of activity per day?
2021-03-08 23:13:26 <monochrom> Actually as it happens I don't use Haskell for any definition of hacking. I use shell scripts for one of the definitions of hacking.
2021-03-08 23:13:35 <cookielady> Axman6: alright  interesting, but how do you actually use haskell , because on haskell i only got to know this chatroom
2021-03-08 23:14:04 <monochrom> I open an editor and start typing in code?
2021-03-08 23:14:15 <monochrom> Then run an interpreter to test my code?
2021-03-08 23:14:27 <Axman6> I don't know how to answer that question cookielady
2021-03-08 23:14:30 <ephemient> Haskell is a general purpose language, you program in it just like most other languages
2021-03-08 23:14:52 × crobbins quits (~crobbins@2600:1700:48eb:8490:9951:ddf8:bc56:65f5) (Remote host closed the connection)
2021-03-08 23:14:54 <cookielady> alright then
2021-03-08 23:14:58 <cookielady> thank you guys
2021-03-08 23:15:00 <Axman6> how do you use C? How do you use Java? How do you use Python?
2021-03-08 23:15:04 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds)
2021-03-08 23:15:14 <ephemient> the major implementation GHC will compile Haskell code to native binaries, not interpreted - but it also comes with GHCi, an interactive REPL that can interpret your code
2021-03-08 23:16:21 <monochrom> And eventually conclude "I'm so glad this is not C++"?
2021-03-08 23:17:11 <monochrom> Sorry but I'm doing LLVM homework. It really shows C++ oddballness. Powerful but unreadable.
2021-03-08 23:17:27 crobbins joins (~crobbins@2600:1700:48eb:8490:9951:ddf8:bc56:65f5)
2021-03-08 23:17:58 <monochrom> A classmate goes further and words it as "C++ syntax is toxic".
2021-03-08 23:18:03 × Guest15380 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 256 seconds)
2021-03-08 23:18:21 <heck-to-the-gnom> ^^ +1
2021-03-08 23:18:52 nbloomf joins (~nbloomf@2600:1700:ad14:3020:c500:64a8:b98c:677d)
2021-03-08 23:18:54 <monochrom> To be sure, the semantics is the toxic one, the syntax is just a reflection of that.
2021-03-08 23:19:05 <Axman6> I've been watching a few videos recently from CPPcon or something and yeah I'm always blown away by how batshit crazy the syntax it
2021-03-08 23:19:14 × cfvnhtsp^ quits (cfvnhtsp@ip98-184-89-2.mc.at.cox.net) ()
2021-03-08 23:20:29 <Axman6> I watched a video on implementing ... HAMTs or B-Trees or something, and seeing how many hoops needed to be jumped through to get what we have in ST and Vector/MVector was painful
2021-03-08 23:20:47 <minoru_shiraeesh> Axman6: "how do you use C? How do you use Java? How do you use Python?" I think you can broadly categorize languages by usage.
2021-03-08 23:20:52 <Axman6> and just crazy shit like someFunction() = 0; like whatever is that
2021-03-08 23:20:52 <minoru_shiraeesh> C - systems programming
2021-03-08 23:21:05 <minoru_shiraeesh> Java - corporate webapps
2021-03-08 23:21:17 <minoru_shiraeesh> Python - scripts, data science, etc.
2021-03-08 23:21:25 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 268 seconds)
2021-03-08 23:21:32 <Axman6> Java was supposed to be an embedded real-time language
2021-03-08 23:22:10 <ephemient> C++ like "oh no initialization parentheses are horrible, we need to invent initialization braces" "oh no we invented initialization braces wrong, we need new braces"
2021-03-08 23:22:44 <Axman6> seems like auto is making C++ much less insane these days though
2021-03-08 23:23:11 <monochrom> I have mixed feelings about auto.
2021-03-08 23:23:50 <Axman6> me too, it seels like it's pretty easy to get the wrong type so you end up needing to add back in things like const frequently
2021-03-08 23:23:59 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-08 23:24:14 Axman6 says this without having actually written any C++ but has seen plenty of talks on it, which masically makes him an expert
2021-03-08 23:24:15 <monochrom> Not to deny the pros, but sometimes the cons show: I now have no idea what is the type and therefore which methods and operators are applicable.
2021-03-08 23:24:38 × Tops2 quits (~Tobias@dyndsl-095-033-089-002.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-03-08 23:24:57 <monochrom> Whereas Haskell gets it right. Don't make it tedious to handwrite the type.
2021-03-08 23:25:10 conal joins (~conal@64.71.133.70)
2021-03-08 23:25:24 × deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 265 seconds)
2021-03-08 23:25:24 <ephemient> ideally it would be optional... but they made the types of lambda expressions un-denotable so you can *only* use auto with them...
2021-03-08 23:25:26 <d34df00d> Axman6: > HAMTs or B-Trees or something, and seeing how many hoops needed to be jumped through to get what we have in ST and Vector/MVector was painful
2021-03-08 23:25:31 <d34df00d> Curious about that, as a former C++ guy.
2021-03-08 23:25:33 bss03 joins (~bss@ip70-178-92-189.ks.ks.cox.net)
2021-03-08 23:25:38 <monochrom> Types can be inferred but there are still many reasons to handwrite the type nonetheless.
2021-03-08 23:25:43 <d34df00d> Do you have a link to some video? I'd be curious to see and compare.
2021-03-08 23:25:44 × xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection)
2021-03-08 23:25:57 <Axman6> I'll have a look
2021-03-08 23:26:21 × rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-08 23:26:27 <Axman6> https://youtu.be/sPhpelUfu8Q
2021-03-08 23:26:33 xsperry joins (~as@unaffiliated/xsperry)
2021-03-08 23:26:34 <d34df00d> Also, don't confuse auto and decltype(auto), those are two very different things.
2021-03-08 23:26:53 <d34df00d> So []() -> auto { ... } is very different from []() -> decltype(auto) { ... }
2021-03-08 23:27:17 <d34df00d> Axman6: yay thanks!
2021-03-08 23:27:30 jb55 joins (~jb55@gateway/tor-sasl/jb55)
2021-03-08 23:28:25 × frozenErebus quits (~frozenEre@94.128.82.20) (Remote host closed the connection)
2021-03-08 23:29:22 <bss03> Recommended web application framework that maximizes server-side rendering? I'd like to use react-haskell, but that's a mild preference... doesn't even have to be haskell, I prefer types over no types, but this isn't going to be a huge app.
2021-03-08 23:29:51 <monochrom> One of those static website generators.

All times are in UTC.