Logs: freenode/#haskell
| 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.