Logs: freenode/#haskell
| 2020-11-26 19:52:40 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2020-11-26 19:53:20 | × | Finianb1 quits (~Finianb1@71-218-235-186.hlrn.qwest.net) (Client Quit) |
| 2020-11-26 19:57:12 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Quit: mputz) |
| 2020-11-26 19:57:24 | → | matta joins (~user@24-113-169-116.wavecable.com) |
| 2020-11-26 19:57:36 | × | orion quits (~orion@unaffiliated/orion) (Ping timeout: 240 seconds) |
| 2020-11-26 19:58:16 | → | orion joins (~orion@c-76-19-238-5.hsd1.ma.comcast.net) |
| 2020-11-26 19:58:16 | × | orion quits (~orion@c-76-19-238-5.hsd1.ma.comcast.net) (Changing host) |
| 2020-11-26 19:58:16 | → | orion joins (~orion@unaffiliated/orion) |
| 2020-11-26 19:58:43 | → | luke joins (~luke@bitnomial/staff/luke) |
| 2020-11-26 19:59:53 | → | iqubic joins (~user@2601:602:9500:4870:fa52:51be:1322:705e) |
| 2020-11-26 19:59:53 | × | iqubic quits (~user@2601:602:9500:4870:fa52:51be:1322:705e) (Remote host closed the connection) |
| 2020-11-26 20:01:10 | × | Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Ping timeout: 246 seconds) |
| 2020-11-26 20:03:54 | → | conal joins (~conal@64.71.133.70) |
| 2020-11-26 20:04:37 | × | wonko7 quits (~wonko7@2a01:e35:2ffb:7040:55f1:c3a3:cdbe:bf52) (Ping timeout: 260 seconds) |
| 2020-11-26 20:05:55 | × | mpereira quits (~mpereira@2a02:810d:f40:d96:857:5d24:8b16:e48) (Ping timeout: 272 seconds) |
| 2020-11-26 20:05:57 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 2020-11-26 20:07:11 | → | Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it) |
| 2020-11-26 20:08:29 | × | kuribas quits (~user@ptr-25vy0i7d0jyf2exvnea.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2020-11-26 20:10:59 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 2020-11-26 20:15:44 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2020-11-26 20:16:07 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2020-11-26 20:16:27 | → | alp joins (~alp@2a01:e0a:58b:4920:fc4d:b6b4:4592:5e81) |
| 2020-11-26 20:18:03 | × | orion quits (~orion@unaffiliated/orion) (Ping timeout: 260 seconds) |
| 2020-11-26 20:18:46 | → | Fractalis joins (~Fractalis@2601:987:280:8d40:8819:4ab1:66e9:952a) |
| 2020-11-26 20:18:55 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2020-11-26 20:19:00 | hackage | ukrainian-phonetics-basic 0.3.1.1 - A library to work with the basic Ukrainian phonetics and syllable segmentation. https://hackage.haskell.org/package/ukrainian-phonetics-basic-0.3.1.1 (OleksandrZhabenko) |
| 2020-11-26 20:19:08 | ← | pokid parts (~pokid@unaffiliated/pokid) () |
| 2020-11-26 20:19:20 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2020-11-26 20:19:27 | × | nf quits (~n@monade.li) (Read error: Connection reset by peer) |
| 2020-11-26 20:19:30 | → | nf__ joins (~n@monade.li) |
| 2020-11-26 20:19:31 | → | orion joins (~orion@c-76-19-238-5.hsd1.ma.comcast.net) |
| 2020-11-26 20:19:31 | × | orion quits (~orion@c-76-19-238-5.hsd1.ma.comcast.net) (Changing host) |
| 2020-11-26 20:19:31 | → | orion joins (~orion@unaffiliated/orion) |
| 2020-11-26 20:19:49 | × | Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Quit: Leaving) |
| 2020-11-26 20:19:53 | × | Fractalis quits (~Fractalis@2601:987:280:8d40:8819:4ab1:66e9:952a) (Client Quit) |
| 2020-11-26 20:20:18 | <sondr3> | I want to read a directory and filter out files based on it's extension, I get all the contents fine with `listDirectory`, but as soon as I filter the list it becomes empty |
| 2020-11-26 20:20:35 | <sondr3> | I'm probably missing something to do with the IO monad |
| 2020-11-26 20:21:06 | × | nf__ quits (~n@monade.li) (Client Quit) |
| 2020-11-26 20:21:14 | <monochrom> | Show actual code? |
| 2020-11-26 20:21:18 | <shapr> | sondr3: can you pastebin your code? |
| 2020-11-26 20:21:18 | → | wonko7 joins (~wonko7@lns-bzn-55-82-255-183-4.adsl.proxad.net) |
| 2020-11-26 20:21:19 | <monochrom> | @where paste |
| 2020-11-26 20:21:19 | <lambdabot> | Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com |
| 2020-11-26 20:21:21 | <geekosaur> | @where paste |
| 2020-11-26 20:21:21 | <lambdabot> | Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com |
| 2020-11-26 20:21:29 | → | nf joins (~n@monade.li) |
| 2020-11-26 20:22:58 | <Uniaika> | nf: nice reverse host |
| 2020-11-26 20:23:10 | <nf> | thanks :) |
| 2020-11-26 20:23:20 | <sondr3> | monochrom: geekosaur: https://paste.tomsmeding.com/dboZf8Up |
| 2020-11-26 20:23:45 | <avdb> | How do I create on liner if then else cases in Haskell like in C? If I'm not wrong it should be possible with something like "x == foo? Nothing : Maybe a" |
| 2020-11-26 20:24:07 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-11-26 20:24:14 | <monochrom> | > "aaaa" `isSuffixOf "a" |
| 2020-11-26 20:24:16 | <lambdabot> | <hint>:1:20: error: <hint>:1:20: error: parse error on input ‘"’ |
| 2020-11-26 20:24:16 | <geekosaur> | sodr3, looks to me like you have your isSuffixOf reversed |
| 2020-11-26 20:24:26 | <tomsmeding> | `if x == foo then Nothing else Just a`? avdb |
| 2020-11-26 20:24:30 | <shapr> | > if 0 == 1 then "world broken" else "not equal" |
| 2020-11-26 20:24:33 | <lambdabot> | "not equal" |
| 2020-11-26 20:24:43 | <geekosaur> | it's looking for filenames which are suffixes of "hrx" |
| 2020-11-26 20:24:44 | → | aarvar joins (~foewfoiew@50.35.43.33) |
| 2020-11-26 20:24:54 | <sondr3> | geekosaur: doh |
| 2020-11-26 20:25:13 | ← | aarvar parts (~foewfoiew@50.35.43.33) () |
| 2020-11-26 20:25:22 | <avdb> | tomsmeding: There was a method with symbols if I'm not wrong, might've just dreamed about it though. |
| 2020-11-26 20:25:34 | <avdb> | If then else is already short enough but I don't like the verbosity |
| 2020-11-26 20:25:52 | <sondr3> | geekosaur: yep, that was it. Thanks :facepalm: |
| 2020-11-26 20:26:08 | <shapr> | avdb: pattern match? applicative? |
| 2020-11-26 20:26:13 | <Uniaika> | nf: and I realise just now that you already follow me on Twitter :P |
| 2020-11-26 20:26:32 | <tomsmeding> | avdb: `let cond ? (x, y) = if cond then x else y` |
| 2020-11-26 20:26:43 | <shapr> | :-D |
| 2020-11-26 20:26:43 | <tomsmeding> | but if-then-else is more readable :p |
| 2020-11-26 20:26:52 | <nf> | Uniaika: ;D |
| 2020-11-26 20:27:58 | × | elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2020-11-26 20:28:01 | <int-e> | :t bool |
| 2020-11-26 20:28:03 | <lambdabot> | a -> a -> Bool -> a |
| 2020-11-26 20:28:11 | <shapr> | whoa, I like mario lang's github profile pic |
| 2020-11-26 20:28:13 | × | juuandyy quits (~juuandyy@90.166.144.65) (Quit: Konversation terminated!) |
| 2020-11-26 20:29:16 | <int-e> | > bool "nay" "aye" (0 == 1) |
| 2020-11-26 20:29:18 | <lambdabot> | "nay" |
| 2020-11-26 20:30:09 | <shapr> | that's neat |
| 2020-11-26 20:30:49 | <koz_> | Yep, bool is handy sometimes. |
| 2020-11-26 20:30:51 | <koz_> | Related: |
| 2020-11-26 20:30:54 | <koz_> | :t maybe |
| 2020-11-26 20:30:56 | <lambdabot> | b -> (a -> b) -> Maybe a -> b |
| 2020-11-26 20:30:57 | <koz_> | :t either |
| 2020-11-26 20:30:58 | <lambdabot> | (a -> c) -> (b -> c) -> Either a b -> c |
| 2020-11-26 20:31:12 | <int-e> | :t foldr |
| 2020-11-26 20:31:13 | <lambdabot> | Foldable t => (a -> b -> b) -> b -> t a -> b |
| 2020-11-26 20:31:15 | koz_ | mumbles something about Boehm-Beraducci encodings. |
| 2020-11-26 20:31:51 | <shapr> | does anyone have a tutorial for doing advent of code with nix? I'm mostly a nix newbie. |
| 2020-11-26 20:32:28 | <int-e> | that question doesn't feel well-typed to me |
| 2020-11-26 20:32:33 | tomsmeding | thought nix was a language for package configuration description, not for general-purpose programming |
| 2020-11-26 20:32:43 | <tomsmeding> | not that you can't use it for that |
| 2020-11-26 20:32:56 | <tomsmeding> | I guess |
| 2020-11-26 20:32:58 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2020-11-26 20:33:03 | <tomsmeding> | may be slow |
| 2020-11-26 20:33:18 | <tomsmeding> | anyone up for doing AOC in dhall? |
| 2020-11-26 20:33:21 | <koz_> | tomsmeding: You can use it to set up a programming environment, along with your (non-Haskell) deps. |
| 2020-11-26 20:33:23 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2020-11-26 20:33:25 | <shapr> | tomsmeding: I have nixOS installed, but I'm still coming to grips with how to do development with it |
| 2020-11-26 20:33:29 | <koz_> | I _guess_ that's what's being asked. |
| 2020-11-26 20:33:58 | <shapr> | lucky for me, chessai got my most recent app working with nix: https://github.com/shapr/fermatslastmargin/blob/master/shell.nix |
All times are in UTC.