| 2022-06-18 00:03:13 +0200 | <dsal> | Does anyone know of a thing to asciify characters? e.g. ñ -> n ? |
| 2022-06-18 00:05:58 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) |
| 2022-06-18 00:07:30 +0200 | <geekosaur> | I think iconv has a mode to do that |
| 2022-06-18 00:07:50 +0200 | <geekosaur> | $ echo abc ß α € àḃç | iconv -f UTF-8 -t ASCII//TRANSLIT |
| 2022-06-18 00:07:50 +0200 | <geekosaur> | abc ss ? EUR abc |
| 2022-06-18 00:08:45 +0200 | <dsal> | Neat. Thanks. |
| 2022-06-18 00:10:24 +0200 | <dsal> | That makes ü -> "u |
| 2022-06-18 00:10:27 +0200 | <dsal> | But it's pretty close. |
| 2022-06-18 00:11:51 +0200 | <geekosaur> | surprised it's not ue, given what it does to ß |
| 2022-06-18 00:12:29 +0200 | <dsal> | Yeah. it was a bit weird. |
| 2022-06-18 00:13:20 +0200 | <kaol> | ü is used in more languages than DE and it may not be correct for them. |
| 2022-06-18 00:13:55 +0200 | <geekosaur> | but arguably "u is correct for none o them |
| 2022-06-18 00:13:56 +0200 | <dsal> | It's pretty close. I can always toss some special cases in before calling the lib. |
| 2022-06-18 00:13:58 +0200 | <geekosaur> | *of |
| 2022-06-18 00:14:31 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-18 00:15:02 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Quit: Client closed) |
| 2022-06-18 00:16:31 +0200 | <dsal> | That gave me a pointer into my codebase that specifically avoids iconv on macos (where I tried it) for some reason. Might be related. In any case, turns out I've got a lib I need. :) |
| 2022-06-18 00:16:38 +0200 | <EvanR> | ñ -> n is also incorrect xD |
| 2022-06-18 00:18:04 +0200 | <hpc> | there's probably some locale thing you can do to make the necessary tweaks? |
| 2022-06-18 00:18:05 +0200 | <geekosaur> | you're going to lose regardless with any downconversion to ascii |
| 2022-06-18 00:18:36 +0200 | <geekosaur> | macos's iconv is different |
| 2022-06-18 00:18:42 +0200 | <hpc> | stuff that applies to unicode with a zillion ambiguous special cases always has locales involved somewhere |
| 2022-06-18 00:19:00 +0200 | <geekosaur> | it's an old bsd iconv, I don't know if it even supports this much less how well |
| 2022-06-18 00:23:34 +0200 | cls_ | (~cls@chalk.lubutu.com) (Quit: leaving) |
| 2022-06-18 00:29:48 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-06-18 00:31:44 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) (Quit: Konversation terminated!) |
| 2022-06-18 00:32:01 +0200 | Pickchea | (~private@user/pickchea) (Remote host closed the connection) |
| 2022-06-18 00:35:36 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2022-06-18 00:36:56 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds) |
| 2022-06-18 00:44:26 +0200 | Alex_test | (~al_test@178.34.150.200) (Quit: ;-) |
| 2022-06-18 00:45:45 +0200 | AlexZenon | (~alzenon@178.34.150.200) (Quit: ;-) |
| 2022-06-18 00:46:00 +0200 | AlexNoo | (~AlexNoo@178.34.150.200) (Quit: Leaving) |
| 2022-06-18 00:49:50 +0200 | Cupcakus | (~Cupcakus@c-73-205-77-141.hsd1.fl.comcast.net) (Ping timeout: 240 seconds) |
| 2022-06-18 01:02:59 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-06-18 01:04:37 +0200 | son0p | (~ff@181.136.122.143) |
| 2022-06-18 01:10:10 +0200 | <sayola> | is there some way to have ghc pick whatever works whenever types are ambiguous? |
| 2022-06-18 01:10:40 +0200 | <sayola> | like it does for some prelude classes like Show |
| 2022-06-18 01:12:14 +0200 | fserucas | (~fserucas@119.65.114.89.rev.vodafone.pt) |
| 2022-06-18 01:12:24 +0200 | alp__ | (~alp@user/alp) (Ping timeout: 244 seconds) |
| 2022-06-18 01:12:48 +0200 | <geekosaur> | I presume yiou're talking about defaulting. ExtendedDefaultRules allows it to work for more typeclasses, but it still has to involve a typeclass and it still has to resolve to a type listed in a `default` declaration (defaulting to (Integer,Double)) |
| 2022-06-18 01:13:36 +0200 | <geekosaur> | and giving ghc too much rope will cause it to default to something useless like unit/() |
| 2022-06-18 01:15:39 +0200 | <EvanR> | I'm afraid "whatever works" would act like javascript |
| 2022-06-18 01:16:06 +0200 | <EvanR> | because it would do something, I then "works" was a lie |
| 2022-06-18 01:16:11 +0200 | <EvanR> | and then |
| 2022-06-18 01:17:57 +0200 | dcoutts | (~duncan@host86-167-216-251.range86-167.btcentralplus.com) (Ping timeout: 276 seconds) |
| 2022-06-18 01:19:22 +0200 | <geekosaur> | yep |
| 2022-06-18 01:19:41 +0200 | <geekosaur> | and no, there's no "escape to javascript" mode |
| 2022-06-18 01:20:10 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2022-06-18 01:20:24 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-06-18 01:24:11 +0200 | jinsun__ | (~jinsun@user/jinsun) (Ping timeout: 255 seconds) |
| 2022-06-18 01:25:12 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2022-06-18 01:25:29 +0200 | <sayola> | aww :> |
| 2022-06-18 01:27:16 +0200 | dcoutts | (~duncan@host86-150-18-15.range86-150.btcentralplus.com) |
| 2022-06-18 01:27:19 +0200 | <sayola> | i think i have to look into defaulting a bit more. so far, ExtendedDefaultRules picked defaults that didnt even work, even though there is at least one combination of types that do work. |
| 2022-06-18 01:27:39 +0200 | <geekosaur> | I did say it will probably pick (), which is useless |
| 2022-06-18 01:28:07 +0200 | <geekosaur> | it does not have every type in the program at its disposal, it has only what you declare in a `defaults` declaration, as I already said |
| 2022-06-18 01:28:16 +0200 | <geekosaur> | sorry,m `default` declaration |
| 2022-06-18 01:28:31 +0200 | <sayola> | yes, thats what i have to look into. |
| 2022-06-18 01:29:12 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-06-18 01:30:41 +0200 | <sayola> | oh and with not work, i meant it picks types that then dont fit any instance anymore for a user-defined class. so it fails compiling, not just pick useless stuff. |
| 2022-06-18 01:32:22 +0200 | <sayola> | i wish it would at least pick useless stuff |
| 2022-06-18 01:34:00 +0200 | <geekosaur> | it's going to fail compiling anyway, because this is haskell |
| 2022-06-18 01:36:10 +0200 | <sayola> | it works just fine when i annotate all types D: |
| 2022-06-18 01:36:16 +0200 | <geekosaur> | yes |
| 2022-06-18 01:36:56 +0200 | <geekosaur> | most things can be inferred. some can't and you end up adding an annotation somewhere. you might show your code… |
| 2022-06-18 01:37:00 +0200 | <geekosaur> | @where paste |
| 2022-06-18 01:37:00 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2022-06-18 01:42:27 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-06-18 01:43:52 +0200 | <sayola> | nice paste site |
| 2022-06-18 01:43:56 +0200 | <sayola> | https://paste.tomsmeding.com/pubYHDCU |
| 2022-06-18 01:44:19 +0200 | <sayola> | its kinda madness. but wanna figure out how far i can take it. |
| 2022-06-18 01:46:05 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Quit: quarkyalice) |
| 2022-06-18 01:46:22 +0200 | <sayola> | also tried some fundeps, but it made the instances illegal, since they are not all implying much |
| 2022-06-18 01:46:37 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-18 01:47:40 +0200 | <sayola> | the test is on purpose pointless. its just about whether it would compile at all. |
| 2022-06-18 01:48:02 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 258 seconds) |
| 2022-06-18 01:49:44 +0200 | <sayola> | making the test work without all the type annotations is what i'm looking into right now |
| 2022-06-18 01:50:28 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::4588) |
| 2022-06-18 01:50:32 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 260 seconds) |
| 2022-06-18 01:50:39 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-06-18 01:52:21 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-06-18 01:52:59 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 246 seconds) |
| 2022-06-18 01:59:38 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-06-18 01:59:47 +0200 | heinz19 | (~trace@user/trace) (Remote host closed the connection) |
| 2022-06-18 02:00:13 +0200 | ystael_ | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2022-06-18 02:00:59 +0200 | <sayola> | so, any ideas? |
| 2022-06-18 02:02:03 +0200 | <EvanR> | a compiler plugin might let you do some unrecommended things |
| 2022-06-18 02:02:10 +0200 | <EvanR> | at compile time |
| 2022-06-18 02:02:25 +0200 | <EvanR> | I guess template haskell would be the first stop on that road |
| 2022-06-18 02:02:43 +0200 | <geekosaur> | you would need either associated types or functional dependencies for a multiparameter typeclass to resolve sanely |
| 2022-06-18 02:02:58 +0200 | <geekosaur> | but you'd need to think through how you want it to work |
| 2022-06-18 02:03:30 +0200 | <geekosaur> | otherwise, no, it won't be abloe to work types out by itself even with defaulting; multiparameter typeclasses present far too many options |
| 2022-06-18 02:04:20 +0200 | alp__ | (~alp@user/alp) |
| 2022-06-18 02:08:00 +0200 | <sayola> | fundeps didnt work out so far, sadly |
| 2022-06-18 02:09:25 +0200 | <sayola> | i dunno about template haskell hmhmm |
| 2022-06-18 02:10:59 +0200 | <EvanR> | it lets you generate source code during compile time, perhaps in stages, but I don't know if you can access the type checker at the same time |
| 2022-06-18 02:12:43 +0200 | <sayola> | i think it would do the trick of generating a function from another function without failing? |
| 2022-06-18 02:13:31 +0200 | <sayola> | how does template haskell see ambiguous types though? |
| 2022-06-18 02:14:20 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-06-18 02:14:58 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-06-18 02:18:18 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.5) |
| 2022-06-18 02:19:08 +0200 | alexhandy | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-18 02:20:01 +0200 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 2022-06-18 02:20:59 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-18 02:21:38 +0200 | werneta | (~werneta@137.79.237.183) (Ping timeout: 244 seconds) |
| 2022-06-18 02:23:35 +0200 | werneta | (~werneta@137.79.231.39) |
| 2022-06-18 02:25:20 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-18 02:25:23 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-181.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-06-18 02:29:01 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-18 02:30:04 +0200 | alexhandy | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-18 02:37:35 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-06-18 02:41:06 +0200 | machinedgod | (~machinedg@96.53.10.178) |
| 2022-06-18 02:41:23 +0200 | fserucas | (~fserucas@119.65.114.89.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-06-18 02:43:49 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2022-06-18 02:45:41 +0200 | img | (~img@user/img) |
| 2022-06-18 02:57:31 +0200 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 2022-06-18 02:58:25 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-06-18 03:04:20 +0200 | leeb | (~leeb@KD106154142206.au-net.ne.jp) |
| 2022-06-18 03:06:15 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-06-18 03:06:15 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-06-18 03:06:15 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-06-18 03:11:49 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-06-18 03:13:22 +0200 | <kenaryn> | Hello. Does `|` operator stand for "not and" or "exclusive or" please? |
| 2022-06-18 03:14:23 +0200 | <geekosaur> | `|` is not an operator. in most cases it can be read as "such that". did you mean `||`? or perhaps `.|.`? |
| 2022-06-18 03:16:08 +0200 | <geekosaur> | what context are you talking about? |
| 2022-06-18 03:16:13 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-18 03:17:56 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-18 03:17:58 +0200 | <kenaryn> | I have no immediate example, but it is used when enumerated several constructor data to define a type constructor. |
| 2022-06-18 03:18:40 +0200 | <geekosaur> | okay, that usage approximates exclusive or |
| 2022-06-18 03:19:33 +0200 | <kenaryn> | `data HsExpr p = HsVar ... | HsLit ... | hsApp ... | OpApp ...` |
| 2022-06-18 03:19:33 +0200 | <geekosaur> | most of the other uses are things like guards, functional dependencies, and list comprehensions |
| 2022-06-18 03:19:35 +0200 | <kenaryn> | Thank you. |
| 2022-06-18 03:20:11 +0200 | <kenaryn> | It may be list comprehension related then. |
| 2022-06-18 03:20:22 +0200 | <geekosaur> | no, this isn't a list comprehension |
| 2022-06-18 03:20:52 +0200 | <kenaryn> | I'm still at chapter 5 it's too difficult to learn haskell alone. |
| 2022-06-18 03:21:05 +0200 | Cupcakus | (~Cupcakus@c-73-205-77-141.hsd1.fl.comcast.net) |
| 2022-06-18 03:22:07 +0200 | <mixfix41> | oh which application |
| 2022-06-18 03:22:18 +0200 | <mixfix41> | or only examples out the book? |
| 2022-06-18 03:25:36 +0200 | <kenaryn> | I failed about 90% of the exercices of Chris Allen book. Despite the numerous claims of the authors, it does require a championship level of previous programming knowledge with a bachelor in type theory. |
| 2022-06-18 03:26:45 +0200 | <kenaryn> | It is obvious why the procedural paradigm has taken over civil society and industry. |
| 2022-06-18 03:27:39 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-06-18 03:30:46 +0200 | kimjetwav | (~user@2607:fea8:2340:da00:710e:91e2:da2a:278a) (Remote host closed the connection) |
| 2022-06-18 03:32:08 +0200 | <dsal> | Haha. |
| 2022-06-18 03:33:15 +0200 | <geekosaur> | I'm calling you on that one: I still know zero type theory |
| 2022-06-18 03:33:23 +0200 | <dsal> | It's really nice to approach production bugs with "can we make code with this class of bug no longer compile?" |
| 2022-06-18 03:35:53 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-06-18 03:35:57 +0200 | <dsal> | I use haskell for projects because I'm not smart enough to use anything else. It's been the easiest language I've worked in in production codebases, even when the code is… not super well written. |
| 2022-06-18 03:37:12 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-18 03:37:17 +0200 | alexhandy | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-18 03:37:36 +0200 | <dsal> | A lot of the code I work on is written by people who don't have much of a foundation in haskell and just mix up a bunch of effects and stuff. We have tools to help guide them into better practices, but we do end up with some weird stuff. But I can do large refactorings without a lot of effort and pretty much reveal bugs more than I introduce them. |
| 2022-06-18 03:37:53 +0200 | <dsal> | (Or when I introduce bugs, it's *usually* because I didn't understand how something was supposed to work, not because the code I wrote didn't do what I wanted done) |
| 2022-06-18 03:38:02 +0200 | Cupcakus | (~Cupcakus@c-73-205-77-141.hsd1.fl.comcast.net) (Quit: WeeChat 2.8) |
| 2022-06-18 03:40:09 +0200 | machinedgod | (~machinedg@96.53.10.178) (Ping timeout: 248 seconds) |
| 2022-06-18 03:45:40 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-18 03:46:13 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-18 03:47:03 +0200 | <monochrom> | I don't use type theory to write Haskell programs. |
| 2022-06-18 03:47:19 +0200 | <monochrom> | When I use Lean to prove theorems, that's when I use type theory. |
| 2022-06-18 03:48:11 +0200 | <monochrom> | People look to rationalize the status quo. It is obvious why civil society and industry are still stuck with the von Neumann model. |
| 2022-06-18 03:48:39 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Quit: quarkyalice) |
| 2022-06-18 03:50:58 +0200 | raym | (~raym@user/raym) (Quit: quick kernel update and then we'll be back) |
| 2022-06-18 03:51:15 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-06-18 03:51:21 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-06-18 03:52:05 +0200 | <Axman6> | kenaryn: if you feel you're struggling, you're always welcome to come here and ask for help, we enjoy helping. Making cleams that are difficult to support isn;t going to help though - try to think "I'm having trouble with" not "this is too hard and it's the fault of someone else". Blaming someone or something else just gives you license to stop trying and makes learning harder |
| 2022-06-18 03:52:56 +0200 | <monochrom> | And noticing that opinion leaders are also senior people with established interest in old ways, it is obvious why they will use their influence to attack new ways. |
| 2022-06-18 03:54:58 +0200 | raym | (~raym@user/raym) |
| 2022-06-18 03:56:22 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Quit: Leaving) |
| 2022-06-18 03:57:49 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-06-18 04:08:12 +0200 | td_ | (~td@muedsl-82-207-238-251.citykom.de) (Ping timeout: 260 seconds) |
| 2022-06-18 04:09:58 +0200 | td_ | (~td@94.134.91.116) |
| 2022-06-18 04:12:15 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-06-18 04:12:55 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer) |
| 2022-06-18 04:13:14 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-18 04:13:14 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 2022-06-18 04:13:17 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-06-18 04:21:30 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds) |
| 2022-06-18 04:22:34 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2022-06-18 04:24:10 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-06-18 04:25:10 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-06-18 04:31:50 +0200 | funsafe | (~funsafe@2601:1c1:4200:9ac:84cb:185c:2a3c:c92c) (Ping timeout: 244 seconds) |
| 2022-06-18 04:32:27 +0200 | raym | (~raym@user/raym) (Ping timeout: 256 seconds) |
| 2022-06-18 04:34:20 +0200 | raym | (~raym@user/raym) |
| 2022-06-18 04:34:48 +0200 | funsafe | (~funsafe@76.105.238.154) |
| 2022-06-18 04:36:30 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-18 04:36:30 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-06-18 04:36:30 +0200 | finn_elija | FinnElija |
| 2022-06-18 04:40:01 +0200 | \yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Remote host closed the connection) |
| 2022-06-18 04:41:47 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-06-18 04:41:47 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-06-18 04:41:47 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-06-18 04:41:47 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) |
| 2022-06-18 04:41:48 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-06-18 04:42:33 +0200 | raym | (~raym@user/raym) (Ping timeout: 248 seconds) |
| 2022-06-18 04:43:18 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-18 04:44:14 +0200 | raym | (~raym@user/raym) |
| 2022-06-18 04:46:12 +0200 | alexhandy | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-18 04:47:09 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2022-06-18 04:59:48 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2022-06-18 05:13:29 +0200 | alp__ | (~alp@user/alp) (Ping timeout: 248 seconds) |
| 2022-06-18 05:19:25 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-06-18 05:37:03 +0200 | juri_ | (~juri@178.63.35.222) (Ping timeout: 256 seconds) |
| 2022-06-18 05:42:20 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-06-18 05:49:14 +0200 | vicfred | (~vicfred@user/vicfred) (Ping timeout: 255 seconds) |
| 2022-06-18 05:55:38 +0200 | mcglk | (~mcglk@131.191.49.120) (Read error: Connection reset by peer) |
| 2022-06-18 05:56:51 +0200 | mcglk | (~mcglk@131.191.49.120) |
| 2022-06-18 06:00:57 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::4588) (Ping timeout: 248 seconds) |
| 2022-06-18 06:01:32 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 2022-06-18 06:01:36 +0200 | yauhsien_ | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-18 06:03:34 +0200 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving) |
| 2022-06-18 06:05:47 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-06-18 06:06:23 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-18 06:10:01 +0200 | <dolio> | There's no such thing as a bachelor's degree in type theory. |
| 2022-06-18 06:12:31 +0200 | <dolio> | Or Haskell. It's something you'd learn about as like 1/4 of a survey class on varieties of programming languages, or be expected to pick up on the side as part of a class that's on some other topic. |
| 2022-06-18 06:14:26 +0200 | <dolio> | I guess some places do use it in their 101 course on intro to programming. |
| 2022-06-18 06:28:08 +0200 | <dsal> | The place where I work does all our backend stuff in Haskell, but we don't necessarily expect anyone to have used Haskell before starting. |
| 2022-06-18 06:29:40 +0200 | <dolio> | Yeah. It can be taught. |
| 2022-06-18 06:31:59 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-06-18 06:41:40 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-06-18 06:43:49 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-18 06:44:52 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-18 06:46:46 +0200 | alexhandy | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-18 06:50:12 +0200 | monochrom | (~trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2022-06-18 06:53:14 +0200 | img | (~img@user/img) |
| 2022-06-18 06:58:10 +0200 | monochrom | (~trebla@216.138.220.146) |
| 2022-06-18 07:02:29 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-18 07:03:13 +0200 | z | (~wu000168@host-187-23.ilchtbc.chicago.il.us.clients.pavlovmedia.net) (Ping timeout: 244 seconds) |
| 2022-06-18 07:10:03 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Quit: quarkyalice) |
| 2022-06-18 07:19:11 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 246 seconds) |
| 2022-06-18 07:19:21 +0200 | werneta | (~werneta@137.79.231.39) (Ping timeout: 276 seconds) |
| 2022-06-18 07:20:37 +0200 | werneta | (~werneta@137.79.237.183) |
| 2022-06-18 07:22:01 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds) |
| 2022-06-18 07:23:53 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-18 07:30:31 +0200 | gnyeki | (~gnyeki@user/gnyeki) (Quit: Reconnecting) |
| 2022-06-18 07:30:38 +0200 | gnyeki | (~gnyeki@li578-216.members.linode.com) |
| 2022-06-18 07:30:38 +0200 | gnyeki | (~gnyeki@li578-216.members.linode.com) (Changing host) |
| 2022-06-18 07:30:38 +0200 | gnyeki | (~gnyeki@user/gnyeki) |
| 2022-06-18 07:35:53 +0200 | leeb | (~leeb@KD106154142206.au-net.ne.jp) (Ping timeout: 248 seconds) |
| 2022-06-18 07:36:53 +0200 | bilegeek | (~bilegeek@2600:1008:b06f:9405:6390:85f:97be:d558) |
| 2022-06-18 07:37:41 +0200 | leeb | (~leeb@KD106155002213.au-net.ne.jp) |
| 2022-06-18 07:39:04 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Quit: WeeChat 3.5) |
| 2022-06-18 07:39:25 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-18 07:42:36 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-06-18 07:44:24 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) (Remote host closed the connection) |
| 2022-06-18 07:47:46 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-18 07:52:29 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-06-18 07:55:35 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-18 07:56:27 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Quit: quarkyalice) |
| 2022-06-18 07:59:00 +0200 | frost | (~frost@user/frost) |
| 2022-06-18 08:03:15 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-06-18 08:04:11 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-06-18 08:07:47 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-06-18 08:08:53 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-18 08:11:51 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Quit: quarkyalice) |
| 2022-06-18 08:13:53 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:df83:5bf2:4e42:22d0) (Ping timeout: 252 seconds) |
| 2022-06-18 08:14:30 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:defe:9c15:44ea:93a5) |
| 2022-06-18 08:25:10 +0200 | kenran | (~kenran@200116b82bd887000bb650dbb1e85384.dip.versatel-1u1.de) |
| 2022-06-18 08:25:43 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-18 08:33:30 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-06-18 08:38:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-06-18 08:41:20 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-18 08:42:00 +0200 | kenran | (~kenran@200116b82bd887000bb650dbb1e85384.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-06-18 08:44:49 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) |
| 2022-06-18 08:49:14 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) (Ping timeout: 255 seconds) |
| 2022-06-18 08:51:32 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-06-18 08:55:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-06-18 08:57:36 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-18 09:00:17 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-18 09:00:27 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-06-18 09:04:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-06-18 09:04:33 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-06-18 09:05:05 +0200 | califax | (~califax@user/califx) |
| 2022-06-18 09:05:26 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-06-18 09:05:54 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-18 09:11:27 +0200 | frost | (~frost@user/frost) |
| 2022-06-18 09:11:57 +0200 | tcard | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2022-06-18 09:13:11 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-06-18 09:13:58 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-06-18 09:17:35 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2022-06-18 09:19:02 +0200 | tcard | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-06-18 09:19:20 +0200 | rendar | (~rendar@user/rendar) (Ping timeout: 248 seconds) |
| 2022-06-18 09:23:29 +0200 | benin0 | (~benin@183.82.28.222) |
| 2022-06-18 09:23:49 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-18 09:30:17 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-06-18 09:32:13 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-06-18 09:32:13 +0200 | Vajb | (~Vajb@2001:999:40:4c50:1b24:879c:6df3:1d06) (Read error: Connection reset by peer) |
| 2022-06-18 09:32:24 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-06-18 09:36:11 +0200 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) (Ping timeout: 256 seconds) |
| 2022-06-18 09:38:12 +0200 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) |
| 2022-06-18 09:39:04 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-18 09:39:29 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Quit: quarkyalice) |
| 2022-06-18 09:41:03 +0200 | mcfilib | (sid302703@user/mcfilib) (Quit: Connection closed for inactivity) |
| 2022-06-18 09:44:20 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-06-18 09:45:32 +0200 | Axman6 | (~Axman6@user/axman6) (Read error: Connection reset by peer) |
| 2022-06-18 09:45:48 +0200 | Axman6 | (~Axman6@user/axman6) |
| 2022-06-18 09:50:34 +0200 | mrkajetanp_ | (~mrkajetan@88.98.245.28) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2022-06-18 09:50:53 +0200 | mrkajetanp | (~mrkajetan@88.98.245.28) |
| 2022-06-18 09:53:53 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-18 09:57:04 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-06-18 09:59:16 +0200 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2022-06-18 09:59:27 +0200 | Axman6 | (~Axman6@user/axman6) |
| 2022-06-18 10:04:21 +0200 | <kuribas> | I read "the little typer" and "type driven development in idris" |
| 2022-06-18 10:04:25 +0200 | <kuribas> | I can recommend both |
| 2022-06-18 10:06:49 +0200 | <kuribas> | Still, I just had an error in my haskell code where I had swapped two tables in my query. |
| 2022-06-18 10:07:25 +0200 | <kuribas> | Still, the resulting business logic was valid, just not the one I needed. |
| 2022-06-18 10:08:23 +0200 | <kuribas> | IMO types don't eliminate bugs, they just proof your program consistent. |
| 2022-06-18 10:08:35 +0200 | <kuribas> | But it can still be consistent in the wrong way :) |
| 2022-06-18 10:09:36 +0200 | yauhsien_ | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-06-18 10:15:48 +0200 | <thornAvery> | hello, i think my biggest lack of knowledge right now is monad stacks, i kiinda get monad transformers, but it seems like if im not good at designing the stack originally its gonna be super hard to refactor later on, ive heard of mtl but i dont really know much about it, is there a way that people suggest or should i just stick with transformers until i get better at it? thank you |
| 2022-06-18 10:16:40 +0200 | <kuribas> | thornAvery: The nice thing with mtl is that you can make your own monad (transformer), but just stacking existing ones. |
| 2022-06-18 10:16:52 +0200 | <kuribas> | It saves you from having to implement them, and making mistakes. |
| 2022-06-18 10:17:01 +0200 | <kuribas> | And also makes adapting them later easier. |
| 2022-06-18 10:17:11 +0200 | <kuribas> | But I would still recommend to wrap it in a newtype. |
| 2022-06-18 10:17:28 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-18 10:20:16 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) |
| 2022-06-18 10:20:59 +0200 | <kuribas> | thornAvery: I also recommend using a type synonym. |
| 2022-06-18 10:21:59 +0200 | <kuribas> | for example: type MyStackInner a = ReaderT MyConf (Either MyErr) a |
| 2022-06-18 10:22:21 +0200 | <kuribas> | then "newtype MyStack a = MyStack (MyStackInner a)" |
| 2022-06-18 10:23:16 +0200 | <kuribas> | Then you can easily write helpers like "getConf :: MyStack MyConf; getConf = MyStack ask" |
| 2022-06-18 10:23:52 +0200 | <kuribas> | thornAvery: the mtl just saves you from a lot of plumbing. |
| 2022-06-18 10:24:30 +0200 | alexhandy | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-18 10:32:50 +0200 | [Leary] | (~Leary]@122-58-224-198-vdsl.sparkbb.co.nz) (Ping timeout: 240 seconds) |
| 2022-06-18 10:33:22 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-18 10:38:26 +0200 | <thornAvery> | i see i see, ill give mtl a go then, cant hurt to learn something new, do you have any reccomended reading kuribas? |
| 2022-06-18 10:39:02 +0200 | alexhandy | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-18 10:39:38 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-181.elisa-laajakaista.fi) |
| 2022-06-18 10:40:47 +0200 | leeb | (~leeb@KD106155002213.au-net.ne.jp) (Ping timeout: 246 seconds) |
| 2022-06-18 10:41:32 +0200 | <kuribas> | google showed me this: https://www.fpcomplete.com/haskell/tutorial/monad-transformers/ |
| 2022-06-18 10:44:34 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-06-18 10:45:36 +0200 | califax | (~califax@user/califx) |
| 2022-06-18 10:47:22 +0200 | oxide | (~lambda@user/oxide) |
| 2022-06-18 10:49:25 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-06-18 10:50:58 +0200 | namkeleser | (~namkelese@124.188.208.163) |
| 2022-06-18 10:51:33 +0200 | namkeleser | (~namkelese@124.188.208.163) (Client Quit) |
| 2022-06-18 10:52:43 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Quit: WeeChat 3.5) |
| 2022-06-18 10:52:46 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-18 10:52:51 +0200 | alexhandy | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-18 10:53:32 +0200 | perdent | (~perdent@124.188.208.163) |
| 2022-06-18 10:54:01 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) |
| 2022-06-18 10:54:32 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-06-18 10:54:41 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 244 seconds) |
| 2022-06-18 10:56:02 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-06-18 10:56:13 +0200 | <thornAvery> | thank you :) |
| 2022-06-18 10:56:36 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-06-18 10:57:02 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-18 10:58:06 +0200 | <tomsmeding> | kuribas: curious, why the type synonym? |
| 2022-06-18 10:58:26 +0200 | <kuribas> | tomsmeding: because I often end up with a lot of helper functions. |
| 2022-06-18 10:58:33 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2022-06-18 10:58:46 +0200 | <tomsmeding> | which work on MyStackInner? Why not let them work on MyStack directly then? |
| 2022-06-18 10:58:55 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 256 seconds) |
| 2022-06-18 10:59:05 +0200 | <kuribas> | yeah, sometimes that works, but other times that requires a lot of (re)wrapping. |
| 2022-06-18 10:59:18 +0200 | <tomsmeding> | right, that's true |
| 2022-06-18 10:59:23 +0200 | <kuribas> | So I end up replicating the inner stack many times. |
| 2022-06-18 10:59:29 +0200 | <kuribas> | Also makes it harder to refactor. |
| 2022-06-18 11:00:02 +0200 | <tomsmeding> | yes definitely if you're repeating the inner stack in lots of places, then make it a type synonym -- I was just unsure how you would end up repeating the inner stack everywhere |
| 2022-06-18 11:00:10 +0200 | <tomsmeding> | (after all, that's the point of the newtype, isn't it) |
| 2022-06-18 11:00:40 +0200 | oxide | (~lambda@user/oxide) |
| 2022-06-18 11:00:44 +0200 | <kuribas> | for example: https://github.com/kuribas/hasqlator-mysql/blob/main/src/Database/MySQL/Hasqlator/Typed.hs#L94 |
| 2022-06-18 11:00:58 +0200 | <tomsmeding> | still, if MyStack implements all the relevant mtl classes, I'd expect that you usually don't end up rewrapping the stack many times for helper functions, except for intrinsic operations of the monads |
| 2022-06-18 11:01:00 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-18 11:01:35 +0200 | <tomsmeding> | oh you actually use QueryInner in multiple newtypes |
| 2022-06-18 11:01:53 +0200 | <tomsmeding> | right then it makes sense |
| 2022-06-18 11:02:36 +0200 | <kuribas> | I just found that happend in most of my code. Could be a coincidence. |
| 2022-06-18 11:05:00 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-06-18 11:05:30 +0200 | alexhandy | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-18 11:06:30 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-06-18 11:09:24 +0200 | <maerwald[m]> | Transformer salad? |
| 2022-06-18 11:09:40 +0200 | Vajb | (~Vajb@2001:999:40:4c50:1b24:879c:6df3:1d06) |
| 2022-06-18 11:09:42 +0200 | benin0 | (~benin@183.82.28.222) (Quit: The Lounge - https://thelounge.chat) |
| 2022-06-18 11:10:17 +0200 | <kuribas> | no, having to write the inner monad many times. |
| 2022-06-18 11:10:45 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-18 11:11:17 +0200 | <maerwald[m]> | Reminds me of when I wanted to use the Handler transformer in servant in an unusual place. Ended up with MonadBaseControl, MonadUnliftIO, obscure type errors and the conclusion that it's not possible. |
| 2022-06-18 11:12:00 +0200 | <maerwald[m]> | Not an invention to be proud of. We just lack better alternatives. |
| 2022-06-18 11:14:22 +0200 | alexhandy | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-18 11:14:23 +0200 | <kuribas> | It worked well enough for my uses. |
| 2022-06-18 11:14:44 +0200 | <kuribas> | And you can always go back to (Env -> IO a) if you want. |
| 2022-06-18 11:15:37 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds) |
| 2022-06-18 11:17:31 +0200 | <maerwald[m]> | Not sure what that means |
| 2022-06-18 11:17:49 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-18 11:18:58 +0200 | <maerwald[m]> | For except it's not even clear what a sound MonadUnliftIO instance is. Sure, you can not use transformers at all in the first place. That doesn't seem to be a compelling argument for them. |
| 2022-06-18 11:19:37 +0200 | <kuribas> | you don't need MonadUnliftIO with (Env -> IO a). |
| 2022-06-18 11:20:02 +0200 | <maerwald[m]> | Yes it's not a transformer lol |
| 2022-06-18 11:20:47 +0200 | <maerwald[m]> | https://github.com/fpco/unliftio/issues/68 |
| 2022-06-18 11:22:15 +0200 | <kuribas> | "Not an invention to be proud of. We just lack better alternatives." <= meh, it's a technique. Sometimes useful, sometimes not. Pride has nothing to do with it. |
| 2022-06-18 11:22:38 +0200 | <kuribas> | It's just a disfunctional way of looking at these things. |
| 2022-06-18 11:22:45 +0200 | <kuribas> | As if they should be always working or never. |
| 2022-06-18 11:23:28 +0200 | <kuribas> | Same with clojure folks ignoring "all" type theory, because "types sometimes get in the way", or "types cannot prove anything". |
| 2022-06-18 11:23:46 +0200 | <kuribas> | I don't care, as long as they give me "some" value. |
| 2022-06-18 11:24:19 +0200 | <kuribas> | Something doesn't have to "always work" to be useful. |
| 2022-06-18 11:24:50 +0200 | <kuribas> | Just use the right technique at the right time, not apply anything religiously. |
| 2022-06-18 11:25:15 +0200 | <maerwald[m]> | https://www.snoyman.com/blog/2018/02/conduitpocalypse/ |
| 2022-06-18 11:25:36 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-18 11:25:42 +0200 | <maerwald[m]> | Yes exactly, cleanup handlers can have suprising effects with monadbasecontrol |
| 2022-06-18 11:26:03 +0200 | <maerwald[m]> | But why care. Haskell is not about correctness, is it? ;) |
| 2022-06-18 11:26:04 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2022-06-18 11:26:32 +0200 | <maerwald[m]> | "Works most of the time" :p |
| 2022-06-18 11:27:11 +0200 | bilegeek | (~bilegeek@2600:1008:b06f:9405:6390:85f:97be:d558) (Quit: Leaving) |
| 2022-06-18 11:27:14 +0200 | leeb | (~leeb@KD106155002213.au-net.ne.jp) |
| 2022-06-18 11:27:15 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-18 11:28:27 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-06-18 11:29:03 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-18 11:29:23 +0200 | alexhandy | (~AndChat62@user/trace) (Read error: Connection reset by peer) |
| 2022-06-18 11:29:53 +0200 | <kuribas> | Frankly, I don't think haskell is about "correctness", even though many people claim it. |
| 2022-06-18 11:30:03 +0200 | <kuribas> | It is about consistency and expressivity. |
| 2022-06-18 11:30:28 +0200 | <kuribas> | You're program can be consistent and expressive, but still express the "wrong" thing. |
| 2022-06-18 11:30:30 +0200 | <tomsmeding> | though the type system helps with writing less bugs |
| 2022-06-18 11:30:43 +0200 | <tomsmeding> | dumb bugs, that is |
| 2022-06-18 11:30:56 +0200 | <tomsmeding> | which I guess is what you're saying with "consistency" |
| 2022-06-18 11:31:18 +0200 | <kuribas> | I mean you'll get the wrong thing consistently. |
| 2022-06-18 11:31:27 +0200 | <kuribas> | Not one time this, another time something else. |
| 2022-06-18 11:31:43 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-18 11:31:46 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-06-18 11:32:15 +0200 | <kuribas> | and you get less bugs because you can express the intent more clearly, rather than getting lost in low level details. |
| 2022-06-18 11:32:40 +0200 | <maerwald[m]> | Also a good read: https://github.com/lexi-lambda/eff/blob/8c4df4bf54faf22456354be18095b14825be5e85/notes/semantics-z… |
| 2022-06-18 11:33:29 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-06-18 11:36:10 +0200 | <sm> | also relevant - long but good! |
| 2022-06-18 11:36:10 +0200 | <sm> | https://overcast.fm/+ng708J6ic |
| 2022-06-18 11:36:41 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-18 11:36:57 +0200 | alexhandy | (~AndChat62@user/trace) |
| 2022-06-18 11:36:59 +0200 | alexhandy | (~AndChat62@user/trace) (Client Quit) |
| 2022-06-18 11:37:16 +0200 | <maerwald[m]> | 3 hours, lol |
| 2022-06-18 11:37:35 +0200 | <maerwald[m]> | On my next flight to the moon maybe |
| 2022-06-18 11:38:32 +0200 | <sm> | hmm, better link ? https://podcasts.apple.com/us/podcast/17-the-lost-elegance-of-computation-conal-elliott |
| 2022-06-18 11:38:42 +0200 | juri_ | (~juri@79.140.114.143) |
| 2022-06-18 11:38:43 +0200 | <Franciman> | oh |
| 2022-06-18 11:38:46 +0200 | <Franciman> | an apple podcast? |
| 2022-06-18 11:38:50 +0200 | <Franciman> | nifty |
| 2022-06-18 11:39:06 +0200 | <sm> | just a podcast, I can't find a neutral link |
| 2022-06-18 11:39:11 +0200 | <Franciman> | kuribas: so it is the same as scheme? |
| 2022-06-18 11:39:17 +0200 | <Franciman> | being about consistency and expressivity |
| 2022-06-18 11:39:23 +0200 | <Franciman> | sm: lol |
| 2022-06-18 11:39:25 +0200 | <Franciman> | np |
| 2022-06-18 11:39:29 +0200 | <Franciman> | thanks, I'm happy |
| 2022-06-18 11:39:32 +0200 | <Franciman> | for the contents |
| 2022-06-18 11:39:38 +0200 | <sm> | yes extremely long but in this case I would say well worth a listen! |
| 2022-06-18 11:39:56 +0200 | <kuribas> | Franciman: no, scheme doesn't ensure consistency of my program. |
| 2022-06-18 11:40:15 +0200 | <Franciman> | oh ok, sorry i misinterpreted as in: syntactic consistency somehow |
| 2022-06-18 11:40:26 +0200 | <Franciman> | but isn't consistency tightly related to correctness? |
| 2022-06-18 11:40:56 +0200 | <tomsmeding> | consistency is a term for a particular family of properties about your program, that the type system proves |
| 2022-06-18 11:41:18 +0200 | <tomsmeding> | if those properties are true of the intended behaviour of the program, then it's partial correctness |
| 2022-06-18 11:43:54 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-06-18 11:44:01 +0200 | <maerwald> | consistently wrong |
| 2022-06-18 11:44:47 +0200 | <maerwald> | except transformers don't give you consistency there |
| 2022-06-18 11:44:59 +0200 | <maerwald> | "works most of the time" is exactly inconsistent |
| 2022-06-18 11:45:18 +0200 | <kuribas> | Franciman: well, you cannot be correct if you are not consistent. |
| 2022-06-18 11:46:11 +0200 | <kuribas> | Franciman: for example, you have a REST API with swagger spec, but your program implements it differently. |
| 2022-06-18 11:46:43 +0200 | <kuribas> | Franciman: or you write queries for a database that don't match the schema of the database. |
| 2022-06-18 11:47:31 +0200 | Teacup | (~teacup@user/teacup) (Quit: No Ping reply in 180 seconds.) |
| 2022-06-18 11:47:57 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-06-18 11:48:55 +0200 | Teacup | (~teacup@user/teacup) |
| 2022-06-18 11:49:18 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-18 11:52:11 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-06-18 11:53:56 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-18 11:55:22 +0200 | <maerwald> | kuribas: I think you can be correct without being consistent. The correctness property is just unlikely to remain once you change the code. |
| 2022-06-18 11:55:47 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:15be:cdf1:24c0:fca7) |
| 2022-06-18 11:56:08 +0200 | <maerwald> | it's like those short windows of soberness that we sometimes experience |
| 2022-06-18 11:57:36 +0200 | <kuribas> | how would you observe correctness if the code is not consistent? |
| 2022-06-18 11:58:24 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-06-18 12:01:45 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-18 12:02:27 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) (Quit: Konversation terminated!) |
| 2022-06-18 12:04:51 +0200 | <maerwald> | kuribas: not sure I understand the question. You can e.g. test a binary against a specification |
| 2022-06-18 12:05:17 +0200 | <maerwald> | but a single line of code change would throw over all of your confidence |
| 2022-06-18 12:06:21 +0200 | <maerwald> | so everything is a blackbox all the time |
| 2022-06-18 12:10:01 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-06-18 12:12:14 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-06-18 12:17:21 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-18 12:35:05 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 248 seconds) |
| 2022-06-18 12:35:21 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-06-18 12:36:12 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-06-18 12:36:50 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-06-18 12:39:11 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-18 12:39:52 +0200 | rendar | (~rendar@user/rendar) |
| 2022-06-18 12:42:03 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 256 seconds) |
| 2022-06-18 12:43:48 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-18 12:45:13 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2022-06-18 12:48:11 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-06-18 12:48:43 +0200 | perdent | (~perdent@124.188.208.163) (Quit: Client closed) |
| 2022-06-18 12:48:56 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 248 seconds) |
| 2022-06-18 12:51:08 +0200 | oxide | (~lambda@user/oxide) |
| 2022-06-18 13:01:26 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-06-18 13:03:05 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Read error: Connection reset by peer) |
| 2022-06-18 13:05:34 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-18 13:06:24 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-06-18 13:23:58 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-18 13:32:18 +0200 | perdent | (~perdent@124.188.208.163) |
| 2022-06-18 13:33:12 +0200 | fserucas | (~fserucas@119.65.114.89.rev.vodafone.pt) |
| 2022-06-18 13:33:53 +0200 | fserucas | (~fserucas@119.65.114.89.rev.vodafone.pt) (Client Quit) |
| 2022-06-18 13:39:29 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-06-18 13:40:31 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-18 13:41:17 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-06-18 13:42:50 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-06-18 13:44:48 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-06-18 13:49:47 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) |
| 2022-06-18 13:52:39 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-06-18 13:53:17 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-18 13:54:20 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) (Ping timeout: 255 seconds) |
| 2022-06-18 13:58:32 +0200 | agumonkey | (~user@88.163.231.79) |
| 2022-06-18 14:06:56 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 246 seconds) |
| 2022-06-18 14:09:15 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-18 14:12:02 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-06-18 14:14:42 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2022-06-18 14:14:51 +0200 | AlexZenon | (~alzenon@178.34.150.200) |
| 2022-06-18 14:15:16 +0200 | AlexNoo | (~AlexNoo@178.34.150.200) |
| 2022-06-18 14:15:19 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-06-18 14:15:34 +0200 | Alex_test | (~al_test@178.34.150.200) |
| 2022-06-18 14:15:48 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-06-18 14:15:53 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-18 14:21:29 +0200 | juri_ | (~juri@79.140.114.143) (Read error: Connection reset by peer) |
| 2022-06-18 14:22:05 +0200 | juri_ | (~juri@79.140.114.143) |
| 2022-06-18 14:28:40 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2022-06-18 14:29:54 +0200 | frost | (~frost@user/frost) |
| 2022-06-18 14:31:24 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-06-18 14:31:49 +0200 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 2022-06-18 14:32:02 +0200 | cheater | (~Username@user/cheater) |
| 2022-06-18 14:44:25 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-18 14:52:09 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds) |
| 2022-06-18 14:53:58 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-18 14:56:31 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Write error: Connection reset by peer) |
| 2022-06-18 14:56:31 +0200 | winny | (~weechat@user/winny) (Write error: Broken pipe) |
| 2022-06-18 14:56:31 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-06-18 14:56:31 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection) |
| 2022-06-18 14:56:31 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Write error: Connection reset by peer) |
| 2022-06-18 14:56:31 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Write error: Connection reset by peer) |
| 2022-06-18 14:56:31 +0200 | califax | (~califax@user/califx) (Write error: Connection reset by peer) |
| 2022-06-18 14:56:31 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Write error: Connection reset by peer) |
| 2022-06-18 14:56:31 +0200 | gmg | (~user@user/gehmehgeh) (Write error: Connection reset by peer) |
| 2022-06-18 14:56:31 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Write error: Connection reset by peer) |
| 2022-06-18 14:56:31 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Read error: Connection reset by peer) |
| 2022-06-18 14:56:31 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer) |
| 2022-06-18 14:57:23 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-18 14:57:32 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-06-18 14:57:46 +0200 | califax | (~califax@user/califx) |
| 2022-06-18 14:57:50 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-06-18 14:58:00 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-06-18 14:58:01 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-06-18 14:58:27 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-06-18 14:58:31 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-06-18 14:58:34 +0200 | noteness | (~noteness@user/noteness) |
| 2022-06-18 14:59:07 +0200 | winny | (~weechat@user/winny) |
| 2022-06-18 14:59:09 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-18 14:59:35 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-06-18 15:00:06 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 244 seconds) |
| 2022-06-18 15:00:44 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-06-18 15:01:38 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-06-18 15:04:58 +0200 | [Leary] | (~Leary]@122-58-224-198-vdsl.sparkbb.co.nz) |
| 2022-06-18 15:06:46 +0200 | kuribas | (~user@ptr-17d51eocoqvs7v5fptz.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2022-06-18 15:10:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-06-18 15:13:59 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-18 15:19:53 +0200 | rodental | (~rodental@38.146.5.222) (Remote host closed the connection) |
| 2022-06-18 15:20:07 +0200 | rodental | (~rodental@38.146.5.222) |
| 2022-06-18 15:21:12 +0200 | Teacup | (~teacup@user/teacup) (Quit: No Ping reply in 180 seconds.) |
| 2022-06-18 15:22:35 +0200 | Teacup | (~teacup@user/teacup) |
| 2022-06-18 15:24:39 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-06-18 15:30:22 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-06-18 15:32:22 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-06-18 15:34:15 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-18 15:35:10 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-18 15:37:44 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-18 15:39:00 +0200 | odnes | (~odnes@109-178-160-237.pat.ren.cosmote.net) |
| 2022-06-18 15:39:05 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 248 seconds) |
| 2022-06-18 15:39:51 +0200 | rodental | (~rodental@38.146.5.222) (Remote host closed the connection) |
| 2022-06-18 15:40:05 +0200 | rodental | (~rodental@38.146.5.222) |
| 2022-06-18 15:43:05 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-06-18 15:46:37 +0200 | winny | (~weechat@user/winny) |
| 2022-06-18 15:46:47 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2022-06-18 15:48:22 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-18 15:50:49 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-18 15:51:32 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) |
| 2022-06-18 15:52:17 +0200 | Alex_test | (~al_test@178.34.150.200) (Ping timeout: 246 seconds) |
| 2022-06-18 15:52:59 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-06-18 15:53:41 +0200 | AlexZenon | (~alzenon@178.34.150.200) (Ping timeout: 246 seconds) |
| 2022-06-18 15:54:09 +0200 | AlexNoo | (~AlexNoo@178.34.150.200) (Ping timeout: 256 seconds) |
| 2022-06-18 15:55:20 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-18 15:55:26 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-18 15:56:08 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) (Ping timeout: 248 seconds) |
| 2022-06-18 15:56:28 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-06-18 15:59:06 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-06-18 16:01:02 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-18 16:06:23 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) |
| 2022-06-18 16:06:36 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) (Client Quit) |
| 2022-06-18 16:12:39 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-18 16:13:39 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) |
| 2022-06-18 16:15:09 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-18 16:18:42 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-06-18 16:19:27 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-06-18 16:21:11 +0200 | DarQ | (~DarQ@41.99.203.145) |
| 2022-06-18 16:22:30 +0200 | <DarQ> | hello |
| 2022-06-18 16:22:30 +0200 | <DarQ> | I'm currently checking out real world haskell and came across a command which I couldn't execute in the powershell |
| 2022-06-18 16:23:07 +0200 | <DarQ> | this is said command "runghc WC < quux.txt" (sry, I don't know how to format messages) |
| 2022-06-18 16:23:37 +0200 | <DarQ> | the problem is with the < sign which I assume only works on unix or smth |
| 2022-06-18 16:24:32 +0200 | <DarQ> | how should I fix that? |
| 2022-06-18 16:26:04 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2022-06-18 16:26:33 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-06-18 16:27:00 +0200 | <[exa]> | DarQ: I guess powershell _should_ have some way to pipe stuff into programs' standard input |
| 2022-06-18 16:27:17 +0200 | <[exa]> | (no guarantees tho, it's from redmond) |
| 2022-06-18 16:27:54 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-06-18 16:28:08 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2022-06-18 16:28:14 +0200 | joo-_ | (~joo-_@172-105-65-159.ip.linodeusercontent.com) |
| 2022-06-18 16:28:14 +0200 | joo-_ | (~joo-_@172-105-65-159.ip.linodeusercontent.com) (Changing host) |
| 2022-06-18 16:28:14 +0200 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-06-18 16:28:57 +0200 | <[exa]> | oh whoops, maybe not |
| 2022-06-18 16:29:59 +0200 | <geekosaur> | cmd.exe can handle that, rwh predates powershell |
| 2022-06-18 16:30:12 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-06-18 16:31:38 +0200 | <DarQ> | hmm |
| 2022-06-18 16:31:48 +0200 | <DarQ> | I haven't used cmd in so long |
| 2022-06-18 16:31:50 +0200 | <DarQ> | let's see |
| 2022-06-18 16:33:17 +0200 | <geekosaur> | yeh, looks like powershell only supports output redirection |
| 2022-06-18 16:33:26 +0200 | <geekosaur> | https://docs.microsoft.com/en-us/powershell/module/microsoft.powershell.core/about/about_redirecti… |
| 2022-06-18 16:34:53 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) |
| 2022-06-18 16:39:02 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) (Ping timeout: 255 seconds) |
| 2022-06-18 16:40:55 +0200 | <DarQ> | was there some update to the cmd or smth? |
| 2022-06-18 16:41:04 +0200 | <DarQ> | why does it look like my powershell? |
| 2022-06-18 16:41:17 +0200 | <DarQ> | and why can't cd to "G:\"? |
| 2022-06-18 16:41:38 +0200 | <DarQ> | can't I* |
| 2022-06-18 16:41:43 +0200 | <tomsmeding> | DarQ: you might also try `Get-Content quux.txt | runghc WC` in powershell -- no guarantees, not a windows user, just looked at some docs |
| 2022-06-18 16:42:09 +0200 | <tomsmeding> | oh apparently Get-Content -Path quux.txt |
| 2022-06-18 16:42:32 +0200 | <tomsmeding> | perhaps with -Raw (why is powershell so complicated) |
| 2022-06-18 16:43:21 +0200 | <tomsmeding> | alternatively `type quux.txt | runghc WC` |
| 2022-06-18 16:43:49 +0200 | <DarQ> | uh |
| 2022-06-18 16:43:53 +0200 | <DarQ> | this did work |
| 2022-06-18 16:43:58 +0200 | <DarQ> | thx |
| 2022-06-18 16:44:04 +0200 | <tomsmeding> | which one? |
| 2022-06-18 16:44:08 +0200 | <DarQ> | type quux.txt | runghc WC |
| 2022-06-18 16:44:11 +0200 | <tomsmeding> | ah |
| 2022-06-18 16:44:30 +0200 | <tomsmeding> | old-skool `type` :) |
| 2022-06-18 16:44:38 +0200 | <geekosaur> | in cmd you'd have to separately `g:` and `cd \` |
| 2022-06-18 16:45:06 +0200 | <geekosaur> | currenbt directory is per drive and `cd` doesn't switch the current drive, just the current directory on that drive |
| 2022-06-18 16:45:21 +0200 | <DarQ> | ooo |
| 2022-06-18 16:45:29 +0200 | <DarQ> | that makes sense |
| 2022-06-18 16:45:43 +0200 | <DarQ> | thanks |
| 2022-06-18 16:45:44 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 248 seconds) |
| 2022-06-18 16:48:38 +0200 | jao | (~jao@211.68.17.95.dynamic.jazztel.es) |
| 2022-06-18 16:51:26 +0200 | shriekingnoise | (~shrieking@201.212.175.181) (Ping timeout: 246 seconds) |
| 2022-06-18 16:56:39 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-18 17:03:04 +0200 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2022-06-18 17:03:52 +0200 | Axman6 | (~Axman6@user/axman6) |
| 2022-06-18 17:04:12 +0200 | alp__ | (~alp@user/alp) |
| 2022-06-18 17:04:47 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-06-18 17:05:31 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-06-18 17:06:47 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-06-18 17:10:11 +0200 | winny | (~weechat@user/winny) |
| 2022-06-18 17:10:12 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 2022-06-18 17:11:30 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-18 17:12:44 +0200 | shriekingnoise | (~shrieking@201.212.175.181) |
| 2022-06-18 17:15:19 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-18 17:16:12 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-06-18 17:16:53 +0200 | <justsomeguy> | When should I use foldl? |
| 2022-06-18 17:17:21 +0200 | <justsomeguy> | I get the impression that it's very rarely used, since it causes thunk buildup for long lists. |
| 2022-06-18 17:17:41 +0200 | <maerwald> | I think only foldl' is interesting if you want a strict accumulator |
| 2022-06-18 17:19:30 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-06-18 17:19:35 +0200 | <justsomeguy> | That makes sense. I wonder, though, is there anything that foldl can do that foldr and/or foldl' can't? |
| 2022-06-18 17:20:27 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-18 17:21:49 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) |
| 2022-06-18 17:23:34 +0200 | <geekosaur> | I think foldl is there only because foldr is, but foldl is only interesting in a strict by default language |
| 2022-06-18 17:24:50 +0200 | odnes | (~odnes@109-178-160-237.pat.ren.cosmote.net) (Read error: Connection reset by peer) |
| 2022-06-18 17:24:57 +0200 | odnes | (~odnes@109-178-160-237.pat.ren.cosmote.net) |
| 2022-06-18 17:25:16 +0200 | slaydr | (~slaydr@173.239.197.114) |
| 2022-06-18 17:28:18 +0200 | DarQ | (~DarQ@41.99.203.145) (Quit: Client closed) |
| 2022-06-18 17:30:11 +0200 | Player-205[m] | (~sashaserp@2001:470:69fc:105::2:30b8) |
| 2022-06-18 17:32:27 +0200 | AlexNoo | (~AlexNoo@178.34.150.200) |
| 2022-06-18 17:32:55 +0200 | <exarkun> | > However, if the combining function is lazy in its first argument, foldl may happily return a result where foldl' hits an exception |
| 2022-06-18 17:32:57 +0200 | <lambdabot> | <hint>:1:8: error: parse error on input ‘,’ |
| 2022-06-18 17:32:58 +0200 | <exarkun> | from https://wiki.haskell.org/Foldr_Foldl_Foldl' |
| 2022-06-18 17:33:03 +0200 | <exarkun> | sorry lambdabot not for you |
| 2022-06-18 17:33:19 +0200 | odnes | (~odnes@109-178-160-237.pat.ren.cosmote.net) (Ping timeout: 256 seconds) |
| 2022-06-18 17:33:25 +0200 | Alex_test | (~al_test@178.34.150.200) |
| 2022-06-18 17:33:45 +0200 | AlexZenon | (~alzenon@178.34.150.200) |
| 2022-06-18 17:34:35 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-06-18 17:37:53 +0200 | econo | (uid147250@user/econo) |
| 2022-06-18 17:39:47 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-18 17:43:35 +0200 | Player-205[m] | (~sashaserp@2001:470:69fc:105::2:30b8) (Quit: issued !quit command) |
| 2022-06-18 17:44:05 +0200 | agumonkey | (~user@88.163.231.79) (Ping timeout: 256 seconds) |
| 2022-06-18 17:45:52 +0200 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-18 17:48:09 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-06-18 17:48:53 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-06-18 17:48:55 +0200 | DarQ | (~DarQ@41.99.203.145) |
| 2022-06-18 17:49:19 +0200 | <DarQ> | btw, is "real world haskell" still recommended? |
| 2022-06-18 17:49:20 +0200 | dolio | (~dolio@130.44.130.54) (Client Quit) |
| 2022-06-18 17:49:26 +0200 | <DarQ> | or are there better options rn |
| 2022-06-18 17:50:03 +0200 | <geekosaur> | it's somewhat dated but at least parts are still recommended |
| 2022-06-18 17:50:10 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-06-18 17:50:11 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2022-06-18 17:50:15 +0200 | <geekosaur> | it fills a space in the haskell ecosystems that not much else does |
| 2022-06-18 17:50:32 +0200 | slaydr | (~slaydr@173.239.197.114) (Remote host closed the connection) |
| 2022-06-18 17:50:57 +0200 | <DarQ> | which parts might those be? |
| 2022-06-18 17:51:32 +0200 | <DarQ> | is there a specific chapter where I should go looking for better resources? |
| 2022-06-18 17:52:04 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 2022-06-18 17:52:30 +0200 | <geekosaur> | the early stuff is basically a primer on haskell. later ones are good for learning how to use it effectively, and (as the title suggests) how to use it in the real world |
| 2022-06-18 17:52:59 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) |
| 2022-06-18 17:53:02 +0200 | <geekosaur> | although with the growth of web stuff we probably need to see either additional chapters or a book on using eg. servant |
| 2022-06-18 17:54:16 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-18 17:54:25 +0200 | chexum_ | chexum |
| 2022-06-18 17:57:20 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) (Ping timeout: 255 seconds) |
| 2022-06-18 17:57:42 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-06-18 17:58:21 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.5) |
| 2022-06-18 18:02:24 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) |
| 2022-06-18 18:03:31 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) (Client Quit) |
| 2022-06-18 18:03:32 +0200 | Volt_ | (~Volt_@c-68-49-170-216.hsd1.mi.comcast.net) |
| 2022-06-18 18:09:09 +0200 | Player-205[m] | (~sashaserp@2001:470:69fc:105::2:30b8) |
| 2022-06-18 18:10:01 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-06-18 18:10:51 +0200 | Player-205[m] | (~sashaserp@2001:470:69fc:105::2:30b8) () |
| 2022-06-18 18:11:11 +0200 | slaydr | (~slaydr@75.164.63.238) |
| 2022-06-18 18:11:22 +0200 | Player-205[m] | (~sashaserp@2001:470:69fc:105::2:30b8) |
| 2022-06-18 18:12:29 +0200 | <dsal> | I found "Real World Haskell" to be more of a book that demonstrates you can do things than anything I could personally learn from. It was inspirational in the sort of things you could learn, but I don't think I could generalize the examples that well. i.e., it didn't suit my learning style well. |
| 2022-06-18 18:14:23 +0200 | <monochrom> | Real World Haskell skips every step in the middle between a preview of basic Haskell and a complicated project that has too many distracting moving parts. |
| 2022-06-18 18:15:59 +0200 | <Bulby[m]> | better than what I did - skim Learn you a haskell and write a complex project |
| 2022-06-18 18:16:07 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds) |
| 2022-06-18 18:16:10 +0200 | <monochrom> | True to its name sake "real world", if you understand the derogatory sense of "real world". |
| 2022-06-18 18:16:26 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-06-18 18:17:53 +0200 | <monochrom> | For example the chapter on a regex library is 20% the regex library and 80% digressions. |
| 2022-06-18 18:18:34 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-06-18 18:18:49 +0200 | <Bulby[m]> | i suggest not learning anything and writing a random project. worked for me |
| 2022-06-18 18:19:15 +0200 | <Bulby[m]> | (rust is a similar story) |
| 2022-06-18 18:19:29 +0200 | <monochrom> | Judging from everything you've said in the past, no it didn't work. |
| 2022-06-18 18:19:35 +0200 | <Bulby[m]> | hahaha |
| 2022-06-18 18:19:56 +0200 | <dsal> | I did a hybrid approach. Wrote software, then read a bunch of stuff to learn how my software worked. Then realized all the dumb stuff I was doing. Repeat. My stuff gets slightly less dumb as I go. |
| 2022-06-18 18:20:04 +0200 | <dsal> | It's not optimal, but it's satisfying. |
| 2022-06-18 18:20:04 +0200 | <Bulby[m]> | i knew someone would say something like that 😉 |
| 2022-06-18 18:20:24 +0200 | <Bulby[m]> | rust is easy to do that with because the compiler tells you exactly what you messed up |
| 2022-06-18 18:20:24 +0200 | <geekosaur> | it's the story of programming |
| 2022-06-18 18:20:46 +0200 | <monochrom> | Instead of finishing an interpreter, all I saw was "why is Haskell so hard when I use it in unidiomatic ways". |
| 2022-06-18 18:21:02 +0200 | <Bulby[m]> | are you talking about me |
| 2022-06-18 18:21:05 +0200 | <monochrom> | YES |
| 2022-06-18 18:21:14 +0200 | <Bulby[m]> | figures |
| 2022-06-18 18:21:31 +0200 | <Bulby[m]> | yeah, now i'm writing the VM in rust |
| 2022-06-18 18:21:39 +0200 | <Bulby[m]> | so you are spared for a while |
| 2022-06-18 18:22:03 +0200 | thatcher | (lp0@heathens.club) |
| 2022-06-18 18:22:44 +0200 | <Bulby[m]> | haskell isn't hard anymore (even tho I still use it in unidiomatic ways) |
| 2022-06-18 18:22:57 +0200 | <monochrom> | This is why dive-in projects must fail in Haskell. You dive-in, you don't know how Haskell is supposed to be used, you just think up your own way, which is unidiomatic, now everything breaks. |
| 2022-06-18 18:23:06 +0200 | <Bulby[m]> | hahahah |
| 2022-06-18 18:23:41 +0200 | <Bulby[m]> | my solution to appending to lists taking too long was prepending, and reversing at the end |
| 2022-06-18 18:24:48 +0200 | <Bulby[m]> | now I use right associative operators |
| 2022-06-18 18:28:35 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-06-18 18:29:23 +0200 | <exarkun> | monochrom: how is Haskell unique in this regard |
| 2022-06-18 18:30:32 +0200 | <monochrom> | Because in the context of having used an imperative language and then you learn either another imperative language or a functional language, "your own way" simply means imperative ways. |
| 2022-06-18 18:30:56 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) |
| 2022-06-18 18:31:02 +0200 | <monochrom> | Because self-selection bias implies that people who want to learn programming are control freaks. |
| 2022-06-18 18:33:13 +0200 | <exarkun> | I suppose that if you took someone who had only ever learned functional programming languages and dropped them into Python, you would have equally poor outcomes. |
| 2022-06-18 18:33:36 +0200 | <monochrom> | We don't have a lot of that in the real world. |
| 2022-06-18 18:34:02 +0200 | <exarkun> | So maybe this is more a commentary on the state of the world than on Haskell |
| 2022-06-18 18:34:25 +0200 | <monochrom> | Alternatively, I can weasel out and say "I didn't say whether dive-in would fail in python" :) |
| 2022-06-18 18:35:08 +0200 | <exarkun> | :) |
| 2022-06-18 18:35:27 +0200 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2022-06-18 18:35:39 +0200 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) (Ping timeout: 256 seconds) |
| 2022-06-18 18:37:41 +0200 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) |
| 2022-06-18 18:43:36 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-18 18:48:48 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-06-18 18:49:59 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-18 18:50:40 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Quit: quarkyalice) |
| 2022-06-18 18:56:35 +0200 | k8yun | (~k8yun@user/k8yun) |
| 2022-06-18 18:59:24 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-18 19:05:29 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 246 seconds) |
| 2022-06-18 19:09:20 +0200 | leeb | (~leeb@KD106155002213.au-net.ne.jp) (Ping timeout: 246 seconds) |
| 2022-06-18 19:10:44 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
| 2022-06-18 19:13:55 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-18 19:14:46 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-18 19:18:15 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-06-18 19:18:15 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-18 19:18:15 +0200 | finn_elija | FinnElija |
| 2022-06-18 19:20:11 +0200 | kspalaiologos | (~kspalaiol@user/kspalaiologos) |
| 2022-06-18 19:27:23 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-06-18 19:28:04 +0200 | perdent | (~perdent@124.188.208.163) (Quit: Client closed) |
| 2022-06-18 19:30:31 +0200 | <DarQ> | dive-in would definitely work in python for most purposes |
| 2022-06-18 19:30:59 +0200 | <DarQ> | I mean |
| 2022-06-18 19:32:04 +0200 | <DarQ> | there's only so many ways you can go wrong if you're only using python for scripting lel |
| 2022-06-18 19:32:41 +0200 | <sm> | ha! |
| 2022-06-18 19:34:17 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-18 19:35:11 +0200 | <DarQ> | what do you guys recommend for writing haskell code? |
| 2022-06-18 19:35:24 +0200 | <DarQ> | should I go basic and just use vscode? |
| 2022-06-18 19:35:41 +0200 | <sm> | vs code |
| 2022-06-18 19:39:37 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-06-18 19:41:02 +0200 | <hpc> | since it's visual studio code, wouldn't you be going visual basic? :P |
| 2022-06-18 19:42:04 +0200 | <hpc> | (but yeah, vscode is perfectly fine - ghcup can install hls for you and then the world's your oyster) |
| 2022-06-18 19:43:43 +0200 | <DarQ> | what's ghcup? |
| 2022-06-18 19:45:07 +0200 | <hpc> | https://www.haskell.org/ghcup/ - an easy installer for a bunch of language stuff |
| 2022-06-18 19:45:10 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-06-18 19:45:20 +0200 | <hpc> | it's like rustup, if you have ever used that |
| 2022-06-18 19:45:35 +0200 | <DarQ> | oh yeah |
| 2022-06-18 19:45:40 +0200 | <DarQ> | I already did this |
| 2022-06-18 19:47:21 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-18 19:47:25 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-18 19:47:31 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-18 19:52:22 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-18 19:53:54 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-06-18 19:56:57 +0200 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-06-18 19:57:15 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-06-18 20:01:03 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) (Remote host closed the connection) |
| 2022-06-18 20:02:52 +0200 | DarQ | (~DarQ@41.99.203.145) (Quit: Client closed) |
| 2022-06-18 20:04:25 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2022-06-18 20:04:46 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) |
| 2022-06-18 20:05:03 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 2022-06-18 20:06:43 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-18 20:07:39 +0200 | zeenk | (~zeenk@2a02:2f04:a013:9000:e45d:7fb3:ec71:e806) (Quit: Konversation terminated!) |
| 2022-06-18 20:13:09 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-18 20:13:42 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-06-18 20:15:06 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-18 20:17:33 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-18 20:20:07 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-06-18 20:20:59 +0200 | arjun | (~arjun@user/arjun) |
| 2022-06-18 20:22:11 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-06-18 20:23:04 +0200 | arjun | (~arjun@user/arjun) (Remote host closed the connection) |
| 2022-06-18 20:25:35 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-06-18 20:29:13 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 244 seconds) |
| 2022-06-18 20:32:34 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-06-18 20:34:12 +0200 | Player-205[m] | (~sashaserp@2001:470:69fc:105::2:30b8) (Quit: Reconnecting) |
| 2022-06-18 20:34:25 +0200 | Player-205[m] | (~sashaserp@2001:470:69fc:105::2:30b8) |
| 2022-06-18 20:36:56 +0200 | Player-205[m] | (~sashaserp@2001:470:69fc:105::2:30b8) (Client Quit) |
| 2022-06-18 20:37:12 +0200 | Player-205[m] | (~sashaserp@2001:470:69fc:105::2:30b8) |
| 2022-06-18 20:38:03 +0200 | Player-205[m] | (~sashaserp@2001:470:69fc:105::2:30b8) (Client Quit) |
| 2022-06-18 20:38:19 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-18 20:41:53 +0200 | Player-205[m] | (~sashaserp@2001:470:69fc:105::2:30b8) |
| 2022-06-18 20:42:06 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 276 seconds) |
| 2022-06-18 20:46:47 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-18 20:48:23 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 246 seconds) |
| 2022-06-18 20:50:10 +0200 | coot | (~coot@213.134.190.95) (Ping timeout: 240 seconds) |
| 2022-06-18 20:50:38 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-18 20:56:27 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-06-18 20:57:03 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 276 seconds) |
| 2022-06-18 20:57:04 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-18 21:02:11 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-06-18 21:02:23 +0200 | jao | (~jao@211.68.17.95.dynamic.jazztel.es) (Ping timeout: 246 seconds) |
| 2022-06-18 21:05:04 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-06-18 21:05:39 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-06-18 21:15:48 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-18 21:16:01 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-06-18 21:17:43 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-18 21:18:07 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-18 21:19:40 +0200 | kspalaiologos | (~kspalaiol@user/kspalaiologos) (Quit: Leaving) |
| 2022-06-18 21:20:01 +0200 | img | (~img@user/img) |
| 2022-06-18 21:21:06 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 276 seconds) |
| 2022-06-18 21:21:29 +0200 | [_] | [itchyjunk] |
| 2022-06-18 21:23:25 +0200 | slaydr | (~slaydr@75.164.63.238) (Quit: Leaving) |
| 2022-06-18 21:24:37 +0200 | gentauro_ | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-06-18 21:25:40 +0200 | machinedgod | (~machinedg@S0106ac17c8c1d72e.cg.shawcable.net) |
| 2022-06-18 21:30:03 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2022-06-18 21:33:51 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-06-18 21:34:01 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Client Quit) |
| 2022-06-18 21:36:21 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-06-18 21:40:03 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-18 21:41:43 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-18 21:45:08 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-18 21:49:41 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-18 21:50:20 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-06-18 21:50:41 +0200 | <maerwald> | git |
| 2022-06-18 21:50:43 +0200 | <maerwald> | oops |
| 2022-06-18 21:54:10 +0200 | brettgilio | (~brettgili@virtlab.gq) |
| 2022-06-18 21:54:54 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 276 seconds) |
| 2022-06-18 21:57:30 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) (Ping timeout: 240 seconds) |
| 2022-06-18 21:57:57 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-06-18 21:58:07 +0200 | odnes | (~odnes@109-178-160-237.pat.ren.cosmote.net) |
| 2022-06-18 21:58:36 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-06-18 21:59:36 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-18 22:04:14 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.244) |
| 2022-06-18 22:04:20 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 246 seconds) |
| 2022-06-18 22:05:57 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-18 22:06:35 +0200 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving) |
| 2022-06-18 22:09:03 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-18 22:09:23 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-06-18 22:12:01 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) |
| 2022-06-18 22:14:53 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-18 22:15:53 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2022-06-18 22:16:25 +0200 | yauhsien | (~yauhsien@61-231-59-135.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-06-18 22:16:27 +0200 | cheater | (~Username@user/cheater) |
| 2022-06-18 22:19:23 +0200 | werneta | (~werneta@137.79.237.183) (Ping timeout: 246 seconds) |
| 2022-06-18 22:20:47 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-06-18 22:21:32 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-06-18 22:32:37 +0200 | pavonia | (~user@user/siracusa) |
| 2022-06-18 22:37:13 +0200 | averell | (~averell@user/averell) |
| 2022-06-18 22:52:22 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-06-18 22:53:54 +0200 | tdammers | (~tdammers@77.109.72.118.res.static.edpnet.net) (Ping timeout: 272 seconds) |
| 2022-06-18 22:54:03 +0200 | jinsun___ | (~jinsun@user/jinsun) |
| 2022-06-18 22:56:25 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 248 seconds) |
| 2022-06-18 22:57:02 +0200 | jinsun__ | (~jinsun@user/jinsun) (Ping timeout: 255 seconds) |
| 2022-06-18 22:59:42 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-06-18 23:02:26 +0200 | jinsun___ | (~jinsun@user/jinsun) (Ping timeout: 255 seconds) |
| 2022-06-18 23:03:08 +0200 | machinedgod | (~machinedg@S0106ac17c8c1d72e.cg.shawcable.net) (Ping timeout: 246 seconds) |
| 2022-06-18 23:03:33 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-18 23:07:07 +0200 | tdammers | (~tdammers@77.109.72.118.res.static.edpnet.net) |
| 2022-06-18 23:11:06 +0200 | eldritch | (~eldritch@user/eldritch) (Quit: bye) |
| 2022-06-18 23:11:06 +0200 | glider | (~glider@user/glider) (Quit: ZNC - https://znc.in) |
| 2022-06-18 23:11:06 +0200 | anderson | (~ande@user/anderson) (Quit: bye) |
| 2022-06-18 23:15:32 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-06-18 23:17:49 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:d2aa:9086:78eb:27f1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-06-18 23:18:47 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-18 23:19:00 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:80c1:f4a2:1ca1:2f20) |
| 2022-06-18 23:26:32 +0200 | anderson | (~ande@user/anderson) |
| 2022-06-18 23:26:45 +0200 | Alex_test | (~al_test@178.34.150.200) (Quit: ;-) |
| 2022-06-18 23:27:20 +0200 | alp__ | (~alp@user/alp) (Remote host closed the connection) |
| 2022-06-18 23:27:22 +0200 | AlexZenon | (~alzenon@178.34.150.200) (Quit: ;-) |
| 2022-06-18 23:27:30 +0200 | AlexNoo | (~AlexNoo@178.34.150.200) (Quit: Leaving) |
| 2022-06-18 23:27:40 +0200 | alp__ | (~alp@user/alp) |
| 2022-06-18 23:29:20 +0200 | odnes | (~odnes@109-178-160-237.pat.ren.cosmote.net) (Remote host closed the connection) |
| 2022-06-18 23:30:07 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:80c1:f4a2:1ca1:2f20) (Quit: The Lounge - https://thelounge.chat) |
| 2022-06-18 23:30:35 +0200 | eldritch | (~eldritch@user/eldritch) |
| 2022-06-18 23:31:44 +0200 | glider | (~glider@user/glider) |
| 2022-06-18 23:32:43 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-18 23:36:48 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:c0fe:4e75:d9a4:167f) |
| 2022-06-18 23:41:25 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-06-18 23:43:30 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-18 23:46:24 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.244) (Quit: Leaving) |
| 2022-06-18 23:50:37 +0200 | alp__ | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-06-18 23:53:52 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-18 23:55:17 +0200 | liebach | (~liebach@srv2047.zentience.net) () |
| 2022-06-18 23:55:49 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 256 seconds) |
| 2022-06-18 23:58:26 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-18 23:59:18 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:9528:58d5:850d:37ed) (Remote host closed the connection) |