| 2022-07-23 00:02:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-23 00:04:18 +0200 | acidjnk_new | (~acidjnk@p200300d6e705861455e50c10bef1f4d4.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-07-23 00:08:16 +0200 | thatcher | (lp0@heathens.club) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-07-23 00:08:55 +0200 | leah_ | (lp0@heathens.club) |
| 2022-07-23 00:11:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 00:13:43 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-07-23 00:15:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-23 00:16:16 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Quit: WeeChat 3.6) |
| 2022-07-23 00:17:02 +0200 | aliosablack | (~chomwitt@2a02:587:dc00:5a00:58b1:50a3:2bd1:cf5) (Quit: Leaving) |
| 2022-07-23 00:18:39 +0200 | jargon | (~jargon@184.101.188.251) |
| 2022-07-23 00:19:37 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-07-23 00:20:25 +0200 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 244 seconds) |
| 2022-07-23 00:20:25 +0200 | mncheck-m | (~mncheck@193.224.205.254) (Ping timeout: 244 seconds) |
| 2022-07-23 00:21:49 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-07-23 00:22:20 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:58b1:50a3:2bd1:cf5) |
| 2022-07-23 00:23:09 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-07-23 00:23:51 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2022-07-23 00:24:03 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-07-23 00:25:46 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Read error: Connection reset by peer) |
| 2022-07-23 00:26:04 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2022-07-23 00:26:36 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-23 00:28:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 00:30:07 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-23 00:40:09 +0200 | dude_ | (~dude@a95-93-162-124.cpe.netcabo.pt) |
| 2022-07-23 00:40:46 +0200 | <dude_> | hi everyone, my first time here |
| 2022-07-23 00:41:09 +0200 | <geekosaur> | hello |
| 2022-07-23 00:41:36 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:58b1:50a3:2bd1:cf5) (Ping timeout: 276 seconds) |
| 2022-07-23 00:43:47 +0200 | <hpc> | perhaps it's your last time not here :P |
| 2022-07-23 00:44:16 +0200 | <dude_> | let's see, i'm a beginner |
| 2022-07-23 00:45:48 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-23 00:46:20 +0200 | Guest2916 | (~talismani@2601:200:c100:3850::dd64) (Quit: Using Circe, the loveliest of all IRC clients) |
| 2022-07-23 00:48:17 +0200 | dude_ | (~dude@a95-93-162-124.cpe.netcabo.pt) (Quit: Leaving) |
| 2022-07-23 00:50:16 +0200 | zebrag | (~chris@user/zebrag) (Ping timeout: 272 seconds) |
| 2022-07-23 00:52:11 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-23 00:53:42 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-07-23 01:02:47 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2022-07-23 01:03:59 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-f113-065d-daee-6cf4.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 2022-07-23 01:07:07 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-f113-065d-daee-6cf4.res6.spectrum.com) |
| 2022-07-23 01:08:53 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 268 seconds) |
| 2022-07-23 01:09:12 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-23 01:09:50 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 240 seconds) |
| 2022-07-23 01:11:05 +0200 | califax | (~califax@user/califx) |
| 2022-07-23 01:12:40 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-23 01:16:59 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-23 01:20:14 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-23 01:21:05 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-23 01:21:58 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-23 01:22:06 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-23 01:22:18 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-23 01:27:06 +0200 | bilegeek | (~bilegeek@2600:1008:b021:fa10:a7a7:bc63:5a2:d855) |
| 2022-07-23 01:27:45 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-07-23 01:31:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-23 01:35:23 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-07-23 01:41:07 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-07-23 01:41:07 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-07-23 01:41:07 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-07-23 01:44:06 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-07-23 01:44:06 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2022-07-23 01:45:21 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-07-23 01:46:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 01:49:54 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-07-23 01:50:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-23 01:53:21 +0200 | ph88^ | (~ph88@2a02:8109:9e00:71d0::347a) (Quit: Leaving) |
| 2022-07-23 01:55:05 +0200 | pavonia | (~user@user/siracusa) |
| 2022-07-23 01:58:35 +0200 | Furor | Colere |
| 2022-07-23 02:00:23 +0200 | <yin> | ansi-terminal-game is not up to the task |
| 2022-07-23 02:00:49 +0200 | <Haskelytic> | yin: what are you building? |
| 2022-07-23 02:01:25 +0200 | <yin> | interactive 2D simulation, like a litte experiment on the terminal |
| 2022-07-23 02:01:30 +0200 | <Haskelytic> | on a side note, I was exploring some libraries and when I do `:i Text` after importing `Data.Text` I see this "Data.Text.Internal.Text {-# UNPACK #-}Data.Text.Array.Array" |
| 2022-07-23 02:01:31 +0200 | <yin> | vty is next |
| 2022-07-23 02:01:41 +0200 | <Haskelytic> | what is that UNPACK stuff |
| 2022-07-23 02:01:58 +0200 | <Haskelytic> | yin: sounds cool, what are you simulating? |
| 2022-07-23 02:02:25 +0200 | <geekosaur> | it's a compiler pragma that tells ghc to unpack the Array constructor into the Text constructor |
| 2022-07-23 02:02:44 +0200 | <geekosaur> | it only works for strict fields with a single constructor |
| 2022-07-23 02:04:16 +0200 | <Haskelytic> | geekosaur: I'm guessing that's a way to unbox fields? |
| 2022-07-23 02:04:21 +0200 | <Haskelytic> | performance optimization? |
| 2022-07-23 02:04:35 +0200 | mixfix41 | (~sdenynine@user/mixfix41) |
| 2022-07-23 02:04:45 +0200 | <Haskelytic> | I saw two more UNPACKS but they were for `Int` fields |
| 2022-07-23 02:04:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 02:07:18 +0200 | henninb | (~henninb@97-116-134-233.mpls.qwest.net) |
| 2022-07-23 02:07:39 +0200 | yin | (~yin@user/zero) (Quit: leaving) |
| 2022-07-23 02:07:52 +0200 | henninb | (~henninb@97-116-134-233.mpls.qwest.net) (Client Quit) |
| 2022-07-23 02:08:24 +0200 | <Haskelytic> | let's say I pass a `x = "foo" :: (IsString) s => s` into a function `g :: Text -> ()`. Is it correct to say that at the call site I have instantiated a `Text` value? If I understood the `OverloadedStrings` extension, `g x` would be equivalent to `g (fromString "foo")` |
| 2022-07-23 02:08:43 +0200 | yin | (~yin@user/zero) |
| 2022-07-23 02:08:49 +0200 | henninb | (~henninb@97-116-134-233.mpls.qwest.net) |
| 2022-07-23 02:09:19 +0200 | zzz | (~yin@user/zero) (Quit: leaving) |
| 2022-07-23 02:10:00 +0200 | henninb | (~henninb@97-116-134-233.mpls.qwest.net) (Client Quit) |
| 2022-07-23 02:10:15 +0200 | henninb | (~henninb@97-116-134-233.mpls.qwest.net) |
| 2022-07-23 02:12:22 +0200 | noteness | (~noteness@user/noteness) (Write error: Connection reset by peer) |
| 2022-07-23 02:12:29 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-23 02:15:07 +0200 | henninb | (~henninb@97-116-134-233.mpls.qwest.net) (Client Quit) |
| 2022-07-23 02:15:11 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-23 02:15:23 +0200 | henninb | (~henninb@97-116-134-233.mpls.qwest.net) |
| 2022-07-23 02:17:35 +0200 | <geekosaur> | Haskelytic, yes |
| 2022-07-23 02:17:50 +0200 | <geekosaur> | and you probably shouldn't use it unless you've profiled and know you need it |
| 2022-07-23 02:18:00 +0200 | henninb | (~henninb@97-116-134-233.mpls.qwest.net) (Client Quit) |
| 2022-07-23 02:18:35 +0200 | <geekosaur> | and yes, your `x` will have been instantiated as a Text there |
| 2022-07-23 02:18:38 +0200 | henninb | (~henninb@97-116-134-233.mpls.qwest.net) |
| 2022-07-23 02:26:04 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-23 02:26:09 +0200 | audisarah | (~audisarah@S01069050ca4e3573.cg.shawcable.net) |
| 2022-07-23 02:26:17 +0200 | <audisarah> | hi |
| 2022-07-23 02:26:27 +0200 | henninb | (~henninb@97-116-134-233.mpls.qwest.net) (Quit: leaving) |
| 2022-07-23 02:26:31 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-07-23 02:26:47 +0200 | <audisarah> | are there any major software projects that use Haskell? |
| 2022-07-23 02:27:00 +0200 | <geekosaur> | pandoc? |
| 2022-07-23 02:27:01 +0200 | <Haskelytic> | GHC :) |
| 2022-07-23 02:27:05 +0200 | hounded_woodstoc | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Quit: Leaving) |
| 2022-07-23 02:27:05 +0200 | hounded | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Quit: Leaving) |
| 2022-07-23 02:27:16 +0200 | <audisarah> | pandoc? |
| 2022-07-23 02:27:22 +0200 | <Haskelytic> | oh yeah pandoc is great |
| 2022-07-23 02:27:27 +0200 | <audisarah> | Haskelytic: haha, good one |
| 2022-07-23 02:27:29 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Client Quit) |
| 2022-07-23 02:27:43 +0200 | <geekosaur> | it's probably the best known Haskell project |
| 2022-07-23 02:28:05 +0200 | <audisarah> | so no? |
| 2022-07-23 02:28:06 +0200 | <geekosaur> | hledger, git-annex, xmonad |
| 2022-07-23 02:28:26 +0200 | <dsal> | audisarah: what's the nature of your question? |
| 2022-07-23 02:28:32 +0200 | <geekosaur> | you hadn't heard of pandoc? I see it pretty much everywhere because it's the swiss army knife of document conversion |
| 2022-07-23 02:28:43 +0200 | <audisarah> | dsal: are there any major software projects written in Haskell? |
| 2022-07-23 02:28:54 +0200 | <dsal> | That's the words of your question, not the nature. :) |
| 2022-07-23 02:29:08 +0200 | <audisarah> | what do you mean 'nature'? |
| 2022-07-23 02:29:37 +0200 | <dsal> | This sounds like an XY problem. What are you hoping to find out? |
| 2022-07-23 02:29:42 +0200 | <audisarah> | you want me to type my own question? I mean, I'd guess it would be for my own information |
| 2022-07-23 02:29:54 +0200 | <audisarah> | or knowledge so I can decide if Haskell is worth learning |
| 2022-07-23 02:30:17 +0200 | <dsal> | So, whether or not Haskell is worth learning is an unrelated question, which is why I said it sounds like XY. :) |
| 2022-07-23 02:30:47 +0200 | henninb | (~henninb@97-116-134-233.mpls.qwest.net) |
| 2022-07-23 02:30:51 +0200 | henninb | (~henninb@97-116-134-233.mpls.qwest.net) (Client Quit) |
| 2022-07-23 02:30:58 +0200 | <dsal> | If your only goal for learning something is to work on some major project you've heard of, then the question makes sense, but I don't think anyone here learned Haskell for that reason. |
| 2022-07-23 02:31:02 +0200 | use-value1 | (~Thunderbi@2a00:23c6:8a03:2f01:4df4:4757:dc2:3c10) |
| 2022-07-23 02:31:02 +0200 | <audisarah> | dsal: oh, are you a help desk technician? |
| 2022-07-23 02:31:18 +0200 | henninb | (~henninb@97-116-134-233.mpls.qwest.net) |
| 2022-07-23 02:31:24 +0200 | <audisarah> | I don't think my question has anything to do with help desk terminology |
| 2022-07-23 02:31:26 +0200 | audisarah | laughs |
| 2022-07-23 02:31:41 +0200 | <dsal> | Not sure what help desks have to do with anything. |
| 2022-07-23 02:32:03 +0200 | <audisarah> | "The XY problem is a communication problem encountered in help desk, technical suppor" |
| 2022-07-23 02:32:11 +0200 | <Haskelytic> | This is a strange conversation :) |
| 2022-07-23 02:32:18 +0200 | henninb | (~henninb@97-116-134-233.mpls.qwest.net) (Client Quit) |
| 2022-07-23 02:32:19 +0200 | <audisarah> | sorry, I'm not too familiar with help desk terminology |
| 2022-07-23 02:32:29 +0200 | <audisarah> | I'm interested in software |
| 2022-07-23 02:32:46 +0200 | <audisarah> | was simply asking if Haskell was worth the commitment to learn |
| 2022-07-23 02:32:47 +0200 | <dsal> | The XY problem shows up in programming more than anything. |
| 2022-07-23 02:32:58 +0200 | <Haskelytic> | audisarah: That's kind of up to you to figure out. |
| 2022-07-23 02:33:07 +0200 | <audisarah> | ah, ok I think you've answered my question dsal |
| 2022-07-23 02:33:11 +0200 | <dsal> | Ah, no, you were asking about major projects using Haskell. That's the X. What you want to *know* is whether it's worth learning. That's the Y. |
| 2022-07-23 02:33:30 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2022-07-23 02:33:31 +0200 | <dsal> | It's worth learning if you want to be a better programmer. |
| 2022-07-23 02:33:42 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:582e:8b1d:fe57:faee) (Ping timeout: 244 seconds) |
| 2022-07-23 02:33:43 +0200 | use-value1 | use-value |
| 2022-07-23 02:33:48 +0200 | <audisarah> | lol |
| 2022-07-23 02:34:01 +0200 | <audisarah> | what do you mean 'better programmer'? |
| 2022-07-23 02:34:05 +0200 | <Haskelytic> | dsal: citation needed :) |
| 2022-07-23 02:34:09 +0200 | henninb | (~henninb@97-116-134-233.mpls.qwest.net) |
| 2022-07-23 02:34:17 +0200 | <audisarah> | isn't that relative? better than what? |
| 2022-07-23 02:34:27 +0200 | henninb | (~henninb@97-116-134-233.mpls.qwest.net) (Client Quit) |
| 2022-07-23 02:34:41 +0200 | henninb | (~henninb@97-116-134-233.mpls.qwest.net) |
| 2022-07-23 02:34:49 +0200 | <dsal> | Yes, better generally means relative to where you are. Having a broader understanding generally puts you in a better position than having a narrower understanding. |
| 2022-07-23 02:35:29 +0200 | <Haskelytic> | I can think of a pragmatic reason for you to learn. You ever seen APIs that claim to be functional and eschew OOPy patterns but look like somebody was trying to build a puzzler? |
| 2022-07-23 02:35:30 +0200 | <dsal> | It's hard to know what that means specifically for you without knowing more about your background, though. |
| 2022-07-23 02:35:38 +0200 | <Haskelytic> | Learn Haskell and those APIs will become easier to grok :) |
| 2022-07-23 02:36:07 +0200 | henninb | (~henninb@97-116-134-233.mpls.qwest.net) (Client Quit) |
| 2022-07-23 02:36:27 +0200 | henninb | (~henninb@97-116-134-233.mpls.qwest.net) |
| 2022-07-23 02:36:27 +0200 | henninb | (~henninb@97-116-134-233.mpls.qwest.net) (Client Quit) |
| 2022-07-23 02:36:36 +0200 | <dsal> | You can also see patterns that folks try to create, but can't because of language limitations. e.g., elm has functors, but can't express them explicitly, so it just uses a pattern. Most other languages just have lots of different things you have to do in different situations that can't be made common. |
| 2022-07-23 02:37:16 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-07-23 02:38:07 +0200 | <dsal> | There are classes of bugs in codebases I've worked on in the past that we just had to accept / try to teach people to stop writing. In my current codebase, we can just make them not compile and worry about bigger issues. |
| 2022-07-23 02:39:24 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Client Quit) |
| 2022-07-23 02:39:34 +0200 | <audisarah> | dsal: so you want to restrict peoples freedoms to program? |
| 2022-07-23 02:39:35 +0200 | <audisarah> | why? |
| 2022-07-23 02:40:00 +0200 | <geekosaur> | what? |
| 2022-07-23 02:40:06 +0200 | <geekosaur> | where did you get that from? |
| 2022-07-23 02:41:02 +0200 | <audisarah> | when you said you want to make certain patterns non-compilable? |
| 2022-07-23 02:41:14 +0200 | <geekosaur> | bugs should not compile |
| 2022-07-23 02:41:33 +0200 | <dsal> | Customers tend to not like production downtime that prevents their businesses from moving money. |
| 2022-07-23 02:42:23 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-23 02:42:37 +0200 | <Haskelytic> | audisarah: If it's any consolation, even the BDFL of Python said something along the lines of "python is a nightmare at scale" |
| 2022-07-23 02:42:39 +0200 | geekosaur | thinks this person is deliberately "mis"interpreting what is being said |
| 2022-07-23 02:43:01 +0200 | <dsal> | "restricting freedom" is a powerful tool that's not available as broadly in most languages. |
| 2022-07-23 02:43:09 +0200 | <dsal> | It's actually an incredibly powerful feature. |
| 2022-07-23 02:43:42 +0200 | <Haskelytic> | So even those pythonistas are now embracing types, albeit somewhat haphazardly |
| 2022-07-23 02:44:42 +0200 | elmyr | dy |
| 2022-07-23 02:49:58 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 2022-07-23 02:51:20 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-23 02:51:43 +0200 | <qrpnxz> | newtype Feature = Feature (Bug) |
| 2022-07-23 02:51:49 +0200 | <qrpnxz> | problem solved 😎 |
| 2022-07-23 02:52:28 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-23 02:52:33 +0200 | <qrpnxz> | coerce buggyFunction :: Featureful |
| 2022-07-23 02:55:20 +0200 | audisarah | (~audisarah@S01069050ca4e3573.cg.shawcable.net) (Ping timeout: 252 seconds) |
| 2022-07-23 02:55:36 +0200 | <dsal> | Sure, but I can make `coerce` not work when it wouldn't be appropriate. |
| 2022-07-23 02:55:54 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-23 02:55:59 +0200 | <dsal> | Most of the time when, when I feel like GHC is being magic and powerful, it's about what it *prevents* people from writing. |
| 2022-07-23 02:56:42 +0200 | <qrpnxz> | nooo, did you just `type role Bug nominal` me? you win again... |
| 2022-07-23 02:57:03 +0200 | <qrpnxz> | 😁 |
| 2022-07-23 02:57:26 +0200 | <dsal> | `coerce` has a bunch of names in this codebase for some reason. |
| 2022-07-23 03:00:49 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-23 03:02:30 +0200 | mmhat | (~mmh@p200300f1c7055944ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
| 2022-07-23 03:02:37 +0200 | <Haskelytic> | :t replicateM |
| 2022-07-23 03:02:38 +0200 | <lambdabot> | Applicative m => Int -> m a -> m [a] |
| 2022-07-23 03:02:51 +0200 | <Haskelytic> | the naming convention has been broken :) |
| 2022-07-23 03:03:00 +0200 | <Haskelytic> | why isn't it replicateA |
| 2022-07-23 03:05:00 +0200 | <dsal> | I assume it used to be constrained to Monad |
| 2022-07-23 03:05:31 +0200 | <qrpnxz> | well that's confusing |
| 2022-07-23 03:06:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-23 03:07:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-07-23 03:07:37 +0200 | <cjay> | Is there a way to profile only a single library, that is a dependency of a benchmark target? cabal seems to want profiling-versions of other dependencies when profiling is turned on (and doesn't even try to build them for some reason, maybe because of nix..) |
| 2022-07-23 03:07:38 +0200 | <dsal> | https://github.com/ghc/ghc/commit/741cf18a5e4ee5d0aa8afcab813441e7bcd4050c |
| 2022-07-23 03:08:00 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-23 03:08:21 +0200 | <cjay> | cabal.project options seem to never do what I want/expect. And it doesn't even complain. |
| 2022-07-23 03:08:34 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-07-23 03:08:47 +0200 | <Haskelytic> | dsal: oh wow nice find |
| 2022-07-23 03:09:48 +0200 | <dsal> | Yeah, Applicative came later, so it makes sense to see things like this. Keeping the names is reasonable, I guess. |
| 2022-07-23 03:09:59 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-23 03:10:17 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Client Quit) |
| 2022-07-23 03:10:57 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-07-23 03:14:04 +0200 | <qrpnxz> | from how Data.Traversable is, i would more expect that those stay specialized and that new more general functions with different names get defined. (e.g. traverse vs mapM) Because of that experience, i wouldn't immediately have considered trying replicateM on an Applicative. Not the end of the world but just unexpected. So good to know. |
| 2022-07-23 03:14:12 +0200 | audisarah | (~audisarah@S01069050ca4e3573.cg.shawcable.net) |
| 2022-07-23 03:17:05 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-07-23 03:19:03 +0200 | <cjay> | when profiling an executable, are profiling-versions of ALL the dependencies required, even if I don't wont cost centers in any of the dependecies (except for one..) |
| 2022-07-23 03:21:04 +0200 | kannon | (~NK@74-95-14-193-SFBA.hfc.comcastbusiness.net) |
| 2022-07-23 03:22:08 +0200 | kannon_ | (~NK@74-95-14-193-SFBA.hfc.comcastbusiness.net) |
| 2022-07-23 03:22:23 +0200 | kannon | (~NK@74-95-14-193-SFBA.hfc.comcastbusiness.net) (Read error: Connection reset by peer) |
| 2022-07-23 03:23:47 +0200 | <dsal> | I've never attempted profiling without wanting to know all cost centers. |
| 2022-07-23 03:24:14 +0200 | <sm> | cjay: yes |
| 2022-07-23 03:25:00 +0200 | <cjay> | dsal: having cost centers all over the place prevents inlinig, so you're profiling a very different program, according to this https://www.tweag.io/blog/2020-01-30-haskell-profiling/ |
| 2022-07-23 03:25:57 +0200 | <cjay> | sm: thx, good to know. |
| 2022-07-23 03:26:29 +0200 | <cjay> | hmm, now I need to find a way to tell nix to rebuild everything with profiling :| |
| 2022-07-23 03:27:04 +0200 | <cjay> | AND tell it to not add cost centers. ugh. |
| 2022-07-23 03:37:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 03:37:51 +0200 | vysn | (~vysn@user/vysn) |
| 2022-07-23 03:38:51 +0200 | <qrpnxz> | i think that's a couple of keystrokes on emacs 😁 |
| 2022-07-23 03:39:27 +0200 | kannon_ | (~NK@74-95-14-193-SFBA.hfc.comcastbusiness.net) (Ping timeout: 244 seconds) |
| 2022-07-23 03:41:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-23 03:41:36 +0200 | hosk1 | (~goober@90-231-13-185-no3430.tbcn.telia.com) (Quit: WeeChat 3.5) |
| 2022-07-23 03:41:51 +0200 | hosk1 | (~goober@90-231-13-185-no3430.tbcn.telia.com) |
| 2022-07-23 03:51:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 03:51:20 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-23 03:53:32 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds) |
| 2022-07-23 03:54:46 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-07-23 03:56:55 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-23 04:01:59 +0200 | <qrpnxz> | just now learning the async library. The thing is awesome. withAsync ❤️ |
| 2022-07-23 04:07:25 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-07-23 04:07:25 +0200 | noteness | (~noteness@user/noteness) (Write error: Broken pipe) |
| 2022-07-23 04:07:25 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Write error: Broken pipe) |
| 2022-07-23 04:07:25 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Write error: Broken pipe) |
| 2022-07-23 04:07:25 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Write error: Broken pipe) |
| 2022-07-23 04:07:25 +0200 | califax | (~califax@user/califx) (Write error: Broken pipe) |
| 2022-07-23 04:07:25 +0200 | winny | (~weechat@user/winny) (Write error: Broken pipe) |
| 2022-07-23 04:07:25 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Write error: Broken pipe) |
| 2022-07-23 04:07:25 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-23 04:07:25 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-23 04:07:25 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-23 04:08:21 +0200 | <audisarah> | Haskelytic: bro, Haskell will never, ever be the authority on types lol |
| 2022-07-23 04:08:23 +0200 | <dsal> | Oh yeah, there's a lot of good stuff in there |
| 2022-07-23 04:08:26 +0200 | <audisarah> | as much as you try |
| 2022-07-23 04:08:33 +0200 | <audisarah> | C++ and C will always be the authority |
| 2022-07-23 04:08:58 +0200 | <audisarah> | and please don't mistake type theory with Haskell:) |
| 2022-07-23 04:09:01 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-07-23 04:09:03 +0200 | <dsal> | It's easier to troll when you say things that aren't so obviously stupid. |
| 2022-07-23 04:09:24 +0200 | <audisarah> | dsal: which part? that type theory =/= Haskell? |
| 2022-07-23 04:09:56 +0200 | <audisarah> | or that I'd trust a C++ programmer of a Haskell programmer on a practical project when it comes to advice on types |
| 2022-07-23 04:10:21 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-23 04:10:23 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-23 04:10:28 +0200 | califax | (~califax@user/califx) |
| 2022-07-23 04:10:31 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-23 04:10:32 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-23 04:10:34 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-23 04:10:34 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-23 04:10:37 +0200 | winny | (~weechat@user/winny) |
| 2022-07-23 04:10:42 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-07-23 04:10:51 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-23 04:11:22 +0200 | <audisarah> | at this point I'd consider Haskell a failed project |
| 2022-07-23 04:11:50 +0200 | <audisarah> | it was certainly admirable to try and take type theory into mainstream but |
| 2022-07-23 04:11:55 +0200 | <audisarah> | OCaml has done far more in that regard |
| 2022-07-23 04:12:03 +0200 | <audisarah> | maybe in 300 years I'll be wrong |
| 2022-07-23 04:12:13 +0200 | <audisarah> | but no, I'm not trolling? |
| 2022-07-23 04:12:20 +0200 | <audisarah> | are you? |
| 2022-07-23 04:12:21 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-23 04:13:28 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-23 04:15:52 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-23 04:19:18 +0200 | <audisarah> | like OCaml might even be more niche than Haskell but |
| 2022-07-23 04:19:26 +0200 | <audisarah> | at least me and my friends have fucking heard of OCaml |
| 2022-07-23 04:19:29 +0200 | <audisarah> | and it has that respect |
| 2022-07-23 04:19:44 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-07-23 04:19:48 +0200 | <audisarah> | cause it was the first |
| 2022-07-23 04:20:04 +0200 | <qrpnxz> | C authority on types? What? |
| 2022-07-23 04:20:22 +0200 | <qrpnxz> | C types amount to a sticker pack lol |
| 2022-07-23 04:20:27 +0200 | <audisarah> | qrpnxz: you can program *any* type in C |
| 2022-07-23 04:20:46 +0200 | <audisarah> | not saying C has strict types lol |
| 2022-07-23 04:20:54 +0200 | <qrpnxz> | I can't parameterize any type in C so already way behind |
| 2022-07-23 04:21:22 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2022-07-23 04:21:25 +0200 | <audisarah> | you can even program GHC in C, of course you can parametrize types in C |
| 2022-07-23 04:21:30 +0200 | <audisarah> | simple matter of abstraction |
| 2022-07-23 04:21:47 +0200 | <qrpnxz> | mmm, no you can't. C just doesn't have that feature. |
| 2022-07-23 04:21:59 +0200 | <audisarah> | lol wait waht |
| 2022-07-23 04:22:04 +0200 | <audisarah> | You can't program GHC in C? |
| 2022-07-23 04:22:08 +0200 | <audisarah> | is that what youre saying? |
| 2022-07-23 04:22:16 +0200 | <qrpnxz> | yeah, choose the one that doesn't make sense. |
| 2022-07-23 04:22:18 +0200 | <qrpnxz> | very honest |
| 2022-07-23 04:23:46 +0200 | <audisarah> | qrpnxz: GHC was written in C so what exactly does Haskell add? besides an abstraction written on top of C |
| 2022-07-23 04:23:47 +0200 | <audisarah> | I'm confused |
| 2022-07-23 04:23:52 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-23 04:24:35 +0200 | <qrpnxz> | hasn't ghc been bootstrapped to haskell for a while now |
| 2022-07-23 04:25:00 +0200 | <qrpnxz> | even if it wasn't i don't get your point though |
| 2022-07-23 04:25:47 +0200 | <audisarah> | all I said was you could program any type in C |
| 2022-07-23 04:25:50 +0200 | <audisarah> | or even GHC itself |
| 2022-07-23 04:25:58 +0200 | <audisarah> | am I wrong? |
| 2022-07-23 04:26:16 +0200 | <qrpnxz> | could you explain what you mean exactly by "program any type" |
| 2022-07-23 04:27:08 +0200 | <dsal> | qrpnxz: trolls just want to waste your time. It's pretty clear this person has no interest in actual programming topics and shouldn't be taken seriously. |
| 2022-07-23 04:27:22 +0200 | <audisarah> | I mean, any type that Haskell implements could be programmed in C via native code or LLVM back-end since GHC is programmed in C |
| 2022-07-23 04:27:28 +0200 | <audisarah> | or bootstrapped in C in later versions |
| 2022-07-23 04:27:40 +0200 | <audisarah> | so therefore Haskell is really just a big abstraction on top of C |
| 2022-07-23 04:27:41 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-07-23 04:27:41 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-23 04:27:41 +0200 | finn_elija | FinnElija |
| 2022-07-23 04:27:43 +0200 | <audisarah> | when you think about it |
| 2022-07-23 04:27:56 +0200 | <EvanR> | function types in C are pretty painful |
| 2022-07-23 04:27:57 +0200 | <audisarah> | the rest is just human terminology |
| 2022-07-23 04:28:08 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2022-07-23 04:28:11 +0200 | <monochrom> | Why C? Why not go straight to machine code? |
| 2022-07-23 04:28:19 +0200 | <qrpnxz> | i would calculate any c program on a piece of paper, so really c is just a big abstraction on top of my pencil |
| 2022-07-23 04:28:21 +0200 | <monochrom> | And what is your point? |
| 2022-07-23 04:28:38 +0200 | <monochrom> | And yeah what qrpnxz says. |
| 2022-07-23 04:28:47 +0200 | <monochrom> | Although, I think Turing said it first :) |
| 2022-07-23 04:28:50 +0200 | cheater | (~Username@user/cheater) |
| 2022-07-23 04:28:52 +0200 | <qrpnxz> | lol |
| 2022-07-23 04:28:57 +0200 | <audisarah> | so then why not just use pure Lambda calculus? |
| 2022-07-23 04:29:03 +0200 | <audisarah> | if its just a big abstraction on top of your pencil |
| 2022-07-23 04:29:04 +0200 | <audisarah> | lol |
| 2022-07-23 04:29:23 +0200 | <audisarah> | what does Haskell offer that C doesn't and OCaml doesn't |
| 2022-07-23 04:29:29 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-23 04:29:29 +0200 | <audisarah> | in terms of major software accomplishments? |
| 2022-07-23 04:29:34 +0200 | <audisarah> | besides GHC itself |
| 2022-07-23 04:29:38 +0200 | <monochrom> | Yes this whole "debate" or "discussion" or whatever you euphemise it is pointless. Can we move on now? |
| 2022-07-23 04:29:43 +0200 | <EvanR> | space leaks mattering more than memory leaks |
| 2022-07-23 04:30:01 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-23 04:30:36 +0200 | audisarah | is a HUGE fan of type theory btw |
| 2022-07-23 04:31:00 +0200 | audisarah | is a HUGE fan of C, lisp, lambda calculus, OCaml. |
| 2022-07-23 04:31:12 +0200 | <qrpnxz> | Haskell is just so much nicer to write for a lot of kinds of programs. Just basic datastructures alone are a reason to avoid C. Hey, i like C too, but Haskell is very convenient and nice from a pragmatic point of view compare to C. |
| 2022-07-23 04:31:24 +0200 | <monochrom> | Haskell offers me less chore than C, and even less chore than OCaml. |
| 2022-07-23 04:31:53 +0200 | <monochrom> | But that will not convince you because you're in reductionist mode anyway. |
| 2022-07-23 04:32:29 +0200 | <audisarah> | no, I think I understand and agree with you monochrom |
| 2022-07-23 04:32:32 +0200 | <monochrom> | Yeah I don't know why I'm feeding this. |
| 2022-07-23 04:32:33 +0200 | <qrpnxz> | EvanR: i like left Twix more than Right Twix personally |
| 2022-07-23 04:32:38 +0200 | <audisarah> | I understand benefits of Haskell to certain users |
| 2022-07-23 04:32:44 +0200 | <audisarah> | that aren't familiar with OCaml or dont care to learn |
| 2022-07-23 04:32:55 +0200 | <audisarah> | and aren't going to code the next GHC |
| 2022-07-23 04:33:15 +0200 | <audisarah> | im just wondering then, what will it accomplish in future as a high level functional language? |
| 2022-07-23 04:33:48 +0200 | <audisarah> | what is the point, if any. will it inspire new functional languages beyond what common lisp or closure has inspired? |
| 2022-07-23 04:33:55 +0200 | <qrpnxz> | i've looked very briefly at ocaml and it's pretty ugly (what i have seen anyway). It's also OOP iirc? (I know very very little about it sorry) It just seem like a way of working rather different from haskell. I like haskell way better afaik |
| 2022-07-23 04:34:05 +0200 | <audisarah> | or will it enable more academic research into type theory that dwarfs OCaml |
| 2022-07-23 04:34:12 +0200 | <audisarah> | or will it be eventually faster than C |
| 2022-07-23 04:34:27 +0200 | <monochrom> | Actually in terms of statically typed OOP, OCaml does it justice and beauty. |
| 2022-07-23 04:34:27 +0200 | <audisarah> | what does it contribute to our understanding of cs? |
| 2022-07-23 04:34:41 +0200 | <qrpnxz> | monochrom: also, is ocaml eager? |
| 2022-07-23 04:34:41 +0200 | <monochrom> | (For dynamically typed OOP, Smalltalk) |
| 2022-07-23 04:34:42 +0200 | <dsal> | I programmed in ocaml 20 years ago or so. It's not terrible, but I don't really want to do that professionally again right now. |
| 2022-07-23 04:34:45 +0200 | <monochrom> | Yes. |
| 2022-07-23 04:34:54 +0200 | <qrpnxz> | ah yes see. I really like lazy |
| 2022-07-23 04:35:09 +0200 | <qrpnxz> | well good to know about the oop. I may try ocaml some day |
| 2022-07-23 04:35:20 +0200 | <audisarah> | the idea of Haskell for large software projects I think is a myth |
| 2022-07-23 04:35:32 +0200 | <dsal> | There are neat parts, but I hit a few nasty parts in production. |
| 2022-07-23 04:35:34 +0200 | <audisarah> | maybe in 300 years but then it will have been replaced |
| 2022-07-23 04:35:41 +0200 | <audisarah> | so what does it inspire? |
| 2022-07-23 04:35:43 +0200 | <audisarah> | or do |
| 2022-07-23 04:37:59 +0200 | <qrpnxz> | if nobody used haskell, i'd use it. |
| 2022-07-23 04:38:09 +0200 | <qrpnxz> | not being super big kind of a feature sometimes too lol |
| 2022-07-23 04:38:59 +0200 | <dsal> | For sure, there are a lots of things that could be fixed if nobody used it. :) |
| 2022-07-23 04:39:11 +0200 | <qrpnxz> | heh indeed |
| 2022-07-23 04:39:36 +0200 | <monochrom> | haha that's depraved |
| 2022-07-23 04:40:16 +0200 | <monochrom> | "Is that stop-the-world GC?" butterfly man meme |
| 2022-07-23 04:40:30 +0200 | <dsal> | They fixed simplified subsumption and now they're going to fix fixing simplified subsumption. |
| 2022-07-23 04:40:40 +0200 | <qrpnxz> | lol |
| 2022-07-23 04:41:05 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-07-23 04:41:08 +0200 | <qrpnxz> | monochrom: i just understood your comment lmao |
| 2022-07-23 04:41:51 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-23 04:42:02 +0200 | <monochrom> | Yeah it was not an obvious connection. I was inspired by something a student ran into yesterday. |
| 2022-07-23 04:43:24 +0200 | <monochrom> | I taught fork() in a Unix-and-C course. A student experimented with a fork bomb. Then he regretted it because now he couldn't kill it. Main issue: Spawn rate exceeded kill rate. |
| 2022-07-23 04:44:02 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-23 04:44:08 +0200 | <monochrom> | Later he found a solution: SIGSTOP them first, then you have a better chance killing them. |
| 2022-07-23 04:45:09 +0200 | mzan | (~quassel@mail.asterisell.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-07-23 04:45:18 +0200 | <monochrom> | Lesson learned: Fork bombs, garbage, and Haskell can all be easily fixed, if only you could just freeze everyone. |
| 2022-07-23 04:46:20 +0200 | <dsal> | SIGSTOP on a forkbomb is basically a hiring freeze. |
| 2022-07-23 04:46:28 +0200 | mzan | (~quassel@mail.asterisell.com) |
| 2022-07-23 04:46:32 +0200 | <monochrom> | hehe |
| 2022-07-23 04:48:21 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-23 04:49:08 +0200 | <qrpnxz> | :(){ :|:& };: |
| 2022-07-23 04:49:10 +0200 | <qrpnxz> | :) |
| 2022-07-23 04:49:58 +0200 | <monochrom> | Hmm I should use that for my other nick. |
| 2022-07-23 04:50:10 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-07-23 04:50:26 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
| 2022-07-23 04:50:50 +0200 | <qrpnxz> | 😁 |
| 2022-07-23 04:52:39 +0200 | <sm> | audisarah: Haskell was used to build a very robust blockchain (cardano). I think it would have been hard to do this in another language. |
| 2022-07-23 04:52:41 +0200 | td_ | (~td@94.134.91.35) (Ping timeout: 244 seconds) |
| 2022-07-23 04:54:08 +0200 | dcoutts_ | (~duncan@host86-171-69-210.range86-171.btcentralplus.com) |
| 2022-07-23 04:54:49 +0200 | td_ | (~td@muedsl-82-207-238-135.citykom.de) |
| 2022-07-23 04:55:32 +0200 | <sclv> | i do not think so, and rather wish they had built it in another language |
| 2022-07-23 04:56:08 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.5) |
| 2022-07-23 04:56:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-23 04:56:47 +0200 | <dsal> | Heh. It did make way too many jobs that look like scams |
| 2022-07-23 04:56:50 +0200 | dcoutts | (~duncan@host86-150-18-49.range86-150.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2022-07-23 04:58:03 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-23 04:58:03 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-23 04:58:03 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Write error: Connection reset by peer) |
| 2022-07-23 04:58:17 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-07-23 04:59:13 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-23 04:59:44 +0200 | bilegeek_ | (~bilegeek@225.sub-174-208-229.myvzw.com) |
| 2022-07-23 04:59:56 +0200 | <qrpnxz> | sm: see, i would use that as an example except i don't respect cardano lol |
| 2022-07-23 05:01:58 +0200 | bilegeek | (~bilegeek@2600:1008:b021:fa10:a7a7:bc63:5a2:d855) (Ping timeout: 240 seconds) |
| 2022-07-23 05:06:04 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-07-23 05:06:16 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) () |
| 2022-07-23 05:07:26 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-23 05:07:42 +0200 | winny | (~weechat@user/winny) |
| 2022-07-23 05:07:54 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-23 05:09:19 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-23 05:12:06 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-07-23 05:15:14 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-07-23 05:16:58 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-07-23 05:19:00 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-07-23 05:19:52 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-07-23 05:23:53 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-23 05:24:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 05:29:33 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-07-23 05:33:43 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
| 2022-07-23 05:34:16 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-07-23 05:35:45 +0200 | meow_mew | (uid562569@id-562569.ilkley.irccloud.com) |
| 2022-07-23 05:35:59 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-23 05:35:59 +0200 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
| 2022-07-23 05:37:13 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-23 05:37:50 +0200 | noteness | (~noteness@user/noteness) (Ping timeout: 268 seconds) |
| 2022-07-23 05:37:50 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-07-23 05:37:50 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 2022-07-23 05:37:50 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-23 05:38:27 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-07-23 05:48:14 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-07-23 05:55:15 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-07-23 05:56:15 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-07-23 06:01:02 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Quit: leaving) |
| 2022-07-23 06:01:42 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
| 2022-07-23 06:06:48 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2022-07-23 06:10:25 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-23 06:11:20 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-23 06:12:24 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-23 06:12:47 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-23 06:12:50 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-23 06:12:53 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-23 06:13:28 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-23 06:15:55 +0200 | califax | (~califax@user/califx) |
| 2022-07-23 06:16:55 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-23 06:17:08 +0200 | <yin> | why do people hate block-chain? |
| 2022-07-23 06:17:16 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-23 06:17:17 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 268 seconds) |
| 2022-07-23 06:17:18 +0200 | radhika | (uid560836@id-560836.helmsley.irccloud.com) |
| 2022-07-23 06:17:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-23 06:18:20 +0200 | <dsal> | Because it's incredibly wasteful scams that don't solve any problems. |
| 2022-07-23 06:18:53 +0200 | <slack1256> | Wait until you learn about the ad business. |
| 2022-07-23 06:18:54 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-23 06:18:54 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-23 06:18:54 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-23 06:18:54 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-23 06:19:11 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-23 06:19:16 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-23 06:19:46 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-23 06:19:51 +0200 | <dsal> | Yeah, I used to work in ads. Crap, but much more honest crap. |
| 2022-07-23 06:20:04 +0200 | <slack1256> | There is a lattice of crap. |
| 2022-07-23 06:20:21 +0200 | <slack1256> | err semi-order |
| 2022-07-23 06:21:37 +0200 | winny | (~weechat@user/winny) |
| 2022-07-23 06:22:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-23 06:22:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 06:23:34 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Quit: quarkyalice) |
| 2022-07-23 06:24:40 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 272 seconds) |
| 2022-07-23 06:25:19 +0200 | <qrpnxz> | ad sounds bad until you need to sell something |
| 2022-07-23 06:25:38 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-07-23 06:27:06 +0200 | <monochrom> | There are some ads I really like, they're well-made. But #haskell-offtopic. |
| 2022-07-23 06:27:15 +0200 | polo | (~textual@user/polo) |
| 2022-07-23 06:28:24 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-23 06:29:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-23 06:29:33 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
| 2022-07-23 06:29:48 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-07-23 06:31:16 +0200 | polo | (~textual@user/polo) (Read error: Connection reset by peer) |
| 2022-07-23 06:31:34 +0200 | Guest3 | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) |
| 2022-07-23 06:35:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 06:36:31 +0200 | off^ | (~off@75-147-198-169-Atlanta.hfc.comcastbusiness.net) |
| 2022-07-23 06:37:29 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Quit: quarkyalice) |
| 2022-07-23 06:39:46 +0200 | audisarah | (~audisarah@S01069050ca4e3573.cg.shawcable.net) (Quit: Client closed) |
| 2022-07-23 06:42:04 +0200 | Guest3 | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-07-23 06:43:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-23 06:45:13 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-07-23 06:45:56 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-07-23 06:47:39 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-07-23 06:49:12 +0200 | <yin> | is there nothing good about blockchains? |
| 2022-07-23 06:49:43 +0200 | <dsal> | I think git is ok |
| 2022-07-23 06:49:44 +0200 | <yin> | or is the technology just infamously misused? |
| 2022-07-23 06:49:45 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-07-23 06:50:28 +0200 | <qrpnxz> | merkle trees are neat-o, proof of work is interesting, zero-knowledge proofs are great. I can say these things, but "blockchain"? |
| 2022-07-23 06:52:05 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Read error: Connection reset by peer) |
| 2022-07-23 06:54:05 +0200 | <qrpnxz> | hard to say anything meaningful about "blockchain(s)". Like, in particular Bitcoin? And even then like in particular what about Bitcoin's protocal, or what property of the network, or what? |
| 2022-07-23 06:55:35 +0200 | <monochrom> | Oh! Conclusion: Therefore we should use Haskell for the ad business instead! >:) |
| 2022-07-23 06:56:17 +0200 | <dsal> | I tried that, but Google is really conservative about what languages they trust programmers with |
| 2022-07-23 06:56:32 +0200 | <davean> | blockchains are about the worst distributed system implimentation. |
| 2022-07-23 06:56:34 +0200 | <monochrom> | Ah yeah. |
| 2022-07-23 06:56:56 +0200 | <jargon> | How do I get an angle from a unit vector? |
| 2022-07-23 06:57:14 +0200 | Guest3 | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) |
| 2022-07-23 06:57:18 +0200 | <monochrom> | Another thought: Would you like to hear that IMO all of programming is a scam in the first place anyway? >:) |
| 2022-07-23 06:57:42 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-07-23 06:57:43 +0200 | <dsal> | jargon: are you using dimensional or something? |
| 2022-07-23 06:58:12 +0200 | <jargon> | This is what I have so far: https://pastebin.com/uPg8mfbz |
| 2022-07-23 06:58:28 +0200 | <dsal> | monochrom: programmers more than programming. I'll tell you how easy a problem is until it's mine |
| 2022-07-23 06:58:51 +0200 | <monochrom> | True that. |
| 2022-07-23 06:58:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 06:58:57 +0200 | <dsal> | jargon: I don't know that language |
| 2022-07-23 06:59:15 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-23 06:59:42 +0200 | <jargon> | BASIC is Beginner's All-Purpose Instruction Code, it is industry standard as pseudo-code. |
| 2022-07-23 07:00:11 +0200 | <dsal> | Weird. I've never been an in industry that did that. Heh |
| 2022-07-23 07:00:30 +0200 | <monochrom> | Ugh are you inviting help or are you looking for quarrels, what's your point. |
| 2022-07-23 07:00:41 +0200 | talismanick | (~talismani@2601:200:c100:3850::dd64) |
| 2022-07-23 07:01:05 +0200 | <jargon> | I would like to capture the angle based off the unit vector provided by that routine. |
| 2022-07-23 07:01:24 +0200 | <talismanick> | Is there an update/modern counterpart to Okasaki's thesis? |
| 2022-07-23 07:02:00 +0200 | <slack1256> | talismanick: Last time I saw, his book was the latest version. |
| 2022-07-23 07:03:24 +0200 | <talismanick> | slack1256: I can't say I understand what you mean... I don't see additional editions on the web |
| 2022-07-23 07:03:40 +0200 | <talismanick> | and, I'm sure the SoTA is quite different now from 1999 |
| 2022-07-23 07:05:24 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-23 07:05:34 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-07-23 07:06:03 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2022-07-23 07:06:25 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-23 07:06:36 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-23 07:07:15 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-23 07:07:45 +0200 | <EvanR> | jargon, categorical error... an angle is a thing between two vectors |
| 2022-07-23 07:08:23 +0200 | <EvanR> | you can compute it using the dot product |
| 2022-07-23 07:08:35 +0200 | <talismanick> | and, you need inner product space structure for that |
| 2022-07-23 07:09:02 +0200 | <EvanR> | if you haven't already, define the dot product xD |
| 2022-07-23 07:09:04 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-23 07:09:10 +0200 | <talismanick> | (idk what you mean by "vector" in this context - just got here) |
| 2022-07-23 07:09:47 +0200 | <EvanR> | jargon is a user, might be confusing |
| 2022-07-23 07:09:48 +0200 | <monochrom> | It is the inner product space kind of vector, don't worry :) |
| 2022-07-23 07:10:40 +0200 | <jargon> | EvanR I am trying to capture the normal vector as a rotation of 0 thru 1? |
| 2022-07-23 07:10:57 +0200 | noteness | (~noteness@user/noteness) (Ping timeout: 268 seconds) |
| 2022-07-23 07:11:27 +0200 | Guest3 | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-07-23 07:11:39 +0200 | <EvanR> | a normal vector |
| 2022-07-23 07:11:44 +0200 | <EvanR> | that's easy. 90 |
| 2022-07-23 07:12:05 +0200 | <jargon> | : |
| 2022-07-23 07:12:07 +0200 | <jargon> | :| |
| 2022-07-23 07:12:07 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-23 07:12:11 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-07-23 07:12:21 +0200 | <jargon> | --> https://pastebin.com/uPg8mfbz <-- |
| 2022-07-23 07:12:53 +0200 | <EvanR> | wait what language is this |
| 2022-07-23 07:12:58 +0200 | <jargon> | BASIC. |
| 2022-07-23 07:13:41 +0200 | <EvanR> | you don't have to yell! |
| 2022-07-23 07:13:48 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-23 07:13:48 +0200 | <monochrom> | :) |
| 2022-07-23 07:14:22 +0200 | <monochrom> | I think that people who used to know that all-caps can mean yelling are near extinction. |
| 2022-07-23 07:14:53 +0200 | Guest3 | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) |
| 2022-07-23 07:15:11 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-23 07:17:35 +0200 | <jargon> | My computer is constantly yelling at me about nonexistent virus warnings. |
| 2022-07-23 07:18:03 +0200 | <Haskelytic> | jargon: you should go full terry davis and exorcise your machine :) |
| 2022-07-23 07:18:21 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2022-07-23 07:18:43 +0200 | <slack1256> | Haskelytic: Glowie :-) |
| 2022-07-23 07:19:29 +0200 | <slack1256> | God, terry was ahead this whole bunch of poser schizo-posters </s> |
| 2022-07-23 07:20:36 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-23 07:20:42 +0200 | <jargon> | Terry refused to take medication and ran from the law. |
| 2022-07-23 07:20:59 +0200 | <slack1256> | I was reading about finger trees the other day. For amorized analysis, they always study the same operation (say 'snoc') and its performance when applied repetedly n-times. Is this standard analysis? or are there other ways to study a mix of different operations? |
| 2022-07-23 07:22:43 +0200 | <jargon> | Notice, there doesn't seem to be any out in the public videos of Terry. |
| 2022-07-23 07:23:08 +0200 | <monochrom> | Perhaps snoc represents the hardest scenerio for finger trees. I don't actually know, I'm guessing. |
| 2022-07-23 07:23:47 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2022-07-23 07:24:11 +0200 | <monochrom> | But generally speaking we have the banker's method and we have the potential method. (They are described in Okasaki's as well as all data structure books in their amortization chapters.) |
| 2022-07-23 07:24:15 +0200 | <yin> | wait caps isn't yelling anymore? |
| 2022-07-23 07:24:23 +0200 | <yin> | WDYM? |
| 2022-07-23 07:24:32 +0200 | <monochrom> | Both methods are designed to let you freely mix different operations. |
| 2022-07-23 07:25:10 +0200 | <slack1256> | I probably mis-read the banker's method then :-( |
| 2022-07-23 07:25:28 +0200 | slack1256 | goes to the library to get Okasaki's |
| 2022-07-23 07:25:41 +0200 | john | (~john@115.96.217.40) |
| 2022-07-23 07:25:50 +0200 | Guest3 | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-07-23 07:26:33 +0200 | <jargon> | How do I use take a given x and y cartesian coordinate and measure the rotation of the end point from the origin as a rotation of zero thru one? |
| 2022-07-23 07:26:36 +0200 | <slack1256> | Oh, you mean as you can define the debit structure for all the operations, that is the common currency any mix of operations should spend and save. |
| 2022-07-23 07:26:52 +0200 | <jargon> | How do I use take a given x and y cartesian coordinate and measure the rotation of the end point from the origin as a measure of zero thru one? |
| 2022-07-23 07:26:54 +0200 | <monochrom> | Yeah! |
| 2022-07-23 07:28:57 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-07-23 07:29:15 +0200 | raym | (~raym@user/raym) (Ping timeout: 244 seconds) |
| 2022-07-23 07:29:18 +0200 | <jargon> | The flavor of BASIC I program in is called FreeBASIC "TK22" |
| 2022-07-23 07:30:57 +0200 | raym | (~raym@user/raym) |
| 2022-07-23 07:31:22 +0200 | <jargon> | For "TK22"; For/Next/Gosub/Goto/If/Then/Else are all deprecated. |
| 2022-07-23 07:32:16 +0200 | <jargon> | In "TK22"; For/Next/Step/Gosub/Goto/If/Then/Else/Return/On/Call are all deprecated. |
| 2022-07-23 07:33:09 +0200 | <monochrom> | Unpopular Opinion: Good riddance. Every step towards "all of BASIC is deprecated" is progress. |
| 2022-07-23 07:33:55 +0200 | <monochrom> | Although, my heart still has a soft spot for https://hackage.haskell.org/package/basic |
| 2022-07-23 07:34:01 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-23 07:37:24 +0200 | <monochrom> | Yikes, I guess case matters. Here be more yelling: it should be https://hackage.haskell.org/package/BASIC |
| 2022-07-23 07:42:30 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Remote host closed the connection) |
| 2022-07-23 07:44:48 +0200 | Guest3 | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) |
| 2022-07-23 07:48:02 +0200 | <qrpnxz> | lol it's actually BASIC |
| 2022-07-23 07:49:36 +0200 | <jargon> | monochrom, My "TK" implementation of FreeBASIC is exponentially faster. |
| 2022-07-23 07:50:02 +0200 | <jargon> | "TK22" * |
| 2022-07-23 07:51:57 +0200 | astra | amish |
| 2022-07-23 07:52:03 +0200 | <jargon> | It is advised to declare a variable after the start of a function definition, assign its initial values before use, then from there-on interface the variables. |
| 2022-07-23 07:52:05 +0200 | amish | (sid289983@id-289983.hampstead.irccloud.com) (Changing host) |
| 2022-07-23 07:52:05 +0200 | amish | (sid289983@user/amish) |
| 2022-07-23 07:52:20 +0200 | amish | astra |
| 2022-07-23 07:55:18 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 2022-07-23 08:01:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-23 08:02:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 08:02:24 +0200 | use-value1 | (~Thunderbi@2a00:23c6:8a03:2f01:4df4:4757:dc2:3c10) |
| 2022-07-23 08:03:58 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:4df4:4757:dc2:3c10) (Ping timeout: 268 seconds) |
| 2022-07-23 08:03:58 +0200 | use-value1 | use-value |
| 2022-07-23 08:05:03 +0200 | <jargon> | Again, how do I capture the 0 thru 1 rotation of the end-point of a cartesian coordinate about the origin? |
| 2022-07-23 08:05:46 +0200 | <jargon> | I can't do crap until I get this working. |
| 2022-07-23 08:06:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-23 08:07:01 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2022-07-23 08:09:17 +0200 | pavonia | (~user@user/siracusa) |
| 2022-07-23 08:13:18 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-23 08:14:09 +0200 | Guest3 | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-07-23 08:14:48 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-23 08:16:30 +0200 | Vajb | (~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2022-07-23 08:16:44 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-07-23 08:18:14 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-07-23 08:18:14 +0200 | jinsun | Guest2224 |
| 2022-07-23 08:18:14 +0200 | jinsun__ | jinsun |
| 2022-07-23 08:19:39 +0200 | john | (~john@115.96.217.40) (Remote host closed the connection) |
| 2022-07-23 08:20:55 +0200 | Guest2224 | (~jinsun@user/jinsun) (Ping timeout: 244 seconds) |
| 2022-07-23 08:22:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 08:23:07 +0200 | <jargon> | This is what I wanted to do: http://puzzlum.org/3D%20Floor//vault/3D%20Floor%20Space/vods/2022-06-15_15-52-09.mp4 |
| 2022-07-23 08:23:42 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 268 seconds) |
| 2022-07-23 08:26:32 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-23 08:27:08 +0200 | <jargon> | This: (Sorry for the prior bugged hyperlink) http://puzzlum.org/3D%20Floor/vault/3D%20Floor%20Space/vods/2022-06-15_15-52-09.mp4 |
| 2022-07-23 08:34:44 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-07-23 08:41:33 +0200 | Guest3 | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) |
| 2022-07-23 08:42:50 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-23 08:47:29 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 255 seconds) |
| 2022-07-23 08:49:30 +0200 | Guest3 | (~textual@pool-100-34-212-74.phlapa.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-07-23 08:50:27 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-07-23 08:50:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-23 09:07:21 +0200 | slack1256 | (~slack1256@186.11.19.31) (Remote host closed the connection) |
| 2022-07-23 09:09:04 +0200 | kuribas | (~user@ptr-17d51eoy2a996494wfb.18120a2.ip6.access.telenet.be) |
| 2022-07-23 09:09:20 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-23 09:11:31 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-07-23 09:13:00 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Ping timeout: 252 seconds) |
| 2022-07-23 09:13:39 +0200 | talismanick | (~talismani@2601:200:c100:3850::dd64) (Ping timeout: 268 seconds) |
| 2022-07-23 09:13:57 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-07-23 09:16:42 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2022-07-23 09:17:00 +0200 | jrm | (~jrm@user/jrm) |
| 2022-07-23 09:17:52 +0200 | famubu | (~famubu@user/famubu) |
| 2022-07-23 09:20:09 +0200 | <famubu> | Hi. I was trying to see how package management is done with cabal. I got a haskell package providing an executable. Is there a way to run a command using this executable via cabal on a new package being made with cabal? |
| 2022-07-23 09:22:20 +0200 | <maerwald[m]> | famubu: cabal run |
| 2022-07-23 09:22:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-23 09:24:01 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-23 09:25:04 +0200 | <famubu> | So a cabal.project file is needed? |
| 2022-07-23 09:25:31 +0200 | <famubu> | I mean when I tried `cabal run <external-executable>` I got a message saying that. |
| 2022-07-23 09:25:32 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-23 09:26:23 +0200 | <famubu> | Like this: Cannot run the package pack-name, it is not in this project (either directly or indirectly). If you want to add it to the project then edit the cabal.project file. |
| 2022-07-23 09:26:38 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 2022-07-23 09:30:51 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-07-23 09:35:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 09:39:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-23 09:40:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-23 09:46:18 +0200 | king_gs | (~Thunderbi@187.201.95.222) |
| 2022-07-23 09:47:27 +0200 | king_gs | (~Thunderbi@187.201.95.222) (Client Quit) |
| 2022-07-23 09:47:38 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 240 seconds) |
| 2022-07-23 09:50:30 +0200 | <Noinia> | I'm playing with folds from the lens package. Is there an easy way to transform a 'Fold s a' into a 'Fold s b' by appling some given function f :: a -> b to all elements that the fold will visit? |
| 2022-07-23 09:52:34 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-07-23 09:52:34 +0200 | jinsun | Guest3745 |
| 2022-07-23 09:52:34 +0200 | jinsun__ | jinsun |
| 2022-07-23 09:53:50 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2022-07-23 09:54:16 +0200 | benin0 | (~benin@183.82.24.158) |
| 2022-07-23 09:55:27 +0200 | Guest3745 | (~jinsun@user/jinsun) (Ping timeout: 244 seconds) |
| 2022-07-23 09:57:00 +0200 | radhika | (uid560836@id-560836.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-23 09:59:16 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-23 10:04:09 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-07-23 10:04:48 +0200 | bilegeek_ | (~bilegeek@225.sub-174-208-229.myvzw.com) (Quit: Leaving) |
| 2022-07-23 10:05:15 +0200 | famubu | (~famubu@user/famubu) (Ping timeout: 272 seconds) |
| 2022-07-23 10:09:08 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-07-23 10:09:26 +0200 | vysn | (~vysn@user/vysn) |
| 2022-07-23 10:10:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 10:11:47 +0200 | <kuribas> | tomsmeding: the documentation is available now :) I added a new version with better documentation and some minor changes (but it's still being processed). |
| 2022-07-23 10:12:15 +0200 | <kuribas> | tomsmeding: I found there is some overlap between my package and the barbies package: https://hackage.haskell.org/package/barbies |
| 2022-07-23 10:12:33 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 2022-07-23 10:14:10 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-07-23 10:15:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-23 10:17:10 +0200 | zachel | (~zachel@user/zachel) (Ping timeout: 244 seconds) |
| 2022-07-23 10:18:10 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-23 10:19:37 +0200 | kuribas | (~user@ptr-17d51eoy2a996494wfb.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-07-23 10:20:58 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-23 10:21:42 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-23 10:25:13 +0200 | <tomsmeding> | @tell kuribas ah, that looks more extensive, too; but the first thing you have going for your library is better names :p |
| 2022-07-23 10:25:13 +0200 | <lambdabot> | Consider it noted. |
| 2022-07-23 10:30:58 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-07-23 10:31:00 +0200 | mmhat | (~mmh@p200300f1c7055944ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-07-23 10:34:37 +0200 | Pickchea | (~private@user/pickchea) (Client Quit) |
| 2022-07-23 10:34:47 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-07-23 10:44:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 10:44:43 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-23 10:46:30 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-23 10:48:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-23 10:49:11 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 244 seconds) |
| 2022-07-23 10:53:34 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-23 10:54:09 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-23 11:00:05 +0200 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) (Quit: You have been kicked for being idle) |
| 2022-07-23 11:02:56 +0200 | famubu | (~famubu@14.139.174.50) |
| 2022-07-23 11:05:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 11:09:51 +0200 | [exa] | (exa@srv3.blesmrt.net) (Changing host) |
| 2022-07-23 11:09:51 +0200 | [exa] | (exa@user/exa/x-3587197) |
| 2022-07-23 11:18:13 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 268 seconds) |
| 2022-07-23 11:18:44 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-23 11:18:45 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-07-23 11:19:14 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-23 11:22:10 +0200 | mmhat | (~mmh@p200300f1c7055944ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-07-23 11:34:15 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-07-23 11:35:50 +0200 | mmhat | (~mmh@p200300f1c70559cbee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-07-23 11:41:40 +0200 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2022-07-23 11:42:17 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-23 11:42:54 +0200 | noteness | (~noteness@user/noteness) (Ping timeout: 268 seconds) |
| 2022-07-23 11:43:10 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-07-23 11:43:27 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-23 11:43:31 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-23 11:43:31 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-07-23 11:43:38 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-23 11:43:38 +0200 | FragByte | (~christian@user/fragbyte) |
| 2022-07-23 11:44:08 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 268 seconds) |
| 2022-07-23 11:45:09 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-23 11:45:22 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2022-07-23 11:45:30 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-23 11:45:30 +0200 | finn_elija | FinnElija |
| 2022-07-23 11:46:11 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-23 11:46:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-23 11:49:29 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-23 11:54:00 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-07-23 11:58:43 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-07-23 12:03:26 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-07-23 12:06:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-23 12:09:17 +0200 | raym | (~raym@user/raym) |
| 2022-07-23 12:10:12 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-07-23 12:10:39 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 272 seconds) |
| 2022-07-23 12:18:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 12:18:52 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-07-23 12:19:28 +0200 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2022-07-23 12:21:28 +0200 | FragByte | (~christian@user/fragbyte) |
| 2022-07-23 12:22:11 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-23 12:22:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-23 12:24:00 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-23 12:24:00 +0200 | noteness | (~noteness@user/noteness) (Write error: Connection reset by peer) |
| 2022-07-23 12:24:00 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer) |
| 2022-07-23 12:24:18 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-23 12:24:36 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-23 12:25:18 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-23 12:26:19 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-07-23 12:29:27 +0200 | benin0 | (~benin@183.82.24.158) (Read error: Connection reset by peer) |
| 2022-07-23 12:36:43 +0200 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2022-07-23 12:38:43 +0200 | FragByte | (~christian@user/fragbyte) |
| 2022-07-23 12:39:38 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-23 12:39:51 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 276 seconds) |
| 2022-07-23 12:40:31 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-23 12:45:06 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 264 seconds) |
| 2022-07-23 12:45:31 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-07-23 12:46:20 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-23 12:51:06 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 264 seconds) |
| 2022-07-23 12:51:40 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-23 12:54:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 12:55:39 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-23 12:56:14 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-23 12:57:04 +0200 | jargon | (~jargon@184.101.188.251) (Remote host closed the connection) |
| 2022-07-23 12:58:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-23 13:01:08 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2022-07-23 13:02:33 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2022-07-23 13:03:51 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 272 seconds) |
| 2022-07-23 13:04:06 +0200 | enemeth79 | (sid309041@id-309041.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-23 13:09:32 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-23 13:10:58 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-23 13:11:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 13:11:59 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-23 13:14:05 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-07-23 13:14:23 +0200 | radhika | (uid560836@id-560836.helmsley.irccloud.com) |
| 2022-07-23 13:15:28 +0200 | <radhika> | Hi what is the use of hoogle? I understand searching functions.. but as a newbie I don’t know the function anyway so what do I search? |
| 2022-07-23 13:19:07 +0200 | <int-e> | it's for searching by types |
| 2022-07-23 13:19:48 +0200 | <int-e> | @hoogle [a] -> [a] -> [a] |
| 2022-07-23 13:19:49 +0200 | <lambdabot> | Prelude (++) :: [a] -> [a] -> [a] |
| 2022-07-23 13:19:49 +0200 | <lambdabot> | Data.List (++) :: [a] -> [a] -> [a] |
| 2022-07-23 13:19:49 +0200 | <lambdabot> | GHC.Base (++) :: [a] -> [a] -> [a] |
| 2022-07-23 13:20:29 +0200 | <int-e> | So if you forget what the operator for list concatenation is, you could do that. |
| 2022-07-23 13:20:56 +0200 | <int-e> | (It doesn't always work this well, of course, because types do not fully describe function semantics.) |
| 2022-07-23 13:21:49 +0200 | <int-e> | Also those three results are all the same, exported from different modules. It's not perfect. |
| 2022-07-23 13:22:34 +0200 | <radhika> | Sorry to labour on this.. but is Comcast the only function which takes two lists and returns third ? |
| 2022-07-23 13:22:45 +0200 | <radhika> | I meant concat |
| 2022-07-23 13:22:51 +0200 | <int-e> | Whether that's useful for you... well you'll have to figure that out for yourself. |
| 2022-07-23 13:23:15 +0200 | <radhika> | Ok |
| 2022-07-23 13:23:25 +0200 | <int-e> | No, it's not the only one. |
| 2022-07-23 13:23:41 +0200 | <radhika> | That’s the only use case for hoogle right ? |
| 2022-07-23 13:24:27 +0200 | <radhika> | Basically if I know the type signature for a function I can shortlist all functions with that type sign.. |
| 2022-07-23 13:24:27 +0200 | <int-e> | https://hoogle.haskell.org/ will give you other results if you try that query. |
| 2022-07-23 13:24:43 +0200 | <int-e> | `interleave` is a convincing one |
| 2022-07-23 13:25:31 +0200 | <int-e> | Sometimes you'll see an identifier in code and not know which import it came from, Hoogle might help there too. |
| 2022-07-23 13:25:35 +0200 | int-e | shrugs |
| 2022-07-23 13:25:40 +0200 | <int-e> | I actually hardly use it. |
| 2022-07-23 13:26:56 +0200 | <radhika> | Also there is a drop down set :stackage and set : Haskell platform what’s the difference..? |
| 2022-07-23 13:27:04 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-23 13:27:33 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-07-23 13:30:50 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-23 13:30:54 +0200 | wonkydonky | (~wonkydonk@95.7.166.247) |
| 2022-07-23 13:31:38 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-07-23 13:32:03 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-23 13:36:10 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-23 13:38:33 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-23 13:42:30 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-23 13:44:51 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 244 seconds) |
| 2022-07-23 13:46:49 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-23 13:47:05 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-23 13:47:27 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-07-23 13:48:38 +0200 | famubu | (~famubu@14.139.174.50) (Ping timeout: 272 seconds) |
| 2022-07-23 13:49:03 +0200 | stefan-_ | (~cri@42dots.de) |
| 2022-07-23 13:49:46 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:a99c:c442:e059:77a3) |
| 2022-07-23 13:54:28 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-23 13:56:37 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2022-07-23 14:01:07 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-23 14:01:23 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-23 14:13:53 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-23 14:13:59 +0200 | noteness | (~noteness@user/noteness) (Ping timeout: 268 seconds) |
| 2022-07-23 14:14:36 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-23 14:15:13 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2022-07-23 14:16:01 +0200 | <tomsmeding> | radhika: those select different subsets of packages to search througj |
| 2022-07-23 14:16:15 +0200 | <tomsmeding> | For hoogle, stackage is generally a good bet |
| 2022-07-23 14:16:50 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-23 14:16:56 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-23 14:17:27 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-23 14:18:14 +0200 | <radhika> | R packages different in both ? |
| 2022-07-23 14:18:28 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-23 14:21:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-23 14:21:32 +0200 | <hpc> | they're both subsets of hackage, so any particular $package-$version is going to be the same in both, but which ones they have will be different |
| 2022-07-23 14:22:17 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-07-23 14:33:34 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-23 14:34:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 14:36:38 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-23 14:38:34 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-07-23 14:41:39 +0200 | Guest|8 | (~Guest|8@64.64.233.93.16clouds.com) |
| 2022-07-23 14:42:35 +0200 | Guest|8 | (~Guest|8@64.64.233.93.16clouds.com) (Client Quit) |
| 2022-07-23 14:47:30 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-07-23 15:09:06 +0200 | hosk1 | (~goober@90-231-13-185-no3430.tbcn.telia.com) (Quit: WeeChat 3.5) |
| 2022-07-23 15:11:15 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 268 seconds) |
| 2022-07-23 15:17:56 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-23 15:22:45 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 260 seconds) |
| 2022-07-23 15:24:07 +0200 | <naso> | i am having trouble building in prof mode in cabal |
| 2022-07-23 15:24:34 +0200 | <naso> | cabal install --enable-profiling --ghc-options="-fprof-auto -rtsopts" |
| 2022-07-23 15:24:35 +0200 | <naso> | cabal run project-exe -- +RTS -p |
| 2022-07-23 15:24:45 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-23 15:24:49 +0200 | <naso> | error: the flag -p requires the program to be built with -prof |
| 2022-07-23 15:24:53 +0200 | <naso> | ? |
| 2022-07-23 15:24:54 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-23 15:25:07 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-23 15:25:36 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Read error: Connection reset by peer) |
| 2022-07-23 15:25:37 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-23 15:25:49 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-23 15:25:57 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-23 15:28:01 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-23 15:29:31 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-07-23 15:29:32 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-07-23 15:30:22 +0200 | hosk1 | (~goober@90-231-13-185-no3430.tbcn.telia.com) |
| 2022-07-23 15:32:56 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-07-23 15:35:00 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 260 seconds) |
| 2022-07-23 15:36:00 +0200 | fef | (~thedawn@user/thedawn) (Ping timeout: 268 seconds) |
| 2022-07-23 15:36:32 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-23 15:36:57 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-23 15:37:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-23 15:37:27 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-23 15:37:27 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-23 15:37:29 +0200 | <naso> | i had to also pass `--enable-profiling` to `cabal run` |
| 2022-07-23 15:38:02 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-23 15:38:05 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-23 15:38:37 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-23 15:39:22 +0200 | <tomsmeding> | naso: indeed, `cabal run` doesn't care what you did before (e.g. build or install); it just looks at the flags it gets, builds the required executables if necessary, and runs the command |
| 2022-07-23 15:39:55 +0200 | <naso> | tomsmeding: thanks |
| 2022-07-23 15:40:06 +0200 | <tomsmeding> | `cabal install` builds an executable in the same manner, and installs it in some global directory, usually ~/.cabal/bin |
| 2022-07-23 15:40:32 +0200 | <tomsmeding> | The only thing that these commands share is caching of already-built things (with the same flags) |
| 2022-07-23 15:40:34 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:3df3:6514:cf29:be48) |
| 2022-07-23 15:41:18 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-07-23 15:41:26 +0200 | <tomsmeding> | `cabal exec` is different from build, run and install, because it just executes whatever executable is available without building -- i.e. `cabal build` + `cabal exec` probably does what you expected |
| 2022-07-23 15:41:47 +0200 | <tomsmeding> | But usually what you want is simply `cabal run` with the flags you want, and nothing else |
| 2022-07-23 15:44:29 +0200 | <naso> | i am building in profile to display a treemap with profiteur. So I could combine the `cabal build` and `cabal run` commands into one line> |
| 2022-07-23 15:44:31 +0200 | <naso> | ? |
| 2022-07-23 15:44:38 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-23 15:45:26 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-23 15:46:14 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-23 15:47:43 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2022-07-23 15:49:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 15:51:28 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 2022-07-23 15:54:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-23 15:54:19 +0200 | <[itchyjunk]> | My solution works but not sure if it's the most obvious way of doing this |
| 2022-07-23 15:54:20 +0200 | <[itchyjunk]> | https://bpa.st/Q4QQ |
| 2022-07-23 15:55:16 +0200 | <naso> | looks good to me |
| 2022-07-23 15:55:21 +0200 | <[itchyjunk]> | nice! |
| 2022-07-23 15:56:14 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (Quit: The Lounge - https://thelounge.chat) |
| 2022-07-23 15:57:03 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-23 15:57:03 +0200 | <int-e> | if you want to be a bit fancy, you can do basicOp '+' = (+) |
| 2022-07-23 15:57:07 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-23 15:57:29 +0200 | lys_ | (~lys@user/lys) |
| 2022-07-23 15:57:35 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) |
| 2022-07-23 15:58:44 +0200 | <int-e> | if you want to be incomprehensible, fromJust . flip lookup [('+',(+)),('-',(-)),('*',(*)),('/',div)] ...don't do that. |
| 2022-07-23 15:59:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-07-23 16:04:20 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-23 16:04:22 +0200 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
| 2022-07-23 16:04:46 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-07-23 16:08:41 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-23 16:08:59 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-23 16:09:22 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-23 16:13:54 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-23 16:17:44 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
| 2022-07-23 16:18:09 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-23 16:18:39 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-23 16:18:58 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-23 16:23:11 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-23 16:23:34 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-23 16:26:12 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-07-23 16:27:00 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) |
| 2022-07-23 16:27:15 +0200 | lys_ | (~lys@user/lys) (Quit: Leaving) |
| 2022-07-23 16:27:35 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-23 16:29:45 +0200 | moonsheep | (~user@user/moonsheep) |
| 2022-07-23 16:29:55 +0200 | <moonsheep> | When will text 2 make it into stackage? |
| 2022-07-23 16:31:47 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-07-23 16:32:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 16:33:17 +0200 | <[itchyjunk]> | :D that second solution looks like job security |
| 2022-07-23 16:36:38 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-23 16:39:29 +0200 | off^ | (~off@75-147-198-169-Atlanta.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-07-23 16:43:38 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:3df3:6514:cf29:be48) (Ping timeout: 240 seconds) |
| 2022-07-23 16:44:15 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 272 seconds) |
| 2022-07-23 16:44:17 +0200 | califax | (~califax@user/califx) |
| 2022-07-23 16:45:44 +0200 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-23 16:45:55 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-07-23 16:46:38 +0200 | talismanick | (~talismani@2601:200:c100:3850::dd64) |
| 2022-07-23 16:49:46 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-23 16:50:21 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 244 seconds) |
| 2022-07-23 16:50:48 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-23 16:50:54 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-07-23 16:51:41 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-07-23 16:51:47 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-07-23 16:51:55 +0200 | <tomsmeding> | naso: you don't need `cabal build` at all if you're going to run it afterwards anyway |
| 2022-07-23 16:51:59 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-07-23 16:53:58 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-07-23 16:56:03 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-07-23 16:59:54 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-07-23 17:01:01 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 268 seconds) |
| 2022-07-23 17:01:20 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-23 17:01:51 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-07-23 17:06:41 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:7ed8:b071:19a0:1de1) |
| 2022-07-23 17:06:41 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-23 17:09:06 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 264 seconds) |
| 2022-07-23 17:09:07 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-07-23 17:09:30 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-23 17:09:34 +0200 | <naso> | tomsmeding: got it--thanks :) |
| 2022-07-23 17:11:43 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:7ed8:b071:19a0:1de1) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-07-23 17:12:33 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2022-07-23 17:14:31 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-23 17:14:44 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-23 17:15:12 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 268 seconds) |
| 2022-07-23 17:18:45 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 244 seconds) |
| 2022-07-23 17:22:53 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-23 17:26:30 +0200 | talismanick | (~talismani@2601:200:c100:3850::dd64) (Ping timeout: 244 seconds) |
| 2022-07-23 17:26:41 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 2022-07-23 17:27:36 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-23 17:27:55 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-07-23 17:28:34 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-23 17:33:42 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-07-23 17:36:12 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:4df4:4757:dc2:3c10) (Remote host closed the connection) |
| 2022-07-23 17:36:31 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:4df4:4757:dc2:3c10) |
| 2022-07-23 17:40:14 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
| 2022-07-23 17:40:34 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-07-23 17:41:43 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-07-23 17:42:20 +0200 | MoC | (~moc@user/moc) |
| 2022-07-23 17:44:58 +0200 | zachel | (~zachel@user/zachel) |
| 2022-07-23 17:48:43 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2022-07-23 17:50:34 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-07-23 17:53:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-23 17:58:53 +0200 | mmhat | (~mmh@p200300f1c70559cbee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
| 2022-07-23 18:02:40 +0200 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) |
| 2022-07-23 18:10:01 +0200 | vysn | (~vysn@user/vysn) |
| 2022-07-23 18:11:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-23 18:12:19 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-23 18:12:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 18:13:42 +0200 | marinelli[m] | marinelli[m][m] |
| 2022-07-23 18:14:49 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:4df4:4757:dc2:3c10) (Quit: use-value) |
| 2022-07-23 18:19:44 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 244 seconds) |
| 2022-07-23 18:20:53 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-23 18:21:00 +0200 | famubu | (~famubu@14.139.174.50) |
| 2022-07-23 18:21:49 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-23 18:23:14 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-23 18:24:08 +0200 | califax | (~califax@user/califx) |
| 2022-07-23 18:26:14 +0200 | acarrico | (~acarrico@dhcp-68-142-48-19.greenmountainaccess.net) |
| 2022-07-23 18:27:59 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-07-23 18:28:09 +0200 | acarrico | (~acarrico@dhcp-68-142-48-19.greenmountainaccess.net) (Client Quit) |
| 2022-07-23 18:29:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-23 18:30:03 +0200 | marinelli[m][m] | marinelli[m] |
| 2022-07-23 18:30:09 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (Quit: Reconnecting) |
| 2022-07-23 18:30:23 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
| 2022-07-23 18:30:33 +0200 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) () |
| 2022-07-23 18:30:35 +0200 | agumonkey | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 2022-07-23 18:35:53 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-07-23 18:38:04 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-23 18:38:32 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
| 2022-07-23 18:41:51 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-07-23 18:42:50 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 260 seconds) |
| 2022-07-23 18:43:03 +0200 | econo | (uid147250@user/econo) |
| 2022-07-23 18:44:05 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-07-23 18:47:52 +0200 | famubu | (~famubu@14.139.174.50) (Quit: leaving) |
| 2022-07-23 18:49:38 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-07-23 18:51:52 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
| 2022-07-23 18:53:18 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-07-23 18:53:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 18:54:08 +0200 | <albet70> | how to get a file list ascending by time? listDirectory only seems not ordered |
| 2022-07-23 18:58:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-23 19:00:16 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-23 19:01:21 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-07-23 19:02:39 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-23 19:06:27 +0200 | <monochrom> | Perhaps you have to call getModificationTime for every file and do your own sorting. |
| 2022-07-23 19:06:45 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 244 seconds) |
| 2022-07-23 19:07:08 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 255 seconds) |
| 2022-07-23 19:09:15 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-23 19:10:25 +0200 | <int-e> | ...argh, getModificationTime follows symlinks. |
| 2022-07-23 19:10:58 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (Quit: Reconnecting) |
| 2022-07-23 19:11:12 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
| 2022-07-23 19:12:58 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) () |
| 2022-07-23 19:13:04 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-23 19:13:54 +0200 | alp_ | (~alp@user/alp) |
| 2022-07-23 19:13:57 +0200 | radhika | (uid560836@id-560836.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-23 19:14:18 +0200 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
| 2022-07-23 19:14:50 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-07-23 19:15:23 +0200 | <albet70> | yes, but I found there's no Data.Time.Clock.sort for UTCTime |
| 2022-07-23 19:15:37 +0200 | califax | (~califax@user/califx) |
| 2022-07-23 19:15:44 +0200 | <monochrom> | UTCTime is an Ord instance. |
| 2022-07-23 19:15:46 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-23 19:15:52 +0200 | <monochrom> | err, s/is/has/ |
| 2022-07-23 19:16:13 +0200 | <albet70> | so? |
| 2022-07-23 19:16:15 +0200 | EsoAlgo | (~EsoAlgo@129.146.136.145) (Ping timeout: 272 seconds) |
| 2022-07-23 19:16:37 +0200 | <albet70> | sort isn't asked by Ord |
| 2022-07-23 19:16:42 +0200 | <monochrom> | So you can use any sorting algorithm that just requires Ord. |
| 2022-07-23 19:16:44 +0200 | <c_wraith> | :t sort |
| 2022-07-23 19:16:46 +0200 | <lambdabot> | Ord a => [a] -> [a] |
| 2022-07-23 19:16:46 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2022-07-23 19:16:55 +0200 | <c_wraith> | Ord looks sufficient to me |
| 2022-07-23 19:16:59 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-23 19:17:02 +0200 | <albet70> | I see |
| 2022-07-23 19:17:09 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-23 19:17:09 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
| 2022-07-23 19:17:22 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-07-23 19:18:08 +0200 | <troydm> | what's default unimplemented function method, like how do I mark function unemplemented yet |
| 2022-07-23 19:18:34 +0200 | <troydm> | I'm doing error "unimplemented" but there ought to be something more elegant |
| 2022-07-23 19:18:46 +0200 | <c_wraith> | usually just set the body as undefined |
| 2022-07-23 19:18:49 +0200 | <albet70> | how to turn [IO String] to [String] in do notation? |
| 2022-07-23 19:19:43 +0200 | <int-e> | :t sequence |
| 2022-07-23 19:19:44 +0200 | <lambdabot> | (Traversable t, Monad m) => t (m a) -> m (t a) |
| 2022-07-23 19:19:57 +0200 | <troydm> | c_wraith: ahh, yes undefined |
| 2022-07-23 19:19:59 +0200 | <int-e> | ...right. that, with t = [] |
| 2022-07-23 19:20:00 +0200 | <monochrom> | If you used traverse, you wouldn't even have an intermediate [IO String]. |
| 2022-07-23 19:20:01 +0200 | <troydm> | c_wraith: thx |
| 2022-07-23 19:20:12 +0200 | <int-e> | :t mapM |
| 2022-07-23 19:20:13 +0200 | <lambdabot> | (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b) |
| 2022-07-23 19:20:22 +0200 | <int-e> | :t traverse |
| 2022-07-23 19:20:23 +0200 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 2022-07-23 19:20:52 +0200 | <int-e> | The old types were more beginner-friendly :P |
| 2022-07-23 19:23:02 +0200 | <c_wraith> | eh. when I was a beginner, having two *different* mapM/sequence functions was more confusing |
| 2022-07-23 19:24:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-23 19:24:05 +0200 | <c_wraith> | "why is that a type error? oh, because it's the wrong one. Ok, import the right one... and now there's a namespace collision error." |
| 2022-07-23 19:24:33 +0200 | <monochrom> | Did traverse exist back then? Or do you mean mapM_ and mapM? |
| 2022-07-23 19:25:11 +0200 | <c_wraith> | mapM and sequence. traverse existed, but it didn't have a monomorphic form and wasn't in the prelude. (still isn't, I think) |
| 2022-07-23 19:25:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 19:27:05 +0200 | <monochrom> | It is now, I tried 8.10.7 |
| 2022-07-23 19:28:04 +0200 | <c_wraith> | oh, it's traverse_ that wasn't added. but mapM_ is there! |
| 2022-07-23 19:28:14 +0200 | <albet70> | filelist <- listDirectory "./Downloads/"; tl <- traverse getModificationTime $ ("./Downloads/" <>) <$> filelist; print $ sort tl Variable not in scope: sort :: [time-1.9.3:Data.Time.Clock.Internal.UTCTime.UTCTime] -> a0 |
| 2022-07-23 19:28:38 +0200 | <c_wraith> | it's in Data.List |
| 2022-07-23 19:29:33 +0200 | <albet70> | aha |
| 2022-07-23 19:30:20 +0200 | <albet70> | I think listDirectory should have options like get file list ascending by time or size or whatever, why it's so poor? |
| 2022-07-23 19:30:36 +0200 | <c_wraith> | because it's cross-platform |
| 2022-07-23 19:30:38 +0200 | <albet70> | no one using it? |
| 2022-07-23 19:31:00 +0200 | <qrpnxz> | c_wraith: traverse and sequence are in the Prelude |
| 2022-07-23 19:31:23 +0200 | <qrpnxz> | foldMap also |
| 2022-07-23 19:31:25 +0200 | <qrpnxz> | but not fold |
| 2022-07-23 19:31:41 +0200 | <qrpnxz> | bit of a mixed bag. I usually end up having to import foldable |
| 2022-07-23 19:32:13 +0200 | <c_wraith> | honestly, I've never used fold. Somehow it just never comes up. |
| 2022-07-23 19:33:34 +0200 | <monochrom> | Wait, there is a "fold"?! |
| 2022-07-23 19:33:38 +0200 | <qrpnxz> | yeah, and then i also read that sum and product are not foldl' (!), so it's a bit of a mess |
| 2022-07-23 19:34:37 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-23 19:34:49 +0200 | <c_wraith> | :t fold |
| 2022-07-23 19:34:50 +0200 | <lambdabot> | (Foldable t, Monoid m) => t m -> m |
| 2022-07-23 19:35:08 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-07-23 19:35:17 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-23 19:35:19 +0200 | <c_wraith> | :t foldMap id |
| 2022-07-23 19:35:20 +0200 | <lambdabot> | (Foldable t, Monoid m) => t m -> m |
| 2022-07-23 19:35:46 +0200 | <c_wraith> | Somehow I just never end up in that situation |
| 2022-07-23 19:35:54 +0200 | <c_wraith> | oh... |
| 2022-07-23 19:35:57 +0200 | <c_wraith> | :t mconcat |
| 2022-07-23 19:35:58 +0200 | <lambdabot> | Monoid a => [a] -> a |
| 2022-07-23 19:36:02 +0200 | <c_wraith> | because of that |
| 2022-07-23 19:36:03 +0200 | <monochrom> | Haha oops oh well then I guess I was wrong last time to say "there are foldr, foldl, and foldMap, but there is no handwaving fold". |
| 2022-07-23 19:36:33 +0200 | <qrpnxz> | lol |
| 2022-07-23 19:37:24 +0200 | <c_wraith> | well. there isn't a handwaving "fold" idea that explains all of those. |
| 2022-07-23 19:37:35 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Quit: Client closed) |
| 2022-07-23 19:38:01 +0200 | lys_ | (~lys@user/lys) |
| 2022-07-23 19:38:26 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-23 19:38:57 +0200 | <c_wraith> | But I think I was also in that conversation, and it's why I led with "that looks like foldr by the type" |
| 2022-07-23 19:39:32 +0200 | <dolio> | sum and product have more optimized implementations for most types people use, as I recall. |
| 2022-07-23 19:40:23 +0200 | <qrpnxz> | huh |
| 2022-07-23 19:40:35 +0200 | <dolio> | As long as they're being used on specific types. |
| 2022-07-23 19:40:56 +0200 | <dolio> | Or, I suppose, types that are specifically known at compile time. |
| 2022-07-23 19:50:41 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-07-23 19:56:41 +0200 | kyborg2011 | (~kyborg201@217.147.170.194) |
| 2022-07-23 19:56:56 +0200 | kyborg2011 | (~kyborg201@217.147.170.194) (Client Quit) |
| 2022-07-23 19:57:52 +0200 | moonsheep | (~user@user/moonsheep) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1)) |
| 2022-07-23 19:59:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-23 20:02:37 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-07-23 20:06:07 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt juan@acm.org) |
| 2022-07-23 20:08:38 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-23 20:13:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-23 20:17:23 +0200 | <albet70> | I like foldl1, why not let reduce = foldl1? |
| 2022-07-23 20:19:46 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-23 20:20:23 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-23 20:20:36 +0200 | <EvanR> | your gratuitous bikeshedding has been reported |
| 2022-07-23 20:22:00 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-07-23 20:22:33 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
| 2022-07-23 20:22:50 +0200 | <darkling> | Which colour form did you use to make the report? :) |
| 2022-07-23 20:23:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-23 20:23:45 +0200 | <geekosaur> | I don't see it on discourse, it's not proper bikeshedding :þ |
| 2022-07-23 20:24:51 +0200 | <[exa]> | albet70: there's too many possibilities for how to sort the directory contents, any API for that would probably be chronically incomplete (and randomly non-working on certain unspoken platforms) |
| 2022-07-23 20:25:24 +0200 | <geekosaur> | and unreliable if a file is being written to when you check its size (ls/dir ignores this) |
| 2022-07-23 20:26:37 +0200 | <geekosaur> | (I have seen a C API for that kind of thing, limited to posix. now that I think about it, someone was trying to come up with applicatives…) |
| 2022-07-23 20:28:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-23 20:32:36 +0200 | agumonkey | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Ping timeout: 268 seconds) |
| 2022-07-23 20:35:55 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-23 20:35:55 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-07-23 20:35:55 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer) |
| 2022-07-23 20:35:55 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-07-23 20:35:55 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-23 20:36:29 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-07-23 20:36:40 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-23 20:36:52 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-23 20:36:57 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-23 20:37:08 +0200 | winny | (~weechat@user/winny) |
| 2022-07-23 20:40:39 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-23 20:41:03 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-07-23 20:41:09 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-23 20:41:30 +0200 | bgamari | (~bgamari@64.223.171.172) (Ping timeout: 240 seconds) |
| 2022-07-23 20:41:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-23 20:42:12 +0200 | bgamari | (~bgamari@64.223.132.170) |
| 2022-07-23 20:42:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 20:43:27 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 276 seconds) |
| 2022-07-23 20:44:54 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 244 seconds) |
| 2022-07-23 20:47:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-23 20:48:32 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 244 seconds) |
| 2022-07-23 20:50:13 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-07-23 20:51:01 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-23 20:51:07 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-07-23 20:51:12 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-07-23 20:51:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-23 20:54:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-23 21:01:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 21:04:19 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 2022-07-23 21:05:59 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-07-23 21:10:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-23 21:14:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-23 21:16:18 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-23 21:16:41 +0200 | winny | (~weechat@user/winny) |
| 2022-07-23 21:22:05 +0200 | malte | (~malte@mal.tc) (Ping timeout: 260 seconds) |
| 2022-07-23 21:29:56 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-23 21:30:04 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-23 21:30:12 +0200 | Rimas_K | (~Rimas_K@78-58-145-243.static.zebra.lt) |
| 2022-07-23 21:30:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-23 21:33:03 +0200 | fef | (~thedawn@user/thedawn) (Ping timeout: 268 seconds) |
| 2022-07-23 21:34:28 +0200 | malte | (~malte@mal.tc) |
| 2022-07-23 21:34:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-23 21:34:54 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-23 21:34:55 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-07-23 21:42:39 +0200 | <SamBellamy> | is this example https://paste.tomsmeding.com/ceyZBbr9 you wouldn't be able to tell if it was nothing or is just correct if you gave it [0] |
| 2022-07-23 21:42:43 +0200 | <SamBellamy> | in* |
| 2022-07-23 21:42:46 +0200 | <SamBellamy> | ?* |
| 2022-07-23 21:42:46 +0200 | <lambdabot> | Maybe you meant: v @ ? . |
| 2022-07-23 21:42:58 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 240 seconds) |
| 2022-07-23 21:44:05 +0200 | <geekosaur> | with [0] yes |
| 2022-07-23 21:44:14 +0200 | <geekosaur> | this is why Maybe exists |
| 2022-07-23 21:45:36 +0200 | <SamBellamy> | would you then change this "intOrZero Nothing = 0"? |
| 2022-07-23 21:46:17 +0200 | <geekosaur> | I wouldn't use intOrSZero at all, I'd use safeHead directly so I could tell Nothing from Just 0 |
| 2022-07-23 21:46:22 +0200 | <int-e> | don't use headOrZero? |
| 2022-07-23 21:46:33 +0200 | <geekosaur> | unless there is a good reason to default to 0 |
| 2022-07-23 21:47:20 +0200 | <int-e> | I mean, headOrZero may be legitimate, but you you want to distinguish [] and [headOrZero []] then no tweaking of the return value of headOrZero for the empty list will accomplish that. |
| 2022-07-23 21:47:32 +0200 | <int-e> | you you -> if you |
| 2022-07-23 21:49:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-23 21:49:49 +0200 | <SamBellamy> | alright |
| 2022-07-23 21:50:15 +0200 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) (Quit: WeeChat 3.6) |
| 2022-07-23 21:51:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-23 21:51:38 +0200 | Rimas_K | (~Rimas_K@78-58-145-243.static.zebra.lt) (Quit: Client closed) |
| 2022-07-23 21:51:41 +0200 | m1dnight | (~christoph@78.22.0.121) |
| 2022-07-23 21:55:51 +0200 | michalz | (~michalz@185.246.204.93) |
| 2022-07-23 21:55:56 +0200 | <SamBellamy> | How would this work? https://paste.tomsmeding.com/4HRYJ9qr I tried "iWantAString Right "hi"" |
| 2022-07-23 21:56:06 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:e1c1:d1bd:c7b:c0e9) |
| 2022-07-23 21:56:39 +0200 | <Bulby[m]> | backslash it, like other langs? |
| 2022-07-23 21:56:39 +0200 | <Bulby[m]> | "iWantAString Right\"hi\"" |
| 2022-07-23 21:56:46 +0200 | <SamBellamy> | Ok |
| 2022-07-23 21:57:10 +0200 | <SamBellamy> | btw, how come when I try to use backspace it repeats the previous thing on the terminal? |
| 2022-07-23 21:57:29 +0200 | <Bulby[m]> | on the haskell repl? |
| 2022-07-23 21:57:53 +0200 | <Bulby[m]> | it doesn't do that for me |
| 2022-07-23 21:57:55 +0200 | <SamBellamy> | The terminal on VSCode |
| 2022-07-23 21:58:08 +0200 | <Bulby[m]> | no idea, probably a binding |
| 2022-07-23 21:58:16 +0200 | <Bulby[m]> | doesn't do that in a normal terminal for me |
| 2022-07-23 21:58:29 +0200 | <Bulby[m]> | may be a windows thing for you 🤷 |
| 2022-07-23 21:58:30 +0200 | <SamBellamy> | maybe cos it's iterm?? |
| 2022-07-23 21:58:42 +0200 | <SamBellamy> | iterm2 |
| 2022-07-23 21:59:33 +0200 | <Bulby[m]> | no idea |
| 2022-07-23 21:59:40 +0200 | <SamBellamy> | ok no worries |
| 2022-07-23 22:03:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-23 22:03:05 +0200 | <geekosaur> | sounds like it might be https://gitlab.haskell.org/ghc/ghc/-/issues/20722 ? |
| 2022-07-23 22:05:35 +0200 | <geekosaur> | which iirc is awaiting a fixed haskeline |
| 2022-07-23 22:06:40 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
| 2022-07-23 22:07:57 +0200 | <monochrom> | I think I have a student who suffers that, too. |
| 2022-07-23 22:08:26 +0200 | <monochrom> | Currently he thinks that it's his own strange setup. (He does have a slightly strange setup.) |
| 2022-07-23 22:10:17 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) |
| 2022-07-23 22:14:19 +0200 | yauhsien | (~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-07-23 22:14:51 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 272 seconds) |
| 2022-07-23 22:17:56 +0200 | lys_ | (~lys@user/lys) (Quit: Leaving) |
| 2022-07-23 22:20:16 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-23 22:20:21 +0200 | <SamBellamy> | I keep getting an error https://paste.tomsmeding.com/H8L3GcK6 e.g. func False 7 |
| 2022-07-23 22:20:55 +0200 | <SamBellamy> | should it return 2? |
| 2022-07-23 22:21:44 +0200 | <Rembane> | SamBellamy: Have you tried calling it with func False (Just 7) ? |
| 2022-07-23 22:21:51 +0200 | <monochrom> | func False (Just 7) |
| 2022-07-23 22:21:58 +0200 | <monochrom> | Respect the types. |
| 2022-07-23 22:22:18 +0200 | <SamBellamy> | f |
| 2022-07-23 22:22:24 +0200 | <monochrom> | Be mechanical, not intuitive. |
| 2022-07-23 22:23:31 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-23 22:23:44 +0200 | <SamBellamy> | Shouldn't it return 2 and not "Just 7" |
| 2022-07-23 22:24:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-23 22:24:10 +0200 | <monochrom> | Who said it returns Just 7? We are saying the 2nd param is (Just 7) |
| 2022-07-23 22:24:29 +0200 | <geekosaur> | `Just 7` and `7` are different, incompatible types |
| 2022-07-23 22:24:44 +0200 | <geekosaur> | you cannot simply pass 7 where it expects a `Maybe Int` |
| 2022-07-23 22:25:42 +0200 | <Rembane> | SamBellamy: Also, try to read the type error again. If you need help you can put it in a paste bin and show it to us and we can help you. |
| 2022-07-23 22:26:25 +0200 | <monochrom> | I'm becoming pessimistic about that. |
| 2022-07-23 22:26:37 +0200 | vysn | (~vysn@user/vysn) |
| 2022-07-23 22:26:40 +0200 | <monochrom> | These days the next generation use vscode and hls etc. |
| 2022-07-23 22:27:02 +0200 | <monochrom> | The type error message will not appear in the REPL. |
| 2022-07-23 22:27:11 +0200 | <monochrom> | (not as text) |
| 2022-07-23 22:27:17 +0200 | <geekosaur> | they still show the type error. admittedly getting that into a pastebin might be a little more difficult |
| 2022-07-23 22:27:34 +0200 | <SamBellamy> | func False (Just 7) ==> Just 7 but then func False (Just 5) ==> 2 |
| 2022-07-23 22:27:45 +0200 | <geekosaur> | er |
| 2022-07-23 22:27:59 +0200 | <geekosaur> | it can't be returning 2 for the one and Just 7 for the other |
| 2022-07-23 22:28:05 +0200 | <monochrom> | It will appear when you hover your mouse at the relevant code, and it is in one of those annoying hover popups. |
| 2022-07-23 22:28:09 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2022-07-23 22:28:24 +0200 | <monochrom> | At best you can hope for the student to send you a PNG screenshot. |
| 2022-07-23 22:28:33 +0200 | <darkling> | Doesn't everyone paste screenshots these days? :( |
| 2022-07-23 22:28:47 +0200 | <monochrom> | At worst the screenshot is cropped wrong so it is missing the most important part. |
| 2022-07-23 22:28:50 +0200 | <SamBellamy> | I swear it returned Just 7 I can send a pic |
| 2022-07-23 22:28:52 +0200 | <Rembane> | The horriblest and also most exciting is a photo taken of the screen. |
| 2022-07-23 22:29:02 +0200 | <SamBellamy> | lmao |
| 2022-07-23 22:29:19 +0200 | <monochrom> | (It is always cropping away the most important part.) |
| 2022-07-23 22:29:29 +0200 | <Rembane> | SamBellamy: What happens if you load the code into ghci and tries to run it? |
| 2022-07-23 22:29:31 +0200 | <darkling> | I've seen a number of those... usually kernel oopses. |
| 2022-07-23 22:30:08 +0200 | <Rembane> | darkling: The best of those are the ones that only have the error message: "Kernel panic. Core dumped." |
| 2022-07-23 22:30:24 +0200 | <monochrom> | One day I should be angry enough to actually vocally oppose any form of IDEs on that ground. |
| 2022-07-23 22:30:29 +0200 | <geekosaur> | https://paste.tomsmeding.com/2a43aOdb |
| 2022-07-23 22:30:52 +0200 | <monochrom> | or alternatively s/angry/drunk/ |
| 2022-07-23 22:31:10 +0200 | <Rembane> | monochrom: Why not both? |
| 2022-07-23 22:31:18 +0200 | <monochrom> | heh yeah |
| 2022-07-23 22:31:20 +0200 | <geekosaur> | (I have not tried to do this in vscode, although I have that set up.) |
| 2022-07-23 22:31:38 +0200 | <Rembane> | geekosaur: What do :{ and :} do? |
| 2022-07-23 22:31:39 +0200 | <monochrom> | "class Angry a => Drunk a" so yeah |
| 2022-07-23 22:31:49 +0200 | <monochrom> | ghci multi-line mode! |
| 2022-07-23 22:31:53 +0200 | <geekosaur> | multiline input |
| 2022-07-23 22:31:53 +0200 | <darkling> | I still don't use an IDE. Everyone at work thinks I'm weird. |
| 2022-07-23 22:32:00 +0200 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2022-07-23 22:32:04 +0200 | <Rembane> | monochrom, geekosaur: Sweet! Thank you! |
| 2022-07-23 22:32:05 +0200 | <darkling> | (They're probably right) |
| 2022-07-23 22:32:08 +0200 | <geekosaur> | so everything is taken as one definition instead of each line overwriting the previous |
| 2022-07-23 22:32:14 +0200 | <Rembane> | darkling: What do you use instead? |
| 2022-07-23 22:32:22 +0200 | <darkling> | emacs and a terminal. |
| 2022-07-23 22:32:27 +0200 | <monochrom> | DId you also know: xpath comments are like (: this is a comment, so happy :) |
| 2022-07-23 22:32:33 +0200 | <geekosaur> | emacs is the original IDE |
| 2022-07-23 22:32:52 +0200 | <geekosaur> | I mostly brought up vscode because I didn't feel like fighting emacs to set up HLS |
| 2022-07-23 22:32:52 +0200 | <darkling> | I only really use emacs for syntax highlighting and indentation. |
| 2022-07-23 22:32:53 +0200 | <Rembane> | darkling: Good stuff! |
| 2022-07-23 22:32:59 +0200 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-23 22:33:06 +0200 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-23 22:33:06 +0200 | <geekosaur> | hm |
| 2022-07-23 22:33:11 +0200 | <SamBellamy> | I did load it |
| 2022-07-23 22:33:24 +0200 | <SamBellamy> | is there a png paste bin? |
| 2022-07-23 22:33:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 22:33:34 +0200 | <geekosaur> | imgur, usually |
| 2022-07-23 22:34:07 +0200 | <monochrom> | emacs haskell-mode offers both error-message-in-hover and error-message-in-repl so I don't mind. |
| 2022-07-23 22:34:32 +0200 | <geekosaur> | imgur.com more specifically |
| 2022-07-23 22:34:49 +0200 | <monochrom> | To be fair, hover is nice when you don't need to copy-paste the information. |
| 2022-07-23 22:35:22 +0200 | <monochrom> | Ugh I don't want to see a pic thanks but no thanks. |
| 2022-07-23 22:35:22 +0200 | <geekosaur> | interestingly, the hovers I usually get stick around if I mouse into them so I can click on active parts and even copy some things |
| 2022-07-23 22:35:36 +0200 | <geekosaur> | although that's generally in code |
| 2022-07-23 22:35:54 +0200 | <monochrom> | Ah that's nice, yeah as long as it's copyable I won't whine. |
| 2022-07-23 22:37:12 +0200 | <hpc> | imgur's gotten awful |
| 2022-07-23 22:37:33 +0200 | <hpc> | i have javascript and cookie whitelists in my firefox, and somehow nothing i do makes imgur load for me |
| 2022-07-23 22:37:36 +0200 | <monochrom> | Oh, imgur's gotten more awful? (I haven't checked or care heh) |
| 2022-07-23 22:37:51 +0200 | <hpc> | maybe dropbox? i have no idea what they've been up to though |
| 2022-07-23 22:37:52 +0200 | <Rembane> | I wonder if a png can be put in a Github Gist. |
| 2022-07-23 22:38:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-23 22:38:58 +0200 | <geekosaur> | github ime won't render graphics |
| 2022-07-23 22:38:59 +0200 | <hpc> | looks like gists are text only |
| 2022-07-23 22:39:22 +0200 | <monochrom> | Time to recall the art of ascii art :) |
| 2022-07-23 22:39:28 +0200 | <hpc> | if you're fine with it being a bit tedious, you can create a "gist" repo |
| 2022-07-23 22:39:32 +0200 | <geekosaur> | aalib still exists 🙂 |
| 2022-07-23 22:39:33 +0200 | <SamBellamy> | https://unsee.cc/album#nD8laI7qAwB1ThIH |
| 2022-07-23 22:39:38 +0200 | <hpc> | and then delete it later |
| 2022-07-23 22:39:46 +0200 | <Rembane> | Ach! I was hoping for a sweet hack. |
| 2022-07-23 22:39:51 +0200 | <SamBellamy> | sorry |
| 2022-07-23 22:39:55 +0200 | <SamBellamy> | I hope that works |
| 2022-07-23 22:39:57 +0200 | dsrt^ | (~dsrt@73.54.250.255) |
| 2022-07-23 22:40:11 +0200 | <hpc> | maybe you can base64 the image and make the gist an html file :D |
| 2022-07-23 22:40:16 +0200 | <Rembane> | :D |
| 2022-07-23 22:40:44 +0200 | <SamBellamy> | hpc: is there a tool for that? :D |
| 2022-07-23 22:40:46 +0200 | <monochrom> | Oh oh I know! Made your picture in xpm format. Which is C code. Now it's "text"... >:) |
| 2022-07-23 22:41:10 +0200 | <Rembane> | SamBellamy: The error message says that the function needs a (Maybe Int) and when you give it an Int the typechecker gets a bit confused and says that it can't find the correct type class. |
| 2022-07-23 22:41:43 +0200 | <Rembane> | SamBellamy: What it boils down to is that you need to wrap the integer in a (Just ...) |
| 2022-07-23 22:41:43 +0200 | <geekosaur> | I think we got past that? the question is now the part in the middle, but I wonder how deranged the definition was at that point |
| 2022-07-23 22:41:52 +0200 | <SamBellamy> | I think the unexpected behaviour was func False (Just 7) ==> Just 7 |
| 2022-07-23 22:42:03 +0200 | <monochrom> | SamBellamy: What's your question again? Everything in the screenshot makes sense wrt the code. |
| 2022-07-23 22:42:07 +0200 | <Rembane> | Oh. I'm joining the typechecker in being confused. |
| 2022-07-23 22:42:22 +0200 | <monochrom> | False? True? |
| 2022-07-23 22:42:29 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-23 22:42:40 +0200 | <SamBellamy> | monochrom: I think this part func False (Just 7) ==> Just 7? |
| 2022-07-23 22:42:48 +0200 | <SamBellamy> | expecting 2 |
| 2022-07-23 22:43:03 +0200 | <monochrom> | OK I see that one now. |
| 2022-07-23 22:43:17 +0200 | <monochrom> | An old version of your code before you saved? |
| 2022-07-23 22:43:39 +0200 | <SamBellamy> | I copy and pasted it, I didn't change the code, it's from Haskell mooc |
| 2022-07-23 22:44:01 +0200 | <monochrom> | Can you try again? |
| 2022-07-23 22:44:07 +0200 | <SamBellamy> | tbs I did change it from "f" to "func" but that wouldn't make a difference I don't think |
| 2022-07-23 22:44:11 +0200 | <monochrom> | I mean, s/Can/Could/ |
| 2022-07-23 22:44:49 +0200 | <SamBellamy> | now it works fine i.e. func False (Just 7) ==> 2 |
| 2022-07-23 22:44:57 +0200 | <monochrom> | Yeah you didn't save. |
| 2022-07-23 22:45:01 +0200 | <SamBellamy> | but I just wanted to show the error |
| 2022-07-23 22:45:19 +0200 | <monochrom> | It affects my students all the time too. Yes they're using vscode too. |
| 2022-07-23 22:45:39 +0200 | <SamBellamy> | What editor would be best? |
| 2022-07-23 22:45:58 +0200 | <monochrom> | I know in theoy vscode autosaves. In practice there is like 1% or 0.1% chance there is some race condition or something? and it misses a beat. |
| 2022-07-23 22:46:14 +0200 | <monochrom> | Oh vscode is fine. Just explicitly tell it to save. |
| 2022-07-23 22:46:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-23 22:46:54 +0200 | <SamBellamy> | what one do you use? |
| 2022-07-23 22:46:59 +0200 | <SamBellamy> | thinking of switching |
| 2022-07-23 22:47:02 +0200 | <monochrom> | emacs |
| 2022-07-23 22:47:03 +0200 | <SamBellamy> | maybe Notepad |
| 2022-07-23 22:47:19 +0200 | <Rembane> | Neovim |
| 2022-07-23 22:47:20 +0200 | <monochrom> | But emacs takes forever to learn. I don't recommend bothering. |
| 2022-07-23 22:47:22 +0200 | <geekosaur> | I don't think it autosaves by default, at least it hasn't here and I am running it pretty much as installed |
| 2022-07-23 22:47:24 +0200 | <SamBellamy> | not Notepad++, just Notepad |
| 2022-07-23 22:47:32 +0200 | <SamBellamy> | :O |
| 2022-07-23 22:47:38 +0200 | <monochrom> | Actually I recommend Notepad++ on Windows. |
| 2022-07-23 22:47:41 +0200 | <geekosaur> | notepad++ would be much better for programming |
| 2022-07-23 22:47:43 +0200 | <SamBellamy> | I need to learn vim |
| 2022-07-23 22:47:58 +0200 | <monochrom> | If you really like to learn vim, that's cool too. |
| 2022-07-23 22:48:02 +0200 | <SamBellamy> | jk jk, I did use Notepad++ when I was using windows |
| 2022-07-23 22:48:04 +0200 | <darkling> | I used to know someone who wrote his Java in WordPad... |
| 2022-07-23 22:48:15 +0200 | <Rembane> | darkling: In .rtf files? |
| 2022-07-23 22:48:20 +0200 | <SamBellamy> | darkling: next level |
| 2022-07-23 22:48:39 +0200 | <SamBellamy> | darkling: that person is operating on a higher plane |
| 2022-07-23 22:48:43 +0200 | <SamBellamy> | another dimension |
| 2022-07-23 22:48:57 +0200 | <darkling> | It's odd. He didn't *look* insane. :) |
| 2022-07-23 22:49:08 +0200 | <monochrom> | No no no. Handwriting an xpm file is the next dimension. >:) |
| 2022-07-23 22:49:23 +0200 | <SamBellamy> | monochrom: in an exam, imagine |
| 2022-07-23 22:49:34 +0200 | <monochrom> | But I guess you can go "why not both" and handwrite an xpm file in wordpad... |
| 2022-07-23 22:49:52 +0200 | <Rembane> | I suppose memory can be written in Paint. |
| 2022-07-23 22:50:26 +0200 | <monochrom> | Oh oh oh I have one more level! Handwrite an xpm file in Paint and run OCR... |
| 2022-07-23 22:50:40 +0200 | <monochrom> | s/write/draw/ |
| 2022-07-23 22:50:57 +0200 | <monochrom> | Thanks for the Paint tip! |
| 2022-07-23 22:51:14 +0200 | <Rembane> | ^^ |
| 2022-07-23 22:51:18 +0200 | <Rembane> | This reminds me of: https://xkcd.com/378/ |
| 2022-07-23 22:51:46 +0200 | <monochrom> | "Hi which editor/IDE do you use to code?" "I hand-draw Haskell in Paint and run OCR" |
| 2022-07-23 22:51:48 +0200 | <SamBellamy> | what's the difference between vim and emacs? |
| 2022-07-23 22:51:55 +0200 | <SamBellamy> | LMAO |
| 2022-07-23 22:52:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-23 22:53:19 +0200 | <Rembane> | SamBellamy: vim is using different modes to edit and type more text etc, while emacs relies on the CTRL key. They are both reasonable appraoches, try both editors and see which one you like the most. |
| 2022-07-23 22:53:20 +0200 | <geekosaur> | these days, just that emacs defaults to input mode whereas vim defaults to command mode |
| 2022-07-23 22:53:28 +0200 | <monochrom> | "This is known as untyped Haskell" |
| 2022-07-23 22:53:37 +0200 | <geekosaur> | or that, more completely |
| 2022-07-23 22:54:25 +0200 | <darkling> | monochrom: ROFL |
| 2022-07-23 22:54:31 +0200 | <Rembane> | monochrom: Typing the technical interview? |
| 2022-07-23 22:55:25 +0200 | <monochrom> | And the last one, I'll stop: I hand-draw Haskell in Paint and send the pic to my child, my child types it up. This is known as Dependently Typed Haskell. |
| 2022-07-23 22:55:47 +0200 | <SamBellamy> | whiteboard interview, writes up python, "ok great, now lets code that up", *pulls out phone to run OCR* |
| 2022-07-23 22:56:36 +0200 | michalz | (~michalz@185.246.204.93) (Remote host closed the connection) |
| 2022-07-23 22:56:54 +0200 | <Rembane> | :D |
| 2022-07-23 22:57:27 +0200 | <Rembane> | SamBellamy: I want to be able to code like that. I found a blog post a long time ago by someone who used trees drawn on paper to code in J, but I can't find it again. |
| 2022-07-23 22:59:52 +0200 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) () |
| 2022-07-23 22:59:58 +0200 | <hpc> | when i write haskell i only use characters that can be written in a single stroke |
| 2022-07-23 23:00:01 +0200 | <hpc> | that's called linear typing |
| 2022-07-23 23:00:14 +0200 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-23 23:00:27 +0200 | <SamBellamy> | Rembane: would be a cool final year project |
| 2022-07-23 23:00:38 +0200 | <Rembane> | SamBellamy: ^^ |
| 2022-07-23 23:00:38 +0200 | <SamBellamy> | also, I'm done with Safari, keeps lagging |
| 2022-07-23 23:06:09 +0200 | <monochrom> | haha hpc nice |
| 2022-07-23 23:13:53 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-07-23 23:17:58 +0200 | Digit | (~user@user/digit) |
| 2022-07-23 23:19:38 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-07-23 23:21:17 +0200 | talismanick | (~talismani@2601:644:8300:c010::8544) |
| 2022-07-23 23:24:04 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-07-23 23:26:38 +0200 | agumonkey | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 2022-07-23 23:30:25 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 260 seconds) |
| 2022-07-23 23:30:43 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-23 23:31:22 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-23 23:31:46 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-07-23 23:36:02 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:a99c:c442:e059:77a3) (Read error: Connection reset by peer) |
| 2022-07-23 23:36:40 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-07-23 23:37:30 +0200 | lucyy | (~user@5.151.88.4) |
| 2022-07-23 23:43:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-23 23:44:25 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-23 23:55:34 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds) |
| 2022-07-23 23:56:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-23 23:56:29 +0200 | lucyy | (~user@5.151.88.4) (Changing host) |
| 2022-07-23 23:56:29 +0200 | lucyy | (~user@user/lucyy) |
| 2022-07-23 23:59:07 +0200 | dsrt^ | (~dsrt@73.54.250.255) (Ping timeout: 268 seconds) |
| 2022-07-23 23:59:21 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:e1c1:d1bd:c7b:c0e9) (Ping timeout: 272 seconds) |