2021-07-22 00:00:12 +0200 | <janus> | arkanoid: do you know about 'flip' ? |
2021-07-22 00:00:35 +0200 | <monochrom> | or x.logBase(2) |
2021-07-22 00:01:45 +0200 | <janus> | or ",".join(array) hehehe |
2021-07-22 00:01:50 +0200 | <sm> | this probably works, but wouldn't be idiomatic: foo&fooDoSomething a b |
2021-07-22 00:01:51 +0200 | <monochrom> | haha |
2021-07-22 00:02:10 +0200 | <janus> | i think that ordering has probably caused the most bikeshedding, measured in hours. if you consider how popular python is |
2021-07-22 00:03:59 +0200 | Null_A | (~null_a@2601:645:8700:2290:5d44:532d:1cae:2f91) |
2021-07-22 00:04:25 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
2021-07-22 00:05:09 +0200 | Guest68 | (~Guest68@ppp046176105030.access.hol.gr) (Quit: Client closed) |
2021-07-22 00:06:22 +0200 | Cajun | (~Cajun@ip98-163-211-112.no.no.cox.net) |
2021-07-22 00:06:34 +0200 | h98 | (~h98@187.83.249.216.dyn.smithville.net) |
2021-07-22 00:08:14 +0200 | Bayes | (~Bayes@user/bayes) (Quit: Connection closed) |
2021-07-22 00:11:27 +0200 | pesada | (~agua@191.177.175.57) |
2021-07-22 00:12:04 +0200 | agua | (~agua@2804:18:4e:2dda:1:0:4058:6b7c) (Read error: Connection reset by peer) |
2021-07-22 00:12:08 +0200 | Core2909 | (~agua@2804:18:4e:2dda:1:0:4058:6b7c) |
2021-07-22 00:13:57 +0200 | Null_A | (~null_a@2601:645:8700:2290:5d44:532d:1cae:2f91) (Remote host closed the connection) |
2021-07-22 00:14:00 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2021-07-22 00:15:29 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 255 seconds) |
2021-07-22 00:15:45 +0200 | pesada | (~agua@191.177.175.57) (Ping timeout: 255 seconds) |
2021-07-22 00:19:01 +0200 | kayprish | (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Remote host closed the connection) |
2021-07-22 00:19:21 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 00:19:44 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
2021-07-22 00:19:53 +0200 | Null_A | (~null_a@2601:645:8700:2290:c911:1c05:b98d:d069) |
2021-07-22 00:20:18 +0200 | <dsal> | arkanoid: You can add packages, but I don't know what Data.List.Stack is, so it may not be actively hiding it from you. |
2021-07-22 00:20:45 +0200 | <geekosaur> | are you sure that's not Data.List.Split? |
2021-07-22 00:22:04 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) (Quit: Reconnecting) |
2021-07-22 00:22:21 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) |
2021-07-22 00:22:34 +0200 | <arkanoid> | sorry, I mistyped, I just mean Data.List.Split |
2021-07-22 00:23:21 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) (Client Quit) |
2021-07-22 00:23:28 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
2021-07-22 00:23:35 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 255 seconds) |
2021-07-22 00:23:37 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) |
2021-07-22 00:23:57 +0200 | <geekosaur> | install the "split" package |
2021-07-22 00:23:58 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) (Changing host) |
2021-07-22 00:23:58 +0200 | zfnmxt | (~zfnmxtzfn@user/zfnmxt) |
2021-07-22 00:24:23 +0200 | zangi | (~zangi@103.154.230.230) (Ping timeout: 265 seconds) |
2021-07-22 00:25:10 +0200 | zangi | (~zangi@103.154.230.230) |
2021-07-22 00:25:53 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 252 seconds) |
2021-07-22 00:26:22 +0200 | dextaa | (~DV@37.201.214.197) (Ping timeout: 246 seconds) |
2021-07-22 00:27:45 +0200 | <arkanoid> | and also edit the .cabal file. I might be cheating, but that's ok |
2021-07-22 00:27:48 +0200 | waleee | (~waleee@h-98-128-228-119.na.cust.bahnhof.se) |
2021-07-22 00:27:56 +0200 | <zangi> | can I use monad to repeat f in this `(f . f . f . f) x`? |
2021-07-22 00:28:06 +0200 | dextaa | (~DV@aftr-37-201-214-197.unity-media.net) |
2021-07-22 00:28:52 +0200 | ph88^ | (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de) |
2021-07-22 00:30:22 +0200 | <sm> | it doesn't apparently require a monad |
2021-07-22 00:30:30 +0200 | <sm> | https://hoogle.haskell.org/?hoogle=Int+-%3E+%28a+-%3E+a%29+-%3E+a+-%3E+a&scope=set%3Astackage shows some implementations |
2021-07-22 00:30:40 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds) |
2021-07-22 00:30:51 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 258 seconds) |
2021-07-22 00:30:58 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
2021-07-22 00:32:08 +0200 | ph88 | (~ph88@2a02:8109:9e00:7e5c:c502:f058:b589:c70c) (Ping timeout: 255 seconds) |
2021-07-22 00:33:16 +0200 | <ph88^> | i made this Dockerfile to build haskell static binary https://bpa.st/LNHQ when i run the command stack build --ghc-options '-static -optl-static -split-sections' --docker --docker-image "haskell-build" i get this message https://bpa.st/6OFA how can i make it work with the right version ? |
2021-07-22 00:33:41 +0200 | <monochrom> | Haha I found a typo in the Haskell 2010 Report. ascSymbol has U+22C6 ⋆ where it should have U+002A * |
2021-07-22 00:34:23 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
2021-07-22 00:34:41 +0200 | <ph88^> | maerwald, ^ ? |
2021-07-22 00:35:09 +0200 | <sm> | what's your platform ph88^ ? |
2021-07-22 00:35:27 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
2021-07-22 00:35:28 +0200 | <ph88^> | for building the docker image ? ubuntu 20.04 inside of virtualbox |
2021-07-22 00:35:30 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds) |
2021-07-22 00:35:47 +0200 | <zangi> | sm: what if f in `nest n f x` has type `Monad m => a -> m a` |
2021-07-22 00:35:59 +0200 | <sm> | what does `arch` say ? |
2021-07-22 00:36:31 +0200 | <sm> | seems odd that there wouldn't be a ghc 8.10 binary. Is your stack up to date ? |
2021-07-22 00:37:00 +0200 | <sm> | maybe it's confused by this -ncurses6 suffix |
2021-07-22 00:37:55 +0200 | <maerwald[m]> | ph88^: I've never used stack --docker |
2021-07-22 00:38:03 +0200 | <ph88^> | sm arch run where ? Maybe you missed that i'm building from a docker container ? |
2021-07-22 00:38:10 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
2021-07-22 00:38:19 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
2021-07-22 00:38:32 +0200 | <ph88^> | maerwald[m], what would you do ? download your project code and do the build with Dockerfile commands ? |
2021-07-22 00:38:34 +0200 | <sm> | ph88^: wherever you're running that stack command, run `arch` ? |
2021-07-22 00:38:50 +0200 | <ph88^> | sm x86_64 |
2021-07-22 00:38:56 +0200 | <maerwald[m]> | ph88^: yeah |
2021-07-22 00:39:36 +0200 | <maerwald[m]> | I've done that before. It works. |
2021-07-22 00:40:38 +0200 | <maerwald[m]> | ph88^: also, you need to adjust PATH |
2021-07-22 00:41:04 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
2021-07-22 00:41:28 +0200 | <ph88^> | maybe because i never ran this command, thus no system ghc was found inside docker container ? https://gist.github.com/hasufell/f0893abfbba63ac4ea40feb0520946ee#file-dockerfile-L10 |
2021-07-22 00:41:57 +0200 | <ph88^> | maerwald[m], how to adjust path ? |
2021-07-22 00:42:20 +0200 | <ph88^> | i'm not sure between the difference of ghcup set ghc and these commands here https://github.com/haskell-works/cabal-cache/blob/66252484c7d0dbcb79b082ac95cb83213cdc892f/.circle… |
2021-07-22 00:42:35 +0200 | Matthias1 | (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Remote host closed the connection) |
2021-07-22 00:43:21 +0200 | shutdown_-h_now | (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 268 seconds) |
2021-07-22 00:43:45 +0200 | DNH | (~DNH@2a02:8108:1100:16d8:808b:9f4a:c222:7def) (Quit: Textual IRC Client: www.textualapp.com) |
2021-07-22 00:43:57 +0200 | <ph88^> | building the container with ghcup seems to have gone well btw https://bpa.st/L3MA |
2021-07-22 00:45:38 +0200 | xff0x_ | (~xff0x@2001:1a81:530d:8900:cddd:a545:4e9e:a55d) (Ping timeout: 255 seconds) |
2021-07-22 00:46:15 +0200 | zebrag | (~chris@user/zebrag) |
2021-07-22 00:46:32 +0200 | xff0x_ | (~xff0x@2001:1a81:530d:8900:7530:d6ba:9d47:69d1) |
2021-07-22 00:46:38 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Remote host closed the connection) |
2021-07-22 00:47:11 +0200 | <maerwald[m]> | You can also add BOOTSTRAP_HASKELL_INSTALL_STACK=yes |
2021-07-22 00:48:00 +0200 | <maerwald[m]> | /root/.ghcup/bin needs to be in PATH |
2021-07-22 00:48:18 +0200 | <maerwald[m]> | See the link earlier |
2021-07-22 00:48:38 +0200 | agua | (~agua@191.177.175.57) |
2021-07-22 00:49:08 +0200 | <ph88^> | not sure if i need stack to be installed in the container, when on the host stack is using the container to build stuff .. but ok |
2021-07-22 00:50:31 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
2021-07-22 00:50:35 +0200 | <maerwald[m]> | I always forget how to set PATH in a docker build. There are always caveats. |
2021-07-22 00:50:44 +0200 | Vajb | (~Vajb@85-76-37-76-nat.elisa-mobile.fi) |
2021-07-22 00:51:18 +0200 | <ph88^> | ye i'm not even sure what shell alpine is running there .. i'm trying to find out .. everytime restarting the docker image build and download ghc over again o_O |
2021-07-22 00:51:32 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-07-22 00:52:12 +0200 | Core2909 | (~agua@2804:18:4e:2dda:1:0:4058:6b7c) (Ping timeout: 245 seconds) |
2021-07-22 00:52:14 +0200 | <maerwald[m]> | Docker is amazing |
2021-07-22 00:52:17 +0200 | <maerwald[m]> | Lol |
2021-07-22 00:52:46 +0200 | <yushyin> | changed my mind |
2021-07-22 00:53:22 +0200 | <arkanoid> | try nix shell or nix + docker, it is even better |
2021-07-22 00:55:06 +0200 | <dsal> | nix + docker? |
2021-07-22 00:55:59 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 255 seconds) |
2021-07-22 00:56:05 +0200 | <maerwald[m]> | The worst of both worlds |
2021-07-22 00:58:21 +0200 | shutdown_-h_now | (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) |
2021-07-22 00:58:33 +0200 | <arkanoid> | Not really. It generates the smallest images. https://nixos.org/guides/building-and-running-docker-images.html |
2021-07-22 00:59:20 +0200 | Matthias1 | (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
2021-07-22 00:59:45 +0200 | <ph88^> | seems alpine is running "ash" shell (never heard of) and only rc/profile file available by default lives under /etc/profile |
2021-07-22 01:00:19 +0200 | <janus> | there are many minimalist shells forcing people to avoid bashisms |
2021-07-22 01:00:19 +0200 | <Arahael> | arkanoid: even without nix, docker is small enough. |
2021-07-22 01:00:26 +0200 | <janus> | probably a secret plot of the BSDers |
2021-07-22 01:01:36 +0200 | <arkanoid> | Arahael: it depends on the context. Containers != docker, and they run on raspberry too. |
2021-07-22 01:03:15 +0200 | <janus> | so when you say nix+docker, what do you mean? using nix to build an OCI image? |
2021-07-22 01:03:44 +0200 | aegon | (~mike@174.127.249.180) |
2021-07-22 01:05:30 +0200 | Matthias1 | (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Ping timeout: 240 seconds) |
2021-07-22 01:06:59 +0200 | <janus> | docker is a tricky term, very polymorphic :O |
2021-07-22 01:07:03 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Quit: Ping timeout (120 seconds)) |
2021-07-22 01:07:06 +0200 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) (Quit: Ping timeout (120 seconds)) |
2021-07-22 01:07:13 +0200 | spirgel_ | (spirgel@gateway/vpn/protonvpn/spirgel) |
2021-07-22 01:07:16 +0200 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) |
2021-07-22 01:07:31 +0200 | <arkanoid> | use nix to build the minimum environment to run your process in a reproducible way, then pack it wherever you need. If you need to use layers, just take the dependency graph and draw a line where you need |
2021-07-22 01:07:45 +0200 | davl | (~davl@207.154.228.18) (Read error: Connection reset by peer) |
2021-07-22 01:07:56 +0200 | haasn | (~nand@haasn.dev) (Remote host closed the connection) |
2021-07-22 01:08:00 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
2021-07-22 01:08:04 +0200 | davl | (~davl@207.154.228.18) |
2021-07-22 01:08:07 +0200 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-07-22 01:08:07 +0200 | hexology | (~hexology@user/hexology) (Quit: hex on you ...) |
2021-07-22 01:08:15 +0200 | haasn | (~nand@haasn.dev) |
2021-07-22 01:08:15 +0200 | <arkanoid> | https://grahamc.com/blog/nix-and-layered-docker-images |
2021-07-22 01:08:26 +0200 | connrs | (~connrs@user/connrs) |
2021-07-22 01:08:26 +0200 | hexology | (~hexology@user/hexology) |
2021-07-22 01:08:57 +0200 | <Arahael> | arkanoid: yeah, well, i'm referring to docker. :) |
2021-07-22 01:09:08 +0200 | <ph88^> | damn, i added the ghcup stuff to $PATH and still can't find ghc :( |
2021-07-22 01:09:50 +0200 | pesada | (~agua@2804:18:4e:2dda:1:0:4058:6b7c) |
2021-07-22 01:10:12 +0200 | zangi | (~zangi@103.154.230.230) (Quit: zangi) |
2021-07-22 01:10:25 +0200 | <janus> | arkanoid: intersting post! thanks |
2021-07-22 01:10:26 +0200 | spirgel | (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 252 seconds) |
2021-07-22 01:12:37 +0200 | jeetelongname | (~jeet@host-89-241-98-229.as13285.net) |
2021-07-22 01:13:05 +0200 | agua | (~agua@191.177.175.57) (Ping timeout: 255 seconds) |
2021-07-22 01:13:15 +0200 | <janus> | ph88^: did you remember to do "source ~/.bashrc" or the equivalent on your shell? |
2021-07-22 01:13:27 +0200 | <arkanoid> | I'm puzzled if a newcomer should prefer Text over String or not |
2021-07-22 01:13:33 +0200 | <janus> | ph88^: if i do "which ghci" , i get /home/janus/.ghcup/bin/ghci |
2021-07-22 01:14:36 +0200 | cjb | (~cjb@user/cjb) |
2021-07-22 01:14:42 +0200 | <ph88^> | janus, doesn't the profile get reloaded when the docker container is started ? |
2021-07-22 01:15:21 +0200 | <geekosaur> | if you described ash correctly earlier, it has to be run as a login shell to read /etc/profile |
2021-07-22 01:15:29 +0200 | jeetelongname | yeetaditya |
2021-07-22 01:15:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2021-07-22 01:15:52 +0200 | <janus> | right, maybe there is a way to inspect the ENTRYPOINT to check it... hmm |
2021-07-22 01:15:52 +0200 | <arkanoid> | also, are all literal strings always of String type? Do I have to Data.Text.pack them all? |
2021-07-22 01:16:11 +0200 | <janus> | arkanoid: there is an extension called OverloadedStrings |
2021-07-22 01:16:16 +0200 | <geekosaur> | arkanoid, see the OverloadedStrings extension |
2021-07-22 01:16:23 +0200 | yeetaditya | yeet |
2021-07-22 01:16:24 +0200 | <ph88^> | geekosaur, where would it look when running this shell not as login shell ? |
2021-07-22 01:16:29 +0200 | <arkanoid> | thanks! |
2021-07-22 01:16:53 +0200 | yeet | jeetelongname |
2021-07-22 01:17:00 +0200 | <geekosaur> | ph88^, if it's a minimalist Bourne-compatible shell, it doesn't have a startup file at all |
2021-07-22 01:17:08 +0200 | earthy | (~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0) (Ping timeout: 255 seconds) |
2021-07-22 01:17:42 +0200 | <geekosaur> | you would have to arrange for $PATH to be set some other way, or run it as a login shell (ash -l, one hopes) |
2021-07-22 01:17:48 +0200 | <janus> | ph88^: you could try "cat /proc/self/cmdline", and see if it has the -l param |
2021-07-22 01:17:55 +0200 | <janus> | % readFile /proc/self/cmdline |
2021-07-22 01:17:56 +0200 | <yahb> | janus: ; <interactive>:40:11: error: Variable not in scope: proc :: FilePath -> IO String; <interactive>:40:16: error: Variable not in scope: self :: FilePath -> IO String; <interactive>:40:21: error: Variable not in scope: cmdline :: FilePath -> IO String |
2021-07-22 01:18:02 +0200 | <geekosaur> | (if it's really minimalist you'd have to symlink it to -ash and run it that way) |
2021-07-22 01:18:31 +0200 | <geekosaur> | quotes are a thing, janus |
2021-07-22 01:18:52 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 245 seconds) |
2021-07-22 01:18:52 +0200 | <geekosaur> | % readFile "/proc/self/cmdline" |
2021-07-22 01:18:53 +0200 | <yahb> | geekosaur: "/srv/sandbox/root/usr/lib/ghc-9.0.1/bin/ghc\NUL-B/srv/sandbox/root/usr/lib/ghc-9.0.1\NUL--interactive\NUL-v0\NUL-ghci-script\NUL/srv/sandbox/root/usr/lib/run/ghci-init\NUL-tmpdir\NUL/srv/sandbox/root/data/tmp/\NUL-odir\NUL/srv/sandbox/root/data/tmp/\NUL-hidir\NUL/srv/sandbox/root/data/tmp/\NUL-ignore-dot-ghci\NUL-package\NULghc\NUL+RTS\NUL-M200M\NUL-V0\NUL-C0\NUL-K100M\NUL" |
2021-07-22 01:19:50 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 255 seconds) |
2021-07-22 01:19:51 +0200 | <geekosaur> | you could also just start the list of commands with ". /etc/profile" |
2021-07-22 01:20:22 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 01:20:30 +0200 | <janus> | but it is a shell built-in, will that work? would be weird if docker knows the shell builtins |
2021-07-22 01:20:49 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-07-22 01:21:01 +0200 | <janus> | oooh ok it is an interactive shell, i get it |
2021-07-22 01:21:09 +0200 | <janus> | thought you meant putting it in the Dockerfile |
2021-07-22 01:21:51 +0200 | <geekosaur> | I did but you have a list of commands to be run in various contexts and I was suggesting putting that at the beginning of the list |
2021-07-22 01:22:16 +0200 | <ph88^> | maybe i should go with this rather than try to make my own Dockerfile https://hub.docker.com/r/fpco/alpine-haskell-stack |
2021-07-22 01:23:50 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
2021-07-22 01:24:19 +0200 | shutdown_-h_now | (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 250 seconds) |
2021-07-22 01:24:43 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
2021-07-22 01:24:57 +0200 | Cajun | (~Cajun@ip98-163-211-112.no.no.cox.net) (Quit: Client closed) |
2021-07-22 01:26:31 +0200 | jeetelongname | (~jeet@host-89-241-98-229.as13285.net) (Remote host closed the connection) |
2021-07-22 01:26:34 +0200 | Matthias1 | (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
2021-07-22 01:26:46 +0200 | jeetelongname | (~jeet@host-89-241-98-229.as13285.net) |
2021-07-22 01:28:35 +0200 | <Boarders> | is there a lensy variant of the state function from the MonadState typeclass that operates on something you have a lens into |
2021-07-22 01:28:52 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 245 seconds) |
2021-07-22 01:28:59 +0200 | ski | (~ski@ed-3358-10.studat.chalmers.se) (Ping timeout: 268 seconds) |
2021-07-22 01:29:37 +0200 | ski | (~ski@ed-3358-10.studat.chalmers.se) |
2021-07-22 01:30:11 +0200 | shutdown_-h_now | (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) |
2021-07-22 01:30:40 +0200 | <Boarders> | or alternatively is there a += that also returns the old value |
2021-07-22 01:31:52 +0200 | <arkanoid> | what's the quickest way to test a function in a module? I'm working with vscode + haskell extension, but I feel that adding a main is not the haskell way |
2021-07-22 01:32:34 +0200 | <dsal> | arkanoid: are you doing exercism? It comes with a test suite. |
2021-07-22 01:33:48 +0200 | <Boarders> | arkanoid: load in repl? |
2021-07-22 01:34:07 +0200 | <dsal> | @check (3 `notElem`) |
2021-07-22 01:34:09 +0200 | <lambdabot> | *** Failed! Falsifiable (after 13 tests and 4 shrinks): |
2021-07-22 01:34:09 +0200 | <lambdabot> | [2,-3,-12,-9,10,10,-10,3,-6,-10,12,11] |
2021-07-22 01:34:10 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
2021-07-22 01:34:11 +0200 | <jeetelongname> | arkanoid: yeah I was about to reccomend using ghci |
2021-07-22 01:34:21 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
2021-07-22 01:34:33 +0200 | <dsal> | That's not the best shrinking. But super impressed how quickcheck proved me wrong when I thought 3 couldn't be in a list. |
2021-07-22 01:34:40 +0200 | <arkanoid> | dsal: yes, I do check the results of the required func with stack test. But if I add other funcs I should also modify the test case and so on. Not really so quick |
2021-07-22 01:34:51 +0200 | <dsal> | arkanoid: You can add to the test cases. |
2021-07-22 01:35:23 +0200 | <dsal> | But yeah, you can just pull up ghci (`stack ghci` should work) and `:r` whenever you change code. |
2021-07-22 01:35:30 +0200 | <dsal> | emacs will often do the right thing. |
2021-07-22 01:35:46 +0200 | <arkanoid> | dsal, thanks! |
2021-07-22 01:35:53 +0200 | <dsal> | I've been meaning to try hls again. It's a ridiculously complicated set of things for some reason. |
2021-07-22 01:36:12 +0200 | tremon | (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
2021-07-22 01:36:15 +0200 | <dsal> | arkanoid: If you bring in quickcheck, you can do quick property tests even. |
2021-07-22 01:36:59 +0200 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.com) |
2021-07-22 01:36:59 +0200 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.com) (Changing host) |
2021-07-22 01:36:59 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2021-07-22 01:37:00 +0200 | <dsal> | @check \x y -> let s = x + y in s > x && s > y |
2021-07-22 01:37:01 +0200 | <lambdabot> | *** Failed! Falsifiable (after 1 test): |
2021-07-22 01:37:01 +0200 | <lambdabot> | 0 0 |
2021-07-22 01:37:08 +0200 | <dsal> | `0 0` to you, quickcheck |
2021-07-22 01:37:48 +0200 | <arkanoid> | if I do "stack ghci" I get prelude shell, but my functions seems not imported, even after :r |
2021-07-22 01:38:10 +0200 | <dsal> | Huh. Oh, are you writing them in the Main module? |
2021-07-22 01:38:33 +0200 | <dsal> | Does `:l app/Main.hs` work? I think it might not. |
2021-07-22 01:39:04 +0200 | <dsal> | When I'm being lazy, I'll just paste in stuff with GHCI multiline stuff: `:{\n` [paste] `:}\n` |
2021-07-22 01:39:18 +0200 | <arkanoid> | wait, I wan not exporting all the function in module declaration |
2021-07-22 01:39:26 +0200 | <arkanoid> | s/wan/was |
2021-07-22 01:40:06 +0200 | <dsal> | You can just get rid of the () thing in the declaration. |
2021-07-22 01:40:19 +0200 | <arkanoid> | now I got there, but literal strings are still converted to [Char], even if I do have {-# LANGUAGE OverloadedStrings #-} on top (and it works with stack test) |
2021-07-22 01:40:27 +0200 | Matthias1 | (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Remote host closed the connection) |
2021-07-22 01:40:40 +0200 | <dsal> | Literal strings are [Char] |
2021-07-22 01:41:02 +0200 | <dsal> | Do you expect them to be something else? Or do you mean in your ghci session? |
2021-07-22 01:41:08 +0200 | <dsal> | `:set -X OverloadedStrings` |
2021-07-22 01:41:17 +0200 | <dsal> | There's not supposed to be a space there. |
2021-07-22 01:41:34 +0200 | <dsal> | `:set -XXXStraightEdgeXXX` |
2021-07-22 01:41:59 +0200 | <arkanoid> | i mean in the ghci session. With the build it works |
2021-07-22 01:42:13 +0200 | <dsal> | Yeah, so you need to set that for your GHCI session, not just the particular file you loaded. |
2021-07-22 01:42:25 +0200 | <dsal> | Different files often use different language features. |
2021-07-22 01:42:34 +0200 | <arkanoid> | yeah! it works |
2021-07-22 01:43:02 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 245 seconds) |
2021-07-22 01:43:20 +0200 | <arkanoid> | you were saying about quickcheck, it that a bot? |
2021-07-22 01:43:35 +0200 | chomwitt | (~chomwitt@ppp-94-67-220-135.home.otenet.gr) (Remote host closed the connection) |
2021-07-22 01:43:48 +0200 | <janus> | @package QuickCheck |
2021-07-22 01:43:48 +0200 | <lambdabot> | https://hackage.haskell.org/package/QuickCheck |
2021-07-22 01:44:19 +0200 | <jeetelongname> | @help |
2021-07-22 01:44:19 +0200 | <lambdabot> | help <command>. Ask for help for <command>. Try 'list' for all commands |
2021-07-22 01:44:24 +0200 | <jeetelongname> | @list |
2021-07-22 01:44:24 +0200 | <lambdabot> | What module? Try @listmodules for some ideas. |
2021-07-22 01:44:24 +0200 | acidjnk | (~acidjnk@p200300d0c72b9516f180e3afe24121d7.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
2021-07-22 01:44:40 +0200 | <arkanoid> | oh! Monkey test but monkeys have phds! |
2021-07-22 01:44:54 +0200 | <dsal> | arkanoid: QuickCheck is ye olde property testing. It's a religion. |
2021-07-22 01:45:01 +0200 | retroid_ | (~retro@97e2ba5d.skybroadband.com) (Ping timeout: 268 seconds) |
2021-07-22 01:45:16 +0200 | <janus> | damn straight, and since it involves lawless typeclasses, it is heresy :O |
2021-07-22 01:45:49 +0200 | <dsal> | Back in the day, people used to write tests by thinking about input and output to their stuff and writing code that would take that input and verify they got the output they expected. Such madness. |
2021-07-22 01:46:21 +0200 | <janus> | in that what grandpa meant when he said "unit test"? |
2021-07-22 01:46:48 +0200 | <dsal> | Yeah. They'd test like, one thing and be done. Rarely writing tests like this: |
2021-07-22 01:46:49 +0200 | <dsal> | @check \x -> abs (x :: Int8) >= 0 |
2021-07-22 01:46:51 +0200 | <lambdabot> | +++ OK, passed 100 tests. |
2021-07-22 01:46:53 +0200 | <dsal> | yay! |
2021-07-22 01:46:54 +0200 | <dsal> | @check \x -> abs (x :: Int8) >= 0 |
2021-07-22 01:46:56 +0200 | <lambdabot> | *** Failed! Falsifiable (after 74 tests): |
2021-07-22 01:46:56 +0200 | <lambdabot> | -128 |
2021-07-22 01:47:09 +0200 | <dsal> | oh no! It turns out the absolute value of a number isn't always >= 0! |
2021-07-22 01:47:34 +0200 | <janus> | aah, so a unit test is a property test parameterized by unit, aka (). got it |
2021-07-22 01:47:51 +0200 | <dsal> | @check (== ()) |
2021-07-22 01:47:53 +0200 | <lambdabot> | +++ OK, passed 100 tests. |
2021-07-22 01:47:57 +0200 | <dsal> | Yay! My unit tests pass. |
2021-07-22 01:47:58 +0200 | <arkanoid> | I'm having those kind of insight while reading "category theory for programmers". I feel like I should have read this back when I was an university students. Now it's kinda late and I've too much python in my veins and I need a complete reformat |
2021-07-22 01:48:06 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
2021-07-22 01:48:29 +0200 | lbseale | (~lbseale@user/ep1ctetus) (Quit: Client closed) |
2021-07-22 01:48:42 +0200 | <dsal> | arkanoid: There's a variety of videos like this: https://www.youtube.com/watch?v=hXnS_Xjwk2Y |
2021-07-22 01:49:16 +0200 | <janus> | arkanoid: i tried reading it when i was a university student doing python and i didn't have the patience for it :P |
2021-07-22 01:49:43 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
2021-07-22 01:49:57 +0200 | <dsal> | arkanoid: I did something like this in python in... the past: http://dustin.sallings.org/2010/10/27/breakdancer.html |
2021-07-22 01:50:13 +0200 | <dsal> | TL;DR: if you only write tests for things you think of, your customers find your bugs. |
2021-07-22 01:50:53 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
2021-07-22 01:51:03 +0200 | aplainze1akind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
2021-07-22 01:51:24 +0200 | <arkanoid> | I've been a videogame programmer for the majority of my professional life. I kinda know what real users can test that internal testing won't even think possible doing |
2021-07-22 01:51:46 +0200 | <geekosaur> | human fuzzers unite! |
2021-07-22 01:52:01 +0200 | <dsal> | I'd *really* like coverage directed fuzzing for my property tests. |
2021-07-22 01:52:25 +0200 | <dsal> | I think go might get that soon. I've used some of the early versions of it. It's terribly slow and a terrible API, but I think they may have figured it out. |
2021-07-22 01:52:45 +0200 | <janus> | are you referring to afl? |
2021-07-22 01:53:43 +0200 | <dsal> | Yeah, it might be related to that. It's abstracted away at work so I don't actually know what the mechanism was. |
2021-07-22 01:54:13 +0200 | <dsal> | It's incredibly slow and the API was incredibly bad, but you could do things that are super difficult to even think about. |
2021-07-22 01:55:23 +0200 | mrkajetanp_ | (~mrkajetan@2a01:4b00:ea36:6c00:7994:941c:3f5d:2b88) (Ping timeout: 255 seconds) |
2021-07-22 01:55:32 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
2021-07-22 01:55:42 +0200 | mrkajetanp | (~mrkajetan@2a01:4b00:ea36:6c00:7994:941c:3f5d:2b88) |
2021-07-22 01:55:57 +0200 | zgrep | (~zgrep@user/zgrep) (Quit: It's a quitter's world.) |
2021-07-22 01:56:36 +0200 | zgrep | (~zgrep@user/zgrep) |
2021-07-22 02:00:29 +0200 | <arkanoid> | dsal: thanks for the video! I've been zapping through some different videos about haskell and haskell history, just to get a comfortable context around this new side project of mine. Would you suggest some particular good videos about haskell or functional programming in general, just like the one you just shared |
2021-07-22 02:00:48 +0200 | <sm> | arkanoid, two other things you might like are doctest and ghcid -T |
2021-07-22 02:00:57 +0200 | berberman | (~berberman@user/berberman) (Ping timeout: 245 seconds) |
2021-07-22 02:01:15 +0200 | berberman | (~berberman@user/berberman) |
2021-07-22 02:01:53 +0200 | <sm> | I wouldn't be surprised if there's a vscode haskell feature/extension to run tests continuously, too |
2021-07-22 02:02:11 +0200 | <sm> | if not, there ought to be |
2021-07-22 02:03:27 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 245 seconds) |
2021-07-22 02:04:28 +0200 | <arkanoid> | doctest! Interesting! I've been doing those for a while in my imperative past, but I've developed some kind of skepticism for huge source code files made 80% of comments (just general speaking, I have almost zero experience with haskell and functional programming in general) |
2021-07-22 02:05:09 +0200 | <arkanoid> | my stack environment doesn not have ghcid executable |
2021-07-22 02:05:27 +0200 | <geekosaur> | ghcid is a separate package |
2021-07-22 02:06:23 +0200 | <geekosaur> | it's a little thing that runs ghci on your package every time something changes, to catch newly introduced bugs |
2021-07-22 02:06:36 +0200 | retroid_ | (~retro@97e2ba5d.skybroadband.com) |
2021-07-22 02:07:31 +0200 | <arkanoid> | this is sweet! I'm going to try this right now |
2021-07-22 02:07:47 +0200 | mthvedt | (uid501949@id-501949.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
2021-07-22 02:08:45 +0200 | jmorris | (uid433911@id-433911.stonehaven.irccloud.com) |
2021-07-22 02:09:50 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 252 seconds) |
2021-07-22 02:10:24 +0200 | Atum_ | (~IRC@user/atum/x-2392232) |
2021-07-22 02:10:42 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 02:11:44 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
2021-07-22 02:12:39 +0200 | <arkanoid> | well it seems doing the same thing I'm getting from vscode + extension, but having it separately in a terminal enables tmux with vim + ghcid! Thanks a lot |
2021-07-22 02:13:30 +0200 | retroid_ | (~retro@97e2ba5d.skybroadband.com) (Ping timeout: 240 seconds) |
2021-07-22 02:16:34 +0200 | <monochrom> | My http://www.vex.net/~trebla/haskell/forwardconstraint/ForwardConstraint.hs is 90% comments. |
2021-07-22 02:20:16 +0200 | shutdown_-h_now | (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 256 seconds) |
2021-07-22 02:20:22 +0200 | ph88^ | (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2021-07-22 02:20:52 +0200 | <Boarders> | I am converting some code from MonadReader to MonadState |
2021-07-22 02:21:00 +0200 | <Boarders> | is there a convenient way to update the local function |
2021-07-22 02:21:09 +0200 | <Boarders> | at present I am writing three lines where I use modifying |
2021-07-22 02:21:16 +0200 | <Boarders> | but wondered if there is something slicker |
2021-07-22 02:21:25 +0200 | <Boarders> | (modifying from lens but that part doesn't matter) |
2021-07-22 02:22:56 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
2021-07-22 02:23:32 +0200 | Erutuon | (~Erutuon@user/erutuon) |
2021-07-22 02:24:15 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
2021-07-22 02:26:06 +0200 | shutdown_-h_now | (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) |
2021-07-22 02:28:00 +0200 | <sm> | you can always keep doctests in a separate file. downside is you probably won't write tests |
2021-07-22 02:32:02 +0200 | <adamCS> | stateLocal f x = do {old <- get; modify f; result <- x; put old; return result; } |
2021-07-22 02:32:24 +0200 | <adamCS> | Boarders: ^. But I think you already are doing something like that? |
2021-07-22 02:34:08 +0200 | hexfive | (~eric@50.35.83.177) |
2021-07-22 02:35:45 +0200 | spirgel_ | (spirgel@gateway/vpn/protonvpn/spirgel) () |
2021-07-22 02:36:20 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2021-07-22 02:42:42 +0200 | earthy | (~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0) |
2021-07-22 02:42:44 +0200 | <Boarders> | that is my conclusion too adamCS |
2021-07-22 02:42:46 +0200 | <Boarders> | thanks |
2021-07-22 02:43:12 +0200 | <arkanoid> | I feel like using pack and unpack functions too much while forcing my functions to handle text manipulation using the Text type instead of String |
2021-07-22 02:44:06 +0200 | <arkanoid> | can I use (head:tail) pattern patch for Text too? |
2021-07-22 02:44:15 +0200 | <arkanoid> | *match |
2021-07-22 02:44:58 +0200 | <geekosaur> | no |
2021-07-22 02:45:07 +0200 | <dsal> | arkanoid: yeah (though not with that syntax). But also, don't use string |
2021-07-22 02:45:21 +0200 | <Boarders> | adamCS: do you know if this will be massively wasteful computationally? |
2021-07-22 02:46:00 +0200 | <PotatoHatsue> | use Text.uncons with ViewPatterns |
2021-07-22 02:46:05 +0200 | <sm> | i don't agree with blanket "don't use string", everything is a trade off |
2021-07-22 02:46:22 +0200 | <dsal> | stripPrefix :: Text -> Text -> Maybe Text |
2021-07-22 02:46:32 +0200 | <arkanoid> | dsal: but if I have to make first character uppercase, would you still use Text? |
2021-07-22 02:46:41 +0200 | <dsal> | Well, if you're converting between string and text a lot, you could just not use text. :) |
2021-07-22 02:47:51 +0200 | <dsal> | > T.toTitle (T.pack "there's a thing for title stuff") |
2021-07-22 02:47:53 +0200 | <lambdabot> | "There's A Thing For Title Stuff" |
2021-07-22 02:47:57 +0200 | <dsal> | Otherwise, you could just make the thing you need. |
2021-07-22 02:48:07 +0200 | <h98> | anyone know if something like this is possible with quantifiers? https://paste.tomsmeding.com/ZBwdMcJB (question at the bottom) |
2021-07-22 02:48:32 +0200 | <dsal> | (I use String a lot, but, you know... 🤠) |
2021-07-22 02:49:10 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
2021-07-22 02:49:17 +0200 | <sm> | when string is good, use string. for newcomers, given current haskell ecosystem, string is great |
2021-07-22 02:50:09 +0200 | <arkanoid> | what do you mean by "given curent haskell ecosystem"? |
2021-07-22 02:50:19 +0200 | <arkanoid> | is it polluted? |
2021-07-22 02:50:22 +0200 | <dsal> | String is the default and lots of stuff uses it. |
2021-07-22 02:50:39 +0200 | <dsal> | Also, Text isn't the only alternative to String and sometimes Text is wrong. |
2021-07-22 02:50:52 +0200 | shutdown_-h_now | (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 256 seconds) |
2021-07-22 02:51:07 +0200 | <arkanoid> | What doesn it mean "Subject to fusion"? |
2021-07-22 02:51:15 +0200 | <sm> | string works out of the box and is easy to understand. text doesn't and isn't |
2021-07-22 02:51:29 +0200 | <dsal> | arkanoid: fusion is optimization magic |
2021-07-22 02:51:58 +0200 | <dsal> | e.g., `map f . filter g` can be fused into a single pass |
2021-07-22 02:52:09 +0200 | <arkanoid> | sm: I am feeling exactly that, like not being in the place where a newbie should be |
2021-07-22 02:52:11 +0200 | <sm> | once you're using a lot of libs with text based apis it's different |
2021-07-22 02:58:37 +0200 | shutdown_-h_now | (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) |
2021-07-22 03:01:01 +0200 | xkuru | (~xkuru@user/xkuru) (Quit: Unvirtualizing) |
2021-07-22 03:01:54 +0200 | <arkanoid> | what's the correct function to join/concat [String] into String without separator? |
2021-07-22 03:02:12 +0200 | <arkanoid> | kinda flat? |
2021-07-22 03:02:17 +0200 | viluon | (uid453725@id-453725.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
2021-07-22 03:02:18 +0200 | <geekosaur> | concat? |
2021-07-22 03:02:24 +0200 | <sm> | really what we need is a default TextString that scales smoothly from drop dead easy and simple to industrial strength |
2021-07-22 03:02:32 +0200 | waleee | (~waleee@h-98-128-228-119.na.cust.bahnhof.se) (Ping timeout: 252 seconds) |
2021-07-22 03:02:37 +0200 | <geekosaur> | :t concat |
2021-07-22 03:02:38 +0200 | <lambdabot> | Foldable t => t [a] -> [a] |
2021-07-22 03:02:58 +0200 | <infinisil> | :t join |
2021-07-22 03:02:59 +0200 | <lambdabot> | Monad m => m (m a) -> m a |
2021-07-22 03:03:18 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
2021-07-22 03:06:10 +0200 | <arkanoid> | thanks |
2021-07-22 03:06:48 +0200 | <geekosaur> | there's also mconcat which is a little more general |
2021-07-22 03:06:50 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-22 03:06:52 +0200 | <geekosaur> | :t mconcat |
2021-07-22 03:06:53 +0200 | <lambdabot> | Monoid a => [a] -> a |
2021-07-22 03:08:22 +0200 | <infinisil> | :t fold |
2021-07-22 03:08:23 +0200 | <lambdabot> | (Foldable t, Monoid m) => t m -> m |
2021-07-22 03:08:28 +0200 | <infinisil> | Or even more general ^ |
2021-07-22 03:10:09 +0200 | <arkanoid> | I've yet to face Monoids/Monads/Applications, but they are the main reason I'm teaching myself haskell (I want to be a better imperative programmer by learning how to push effects on the edge) |
2021-07-22 03:10:49 +0200 | <arkanoid> | to match the first, the second and the tail is (a,(b,tail)) ? |
2021-07-22 03:11:30 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2021-07-22 03:11:43 +0200 | <dsal> | arkanoid: fold |
2021-07-22 03:12:13 +0200 | Guest84 | (~Guest84@199.19.226.242) |
2021-07-22 03:12:20 +0200 | <dsal> | I'm slow today. |
2021-07-22 03:12:22 +0200 | <dibblego> | (a:b:tail) |
2021-07-22 03:12:37 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2021-07-22 03:13:08 +0200 | <jeetelongname> | ?? |
2021-07-22 03:13:46 +0200 | h98 | (~h98@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
2021-07-22 03:14:12 +0200 | <geekosaur> | I think they were first asking in the context of Text, not String? |
2021-07-22 03:15:08 +0200 | <arkanoid> | now I've reverted to String |
2021-07-22 03:15:29 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 255 seconds) |
2021-07-22 03:15:49 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 03:16:21 +0200 | retroid_ | (~retro@97e2ba5d.skybroadband.com) |
2021-07-22 03:18:36 +0200 | pavonia | (~user@user/siracusa) |
2021-07-22 03:20:26 +0200 | xff0x_ | (~xff0x@2001:1a81:530d:8900:7530:d6ba:9d47:69d1) (Ping timeout: 255 seconds) |
2021-07-22 03:22:12 +0200 | xff0x_ | (~xff0x@2001:1a81:5345:c200:35ab:ec93:2501:2232) |
2021-07-22 03:22:39 +0200 | agua | (~agua@2804:14c:8793:8e2f:6091:e445:c3bf:d39e) |
2021-07-22 03:23:10 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 256 seconds) |
2021-07-22 03:23:49 +0200 | zeenk | (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) (Quit: Konversation terminated!) |
2021-07-22 03:25:51 +0200 | <Boarders> | this question might be sort of nonsense but is there any version of having Reader where if you throw an error you also get access to the local environment at that point? |
2021-07-22 03:26:06 +0200 | pesada | (~agua@2804:18:4e:2dda:1:0:4058:6b7c) (Ping timeout: 255 seconds) |
2021-07-22 03:26:07 +0200 | <Boarders> | I don't really want state because I don't want to do stateful things other than that |
2021-07-22 03:27:10 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2021-07-22 03:27:55 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
2021-07-22 03:28:48 +0200 | <dsal> | State has a lot of downsides. |
2021-07-22 03:29:13 +0200 | <dsal> | I'm not sure what you mean by throwing an error, though. You can do `ReaderT ExceptT` I assume. |
2021-07-22 03:30:17 +0200 | <arkanoid> | is there a builtin function that filters a list in order until a condition is met on an element? I've built mine, but I'm interested in knowing |
2021-07-22 03:31:01 +0200 | <dibblego> | @type find |
2021-07-22 03:31:02 +0200 | <lambdabot> | Foldable t => (a -> Bool) -> t a -> Maybe a |
2021-07-22 03:31:17 +0200 | dajoer | (~david@user/gvx) |
2021-07-22 03:31:22 +0200 | <dibblego> | > find even [1,3,5,7,8,3,5] |
2021-07-22 03:31:24 +0200 | <lambdabot> | Just 8 |
2021-07-22 03:31:28 +0200 | <dibblego> | > find even [1,3,5,7] |
2021-07-22 03:31:30 +0200 | <lambdabot> | Nothing |
2021-07-22 03:34:13 +0200 | <arkanoid> | and to return [1,3,5,7] instead of Just 8? (elements up to found one) |
2021-07-22 03:34:26 +0200 | Deide | (~Deide@user/deide) (Quit: Seeee yaaaa) |
2021-07-22 03:35:00 +0200 | <geekosaur> | > takeWhile odd [1,3,5,7,8,3,5] |
2021-07-22 03:35:02 +0200 | <lambdabot> | [1,3,5,7] |
2021-07-22 03:37:38 +0200 | <dsal> | > takeWhile (not . even) [1,3,5,7,8,3,5] -- if you want to think about it that way |
2021-07-22 03:37:40 +0200 | <lambdabot> | [1,3,5,7] |
2021-07-22 03:41:05 +0200 | <arkanoid> | yeah! very nice |
2021-07-22 03:42:55 +0200 | Null_A | (~null_a@2601:645:8700:2290:c911:1c05:b98d:d069) (Remote host closed the connection) |
2021-07-22 03:43:48 +0200 | <arkanoid> | and to return 8,5,3? Like "discard until condition" |
2021-07-22 03:45:32 +0200 | <arkanoid> | or "filter with stop condition" |
2021-07-22 03:49:37 +0200 | Axman6 | (~Axman6@user/axman6) |
2021-07-22 03:50:44 +0200 | <monochrom> | dropWhile |
2021-07-22 03:51:32 +0200 | Atum_ | (~IRC@user/atum/x-2392232) (Quit: Atum_) |
2021-07-22 03:52:23 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-07-22 03:53:44 +0200 | smichel17 | (~smichel17@c-73-68-217-18.hsd1.ma.comcast.net) (Quit: smichel17) |
2021-07-22 03:57:16 +0200 | Codaraxis_ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
2021-07-22 03:57:51 +0200 | <sm> | see also break, span, partition |
2021-07-22 04:00:34 +0200 | Codaraxis | (~Codaraxis@user/codaraxis) (Ping timeout: 240 seconds) |
2021-07-22 04:00:44 +0200 | <arkanoid> | thanks (also for your patience) |
2021-07-22 04:01:13 +0200 | Guest84 | (~Guest84@199.19.226.242) (Quit: Client closed) |
2021-07-22 04:09:30 +0200 | td_ | (~td@muedsl-82-207-238-072.citykom.de) (Ping timeout: 240 seconds) |
2021-07-22 04:10:44 +0200 | alx741 | (~alx741@186.178.108.210) (Quit: alx741) |
2021-07-22 04:11:35 +0200 | td_ | (~td@94.134.91.91) |
2021-07-22 04:15:08 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2021-07-22 04:16:40 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
2021-07-22 04:16:40 +0200 | Lord_of_Life_ | Lord_of_Life |
2021-07-22 04:19:07 +0200 | Matthias1 | (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
2021-07-22 04:21:11 +0200 | cjb | (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50) |
2021-07-22 04:22:12 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
2021-07-22 04:23:06 +0200 | <dsal> | Or just read Data.List docs. :) And maybe Foldable. |
2021-07-22 04:25:23 +0200 | <sm> | and the split library. (List part deux) |
2021-07-22 04:25:41 +0200 | <sm> | it's never "just" with Haskell :) |
2021-07-22 04:26:31 +0200 | <dsal> | Ha. Yeah. "Oh, you think you've read all the docs? ..." |
2021-07-22 04:26:36 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
2021-07-22 04:29:39 +0200 | <arkanoid> | well, I've finally succeeded in passing the test for my first haskell program. Also first use of Maybe monad! No bind yet and surely I've been missing all possible chances to write better code, but this made my day https://exercism.io/tracks/haskell/exercises/acronym/solutions/fd01b2dda63344518e86b263aaeac983 |
2021-07-22 04:29:51 +0200 | <jeetelongname> | hoogle is a wonderful reasourse if you have not checked it out |
2021-07-22 04:30:03 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2021-07-22 04:30:10 +0200 | <arkanoid> | yeah I've been using it quite a lot on the last couple hours |
2021-07-22 04:30:30 +0200 | <sm> | congrats! |
2021-07-22 04:31:22 +0200 | <arkanoid> | any suggestion is welcome! |
2021-07-22 04:31:38 +0200 | <sm> | maybe too late now, but I enjoyed project euler in the beginning - it was more about numbers, which were easier |
2021-07-22 04:32:25 +0200 | <jeetelongname> | another reasourse I have been using is https://www.cis.upenn.edu/~cis194/spring13/lectures.html its a uni course that takes you through the basics to monads. all with reasources and assignments |
2021-07-22 04:32:49 +0200 | <arkanoid> | sm: I've consumed project euler back in the days of my advanced programming classes. We used python metaprogramming and aspectj (java) |
2021-07-22 04:33:13 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2021-07-22 04:33:13 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (cadmium.libera.chat (Nickname regained by services))) |
2021-07-22 04:33:13 +0200 | finn_elija | FinnElija |
2021-07-22 04:33:37 +0200 | Matthias1 | (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Remote host closed the connection) |
2021-07-22 04:33:40 +0200 | <glguy> | If you're looking for exercises to learn on I thought the previous advent of code was pretty good https://adventofcode.com/2019 and it has a nice feature that year where half the problems built on the same "virtual machine" so you got a chance to reuse some code across problems |
2021-07-22 04:34:03 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
2021-07-22 04:34:15 +0200 | <sm> | that is waay harder for a haskell beginner... |
2021-07-22 04:35:07 +0200 | <glguy> | euler won't give you very much haskell learning opportunity and the advent of code problems aren't generally that hard |
2021-07-22 04:35:12 +0200 | Matthias1 | (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
2021-07-22 04:35:19 +0200 | <sm> | ha says you :) |
2021-07-22 04:35:32 +0200 | <jeetelongname> | hackerrank would probably be a better fit. tho the templates are way to overcomplicated and its just easier to replace them |
2021-07-22 04:35:39 +0200 | <glguy> | half the problems that year are stand-alone and the other half has some common code to share which I think it way better for learning than starting over every time |
2021-07-22 04:35:59 +0200 | <arkanoid> | I like the exercism way to teach |
2021-07-22 04:36:13 +0200 | <arkanoid> | it gives some context with test code and tools |
2021-07-22 04:37:02 +0200 | <sm> | each at the proper tiem |
2021-07-22 04:37:06 +0200 | <sm> | time |
2021-07-22 04:37:17 +0200 | <jeetelongname> | I have a bone to pick with AOC. I swear it made my blood pressure rise a good couple of units just to try and solve the problem in one day |
2021-07-22 04:37:34 +0200 | <arkanoid> | when I think adventofcode I feel like want use my main language |
2021-07-22 04:37:44 +0200 | <sm> | clash of code teaches only certain small skills, but is fun |
2021-07-22 04:38:59 +0200 | <jeetelongname> | AOC was meant to be my way of picking up a new language (ruby in this case (this was before I was enlightened go easy on me)) but I just got bogged down in the problems and didn't learn all to much |
2021-07-22 04:39:00 +0200 | <sm> | exercism, project euler, advent of code, hackerrank, clash of code.. any notable others ? |
2021-07-22 04:39:02 +0200 | fresheyeball | (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
2021-07-22 04:39:41 +0200 | <arkanoid> | I just want to learn how to write more pure code in other imperative languages, and >>= there too |
2021-07-22 04:40:12 +0200 | <keltono> | arkanoid: nice solution! one thing I would note is that you didn't need to define consumeWhile |
2021-07-22 04:40:18 +0200 | <keltono> | @hoogle dropWhile |
2021-07-22 04:40:28 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-07-22 04:40:30 +0200 | <sm> | didn't johann tibbell or someone make a learn-haskell-by-making-a-game thing ? |
2021-07-22 04:41:54 +0200 | jeetelongname | (~jeet@host-89-241-98-229.as13285.net) (oh wow I need to sleep. Night!) |
2021-07-22 04:43:20 +0200 | <sm> | can't find it |
2021-07-22 04:43:21 +0200 | <arkanoid> | keltono: thanks! Actually I forgot to replace at the end (I reinvented the wheel before finding out dropWhile) |
2021-07-22 04:45:04 +0200 | <arkanoid> | need some sleep now. It has been a pleasure to learn so many things in a short time. I swear I've skimmed Data.List, Data.String and Data.Char days ago, but once you get into the editor it's another story |
2021-07-22 04:45:14 +0200 | <sm> | no Joachim Breitner. https://haskell-via-sokoban.nomeata.de |
2021-07-22 04:47:46 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-07-22 04:48:24 +0200 | msr | (~msr@user/msr) |
2021-07-22 04:50:26 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 255 seconds) |
2021-07-22 04:50:50 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 04:52:04 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
2021-07-22 05:00:02 +0200 | haasn | (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
2021-07-22 05:00:09 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 255 seconds) |
2021-07-22 05:00:33 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 05:01:07 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 268 seconds) |
2021-07-22 05:01:25 +0200 | haasn | (~nand@haasn.dev) |
2021-07-22 05:03:40 +0200 | <dsal> | arkanoid: AoC is usually super fun. Last year seemed strangely easy, but you get to make the problems harder if you want. e.g., I often made parser problems where there weren't any. |
2021-07-22 05:03:44 +0200 | <dsal> | :t concatMap |
2021-07-22 05:03:45 +0200 | <lambdabot> | Foldable t => (a -> [b]) -> t a -> [b] |
2021-07-22 05:03:49 +0200 | <dsal> | :t foldMap |
2021-07-22 05:03:50 +0200 | <lambdabot> | (Foldable t, Monoid m) => (a -> m) -> t a -> m |
2021-07-22 05:04:47 +0200 | <dsal> | `wordAcronym [a] = [a | isUpper a]` is an interesting way to write that. |
2021-07-22 05:06:28 +0200 | <dsal> | @src takeWhile |
2021-07-22 05:06:29 +0200 | <lambdabot> | takeWhile _ [] = [] |
2021-07-22 05:06:29 +0200 | <lambdabot> | takeWhile p (x:xs) | p x = x : takeWhile p xs |
2021-07-22 05:06:29 +0200 | <lambdabot> | | otherwise = [] |
2021-07-22 05:10:17 +0200 | Codaraxis__ | (~Codaraxis@141.98.255.143) |
2021-07-22 05:11:14 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
2021-07-22 05:13:10 +0200 | ishutin_ | (~ishutin@193-110-63-61.cable-modem.hdsnet.hu) |
2021-07-22 05:13:53 +0200 | soft-warm | (~soft-warm@2600:8801:db01:8f0:2b46:c2bc:f21e:3c72) |
2021-07-22 05:14:06 +0200 | Codaraxis_ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 255 seconds) |
2021-07-22 05:14:42 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 245 seconds) |
2021-07-22 05:16:34 +0200 | derelict | (~derelict@user/derelict) (Ping timeout: 240 seconds) |
2021-07-22 05:16:37 +0200 | hgolden | (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Quit: Konversation terminated!) |
2021-07-22 05:16:48 +0200 | ishutin | (~ishutin@85-238-93-30.pool.digikabel.hu) (Ping timeout: 265 seconds) |
2021-07-22 05:16:51 +0200 | fradet | (~fradet@216.252.75.247) (Quit: leaving) |
2021-07-22 05:17:34 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
2021-07-22 05:18:09 +0200 | msr | (~msr@user/msr) (Ping timeout: 255 seconds) |
2021-07-22 05:18:23 +0200 | fradet | (~fradet@216.252.75.247) |
2021-07-22 05:19:51 +0200 | hgolden | (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
2021-07-22 05:22:17 +0200 | cjb | (~cjb@user/cjb) |
2021-07-22 05:24:00 +0200 | talismanick | (~user@2601:644:8502:d700::f19d) |
2021-07-22 05:30:45 +0200 | Matthias1 | (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Remote host closed the connection) |
2021-07-22 05:32:31 +0200 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
2021-07-22 05:32:48 +0200 | Matthias1 | (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
2021-07-22 05:32:53 +0200 | derelict | (~derelict@user/derelict) |
2021-07-22 05:33:42 +0200 | zaquest | (~notzaques@5.128.210.178) |
2021-07-22 05:34:41 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
2021-07-22 05:35:09 +0200 | stevenxl | (uid133530@id-133530.highgate.irccloud.com) |
2021-07-22 05:47:57 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
2021-07-22 05:49:07 +0200 | falafel_ | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
2021-07-22 05:52:48 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 255 seconds) |
2021-07-22 05:55:12 +0200 | Matthias1 | (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) () |
2021-07-22 05:58:08 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
2021-07-22 06:14:45 +0200 | tnks_ | tnks |
2021-07-22 06:16:54 +0200 | derelict | (~derelict@user/derelict) (Quit: WeeChat 3.2) |
2021-07-22 06:21:58 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-07-22 06:23:00 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-07-22 06:24:47 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-07-22 06:31:03 +0200 | hiruji | (~hiruji@user/hiruji) (Ping timeout: 255 seconds) |
2021-07-22 06:32:51 +0200 | michalz | (~michalz@185.246.204.62) |
2021-07-22 06:43:36 +0200 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: closed) |
2021-07-22 06:44:14 +0200 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-07-22 06:44:18 +0200 | qrpnxz | (~qrpnxz@user/qrpnxz) () |
2021-07-22 06:44:54 +0200 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-07-22 06:51:49 +0200 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Read error: Connection reset by peer) |
2021-07-22 06:52:49 +0200 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
2021-07-22 06:57:09 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
2021-07-22 07:03:30 +0200 | cjb | (~cjb@user/cjb) (Ping timeout: 246 seconds) |
2021-07-22 07:05:30 +0200 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (Ping timeout: 240 seconds) |
2021-07-22 07:08:32 +0200 | cjb | (~cjb@user/cjb) |
2021-07-22 07:08:46 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
2021-07-22 07:10:15 +0200 | monochrom | (trebla@216.138.220.146) (Quit: NO CARRIER) |
2021-07-22 07:12:00 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 255 seconds) |
2021-07-22 07:15:15 +0200 | isekaijin | (~pyon@user/pyon) |
2021-07-22 07:15:46 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 07:16:35 +0200 | isekaijin | (~pyon@user/pyon) (Client Quit) |
2021-07-22 07:17:22 +0200 | sheepduck | (~sheepduck@user/sheepduck) (Remote host closed the connection) |
2021-07-22 07:18:01 +0200 | isekaijin | (~pyon@user/pyon) |
2021-07-22 07:25:22 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-07-22 07:29:32 +0200 | monochrom | (trebla@216.138.220.146) |
2021-07-22 07:30:27 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
2021-07-22 07:31:51 +0200 | jneira | (~jneira@212.8.115.226) |
2021-07-22 07:32:43 +0200 | isekaijin | (~pyon@user/pyon) (Quit: WeeChat 3.2) |
2021-07-22 07:34:07 +0200 | unyu | (~pyon@user/pyon) |
2021-07-22 07:42:09 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) |
2021-07-22 07:44:34 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2021-07-22 07:46:50 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 255 seconds) |
2021-07-22 07:49:09 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) |
2021-07-22 07:49:10 +0200 | Vajb | (~Vajb@85-76-37-76-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
2021-07-22 07:49:18 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
2021-07-22 07:51:23 +0200 | johnw | (~johnw@2600:1700:cf00:db0:4c55:69bc:4e4d:1c90) (Quit: ZNC - http://znc.in) |
2021-07-22 07:54:56 +0200 | stevenxl | (uid133530@id-133530.highgate.irccloud.com) (Quit: Connection closed for inactivity) |
2021-07-22 07:57:45 +0200 | falafel_ | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
2021-07-22 08:02:01 +0200 | unyu | (~pyon@user/pyon) (Quit: WeeChat 3.2) |
2021-07-22 08:02:17 +0200 | shriekingnoise | (~shrieking@186.137.144.80) (Quit: Quit) |
2021-07-22 08:09:23 +0200 | Null_A | (~null_a@2601:645:8700:2290:c911:1c05:b98d:d069) |
2021-07-22 08:12:32 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-22 08:21:22 +0200 | michalz | (~michalz@185.246.204.62) (Ping timeout: 245 seconds) |
2021-07-22 08:22:07 +0200 | Null_A | (~null_a@2601:645:8700:2290:c911:1c05:b98d:d069) (Remote host closed the connection) |
2021-07-22 08:23:30 +0200 | Null_A | (~null_a@2601:645:8700:2290:c911:1c05:b98d:d069) |
2021-07-22 08:25:22 +0200 | chele | (~chele@user/chele) |
2021-07-22 08:26:24 +0200 | michalz | (~michalz@185.246.204.58) |
2021-07-22 08:30:18 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
2021-07-22 08:31:02 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
2021-07-22 08:32:19 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 08:34:44 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
2021-07-22 08:35:03 +0200 | ubert | (~Thunderbi@178.165.183.24.wireless.dyn.drei.com) |
2021-07-22 08:36:45 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
2021-07-22 08:39:44 +0200 | Flonk | (~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) (Read error: Connection reset by peer) |
2021-07-22 08:39:56 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 255 seconds) |
2021-07-22 08:40:17 +0200 | Flonk | (~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) |
2021-07-22 08:42:29 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 08:43:09 +0200 | [exa] | (exa@user/exa/x-3587197) (Quit: Reconnecting) |
2021-07-22 08:43:15 +0200 | [exa] | (exa@srv3.blesmrt.net) |
2021-07-22 08:43:31 +0200 | [exa] | (exa@srv3.blesmrt.net) (Changing host) |
2021-07-22 08:43:31 +0200 | [exa] | (exa@user/exa/x-3587197) |
2021-07-22 08:52:16 +0200 | Vq | (~vq@90-227-195-41-no77.tbcn.telia.com) (Quit: Client restart) |
2021-07-22 08:52:37 +0200 | Vq | (~vq@90-227-195-41-no77.tbcn.telia.com) |
2021-07-22 08:53:37 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-07-22 08:57:08 +0200 | fendor | (~fendor@77.119.210.38.wireless.dyn.drei.com) |
2021-07-22 09:02:18 +0200 | talismanick | (~user@2601:644:8502:d700::f19d) (Ping timeout: 240 seconds) |
2021-07-22 09:02:21 +0200 | ph88^ | (~ph88@2a02:8109:9e00:7e5c:4c3:7ef8:c703:fb12) |
2021-07-22 09:04:11 +0200 | unyu | (~pyon@user/pyon) |
2021-07-22 09:05:25 +0200 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) |
2021-07-22 09:06:23 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
2021-07-22 09:06:50 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2021-07-22 09:09:55 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2021-07-22 09:10:26 +0200 | smtnet3 | (~asdfasdfa@202.36.244.28) (Read error: Connection reset by peer) |
2021-07-22 09:10:48 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 255 seconds) |
2021-07-22 09:11:07 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 09:13:20 +0200 | curiousgay | (~curiousga@77-120-144-167.kha.volia.net) (Ping timeout: 268 seconds) |
2021-07-22 09:19:41 +0200 | ft | (~ft@shell.chaostreff-dortmund.de) (Quit: Reconnecting) |
2021-07-22 09:19:51 +0200 | ft | (~ft@shell.chaostreff-dortmund.de) |
2021-07-22 09:20:18 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
2021-07-22 09:20:36 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 09:24:33 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:7187:828c:38f7:dc68) |
2021-07-22 09:26:15 +0200 | fef | (~thedawn@user/thedawn) |
2021-07-22 09:27:05 +0200 | ub | (~Thunderbi@91.141.40.166.wireless.dyn.drei.com) |
2021-07-22 09:27:38 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
2021-07-22 09:28:16 +0200 | ubert | (~Thunderbi@178.165.183.24.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
2021-07-22 09:28:16 +0200 | ub | ubert |
2021-07-22 09:29:02 +0200 | cfricke | (~cfricke@user/cfricke) |
2021-07-22 09:29:42 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
2021-07-22 09:35:04 +0200 | Ariakenom | (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
2021-07-22 09:36:51 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2021-07-22 09:42:17 +0200 | smtnet3 | (~asdfasdfa@202.36.244.28) |
2021-07-22 09:45:14 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-07-22 09:45:15 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 2.8) |
2021-07-22 09:45:26 +0200 | jumper149 | (~jumper149@80.240.31.34) |
2021-07-22 09:46:38 +0200 | aman | (~aman@user/aman) |
2021-07-22 09:49:30 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
2021-07-22 09:49:44 +0200 | cjb | (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50) |
2021-07-22 09:52:02 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 09:56:28 +0200 | zeenk | (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) |
2021-07-22 09:57:15 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2021-07-22 09:58:57 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 255 seconds) |
2021-07-22 09:59:21 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 10:06:35 +0200 | hendursa1 | (~weechat@user/hendursaga) |
2021-07-22 10:06:36 +0200 | jle` | (~justin@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 255 seconds) |
2021-07-22 10:07:12 +0200 | dunj3 | (~dunj3@2001:16b8:3001:6100:b447:1fd4:5e4:c9b1) |
2021-07-22 10:08:59 +0200 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
2021-07-22 10:09:19 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
2021-07-22 10:12:49 +0200 | ozzymcduff | (~mathieu@81-234-151-21-no94.tbcn.telia.com) |
2021-07-22 10:13:00 +0200 | ubert1 | (~Thunderbi@91.141.40.166.wireless.dyn.drei.com) |
2021-07-22 10:13:20 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-22 10:13:58 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
2021-07-22 10:14:43 +0200 | ubert | (~Thunderbi@91.141.40.166.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
2021-07-22 10:16:26 +0200 | ubert | (~Thunderbi@178.165.186.232.wireless.dyn.drei.com) |
2021-07-22 10:16:48 +0200 | jle` | (~justin@cpe-23-240-75-236.socal.res.rr.com) |
2021-07-22 10:17:48 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2021-07-22 10:17:48 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
2021-07-22 10:17:51 +0200 | allbery_b | geekosaur |
2021-07-22 10:18:07 +0200 | ubert1 | (~Thunderbi@91.141.40.166.wireless.dyn.drei.com) (Ping timeout: 258 seconds) |
2021-07-22 10:23:21 +0200 | phma | (phma@2001:5b0:211f:e4d8:6e5e:7ad2:e1a9:776d) (Read error: Connection reset by peer) |
2021-07-22 10:24:18 +0200 | phma | (phma@2001:5b0:212a:a908:914b:947b:7a62:29b3) |
2021-07-22 10:25:28 +0200 | berberman_ | (~berberman@user/berberman) |
2021-07-22 10:25:40 +0200 | acidjnk | (~acidjnk@p200300d0c72b9516f180e3afe24121d7.dip0.t-ipconnect.de) |
2021-07-22 10:26:18 +0200 | berberman | (~berberman@user/berberman) (Ping timeout: 240 seconds) |
2021-07-22 10:29:06 +0200 | jle` | (~justin@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 255 seconds) |
2021-07-22 10:29:14 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) |
2021-07-22 10:31:05 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 255 seconds) |
2021-07-22 10:34:23 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-07-22 10:35:43 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 10:43:29 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2021-07-22 10:46:19 +0200 | jippiedoe | (~david@2a02-a44c-e14e-1-ffb4-d6eb-4999-9833.fixed6.kpn.net) |
2021-07-22 10:49:13 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
2021-07-22 10:50:53 +0200 | laprice | (~laprice@c-71-238-52-236.hsd1.or.comcast.net) |
2021-07-22 10:54:16 +0200 | soft-warm | (~soft-warm@2600:8801:db01:8f0:2b46:c2bc:f21e:3c72) (Ping timeout: 246 seconds) |
2021-07-22 10:54:37 +0200 | jchia | (~jchia@64.52.84.46) |
2021-07-22 10:55:12 +0200 | mei | (~mei@user/mei) (Quit: mei) |
2021-07-22 10:55:52 +0200 | jle` | (~justin@cpe-23-240-75-236.socal.res.rr.com) |
2021-07-22 10:56:24 +0200 | jchia | (~jchia@64.52.84.46) (Client Quit) |
2021-07-22 10:56:37 +0200 | jchia | (~jchia@64.52.84.46) |
2021-07-22 10:57:20 +0200 | notzmv | (~zmv@user/notzmv) (Read error: Connection reset by peer) |
2021-07-22 10:58:58 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
2021-07-22 10:59:20 +0200 | jchia[m] | (~jchiamatr@2001:470:69fc:105::c50b) |
2021-07-22 10:59:33 +0200 | jchia | (~jchia@64.52.84.46) (Client Quit) |
2021-07-22 11:01:32 +0200 | jiribenes | (~jiribenes@rosa.jiribenes.com) (Remote host closed the connection) |
2021-07-22 11:01:46 +0200 | jiribenes | (~jiribenes@rosa.jiribenes.com) |
2021-07-22 11:04:07 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
2021-07-22 11:05:33 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 255 seconds) |
2021-07-22 11:05:34 +0200 | Arahael | (~arahael@60-242-119-83.tpgi.com.au) (Ping timeout: 268 seconds) |
2021-07-22 11:07:35 +0200 | pesada | (~agua@2804:18:4e:2dda:1:0:4058:6b7c) |
2021-07-22 11:08:52 +0200 | mcfrdy | (~mcfrdy@user/mcfrdy) |
2021-07-22 11:10:37 +0200 | agua | (~agua@2804:14c:8793:8e2f:6091:e445:c3bf:d39e) (Ping timeout: 250 seconds) |
2021-07-22 11:10:44 +0200 | Kaipi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
2021-07-22 11:12:05 +0200 | <raehik> | Why is ScopedTypeVariables not default when using TypeApplications? I never recognise the error message when you try to use a type variable not in scope |
2021-07-22 11:12:29 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
2021-07-22 11:12:39 +0200 | <raehik> | few hours wasted due to a lang pragma that I somehow thought was default. gah |
2021-07-22 11:13:22 +0200 | <Taneb> | I think TypeApplication is often very useful even without ScopedTypeVariables |
2021-07-22 11:14:55 +0200 | <raehik> | I think I'm mostly just mad, the syntax ("types in the function!") made me think I could use type vars. even used explicit forall thinking that would help |
2021-07-22 11:15:08 +0200 | Null_A | (~null_a@2601:645:8700:2290:c911:1c05:b98d:d069) (Remote host closed the connection) |
2021-07-22 11:16:39 +0200 | degraafk_ | (sid71464@id-71464.tooting.irccloud.com) (Ping timeout: 252 seconds) |
2021-07-22 11:17:12 +0200 | hendi | (sid489601@id-489601.tooting.irccloud.com) (Ping timeout: 252 seconds) |
2021-07-22 11:18:03 +0200 | hendi | (sid489601@id-489601.tooting.irccloud.com) |
2021-07-22 11:18:07 +0200 | degraafk_ | (sid71464@id-71464.tooting.irccloud.com) |
2021-07-22 11:19:21 +0200 | Arahael | (~arahael@203-206-93-248.tpgi.com.au) |
2021-07-22 11:28:05 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 252 seconds) |
2021-07-22 11:28:29 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 11:33:00 +0200 | azeem | (~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it) (Ping timeout: 255 seconds) |
2021-07-22 11:34:13 +0200 | azeem | (~azeem@176.201.2.247) |
2021-07-22 11:34:45 +0200 | viluon | (uid453725@id-453725.brockwell.irccloud.com) |
2021-07-22 11:36:00 +0200 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
2021-07-22 11:36:11 +0200 | Ariakenom | (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Ping timeout: 250 seconds) |
2021-07-22 11:36:14 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-07-22 11:38:10 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2021-07-22 11:39:18 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
2021-07-22 11:39:48 +0200 | <jchia[m]> | Any reason to not always ScopedTypeVariables, though? It's one of my standard extensions to use. |
2021-07-22 11:40:27 +0200 | <jchia[m]> | I just have it in a list of extensions I always enable whether or not the code actually uses it. |
2021-07-22 11:40:39 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
2021-07-22 11:47:26 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) |
2021-07-22 11:49:39 +0200 | azeem | (~azeem@176.201.2.247) (Ping timeout: 255 seconds) |
2021-07-22 11:51:35 +0200 | ukari | (~ukari@user/ukari) |
2021-07-22 11:53:59 +0200 | azeem | (~azeem@176.201.2.247) |
2021-07-22 11:54:56 +0200 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
2021-07-22 11:55:10 +0200 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-07-22 11:55:30 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 255 seconds) |
2021-07-22 11:56:36 +0200 | qrpnxz | (~qrpnxz@user/qrpnxz) () |
2021-07-22 11:59:15 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.2) |
2021-07-22 12:00:07 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 12:01:06 +0200 | jmct_ | (sid160793@id-160793.tinside.irccloud.com) (Ping timeout: 240 seconds) |
2021-07-22 12:01:33 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2021-07-22 12:02:15 +0200 | jmct_ | (sid160793@id-160793.tinside.irccloud.com) |
2021-07-22 12:03:29 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2021-07-22 12:04:59 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection) |
2021-07-22 12:05:24 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
2021-07-22 12:05:51 +0200 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 255 seconds) |
2021-07-22 12:06:19 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-07-22 12:07:06 +0200 | <kuribas> | Why does GHC.Records have getField, but no setField? |
2021-07-22 12:07:33 +0200 | jumper149 | (~jumper149@80.240.31.34) (Quit: WeeChat 3.2) |
2021-07-22 12:08:43 +0200 | <maerwald> | https://github.com/ghc-proposals/ghc-proposals/pull/158 |
2021-07-22 12:09:16 +0200 | <maerwald> | https://gitlab.haskell.org/ghc/ghc/-/issues/16232 |
2021-07-22 12:11:46 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
2021-07-22 12:13:08 +0200 | jippiedoe | (~david@2a02-a44c-e14e-1-ffb4-d6eb-4999-9833.fixed6.kpn.net) (Quit: Leaving) |
2021-07-22 12:16:34 +0200 | <arkanoid> | I'm probably solving the problem wrong, but is there a way to swap the arguments of a 2 arguments function (actually elem)? |
2021-07-22 12:18:05 +0200 | Atum_ | (~IRC@user/atum/x-2392232) |
2021-07-22 12:18:09 +0200 | <raehik> | jchia[m]: yeah it's going in my standard list from now. I played with it before and hesitated, but I keep having to re-state constraints for helper functions etc, and now this heh |
2021-07-22 12:18:11 +0200 | Hanicef | (~hanicef@78-71-43-30-no260.tbcn.telia.com) |
2021-07-22 12:18:27 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 255 seconds) |
2021-07-22 12:19:25 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-07-22 12:20:54 +0200 | <arkanoid> | oh, just found that "`elem` x" makes a partial on the second argument |
2021-07-22 12:21:01 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
2021-07-22 12:21:20 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
2021-07-22 12:21:49 +0200 | Vajb | (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
2021-07-22 12:23:12 +0200 | qrpnxz | (~qrpnxz@user/qrpnxz) |
2021-07-22 12:23:39 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 12:24:13 +0200 | hiruji | (~hiruji@user/hiruji) |
2021-07-22 12:26:00 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds) |
2021-07-22 12:29:20 +0200 | yo_ | (~0xfe0@2405:201:5502:d69:ad6c:9daa:d1e4:a3ce) |
2021-07-22 12:29:29 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 250 seconds) |
2021-07-22 12:31:21 +0200 | MQ-17J | (~MQ-17J@8.21.10.15) |
2021-07-22 12:32:12 +0200 | yo | (~0xfe0@2405:201:5502:d69:c32:8cab:cb7:332d) (Ping timeout: 245 seconds) |
2021-07-22 12:36:05 +0200 | Hanicef | (~hanicef@78-71-43-30-no260.tbcn.telia.com) (Quit: leaving) |
2021-07-22 12:36:57 +0200 | Vajb | (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
2021-07-22 12:37:06 +0200 | Hanicef | (~hanicef@78-71-43-30-no260.tbcn.telia.com) |
2021-07-22 12:38:01 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
2021-07-22 12:39:44 +0200 | <ph88^> | how can i fix these linker errors ? https://bpa.st/FNPQ |
2021-07-22 12:40:58 +0200 | <ph88^> | btw on first line at the end "4 files" etc, that can be ignored |
2021-07-22 12:42:07 +0200 | smichel17 | (~smichel17@c-73-68-217-18.hsd1.ma.comcast.net) |
2021-07-22 12:43:34 +0200 | <ph88^> | "it was easy, and I was surprised" https://github.com/commercialhaskell/stack/issues/3420#issuecomment-481980763 |
2021-07-22 12:44:18 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
2021-07-22 12:44:42 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 12:46:15 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) |
2021-07-22 12:46:54 +0200 | bitmapper | (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
2021-07-22 12:50:24 +0200 | Hanicef | (~hanicef@78-71-43-30-no260.tbcn.telia.com) (Quit: leaving) |
2021-07-22 12:56:49 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 258 seconds) |
2021-07-22 12:58:21 +0200 | azeem | (~azeem@176.201.2.247) (Ping timeout: 258 seconds) |
2021-07-22 12:58:36 +0200 | azeem | (~azeem@176.201.2.247) |
2021-07-22 12:59:04 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
2021-07-22 12:59:15 +0200 | PinealGlandOptic | (~PinealGla@37.115.210.35) (Quit: leaving) |
2021-07-22 13:00:19 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-07-22 13:02:49 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2021-07-22 13:03:19 +0200 | notzmv | (~zmv@user/notzmv) |
2021-07-22 13:04:53 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
2021-07-22 13:07:33 +0200 | AlexNoo_ | (~AlexNoo@178.34.162.117) |
2021-07-22 13:07:45 +0200 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
2021-07-22 13:07:56 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 272 seconds) |
2021-07-22 13:08:15 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 13:08:40 +0200 | ukari | (~ukari@user/ukari) |
2021-07-22 13:09:30 +0200 | Alex_test | (~al_test@178.34.161.231) (Ping timeout: 265 seconds) |
2021-07-22 13:10:14 +0200 | AlexZenon | (~alzenon@178.34.161.231) (Ping timeout: 258 seconds) |
2021-07-22 13:11:00 +0200 | AlexNoo | (~AlexNoo@178.34.161.231) (Ping timeout: 258 seconds) |
2021-07-22 13:11:18 +0200 | mr-red | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
2021-07-22 13:12:35 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 252 seconds) |
2021-07-22 13:13:15 +0200 | Alex_test | (~al_test@178.34.162.117) |
2021-07-22 13:14:00 +0200 | AlexZenon | (~alzenon@178.34.162.117) |
2021-07-22 13:14:31 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) |
2021-07-22 13:15:54 +0200 | mr-red | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 240 seconds) |
2021-07-22 13:16:11 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) (Client Quit) |
2021-07-22 13:21:54 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
2021-07-22 13:21:57 +0200 | azeem | (~azeem@176.201.2.247) (Ping timeout: 276 seconds) |
2021-07-22 13:22:52 +0200 | azeem | (~azeem@176.201.2.247) |
2021-07-22 13:24:25 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 13:26:35 +0200 | dunj3 | (~dunj3@2001:16b8:3001:6100:b447:1fd4:5e4:c9b1) (Ping timeout: 255 seconds) |
2021-07-22 13:33:13 +0200 | awth13 | (~user@user/awth13) (Read error: Connection reset by peer) |
2021-07-22 13:33:27 +0200 | awth13 | (~user@user/awth13) |
2021-07-22 13:34:23 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
2021-07-22 13:36:54 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
2021-07-22 13:38:02 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-07-22 13:38:44 +0200 | azeem | (~azeem@176.201.2.247) (Ping timeout: 255 seconds) |
2021-07-22 13:42:32 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
2021-07-22 13:43:07 +0200 | azeem | (~azeem@176.201.2.247) |
2021-07-22 13:48:11 +0200 | <arkanoid> | now sure when I should use let and when I should use where |
2021-07-22 13:51:45 +0200 | johnw | (~johnw@2600:1700:cf00:db0:b972:d95b:bd23:4be) |
2021-07-22 13:52:01 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2021-07-22 13:54:06 +0200 | azeem | (~azeem@176.201.2.247) (Ping timeout: 252 seconds) |
2021-07-22 13:55:03 +0200 | azeem | (~azeem@176.201.2.247) |
2021-07-22 13:59:32 +0200 | azeem | (~azeem@176.201.2.247) (Ping timeout: 256 seconds) |
2021-07-22 13:59:47 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
2021-07-22 14:01:13 +0200 | mei | (~mei@user/mei) |
2021-07-22 14:01:29 +0200 | fef | (~thedawn@user/thedawn) (Ping timeout: 244 seconds) |
2021-07-22 14:03:32 +0200 | azeem | (~azeem@176.201.2.247) |
2021-07-22 14:05:18 +0200 | sndr | (~sander@user/sander) (Quit: So long! :)) |
2021-07-22 14:06:35 +0200 | sander | (~sander@user/sander) |
2021-07-22 14:07:36 +0200 | argento | (~argent0@168-227-96-53.ptr.westnet.com.ar) |
2021-07-22 14:14:21 +0200 | fef | (~thedawn@user/thedawn) |
2021-07-22 14:20:19 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-07-22 14:21:53 +0200 | artagnon | (sid7560@id-7560.tooting.irccloud.com) () |
2021-07-22 14:29:08 +0200 | jippiedoe | (~david@2a02-a44c-e14e-1-9a5a-f445-7fbc-9e55.fixed6.kpn.net) |
2021-07-22 14:33:49 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
2021-07-22 14:34:42 +0200 | azeem | (~azeem@176.201.2.247) (Ping timeout: 245 seconds) |
2021-07-22 14:39:29 +0200 | azeem | (~azeem@176.201.2.247) |
2021-07-22 14:44:00 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) |
2021-07-22 14:45:22 +0200 | fluffyballoon | (~fluffybal@pat-verona-l.epic.com) (Quit: Client closed) |
2021-07-22 14:45:41 +0200 | fluffyballoon | (~fluffybal@pat-verona-l.epic.com) |
2021-07-22 14:46:04 +0200 | azeem | (~azeem@176.201.2.247) (Ping timeout: 258 seconds) |
2021-07-22 14:47:32 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
2021-07-22 14:49:08 +0200 | azeem | (~azeem@176.201.2.247) |
2021-07-22 14:51:39 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Client Quit) |
2021-07-22 14:52:23 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
2021-07-22 14:53:19 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
2021-07-22 14:53:55 +0200 | jneira | (~jneira@212.8.115.226) (Quit: Client closed) |
2021-07-22 14:55:00 +0200 | Brianmancer | (~Neuromanc@user/briandamag) (Read error: Connection reset by peer) |
2021-07-22 14:55:47 +0200 | AlexNoo_ | AlexNoo |
2021-07-22 14:56:19 +0200 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-07-22 14:56:25 +0200 | shanemikel | (~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
2021-07-22 14:56:25 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 258 seconds) |
2021-07-22 14:56:26 +0200 | urdh | (~urdh@user/urdh) (Quit: Boom!) |
2021-07-22 14:56:44 +0200 | shanemikel | (~shanemike@desk.roadwar.net) |
2021-07-22 14:57:06 +0200 | bsima1 | (~bsima@simatime.com) |
2021-07-22 14:57:34 +0200 | anderson | (~ande@134.209.221.71) (Remote host closed the connection) |
2021-07-22 14:57:34 +0200 | glider | (~glider@user/glider) (Quit: ZNC 1.9.x-git-111-f2cdc3db - https://znc.in) |
2021-07-22 14:57:55 +0200 | anderson | (~ande@134.209.221.71) |
2021-07-22 14:58:39 +0200 | dolio | (~dolio@130.44.130.54) |
2021-07-22 14:58:44 +0200 | blades | (~blades@204.48.29.163) (Ping timeout: 265 seconds) |
2021-07-22 14:59:13 +0200 | bsima | (~bsima@simatime.com) (Ping timeout: 265 seconds) |
2021-07-22 14:59:15 +0200 | urdh | (~urdh@user/urdh) |
2021-07-22 14:59:34 +0200 | blades | (~blades@204.48.29.163) |
2021-07-22 14:59:57 +0200 | glider | (~glider@user/glider) |
2021-07-22 15:01:09 +0200 | alx741 | (~alx741@186.178.108.210) |
2021-07-22 15:04:53 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-07-22 15:06:33 +0200 | <delYsid> | > flip elem [1,2,3] 2 |
2021-07-22 15:06:35 +0200 | <lambdabot> | True |
2021-07-22 15:06:43 +0200 | <delYsid> | arkanoid: ^ |
2021-07-22 15:06:51 +0200 | <delYsid> | :t flip |
2021-07-22 15:06:52 +0200 | <lambdabot> | (a -> b -> c) -> b -> a -> c |
2021-07-22 15:07:01 +0200 | <arkanoid> | thanks! |
2021-07-22 15:07:35 +0200 | Bayes | (~Bayes@ics177-97.icsincorporated.com) |
2021-07-22 15:07:54 +0200 | <delYsid> | and |
2021-07-22 15:08:01 +0200 | Bayes | (~Bayes@ics177-97.icsincorporated.com) (Changing host) |
2021-07-22 15:08:01 +0200 | Bayes | (~Bayes@user/bayes) |
2021-07-22 15:08:05 +0200 | <delYsid> | > (`elem` [1,2,3]) 2 |
2021-07-22 15:08:07 +0200 | <lambdabot> | True |
2021-07-22 15:08:17 +0200 | <delYsid> | which you already discovered |
2021-07-22 15:09:06 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
2021-07-22 15:12:11 +0200 | juhp | (~juhp@128.106.188.220) (Quit: juhp) |
2021-07-22 15:12:24 +0200 | juhp | (~juhp@128.106.188.220) |
2021-07-22 15:14:29 +0200 | jay_invariant | (~jay@c-24-4-6-169.hsd1.ca.comcast.net) |
2021-07-22 15:15:06 +0200 | slycelote_ | (~slycelote@user/slycelote) |
2021-07-22 15:16:00 +0200 | bbhoss_ | (sid18216@id-18216.tinside.irccloud.com) |
2021-07-22 15:16:01 +0200 | qontinuum_ | (qontinuum@user/qontinuum) |
2021-07-22 15:16:03 +0200 | derelict | (~derelict@user/derelict) |
2021-07-22 15:16:07 +0200 | davl_ | (~davl@207.154.228.18) |
2021-07-22 15:16:09 +0200 | maerwald_ | (~maerwald@mail.hasufell.de) |
2021-07-22 15:16:15 +0200 | hsiktas_ | (sid224847@id-224847.tooting.irccloud.com) |
2021-07-22 15:16:25 +0200 | ubert1 | (~Thunderbi@178.165.186.232.wireless.dyn.drei.com) |
2021-07-22 15:16:34 +0200 | dminuoso_ | (~dminuoso@static.88-198-218-68.clients.your-server.de) |
2021-07-22 15:16:37 +0200 | tbg | (~trueboxgu@user/trueboxguy) |
2021-07-22 15:16:39 +0200 | hexology- | (~hexology@user/hexology) |
2021-07-22 15:16:41 +0200 | dragesti- | (~znc@user/dragestil) |
2021-07-22 15:16:42 +0200 | viluon_ | (uid453725@id-453725.brockwell.irccloud.com) |
2021-07-22 15:17:03 +0200 | koz- | (~koz@121.99.240.58) |
2021-07-22 15:17:35 +0200 | Flonk2 | (~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) |
2021-07-22 15:17:43 +0200 | dy` | (~dy@user/dy) |
2021-07-22 15:17:56 +0200 | wolfshappen_ | (~waff@irc.furworks.de) |
2021-07-22 15:18:09 +0200 | haasn` | (~nand@haasn.dev) |
2021-07-22 15:18:09 +0200 | NieDzejkob_ | (~quassel@195.149.98.3) |
2021-07-22 15:18:14 +0200 | connrs_ | (~connrs@user/connrs) |
2021-07-22 15:18:19 +0200 | sshine_ | (~simon@hubris.eta.solutions) |
2021-07-22 15:18:22 +0200 | tlaxkit | (~hexchat@170.253.46.216) |
2021-07-22 15:18:28 +0200 | wz1000_ | (~zubin@static.11.113.47.78.clients.your-server.de) |
2021-07-22 15:18:30 +0200 | bastelfreak1 | (~bastelfre@basteles-bastelknecht.bastelfreak.org) |
2021-07-22 15:18:32 +0200 | ethan1 | (~ethan@2604:a880:800:10::79f:8001) |
2021-07-22 15:18:33 +0200 | m811 | (~user@93-181-35-213.dyn.estpak.ee) |
2021-07-22 15:18:35 +0200 | tlax_ | (tlax@kapsi.fi) |
2021-07-22 15:18:36 +0200 | dkeohane1 | (~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com) |
2021-07-22 15:18:37 +0200 | Patternm1ster | (~georg@li1192-118.members.linode.com) |
2021-07-22 15:18:40 +0200 | dragesti- | dragestil` |
2021-07-22 15:18:44 +0200 | hexology | (~hexology@user/hexology) (Ping timeout: 255 seconds) |
2021-07-22 15:18:44 +0200 | hsiktas | (uid224847@id-224847.tooting.irccloud.com) (Ping timeout: 255 seconds) |
2021-07-22 15:18:44 +0200 | trueboxguy | (~trueboxgu@user/trueboxguy) (Ping timeout: 255 seconds) |
2021-07-22 15:18:45 +0200 | monochrom | (trebla@216.138.220.146) (Ping timeout: 255 seconds) |
2021-07-22 15:18:45 +0200 | swistak | (~swistak@185.21.216.141) (Ping timeout: 255 seconds) |
2021-07-22 15:18:45 +0200 | qontinuum | (qontinuum@user/qontinuum) (Ping timeout: 255 seconds) |
2021-07-22 15:18:45 +0200 | ubert | (~Thunderbi@178.165.186.232.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
2021-07-22 15:18:45 +0200 | dkeohane | (~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com) (Ping timeout: 255 seconds) |
2021-07-22 15:18:45 +0200 | Unhammer | (~Unhammer@user/unhammer) (Ping timeout: 255 seconds) |
2021-07-22 15:18:46 +0200 | hexfive | (~eric@50.35.83.177) (Ping timeout: 255 seconds) |
2021-07-22 15:18:46 +0200 | connrs | (~connrs@user/connrs) (Ping timeout: 255 seconds) |
2021-07-22 15:18:46 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 255 seconds) |
2021-07-22 15:18:46 +0200 | moll | (~user@93-181-35-213.dyn.estpak.ee) (Ping timeout: 255 seconds) |
2021-07-22 15:18:46 +0200 | _xor | (~xor@74.215.232.67) (Ping timeout: 255 seconds) |
2021-07-22 15:18:46 +0200 | Hafydd | (~Hafydd@user/hafydd) (Ping timeout: 255 seconds) |
2021-07-22 15:18:46 +0200 | amk | (~amk@176.61.106.150) (Ping timeout: 255 seconds) |
2021-07-22 15:18:46 +0200 | zyklotomic | (~ethan@2604:a880:800:10::79f:8001) (Ping timeout: 255 seconds) |
2021-07-22 15:18:46 +0200 | Patternmaster | (~georg@li1192-118.members.linode.com) (Ping timeout: 255 seconds) |
2021-07-22 15:18:46 +0200 | noctux | (~noctux@user/noctux) (Ping timeout: 255 seconds) |
2021-07-22 15:18:46 +0200 | amanr | (~therojjha@20.204.87.0) (Ping timeout: 255 seconds) |
2021-07-22 15:18:46 +0200 | koolazer | (~koo@user/koolazer) (Ping timeout: 255 seconds) |
2021-07-22 15:18:46 +0200 | synthmeat | (~synthmeat@user/synthmeat) (Ping timeout: 255 seconds) |
2021-07-22 15:18:46 +0200 | cocreature | (~moritz@2a03:b0c0:3:d0::c8:f001) (Ping timeout: 255 seconds) |
2021-07-22 15:18:46 +0200 | dminuoso | (~dminuoso@user/dminuoso) (Ping timeout: 255 seconds) |
2021-07-22 15:18:46 +0200 | phaazon | (~phaazon@2001:41d0:a:fe76::1) (Ping timeout: 255 seconds) |
2021-07-22 15:18:46 +0200 | javran | (~javran@c-98-207-169-40.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
2021-07-22 15:18:46 +0200 | sander | (~sander@user/sander) (Ping timeout: 255 seconds) |
2021-07-22 15:18:47 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 255 seconds) |
2021-07-22 15:18:47 +0200 | viluon | (uid453725@id-453725.brockwell.irccloud.com) (Ping timeout: 255 seconds) |
2021-07-22 15:18:47 +0200 | ozzymcduff | (~mathieu@81-234-151-21-no94.tbcn.telia.com) (Ping timeout: 255 seconds) |
2021-07-22 15:18:47 +0200 | Flonk | (~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) (Ping timeout: 255 seconds) |
2021-07-22 15:18:47 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 255 seconds) |
2021-07-22 15:18:47 +0200 | haasn | (~nand@haasn.dev) (Ping timeout: 255 seconds) |
2021-07-22 15:18:47 +0200 | davl | (~davl@207.154.228.18) (Ping timeout: 255 seconds) |
2021-07-22 15:18:47 +0200 | jolly | (~jolly@63-97-42-210-ama.pathwayz.com) (Ping timeout: 255 seconds) |
2021-07-22 15:18:47 +0200 | slycelote | (~slycelote@user/slycelote) (Ping timeout: 255 seconds) |
2021-07-22 15:18:47 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 255 seconds) |
2021-07-22 15:18:48 +0200 | tlax | (tlax@kapsi.fi) (Ping timeout: 255 seconds) |
2021-07-22 15:18:48 +0200 | bbhoss | (sid18216@id-18216.tinside.irccloud.com) (Ping timeout: 255 seconds) |
2021-07-22 15:18:48 +0200 | acid | (~acid@user/acid) (Ping timeout: 255 seconds) |
2021-07-22 15:18:48 +0200 | NieDzejkob | (~quassel@195.149.98.3) (Ping timeout: 255 seconds) |
2021-07-22 15:18:48 +0200 | dmwit | (~dmwit@pool-108-18-198-142.washdc.fios.verizon.net) (Ping timeout: 255 seconds) |
2021-07-22 15:18:48 +0200 | maerwald | (~maerwald@user/maerwald) (Ping timeout: 255 seconds) |
2021-07-22 15:18:48 +0200 | jay-invariant | (~jay@c-24-4-6-169.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
2021-07-22 15:18:48 +0200 | lechner | (~lechner@debian/lechner) (Ping timeout: 255 seconds) |
2021-07-22 15:18:48 +0200 | bastelfreak | (~bastelfre@basteles-bastelknecht.bastelfreak.org) (Ping timeout: 255 seconds) |
2021-07-22 15:18:49 +0200 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) (Ping timeout: 255 seconds) |
2021-07-22 15:18:49 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 255 seconds) |
2021-07-22 15:18:49 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 255 seconds) |
2021-07-22 15:18:49 +0200 | sshine | (~simon@hubris.eta.solutions) (Ping timeout: 255 seconds) |
2021-07-22 15:18:49 +0200 | wolfshappen | (~waff@irc.furworks.de) (Ping timeout: 255 seconds) |
2021-07-22 15:18:49 +0200 | lep | (~lep@94.31.86.183) (Ping timeout: 255 seconds) |
2021-07-22 15:18:49 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 255 seconds) |
2021-07-22 15:18:49 +0200 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (Ping timeout: 255 seconds) |
2021-07-22 15:18:49 +0200 | dragestil | (~znc@user/dragestil) (Ping timeout: 255 seconds) |
2021-07-22 15:18:49 +0200 | dy | (~dy@user/dy) (Ping timeout: 255 seconds) |
2021-07-22 15:18:49 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (Ping timeout: 255 seconds) |
2021-07-22 15:18:49 +0200 | juhp | (~juhp@128.106.188.220) (Ping timeout: 255 seconds) |
2021-07-22 15:18:49 +0200 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Ping timeout: 255 seconds) |
2021-07-22 15:18:50 +0200 | monochrom | (trebla@216.138.220.146) |
2021-07-22 15:18:50 +0200 | javran | (~javran@c-98-207-169-40.hsd1.ca.comcast.net) |
2021-07-22 15:18:50 +0200 | amanr | (~therojjha@20.204.87.0) |
2021-07-22 15:18:50 +0200 | phaazon | (~phaazon@2001:41d0:a:fe76::1) |
2021-07-22 15:18:50 +0200 | lep | (~lep@94.31.86.183) |
2021-07-22 15:18:50 +0200 | _xor | (~xor@74.215.232.67) |
2021-07-22 15:18:50 +0200 | hsiktas_ | hsiktas |
2021-07-22 15:18:50 +0200 | bbhoss_ | bbhoss |
2021-07-22 15:18:50 +0200 | viluon_ | viluon |
2021-07-22 15:18:50 +0200 | ubert1 | ubert |
2021-07-22 15:18:50 +0200 | Flonk2 | Flonk |
2021-07-22 15:18:50 +0200 | dragestil` | dragestil |
2021-07-22 15:18:50 +0200 | lechner | (~lechner@letbox-vps.us-core.com) |
2021-07-22 15:18:52 +0200 | lechner | (~lechner@letbox-vps.us-core.com) (Changing host) |
2021-07-22 15:18:52 +0200 | lechner | (~lechner@debian/lechner) |
2021-07-22 15:18:55 +0200 | connrs_ | connrs |
2021-07-22 15:18:57 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
2021-07-22 15:18:59 +0200 | Jonno_FTW | (~come@api.carswap.me) |
2021-07-22 15:19:00 +0200 | dmwit | (~dmwit@pool-108-18-198-142.washdc.fios.verizon.net) |
2021-07-22 15:19:00 +0200 | haasn` | haasn |
2021-07-22 15:19:02 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
2021-07-22 15:19:09 +0200 | vysn | (~vysn@user/vysn) |
2021-07-22 15:19:32 +0200 | amk | (~amk@176.61.106.150) |
2021-07-22 15:19:33 +0200 | noctux | (~noctux@user/noctux) |
2021-07-22 15:19:33 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) |
2021-07-22 15:19:34 +0200 | acid | (~acid@user/acid) |
2021-07-22 15:19:36 +0200 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
2021-07-22 15:19:37 +0200 | sander | (~sander@user/sander) |
2021-07-22 15:19:45 +0200 | hexfive | (~eric@50.35.83.177) |
2021-07-22 15:19:54 +0200 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) |
2021-07-22 15:19:55 +0200 | cocreature | (~moritz@2a03:b0c0:3:d0::c8:f001) |
2021-07-22 15:20:02 +0200 | jolly | (~jolly@63-97-42-210-ama.pathwayz.com) |
2021-07-22 15:20:05 +0200 | Hafydd | (~Hafydd@user/hafydd) |
2021-07-22 15:20:07 +0200 | Unhammer | (~Unhammer@user/unhammer) |
2021-07-22 15:20:09 +0200 | synthmeat | (~synthmeat@user/synthmeat) |
2021-07-22 15:20:14 +0200 | koolazer | (~koo@user/koolazer) |
2021-07-22 15:20:28 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 15:20:45 +0200 | swistak | (~swistak@185.21.216.141) |
2021-07-22 15:20:57 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
2021-07-22 15:21:19 +0200 | mikoto-chan | (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
2021-07-22 15:21:22 +0200 | maerwald_ | maerwald |
2021-07-22 15:21:38 +0200 | maerwald | (~maerwald@mail.hasufell.de) (Changing host) |
2021-07-22 15:21:38 +0200 | maerwald | (~maerwald@user/maerwald) |
2021-07-22 15:23:32 +0200 | ozzymcduff | (~mathieu@81-234-151-21-no94.tbcn.telia.com) |
2021-07-22 15:24:58 +0200 | Guest9 | (~Guest9@103.240.169.34) |
2021-07-22 15:27:27 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 255 seconds) |
2021-07-22 15:27:51 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 15:30:54 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-07-22 15:31:09 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
2021-07-22 15:32:34 +0200 | azeem | (~azeem@176.201.2.247) (Ping timeout: 265 seconds) |
2021-07-22 15:35:29 +0200 | azeem | (~azeem@176.201.2.247) |
2021-07-22 15:36:59 +0200 | jmorris | (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
2021-07-22 15:37:38 +0200 | delYsid | (~user@84-115-55-45.cable.dynamic.surfer.at) (ERC (IRC client for Emacs 27.1.50)) |
2021-07-22 15:38:11 +0200 | <arkanoid> | how to split a list every X elements? for example "foobarbaz" 3 would be ["foo", "bar", "baz"] |
2021-07-22 15:39:52 +0200 | <dminuoso_> | Roll your own |
2021-07-22 15:39:58 +0200 | <Clint> | arkanoid: https://hackage.haskell.org/package/split-0.2.3.4/docs/Data-List-Split.html |
2021-07-22 15:40:00 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) |
2021-07-22 15:40:35 +0200 | <arkanoid> | chunksOf! |
2021-07-22 15:49:22 +0200 | azeem | (~azeem@176.201.2.247) (Ping timeout: 240 seconds) |
2021-07-22 15:51:22 +0200 | son0p | (~ff@181.136.122.143) |
2021-07-22 15:53:13 +0200 | azeem | (~azeem@176.201.2.247) |
2021-07-22 15:54:20 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-07-22 15:57:40 +0200 | dminuoso_ | dminuoso |
2021-07-22 16:02:35 +0200 | bastelfreak1 | bastelfreak |
2021-07-22 16:03:40 +0200 | Guest9 | (~Guest9@103.240.169.34) (Quit: Connection closed) |
2021-07-22 16:04:07 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-07-22 16:04:34 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-07-22 16:06:05 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-07-22 16:07:10 +0200 | alx741_ | (~alx741@186.178.108.210) |
2021-07-22 16:07:15 +0200 | dminuoso | (~dminuoso@static.88-198-218-68.clients.your-server.de) (Changing host) |
2021-07-22 16:07:15 +0200 | dminuoso | (~dminuoso@user/dminuoso) |
2021-07-22 16:07:32 +0200 | alx741 | (~alx741@186.178.108.210) (Read error: Connection reset by peer) |
2021-07-22 16:07:45 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) |
2021-07-22 16:08:38 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
2021-07-22 16:11:05 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Remote host closed the connection) |
2021-07-22 16:12:01 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
2021-07-22 16:15:07 +0200 | <adamCS> | Boarders: sorry! Had to go. I don't know if there's cost to that vs. local. Performance of the various effect systems is extremely tricky and difficult to test in isolation. Though I think you can profile your own case if you think it's an issue. I' |
2021-07-22 16:15:41 +0200 | <adamCS> | Boarders: I'm inclined to think it's unlikely to matter in most cases but I don't know how you are using it. |
2021-07-22 16:15:42 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) |
2021-07-22 16:20:11 +0200 | <adamCS> | Boarders: As to your other question, you could catch everything and then rethrow a custom exception type which holds a copy of the environment. But catching everything is not usually what you want. Do you know what exception is being thrown that leads you to want to know about the local environment at that point? |
2021-07-22 16:20:38 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 256 seconds) |
2021-07-22 16:21:00 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 255 seconds) |
2021-07-22 16:21:25 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 16:21:26 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Remote host closed the connection) |
2021-07-22 16:21:47 +0200 | azeem | (~azeem@176.201.2.247) (Ping timeout: 252 seconds) |
2021-07-22 16:22:07 +0200 | ub | (~Thunderbi@178.165.186.232.wireless.dyn.drei.com) |
2021-07-22 16:22:23 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
2021-07-22 16:22:51 +0200 | azeem | (~azeem@176.201.2.247) |
2021-07-22 16:23:22 +0200 | shriekingnoise | (~shrieking@186.137.144.80) |
2021-07-22 16:25:25 +0200 | unyu | (~pyon@user/pyon) (Read error: Connection reset by peer) |
2021-07-22 16:28:26 +0200 | <Boarders> | adamCS: it is for a compiler architecture, you want to throw a compiler error but also for the purpose of error reporting to also get the local environment when that error was thrown |
2021-07-22 16:28:33 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
2021-07-22 16:28:33 +0200 | <Boarders> | (e.g. so you can see variables in scope and other stuff) |
2021-07-22 16:29:30 +0200 | <Boarders> | and I don't mean IO errors really here, just the Exception monad |
2021-07-22 16:30:30 +0200 | <adamCS> | Boarders: Right. So then you could maybe do "ExceptT Reader"? |
2021-07-22 16:30:53 +0200 | <adamCS> | Oh. Maybe not. |
2021-07-22 16:31:45 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Remote host closed the connection) |
2021-07-22 16:32:18 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-07-22 16:32:33 +0200 | <Boarders> | no, reader will not allow you to surface the env |
2021-07-22 16:32:43 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
2021-07-22 16:32:50 +0200 | <Boarders> | my point was that you need state for that |
2021-07-22 16:32:53 +0200 | <Boarders> | but it seems overkill |
2021-07-22 16:32:55 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-07-22 16:33:02 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b958851fb9d80c066df0b.dip0.t-ipconnect.de) |
2021-07-22 16:33:18 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
2021-07-22 16:33:35 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
2021-07-22 16:35:39 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) |
2021-07-22 16:35:57 +0200 | acidjnk | (~acidjnk@p200300d0c72b9516f180e3afe24121d7.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2021-07-22 16:37:02 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Client Quit) |
2021-07-22 16:37:12 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
2021-07-22 16:37:41 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
2021-07-22 16:38:04 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Client Quit) |
2021-07-22 16:38:27 +0200 | <adamCS> | Boarders: Why doesn't it work to have a custom exception type which holds a copy of the env? Then you catch what you need to, get the env at that point, and rethrow your type with the copy of the env. |
2021-07-22 16:38:49 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) |
2021-07-22 16:39:28 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-07-22 16:39:31 +0200 | ub | (~Thunderbi@178.165.186.232.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
2021-07-22 16:39:32 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2021-07-22 16:40:17 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-07-22 16:41:15 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2) |
2021-07-22 16:41:40 +0200 | <Boarders> | that is one option |
2021-07-22 16:42:14 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Remote host closed the connection) |
2021-07-22 16:43:06 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) (Client Quit) |
2021-07-22 16:43:06 +0200 | crazazy | (~user@2001:1c00:831:4700:3b4a:a6aa:91da:4816) |
2021-07-22 16:43:09 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
2021-07-22 16:43:29 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-07-22 16:43:48 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) |
2021-07-22 16:46:17 +0200 | unyu | (~pyon@user/pyon) |
2021-07-22 16:47:44 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) (Read error: Connection reset by peer) |
2021-07-22 16:48:02 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b958851fb9d80c066df0b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2021-07-22 16:48:31 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) |
2021-07-22 16:50:14 +0200 | tlaxkit | (~hexchat@170.253.46.216) (Quit: Leaving) |
2021-07-22 16:51:39 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 250 seconds) |
2021-07-22 16:52:21 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Remote host closed the connection) |
2021-07-22 16:53:18 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
2021-07-22 16:54:40 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 272 seconds) |
2021-07-22 16:55:26 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 16:56:19 +0200 | Null_A | (~null_a@2601:645:8700:2290:cc41:848b:cba0:322d) |
2021-07-22 16:58:15 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-07-22 17:00:11 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
2021-07-22 17:00:23 +0200 | Nux | (~Nux@165.89.93.209.dyn.plus.net) |
2021-07-22 17:01:14 +0200 | Nux | Nuxular |
2021-07-22 17:02:32 +0200 | jolly | (~jolly@63-97-42-210-ama.pathwayz.com) (Quit: Connection closed) |
2021-07-22 17:02:39 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Remote host closed the connection) |
2021-07-22 17:03:17 +0200 | <Nuxular> | I'm looking for a second opinion on this: https://github.com/reanimate/reanimate/discussions/210 |
2021-07-22 17:03:23 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
2021-07-22 17:03:35 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
2021-07-22 17:05:16 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2021-07-22 17:09:04 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
2021-07-22 17:12:42 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Remote host closed the connection) |
2021-07-22 17:13:38 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
2021-07-22 17:15:29 +0200 | MoC | (~moc@user/moc) |
2021-07-22 17:16:13 +0200 | <maerwald> | Nuxular: it's total nonsense (the unsafePerformIO) |
2021-07-22 17:16:21 +0200 | jolly | (~jolly@208.180.97.158) |
2021-07-22 17:16:35 +0200 | <maerwald> | there are several file operations involved, which can fail depending on platform, filesystem state etc |
2021-07-22 17:17:14 +0200 | hendursa1 | (~weechat@user/hendursaga) (Quit: hendursa1) |
2021-07-22 17:17:39 +0200 | hendursaga | (~weechat@user/hendursaga) |
2021-07-22 17:20:04 +0200 | <maerwald> | I replied |
2021-07-22 17:20:11 +0200 | mikoto-chan | (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Quit: mikoto-chan) |
2021-07-22 17:21:03 +0200 | <Nuxular> | yeah thanks |
2021-07-22 17:22:37 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 245 seconds) |
2021-07-22 17:23:47 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 17:25:08 +0200 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-07-22 17:25:25 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-07-22 17:25:35 +0200 | dunj3 | (~dunj3@2001:16b8:3001:6100:b447:1fd4:5e4:c9b1) |
2021-07-22 17:28:04 +0200 | dolio | (~dolio@130.44.130.54) |
2021-07-22 17:30:20 +0200 | cuz | (~user@38.140.58.234) |
2021-07-22 17:31:14 +0200 | dolio | (~dolio@130.44.130.54) (Read error: Connection reset by peer) |
2021-07-22 17:31:29 +0200 | dolio | (~dolio@130.44.130.54) |
2021-07-22 17:31:33 +0200 | ethan1 | (~ethan@2604:a880:800:10::79f:8001) (WeeChat 2.8) |
2021-07-22 17:33:54 +0200 | Deide | (~Deide@217.155.19.23) |
2021-07-22 17:33:54 +0200 | Deide | (~Deide@217.155.19.23) (Changing host) |
2021-07-22 17:33:54 +0200 | Deide | (~Deide@user/deide) |
2021-07-22 17:35:48 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-07-22 17:36:20 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-07-22 17:36:35 +0200 | jolly | (~jolly@208.180.97.158) (Quit: Connection closed) |
2021-07-22 17:39:16 +0200 | agua | (~agua@2804:18:49:b25b:1:0:4435:6601) |
2021-07-22 17:39:34 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-07-22 17:40:29 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
2021-07-22 17:41:06 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
2021-07-22 17:41:23 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-07-22 17:42:10 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 272 seconds) |
2021-07-22 17:42:25 +0200 | <viluon> | so my HLS is looking for GHC 8.11... Anyone had this issue? |
2021-07-22 17:42:29 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 17:42:38 +0200 | pesada | (~agua@2804:18:4e:2dda:1:0:4058:6b7c) (Ping timeout: 255 seconds) |
2021-07-22 17:43:01 +0200 | <viluon> | https://www.irccloud.com/pastebin/tPLlznpu/stack-output |
2021-07-22 17:43:34 +0200 | <viluon> | ^ output of `stack exec ghc -- --numeric-version`, HLS invokes that but with `--silent` |
2021-07-22 17:43:51 +0200 | <viluon> | (this is in VS code, if that makes a difference) |
2021-07-22 17:44:01 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
2021-07-22 17:44:39 +0200 | <c_wraith> | X.odd versions of GHC are development versions. somehow you've told stack that you want to use a development version of GHC. |
2021-07-22 17:45:15 +0200 | <c_wraith> | That's also a really old development version |
2021-07-22 17:45:25 +0200 | <c_wraith> | That branch was later renamed 9.0 for release |
2021-07-22 17:46:27 +0200 | bsima1 | bsima |
2021-07-22 17:46:34 +0200 | <viluon> | c_wraith: thanks! The project I'm trying to work with is here https://github.com/grin-compiler/ghc-whole-program-compiler-project/tree/master/external-stg-inter… |
2021-07-22 17:47:42 +0200 | <viluon> | judging by the resolver, shouldn't it be asking for 8.8.4 instead? I don't see what could change the desired GHC version like this |
2021-07-22 17:47:55 +0200 | mr-red | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
2021-07-22 17:48:20 +0200 | <viluon> | it seems that the issue is with my local config though, the project builds in my terminal but not in the VS Code terminal |
2021-07-22 17:48:28 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
2021-07-22 17:49:14 +0200 | <c_wraith> | Hmm. Maybe VS Code isn't running it from the right current directory somehow? |
2021-07-22 17:49:16 +0200 | <viluon> | oh, I think I know what's wrong. I opened the root project's folder, and HLS is trying to work from there |
2021-07-22 17:49:24 +0200 | mr-red | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Read error: Connection reset by peer) |
2021-07-22 17:49:26 +0200 | <viluon> | yep, current dir issue as you suspected |
2021-07-22 17:49:28 +0200 | <viluon> | thank you c_wraith ! |
2021-07-22 17:49:45 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 276 seconds) |
2021-07-22 17:49:47 +0200 | mr-red | (~drd@93-39-151-19.ip76.fastwebnet.it) |
2021-07-22 17:51:30 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
2021-07-22 17:51:37 +0200 | jippiedoe | (~david@2a02-a44c-e14e-1-9a5a-f445-7fbc-9e55.fixed6.kpn.net) (Ping timeout: 268 seconds) |
2021-07-22 17:53:48 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 17:53:53 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-07-22 17:55:51 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
2021-07-22 17:57:04 +0200 | chomwitt | (~chomwitt@2a02:587:dc0e:ef00:12c3:7bff:fe6d:d374) |
2021-07-22 17:57:33 +0200 | <maerwald> | Nuxular: I'd not use any library from that maintainer tbh |
2021-07-22 17:57:41 +0200 | <maerwald> | that's a pretty awful position |
2021-07-22 17:57:56 +0200 | <maerwald> | you can't trust any of the API if that's how they understand haskell |
2021-07-22 17:58:16 +0200 | Bayes48 | (~Bayes@ics177-97.icsincorporated.com) |
2021-07-22 17:58:16 +0200 | Bayes48 | (~Bayes@ics177-97.icsincorporated.com) (Client Quit) |
2021-07-22 17:58:45 +0200 | <maerwald> | if you must though, look at `evaluate` and `force`, which allows you to force the exceptions |
2021-07-22 17:59:43 +0200 | <maerwald> | I'm literally creeped out |
2021-07-22 17:59:53 +0200 | <maerwald> | I hope this isn't common on hackage |
2021-07-22 18:00:09 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Remote host closed the connection) |
2021-07-22 18:00:34 +0200 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
2021-07-22 18:00:45 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
2021-07-22 18:01:20 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:7187:828c:38f7:dc68) (Ping timeout: 252 seconds) |
2021-07-22 18:01:22 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
2021-07-22 18:01:31 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-07-22 18:02:11 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-22 18:04:06 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2) |
2021-07-22 18:04:20 +0200 | ukari | (~ukari@user/ukari) |
2021-07-22 18:05:08 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-07-22 18:05:12 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-07-22 18:05:44 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-07-22 18:06:03 +0200 | <dsal> | I just read that bug. That's really weird. |
2021-07-22 18:06:20 +0200 | lbseale | (~lbseale@user/ep1ctetus) |
2021-07-22 18:08:45 +0200 | <EvanR> | yep... the operation is literally doing I/O so really needs IO xD |
2021-07-22 18:08:59 +0200 | <maerwald> | but it returns the same filepath IF there is no error |
2021-07-22 18:09:16 +0200 | ub | (~Thunderbi@178.165.186.232.wireless.dyn.drei.com) |
2021-07-22 18:09:43 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2021-07-22 18:10:01 +0200 | <maerwald> | whether that filepath points to anything is another story |
2021-07-22 18:10:17 +0200 | <EvanR> | getting the filepath out can't be the main point here xD |
2021-07-22 18:10:28 +0200 | <maerwald> | lol |
2021-07-22 18:11:02 +0200 | <EvanR> | someone submit a pull request that updates the developer |
2021-07-22 18:11:30 +0200 | <maerwald> | why not have: svgAsPng :: SVG -> L.ByteString |
2021-07-22 18:11:31 +0200 | azeem | (~azeem@176.201.2.247) (Read error: Connection reset by peer) |
2021-07-22 18:11:35 +0200 | <maerwald> | and then let the user deal with files |
2021-07-22 18:11:45 +0200 | azeem | (~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it) |
2021-07-22 18:12:17 +0200 | <maerwald> | clearly, I want to do my own file handling code in light of these revelations |
2021-07-22 18:14:11 +0200 | <maerwald> | this made me angry, I'll go for a walk, lol |
2021-07-22 18:14:27 +0200 | <Nuxular> | maerwald: Ha sorry about that |
2021-07-22 18:14:41 +0200 | <EvanR> | is the whole API like this or |
2021-07-22 18:14:50 +0200 | <Nuxular> | I found out about this package from a 3blue1brown video: https://youtu.be/ojjzXyQCzso?t=1157 |
2021-07-22 18:15:14 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2021-07-22 18:15:18 +0200 | <maerwald> | I mean, the rest of the codebase doesn't look like it's written by a newbie, so that makes me double confused |
2021-07-22 18:15:39 +0200 | <Nuxular> | I'm thinking I might use diagrams instead for what I'm trying to do |
2021-07-22 18:15:51 +0200 | <maerwald> | and whether this is something I have to audit my libraries for |
2021-07-22 18:16:59 +0200 | <maerwald> | I'd go so far to say that may be a reason to flag a package on hackage for removal :p |
2021-07-22 18:19:12 +0200 | <EvanR> | hold on a sec while I set up a torches and pitchforks sales page |
2021-07-22 18:19:34 +0200 | <maerwald> | Nuxular: I spent the entire day working out file system operation issues on windows, carefully checking exception types, testing on different conditions, carefully handling corner cases etc etc. And now this. |
2021-07-22 18:19:45 +0200 | <maerwald> | :D |
2021-07-22 18:19:48 +0200 | <Nuxular> | :D |
2021-07-22 18:21:42 +0200 | xlei | (znc@pool-68-129-84-118.nycmny.fios.verizon.net) (Excess Flood) |
2021-07-22 18:22:15 +0200 | <EvanR> | it does raise some philosophical issues, like, what are the semantics of IO. I find it odd we are dwelling on how likely it is it returns the same value for a given input |
2021-07-22 18:22:49 +0200 | <EvanR> | or, what's purity |
2021-07-22 18:23:06 +0200 | <glguy> | maerwald: putStrLn :: String -> () |
2021-07-22 18:23:15 +0200 | <glguy> | I mean, it always returns (), why bother with the IO? |
2021-07-22 18:24:37 +0200 | <dminuoso> | maerwald: Did you want to go out for a walk? |
2021-07-22 18:24:40 +0200 | <dminuoso> | :-) |
2021-07-22 18:25:24 +0200 | xlei | (znc@pool-68-129-84-118.nycmny.fios.verizon.net) |
2021-07-22 18:27:38 +0200 | ub | (~Thunderbi@178.165.186.232.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
2021-07-22 18:27:45 +0200 | juhp | (~juhp@128.106.188.220) |
2021-07-22 18:34:36 +0200 | azeem | (~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it) (Ping timeout: 252 seconds) |
2021-07-22 18:35:13 +0200 | argento | (~argent0@168-227-96-53.ptr.westnet.com.ar) (Ping timeout: 250 seconds) |
2021-07-22 18:35:54 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
2021-07-22 18:36:15 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2021-07-22 18:39:40 +0200 | <Nuxular> | EvanR: I wasn't so concerned with philosophical implications as much as knowing what the compiler is going to decide to do if it thinks that value is pure. |
2021-07-22 18:39:47 +0200 | azeem | (~azeem@176.201.2.247) |
2021-07-22 18:39:48 +0200 | chomwitt | (~chomwitt@2a02:587:dc0e:ef00:12c3:7bff:fe6d:d374) (Ping timeout: 276 seconds) |
2021-07-22 18:40:34 +0200 | <Nuxular> | I'm not familiar with force and evaluate so I'll look into those thanks |
2021-07-22 18:40:46 +0200 | justsome1 | (~justsomeg@user/justsomeguy) |
2021-07-22 18:41:09 +0200 | <Nuxular> | (though I still think I'm going to just use a different package) |
2021-07-22 18:41:35 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 255 seconds) |
2021-07-22 18:42:55 +0200 | koz- | koz |
2021-07-22 18:43:07 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
2021-07-22 18:44:25 +0200 | <EvanR> | that's a shame this package seems cool |
2021-07-22 18:45:08 +0200 | <nshepperd> | this presents an obvious performance optimisation: just return the file path without doing all that expensive I/O. the denotational semantics are the same but now it's way faster |
2021-07-22 18:46:42 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
2021-07-22 18:47:01 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
2021-07-22 18:47:24 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-22 18:49:16 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 18:50:06 +0200 | <c_wraith> | Also, the assertion is false |
2021-07-22 18:50:17 +0200 | <c_wraith> | That function depends on the current directory |
2021-07-22 18:50:23 +0200 | <c_wraith> | you can change that at runtmie |
2021-07-22 18:50:31 +0200 | <c_wraith> | or runtime, if you like spelling accurately |
2021-07-22 18:51:07 +0200 | <c_wraith> | Oh, I guess it's less clear than that |
2021-07-22 18:52:24 +0200 | <c_wraith> | Ok, it depends on the XDG environment variables. those aren't likely to change at run time, but can change between runs of the program |
2021-07-22 18:52:25 +0200 | <shapr> | run TMI, the new post mortem group? |
2021-07-22 18:54:31 +0200 | yo_ | yo |
2021-07-22 18:55:02 +0200 | <c_wraith> | can you alter the current process's environment variables at runtime? |
2021-07-22 18:56:13 +0200 | azeem | (~azeem@176.201.2.247) (Read error: Connection reset by peer) |
2021-07-22 18:56:41 +0200 | <yo> | Hi guys, I'm new to Haskell, I tried writing recursive nth Fibonacci number function, but it seems to run too slow, even slower than slowest languages out there. |
2021-07-22 18:56:53 +0200 | <davean> | maerwald: That is the most egregious issue I've ever seen in Haskell |
2021-07-22 18:56:55 +0200 | <c_wraith> | hey... https://hackage.haskell.org/package/base-4.15.0.0/docs/System-Environment.html#v:setEnv |
2021-07-22 18:57:08 +0200 | <c_wraith> | congratulations, the function doesn't even always return the same thing! |
2021-07-22 18:57:10 +0200 | azeem | (~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it) |
2021-07-22 18:57:33 +0200 | <c_wraith> | so the defense is just factually incorrect |
2021-07-22 18:58:01 +0200 | Achylles | (~Achylles_@2804:431:d724:510f:d7b1:4ecb:6877:1a1a) |
2021-07-22 18:58:08 +0200 | mr-red | (~drd@93-39-151-19.ip76.fastwebnet.it) (Read error: Connection reset by peer) |
2021-07-22 18:58:16 +0200 | <yo> | https://pastebin.com/4FfCZTDA that's how I wrote it |
2021-07-22 18:58:18 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
2021-07-22 18:58:38 +0200 | <Nuxular> | EvanR: It seems cool to me too and I appreciate the effort they've put into creating it despite it's misguided notion of purity. |
2021-07-22 18:58:48 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
2021-07-22 18:58:57 +0200 | <Nuxular> | Nobody would bat an eyelid if it were written most other languages out there |
2021-07-22 18:59:17 +0200 | <c_wraith> | yo: well, it is an exponential-time algorithm. if you're running it in ghci... well, ghci isn't known for trying to be fast. |
2021-07-22 18:59:35 +0200 | <c_wraith> | yo: but even if you compiled it, it's *still* exponential time |
2021-07-22 18:59:39 +0200 | econo | (uid147250@user/econo) |
2021-07-22 19:00:12 +0200 | <yo> | fib 41 is taking three seconds in Julia, and over 5 mins in ghci |
2021-07-22 19:00:25 +0200 | <yo> | maybe I should compile it and check |
2021-07-22 19:00:53 +0200 | mr-red | (~drd@93-39-151-19.ip76.fastwebnet.it) |
2021-07-22 19:01:50 +0200 | <c_wraith> | I don't think any current hardware will run that algorithm in 3 seconds on 41 as the input. |
2021-07-22 19:02:14 +0200 | <c_wraith> | hmm. Maybe that's right on the edge of possible |
2021-07-22 19:03:52 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 272 seconds) |
2021-07-22 19:05:11 +0200 | <davean> | ooh thats a very lazy definition |
2021-07-22 19:05:57 +0200 | <davean> | Yah, you either want to be more eager, or optimize that |
2021-07-22 19:06:09 +0200 | <davean> | I'm a little shocked that didn't blow out stack |
2021-07-22 19:06:38 +0200 | jneira_ | (~jneira_@28.red-80-28-169.staticip.rima-tde.net) (Quit: Ping timeout (120 seconds)) |
2021-07-22 19:07:21 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) |
2021-07-22 19:08:02 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2021-07-22 19:08:38 +0200 | <davean> | yo: That definition can't possibly run in a sane time on any computer currently existing. |
2021-07-22 19:08:57 +0200 | Franciman | (~francesco@openglass.it) (WeeChat 2.3) |
2021-07-22 19:09:30 +0200 | yo | (~0xfe0@2405:201:5502:d69:ad6c:9daa:d1e4:a3ce) (Ping timeout: 256 seconds) |
2021-07-22 19:10:33 +0200 | mr-red | (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 265 seconds) |
2021-07-22 19:10:54 +0200 | <davean> | yo: your julia definition must be semanticly different. |
2021-07-22 19:11:14 +0200 | mr-red | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
2021-07-22 19:11:24 +0200 | dajoer | (~david@user/gvx) (Quit: leaving) |
2021-07-22 19:12:00 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 252 seconds) |
2021-07-22 19:12:06 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
2021-07-22 19:12:28 +0200 | <c_wraith> | Eh, I think it's possible for a modern CPU to advance a counter F(41) times in 3 seconds. |
2021-07-22 19:12:39 +0200 | <c_wraith> | If you remove all the function call overhead somehow |
2021-07-22 19:13:08 +0200 | <c_wraith> | Because any other algorithm should be *way* faster than 3 seconds. |
2021-07-22 19:15:54 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
2021-07-22 19:15:56 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-07-22 19:16:10 +0200 | <c_wraith> | davean: why would it blow out the stack? the maximum depth is 41 |
2021-07-22 19:16:47 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
2021-07-22 19:16:56 +0200 | <davean> | c_wraith: walking the adds - and infact it does for me |
2021-07-22 19:17:10 +0200 | <c_wraith> | the adds should mirror the recursive structure |
2021-07-22 19:17:17 +0200 | <int-e> | laziness is a wonderful thing |
2021-07-22 19:17:21 +0200 | <davean> | test.hs: stack overflow |
2021-07-22 19:17:30 +0200 | <davean> | So that preduction is correct for me |
2021-07-22 19:17:34 +0200 | <[exa]> | yorick: mind sharing the julia version? (/me curious) |
2021-07-22 19:17:47 +0200 | <[exa]> | (ah yo left, sorry for hilite) |
2021-07-22 19:18:17 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 19:19:04 +0200 | mr-red | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 272 seconds) |
2021-07-22 19:20:03 +0200 | ubert | (~Thunderbi@178.165.186.232.wireless.dyn.drei.com) (Remote host closed the connection) |
2021-07-22 19:20:18 +0200 | <davean> | c_wraith: so note the error with the precident in the recursive calls to fib |
2021-07-22 19:20:22 +0200 | <int-e> | uh ... fib n-1 |
2021-07-22 19:20:33 +0200 | <c_wraith> | *oh*. that's the problem. |
2021-07-22 19:20:40 +0200 | <davean> | I was trying to call it out subtily so they'd notice |
2021-07-22 19:20:59 +0200 | <davean> | I didn't just want to give the answer away, but apparently they left |
2021-07-22 19:21:08 +0200 | <int-e> | c_wraith: Right. I couldn't poke any hole in your argument so I decided to look at the actual code :P |
2021-07-22 19:21:10 +0200 | <c_wraith> | I was trying to figure out what int-e was talking about, as laziness is irrelevant to the stack use depth there |
2021-07-22 19:21:39 +0200 | <davean> | Yah I said a few things, that looked closer |
2021-07-22 19:21:43 +0200 | <davean> | *then |
2021-07-22 19:21:57 +0200 | <davean> | And changed my covnersation |
2021-07-22 19:22:00 +0200 | <c_wraith> | so yeah, *that* algorithm can't finish in finite time on any processor :) |
2021-07-22 19:22:14 +0200 | <int-e> | it works for two values of n ;) |
2021-07-22 19:22:29 +0200 | <c_wraith> | but we were assuming 41! |
2021-07-22 19:23:13 +0200 | chomwitt | (~chomwitt@ppp-94-67-220-135.home.otenet.gr) |
2021-07-22 19:23:35 +0200 | <davean> | Once you fix it, making it stricted DOES speed it up, as does optimization, I spotted the structure before I parsed it fully. It runs under 1 second when minorly fixed |
2021-07-22 19:24:43 +0200 | <int-e> | let f 0 = id; f 1 = (+1); f n = f (n-1) . f (n-2) in f 40 0 --> *** Exception: stack overflow |
2021-07-22 19:24:46 +0200 | <int-e> | ;-) |
2021-07-22 19:25:01 +0200 | <int-e> | (if you try hard enough...) |
2021-07-22 19:25:27 +0200 | qrpnxz | (~qrpnxz@user/qrpnxz) (Disconnected: No route to host) |
2021-07-22 19:28:22 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
2021-07-22 19:30:27 +0200 | <arkanoid> | is "where" block to be considered as a container for private functions? |
2021-07-22 19:32:02 +0200 | <glguy> | private definitions in general, not necessarily functions |
2021-07-22 19:33:17 +0200 | fef | (~thedawn@user/thedawn) (Quit: Leaving) |
2021-07-22 19:36:34 +0200 | <dsal> | where and let are interchangeable a lot of the time, but where is a bit nicer when they're roughly equivalent. Sometimes you have to use let. |
2021-07-22 19:41:30 +0200 | __monty__ | (~toonn@user/toonn) |
2021-07-22 19:42:32 +0200 | Morrow | (~MorrowM_@147.161.8.143) |
2021-07-22 19:43:14 +0200 | Morrow_ | (~MorrowM_@147.161.8.143) |
2021-07-22 19:46:20 +0200 | azeem | (~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it) (Ping timeout: 256 seconds) |
2021-07-22 19:47:17 +0200 | azeem | (~azeem@176.201.2.247) |
2021-07-22 19:47:33 +0200 | justsome1 | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
2021-07-22 19:48:17 +0200 | notzmv | (~zmv@user/notzmv) |
2021-07-22 19:49:54 +0200 | cuz | (~user@38.140.58.234) (Ping timeout: 240 seconds) |
2021-07-22 19:50:51 +0200 | dunj3 | (~dunj3@2001:16b8:3001:6100:b447:1fd4:5e4:c9b1) (Remote host closed the connection) |
2021-07-22 19:51:03 +0200 | <sm> | I wish to use small where blocks in the middle of a function all the time - eg at end of a line - but this is never allowed, right ? |
2021-07-22 19:51:48 +0200 | <sm> | or where is it allowed ? Have been confused about this a long time |
2021-07-22 19:52:02 +0200 | <__monty__> | sm: Only at the end of a definition IIRC. |
2021-07-22 19:52:12 +0200 | <Clint> | gotta use let instead |
2021-07-22 19:52:17 +0200 | <sm> | thanks, that's what I thought |
2021-07-22 19:54:29 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 255 seconds) |
2021-07-22 19:56:03 +0200 | azeem | (~azeem@176.201.2.247) (Read error: Connection reset by peer) |
2021-07-22 19:56:11 +0200 | <dsal> | Sometimes I put where clauses in my where clauses just so I can yo dawg. |
2021-07-22 19:56:57 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 19:57:19 +0200 | azeem | (~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it) |
2021-07-22 20:00:43 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) |
2021-07-22 20:01:48 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-07-22 20:02:15 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
2021-07-22 20:04:24 +0200 | Achylles | (~Achylles_@2804:431:d724:510f:d7b1:4ecb:6877:1a1a) (Remote host closed the connection) |
2021-07-22 20:04:38 +0200 | Achylles | (~Achylles_@2804:431:d724:510f:d7b1:4ecb:6877:1a1a) |
2021-07-22 20:04:50 +0200 | <sm> | I do that a lot, makes it easier to extract sub functions |
2021-07-22 20:07:06 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 265 seconds) |
2021-07-22 20:16:28 +0200 | jolly | (~jolly@208.180.97.158) |
2021-07-22 20:16:30 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
2021-07-22 20:16:44 +0200 | Erutuon | (~Erutuon@user/erutuon) |
2021-07-22 20:17:18 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 276 seconds) |
2021-07-22 20:17:38 +0200 | jespada | (~jespada@90.254.247.46) (Ping timeout: 252 seconds) |
2021-07-22 20:19:26 +0200 | doyougnu | (~user@c-73-25-202-122.hsd1.or.comcast.net) |
2021-07-22 20:19:48 +0200 | jespada | (~jespada@90.254.247.46) |
2021-07-22 20:20:00 +0200 | ubert | (~Thunderbi@178.115.32.89.wireless.dyn.drei.com) |
2021-07-22 20:21:58 +0200 | viluon | (uid453725@id-453725.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
2021-07-22 20:26:12 +0200 | cuz | (~user@38.140.58.234) |
2021-07-22 20:28:51 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Read error: Connection reset by peer) |
2021-07-22 20:30:01 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
2021-07-22 20:30:50 +0200 | cuz | (~user@38.140.58.234) (Ping timeout: 252 seconds) |
2021-07-22 20:32:08 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-07-22 20:32:53 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2021-07-22 20:33:46 +0200 | soft-warm | (~soft-warm@2600:8801:db01:8f0:2b46:c2bc:f21e:3c72) |
2021-07-22 20:34:13 +0200 | doyougnu | (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
2021-07-22 20:35:25 +0200 | Nuxular | (~Nux@165.89.93.209.dyn.plus.net) (Quit: Client closed) |
2021-07-22 20:36:39 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
2021-07-22 20:37:36 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-07-22 20:38:01 +0200 | h98 | (~h98@187.83.249.216.dyn.smithville.net) |
2021-07-22 20:38:02 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
2021-07-22 20:39:07 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-07-22 20:39:13 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
2021-07-22 20:41:19 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
2021-07-22 20:42:33 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
2021-07-22 20:46:51 +0200 | mr-red | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
2021-07-22 20:49:23 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 255 seconds) |
2021-07-22 20:51:30 +0200 | byorgey | (~byorgey@155.138.238.211) (Remote host closed the connection) |
2021-07-22 20:55:09 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) |
2021-07-22 20:56:29 +0200 | doyougnu | (~user@c-73-25-202-122.hsd1.or.comcast.net) |
2021-07-22 20:57:04 +0200 | <maerwald> | sm: where clauses are a little bit like nested if-then-else in imperative languages. The scope becomes too wide |
2021-07-22 20:57:11 +0200 | <dminuoso> | sm: You could always insert a stub `case () of ... where` :-P |
2021-07-22 20:57:13 +0200 | <maerwald> | but I also like them |
2021-07-22 20:57:37 +0200 | mr-red | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 245 seconds) |
2021-07-22 20:57:54 +0200 | <maerwald> | I'd like where-clauses with functions that don't have access to the top-level parameters... |
2021-07-22 20:58:42 +0200 | <maerwald> | like: this is a set of "private" functions that I need here |
2021-07-22 20:58:53 +0200 | <maerwald> | and I can be sure that no scope leaks in |
2021-07-22 20:58:58 +0200 | <maerwald> | no-scoped |
2021-07-22 20:59:00 +0200 | <maerwald> | lol |
2021-07-22 20:59:06 +0200 | zebrag | (~chris@user/zebrag) |
2021-07-22 21:00:40 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2021-07-22 21:01:06 +0200 | nvmd | (~nvmd@user/nvmd) (Quit: Later, nerds.) |
2021-07-22 21:02:01 +0200 | <zzz> | are tyoe declarations curried? |
2021-07-22 21:02:20 +0200 | <zzz> | let me rephrase that |
2021-07-22 21:02:32 +0200 | <zzz> | are type synonym declarations curried? |
2021-07-22 21:03:00 +0200 | <crazazy> | zzz: they are |
2021-07-22 21:03:30 +0200 | <ph88^> | anyone know how i can fix these linker errors ? https://bpa.st/FNPQ |
2021-07-22 21:03:33 +0200 | <zzz> | so type Grid = M.Map (Int,Int) === type Grid a = M.Map (Int,Int) a |
2021-07-22 21:03:34 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
2021-07-22 21:04:31 +0200 | hegstal | (~hegstal@2a02:c7f:7604:8a00:9af4:e021:9dca:50c4) |
2021-07-22 21:04:44 +0200 | <Morrow_> | I thought type synonyms had to be fully saturated? |
2021-07-22 21:05:32 +0200 | <h98> | think Grid just has kind * -> ... in both cases |
2021-07-22 21:05:52 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
2021-07-22 21:06:11 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 244 seconds) |
2021-07-22 21:06:39 +0200 | <Morrow_> | Yes but in the second case I can't write class C Grid where ... while in the first case I can. |
2021-07-22 21:06:42 +0200 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
2021-07-22 21:06:44 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
2021-07-22 21:06:47 +0200 | <tomsmeding> | Morrow_: when _applying_ a type synonym, you hvae to pass all parameters |
2021-07-22 21:06:57 +0200 | <tomsmeding> | all parameters of the type synonym, that is |
2021-07-22 21:07:02 +0200 | <nshepperd> | they're not exactly equivalent. the eta expanded one can not be used in f Grid |
2021-07-22 21:07:21 +0200 | <tomsmeding> | doesn't mean that the type synonym itself can't be "curried", i.e. not be of kind * |
2021-07-22 21:08:31 +0200 | <tomsmeding> | so yeah zzz: if you use the 'type Grid a' version, you'll always have to give that argument to Grid; with the first version, you can just use 'Grid' by itself |
2021-07-22 21:08:40 +0200 | hendursaga | (~weechat@user/hendursaga) |
2021-07-22 21:10:04 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
2021-07-22 21:10:27 +0200 | zmt01 | (~zmt00@user/zmt00) |
2021-07-22 21:11:14 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-22 21:12:58 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
2021-07-22 21:13:18 +0200 | Morrow | (~MorrowM_@147.161.8.143) (Read error: Connection reset by peer) |
2021-07-22 21:13:23 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 21:13:36 +0200 | Morrow | (~MorrowM_@147.161.8.143) |
2021-07-22 21:14:13 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 268 seconds) |
2021-07-22 21:15:04 +0200 | ikex1 | (ash@user/ikex) |
2021-07-22 21:16:13 +0200 | ikex | (~ash@user/ikex) (Ping timeout: 265 seconds) |
2021-07-22 21:16:13 +0200 | ikex1 | ikex |
2021-07-22 21:20:46 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
2021-07-22 21:22:38 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 252 seconds) |
2021-07-22 21:22:57 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 21:23:44 +0200 | argento | (~argent0@168-227-97-29.ptr.westnet.com.ar) |
2021-07-22 21:23:59 +0200 | ubert | (~Thunderbi@178.115.32.89.wireless.dyn.drei.com) (Remote host closed the connection) |
2021-07-22 21:27:40 +0200 | burnside_ | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
2021-07-22 21:27:40 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
2021-07-22 21:32:13 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-07-22 21:32:31 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) |
2021-07-22 21:32:42 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 276 seconds) |
2021-07-22 21:37:15 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 276 seconds) |
2021-07-22 21:37:24 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 21:39:06 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
2021-07-22 21:40:39 +0200 | Achylles | (~Achylles_@2804:431:d724:510f:d7b1:4ecb:6877:1a1a) (Quit: Leaving) |
2021-07-22 21:40:57 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-22 21:47:08 +0200 | <arkanoid> | general question: why is haskell platfom so large on disk? |
2021-07-22 21:47:32 +0200 | <arkanoid> | stack shows me ~2GB for each installed version |
2021-07-22 21:47:43 +0200 | <arkanoid> | that's not a problem, just a curiosity |
2021-07-22 21:48:23 +0200 | <maerwald> | yes, a single GHC installation is around 2gb |
2021-07-22 21:48:48 +0200 | Pickchea | (~private@user/pickchea) |
2021-07-22 21:49:35 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-07-22 21:50:20 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
2021-07-22 21:50:29 +0200 | argento | (~argent0@168-227-97-29.ptr.westnet.com.ar) (Quit: leaving) |
2021-07-22 21:52:10 +0200 | jneira_ | (~jneira_@28.red-80-28-169.staticip.rima-tde.net) |
2021-07-22 21:52:58 +0200 | <arkanoid> | but why that big? docs are ~ 300MB |
2021-07-22 21:53:56 +0200 | <arkanoid> | the libs are incredibly large compared to any other programming environment |
2021-07-22 21:55:30 +0200 | <h98> | https://stackoverflow.com/questions/48756089/why-is-a-fresh-install-of-haskell-stack-and-ghc-so-la… |
2021-07-22 21:57:01 +0200 | <h98> | from what I understood from several of these posts, the answer was "static linking + duplication" |
2021-07-22 21:58:30 +0200 | dhil | (~dhil@195.213.192.47) |
2021-07-22 21:58:38 +0200 | <dsal> | Making tiny files isn't a priority. |
2021-07-22 22:01:41 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 252 seconds) |
2021-07-22 22:04:58 +0200 | juhp | (~juhp@128.106.188.220) (Ping timeout: 240 seconds) |
2021-07-22 22:05:09 +0200 | Null_A | (~null_a@2601:645:8700:2290:cc41:848b:cba0:322d) (Remote host closed the connection) |
2021-07-22 22:05:44 +0200 | Null_A | (~null_a@2601:645:8700:2290:cc41:848b:cba0:322d) |
2021-07-22 22:06:06 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-07-22 22:06:38 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 252 seconds) |
2021-07-22 22:07:19 +0200 | juhp | (~juhp@128.106.188.220) |
2021-07-22 22:10:24 +0200 | Null_A | (~null_a@2601:645:8700:2290:cc41:848b:cba0:322d) (Ping timeout: 276 seconds) |
2021-07-22 22:13:18 +0200 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
2021-07-22 22:13:18 +0200 | burnside_ | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
2021-07-22 22:13:30 +0200 | <Hecate> | hai |
2021-07-22 22:13:35 +0200 | <Hecate> | I haz trouble with megaparsec :< |
2021-07-22 22:13:39 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 276 seconds) |
2021-07-22 22:13:41 +0200 | ph88^ | (~ph88@2a02:8109:9e00:7e5c:4c3:7ef8:c703:fb12) (Remote host closed the connection) |
2021-07-22 22:13:50 +0200 | <Hecate> | https://gist.github.com/Kleidukos/8acc9eb159f2e65f7c9250e73e1e8bb9 <- I want to parse this SQL file according to the type I define in the parser just below |
2021-07-22 22:14:18 +0200 | shapr` | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
2021-07-22 22:14:35 +0200 | <Hecate> | and while I can properly use line-based parsers, I have trouble expressing "Just pick that chunk of text spanning multiple lines that end either with the next section or end of the file |
2021-07-22 22:14:39 +0200 | <dminuoso> | arkanoid: At least the libraries in GHC itself come in all 4 flavors static, dynamic, profiled and GHCi. Since GHC itself is a library too, this quickly racks up space. |
2021-07-22 22:15:23 +0200 | <dminuoso> | Though, I think GHC uses dynamic linking nowadays? |
2021-07-22 22:15:47 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 255 seconds) |
2021-07-22 22:16:04 +0200 | shapr` | shapr |
2021-07-22 22:16:05 +0200 | <yushyin> | ldd =ghc |
2021-07-22 22:16:07 +0200 | <yushyin> | not a dynamic executable |
2021-07-22 22:16:27 +0200 | <yushyin> | ^^ |
2021-07-22 22:16:31 +0200 | <yushyin> | :) |
2021-07-22 22:16:34 +0200 | ph88^ | (~ph88@2a02:8109:9e00:7e5c:4c3:7ef8:c703:fb12) |
2021-07-22 22:16:56 +0200 | <Hecate> | yushyin: tssss |
2021-07-22 22:17:34 +0200 | <dminuoso> | Ah, so that means in addition to those 4 GHC library versions, we have a the static binary of it lying around too. |
2021-07-22 22:17:38 +0200 | <dminuoso> | So much space.. |
2021-07-22 22:21:13 +0200 | <Hecate> | if anyone knows a bit about parser combinators, this would be really helpful :P |
2021-07-22 22:21:46 +0200 | Null_A | (~null_a@2601:645:8700:2290:b5ac:63df:d679:fb5d) |
2021-07-22 22:22:19 +0200 | <dminuoso> | Hecate: Take a BNF grammar for your sql flavour, turn it into right recursive if need be, and then directly translate into megaparsec? |
2021-07-22 22:23:18 +0200 | <yushyin> | dminuoso: oh, looks like i don't know my own ghc installation well enough. behind =ghc there is only a shell script, the real executable is actually dynamically linked |
2021-07-22 22:23:32 +0200 | <dminuoso> | yushyin: Heh. :) |
2021-07-22 22:23:37 +0200 | <dminuoso> | yushyin: Are you on nixos? |
2021-07-22 22:24:09 +0200 | <yushyin> | no, it's from ghcup |
2021-07-22 22:24:31 +0200 | <dminuoso> | Ah. Is that ghc shell script what ghcup modifies? |
2021-07-22 22:24:36 +0200 | <maerwald> | no |
2021-07-22 22:24:58 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6c9:24d2:a2c6:1c69) |
2021-07-22 22:25:56 +0200 | <dminuoso> | Hecate: Or, maybe I misread your question. Your mistake is not using `lexeme` at all. :) |
2021-07-22 22:28:23 +0200 | qontinuum_ | (qontinuum@user/qontinuum) (Quit: See ya) |
2021-07-22 22:28:38 +0200 | <yushyin> | dminuoso: https://paste.xinu.at/DtO7w7/ is the shell script :) in $PATH |
2021-07-22 22:28:40 +0200 | qontinuum | (qontinuum@user/qontinuum) |
2021-07-22 22:28:52 +0200 | <maerwald> | yushyin: no |
2021-07-22 22:29:00 +0200 | <maerwald> | in PATH is only a symlink |
2021-07-22 22:29:08 +0200 | <maerwald> | that shell script is from GHC itself |
2021-07-22 22:29:21 +0200 | <yushyin> | well yes, i resolved the symlink |
2021-07-22 22:32:06 +0200 | <yushyin> | the point was that my attempt to run ldd on a shell script is rather useless :D |
2021-07-22 22:32:22 +0200 | <maerwald> | it would work on windows |
2021-07-22 22:32:27 +0200 | <maerwald> | try installing windows |
2021-07-22 22:32:29 +0200 | <maerwald> | xD |
2021-07-22 22:32:59 +0200 | <arkanoid> | thanks for the explanations. If it's all statically linked, I now understand how thinks stacks up to 2GB :D |
2021-07-22 22:33:32 +0200 | <maerwald> | on windows those are not shell scripts but .exe files |
2021-07-22 22:33:52 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b958874b654708e10a316.dip0.t-ipconnect.de) |
2021-07-22 22:33:57 +0200 | <maerwald> | and they are perfectly relocatable |
2021-07-22 22:34:14 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
2021-07-22 22:34:27 +0200 | <maerwald> | everyone should use windows these days |
2021-07-22 22:36:29 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
2021-07-22 22:37:34 +0200 | <zzz> | tomsmeding: i found this out because i wanted a Foldable instance and i needed a * -> *. I don't really know what I'm doing, just found out i nedded TypeSynonymInstances and FlexibleInstances |
2021-07-22 22:38:11 +0200 | <zzz> | for overleading toList |
2021-07-22 22:39:22 +0200 | <zzz> | i usually avoid extensions |
2021-07-22 22:39:46 +0200 | <tomsmeding> | zzz: TypeSynonymInstances for, well, making an instance for a type synonym (which is exactly equivalent to making an instance for the type that the synonym rewrites to) |
2021-07-22 22:40:14 +0200 | <tomsmeding> | FlexibleInstances for making an instance for 'Map k' where 'k' is not a type variable but a more specific type |
2021-07-22 22:40:29 +0200 | <tomsmeding> | those extensions are very benign as far as I understand |
2021-07-22 22:40:46 +0200 | <tomsmeding> | if you want to avoid using extensions here, use a newtype instead of a type synonym |
2021-07-22 22:40:50 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
2021-07-22 22:40:53 +0200 | Null_A | (~null_a@2601:645:8700:2290:b5ac:63df:d679:fb5d) (Remote host closed the connection) |
2021-07-22 22:41:03 +0200 | dagit | (~dagit@2601:1c2:1b7f:9fa0:9903:10ed:1152:1e02) |
2021-07-22 22:42:44 +0200 | smichel17 | (~smichel17@c-73-68-217-18.hsd1.ma.comcast.net) (Good Bye) |
2021-07-22 22:42:54 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) |
2021-07-22 22:43:03 +0200 | <zzz> | tomsmeding: maybe i should. i would need GeneralizedNewtypeDeriving |
2021-07-22 22:43:13 +0200 | <zzz> | though |
2021-07-22 22:43:44 +0200 | Null_A | (~null_a@2601:645:8700:2290:b5ac:63df:d679:fb5d) |
2021-07-22 22:44:08 +0200 | <zzz> | i think |
2021-07-22 22:44:18 +0200 | <tomsmeding> | that's true, using a newtype forces you to re-implement the API of the wrapped type, including instances (for which GeneralizedNewtypeDeriving is a shortcut) |
2021-07-22 22:44:56 +0200 | <tomsmeding> | though you can also use DerivingVia instead of GeneralizedNewtypeDeriving |
2021-07-22 22:45:34 +0200 | <zzz> | looking into it |
2021-07-22 22:45:37 +0200 | <tomsmeding> | newtype Grid = Grid (M.Map (Int,Int)) deriving (Functor, Foldable) via (M.Map (Int,Int)) |
2021-07-22 22:45:49 +0200 | <tomsmeding> | which is a bit more explicit, if you like that |
2021-07-22 22:45:53 +0200 | <tomsmeding> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/deriving_via.html?highlight=derivingvia |
2021-07-22 22:45:54 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6c9:24d2:a2c6:1c69) (Quit: WeeChat 2.8) |
2021-07-22 22:46:58 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
2021-07-22 22:47:48 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 22:49:35 +0200 | zopsi | (zopsi@2600:3c00::f03c:91ff:fe14:551f) |
2021-07-22 22:49:49 +0200 | <zzz> | thanks |
2021-07-22 22:53:29 +0200 | Null_A | (~null_a@2601:645:8700:2290:b5ac:63df:d679:fb5d) (Remote host closed the connection) |
2021-07-22 22:53:39 +0200 | <dsal> | Hecate: lexeme runs a parser and then throws away any whitespace after it, so the next parser is ready to run with. |
2021-07-22 22:55:05 +0200 | henrylaxen | (~henrylaxe@199.58.86.204) |
2021-07-22 22:55:31 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Read error: Connection reset by peer) |
2021-07-22 22:56:05 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 250 seconds) |
2021-07-22 22:56:23 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 22:56:41 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
2021-07-22 22:57:08 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
2021-07-22 23:00:00 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
2021-07-22 23:02:30 +0200 | ephemient | (uid407513@id-407513.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
2021-07-22 23:02:45 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-07-22 23:04:23 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 255 seconds) |
2021-07-22 23:04:50 +0200 | MQ-17J | (~MQ-17J@8.21.10.15) (Ping timeout: 252 seconds) |
2021-07-22 23:06:53 +0200 | favonia | (~favonia@user/favonia) |
2021-07-22 23:07:10 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2021-07-22 23:07:28 +0200 | Null_A | (~null_a@2601:645:8700:2290:b5ac:63df:d679:fb5d) |
2021-07-22 23:10:04 +0200 | pesada | (~agua@2804:14c:8793:8e2f:6091:e445:c3bf:d39e) |
2021-07-22 23:10:22 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2021-07-22 23:11:54 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 240 seconds) |
2021-07-22 23:12:59 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
2021-07-22 23:13:30 +0200 | agua | (~agua@2804:18:49:b25b:1:0:4435:6601) (Ping timeout: 240 seconds) |
2021-07-22 23:14:30 +0200 | shapr` | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
2021-07-22 23:14:48 +0200 | agua | (~agua@2804:18:49:b25b:1:0:4435:6601) |
2021-07-22 23:16:05 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
2021-07-22 23:16:29 +0200 | Core7286 | (~agua@2804:18:49:5505:1:0:456a:29dd) |
2021-07-22 23:18:27 +0200 | pesada | (~agua@2804:14c:8793:8e2f:6091:e445:c3bf:d39e) (Ping timeout: 245 seconds) |
2021-07-22 23:19:24 +0200 | agua | (~agua@2804:18:49:b25b:1:0:4435:6601) (Ping timeout: 256 seconds) |
2021-07-22 23:21:02 +0200 | Null_A | (~null_a@2601:645:8700:2290:b5ac:63df:d679:fb5d) (Remote host closed the connection) |
2021-07-22 23:21:47 +0200 | ph88^ | (~ph88@2a02:8109:9e00:7e5c:4c3:7ef8:c703:fb12) (Ping timeout: 245 seconds) |
2021-07-22 23:24:16 +0200 | Bayes | (~Bayes@user/bayes) (Quit: Connection closed) |
2021-07-22 23:24:17 +0200 | msr | (~msr@2603-8081-8f00-5c00-0000-0000-0000-0007.res6.spectrum.com) |
2021-07-22 23:24:29 +0200 | shapr` | shapr |
2021-07-22 23:27:39 +0200 | Null_A | (~null_a@2601:645:8700:2290:b5ac:63df:d679:fb5d) |
2021-07-22 23:29:19 +0200 | agua | (~agua@2804:14c:8793:8e2f:6091:e445:c3bf:d39e) |
2021-07-22 23:32:26 +0200 | Core7286 | (~agua@2804:18:49:5505:1:0:456a:29dd) (Ping timeout: 256 seconds) |
2021-07-22 23:32:51 +0200 | mnrmnaugh | (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) |
2021-07-22 23:33:31 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-07-22 23:36:52 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
2021-07-22 23:37:54 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
2021-07-22 23:39:39 +0200 | meinside_ | (uid24933@id-24933.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
2021-07-22 23:41:19 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
2021-07-22 23:41:28 +0200 | michalz | (~michalz@185.246.204.58) (Remote host closed the connection) |
2021-07-22 23:44:39 +0200 | hiruji | (~hiruji@user/hiruji) (Ping timeout: 252 seconds) |
2021-07-22 23:48:48 +0200 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
2021-07-22 23:49:37 +0200 | forell | (~forell@user/forell) |
2021-07-22 23:52:25 +0200 | crazazy | (~user@2001:1c00:831:4700:3b4a:a6aa:91da:4816) (Remote host closed the connection) |
2021-07-22 23:54:50 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 268 seconds) |
2021-07-22 23:56:42 +0200 | shapr` | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
2021-07-22 23:58:02 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
2021-07-22 23:59:16 +0200 | shapr` | shapr |