Logs: freenode/#haskell
| 2021-03-08 11:04:13 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 245 seconds) |
| 2021-03-08 11:05:29 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-08 11:05:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-08 11:07:26 | → | vchlup_ joins (~vchlup@nat.brnet.cz) |
| 2021-03-08 11:07:30 | × | vchlup quits (~vchlup@nat.brnet.cz) (Read error: Connection reset by peer) |
| 2021-03-08 11:09:26 | <__monty__> | It's not as if Project Euler does. |
| 2021-03-08 11:09:56 | <__monty__> | I was suggesting it as an alternative to venerable challenge sites. |
| 2021-03-08 11:10:33 | <__monty__> | Some people don't care about practical stuff, just about learning something new. |
| 2021-03-08 11:11:05 | → | sablib joins (~sablib@171.113.165.91) |
| 2021-03-08 11:13:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-08 11:13:25 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-08 11:14:31 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Quit: Leaving) |
| 2021-03-08 11:15:26 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-08 11:16:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-08 11:16:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-03-08 11:16:25 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-08 11:16:51 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-08 11:16:59 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-03-08 11:16:59 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-08 11:20:11 | × | polyrain_ quits (~polyrain@2001:8003:e4d8:4101:7d30:68ba:9c0e:487e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-08 11:20:26 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 264 seconds) |
| 2021-03-08 11:22:52 | → | michalz joins (~user@185.246.204.46) |
| 2021-03-08 11:23:10 | × | shad0w_ quits (31249a47@49.36.154.71) (Quit: Connection closed) |
| 2021-03-08 11:26:03 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 2021-03-08 11:27:31 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-03-08 11:27:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-08 11:28:49 | × | hiroaki3 quits (~hiroaki@2a02:8108:8c40:2bb8:74cb:792a:2348:aae5) (Quit: WeeChat 3.0) |
| 2021-03-08 11:33:03 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-03-08 11:33:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-08 11:34:04 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-08 11:34:51 | → | shad0w_ joins (31249a47@49.36.154.71) |
| 2021-03-08 11:34:55 | <shad0w_> | hi all |
| 2021-03-08 11:35:02 | <shad0w_> | `readNumber txt = |
| 2021-03-08 11:35:02 | <shad0w_> | case decimal txt of |
| 2021-03-08 11:35:03 | <shad0w_> | Right (n, rest) | T.null rest -> pure n` |
| 2021-03-08 11:35:20 | <shad0w_> | what is this thing where you pattern match on the result of the applied function called? |
| 2021-03-08 11:35:39 | <shad0w_> | is it an extension ? |
| 2021-03-08 11:38:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-03-08 11:39:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-08 11:39:40 | → | geowiesnot_bis joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-03-08 11:41:04 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds) |
| 2021-03-08 11:42:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-08 11:42:31 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-08 11:43:41 | <xsperry> | just pattern matching. it doesn't have a separate name. it is part of standard haskell |
| 2021-03-08 11:44:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-08 11:44:30 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-08 11:44:39 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-08 11:45:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-08 11:45:06 | × | barzo quits (~sosal@159.146.8.149) (Quit: Leaving) |
| 2021-03-08 11:45:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-08 11:45:29 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-08 11:47:54 | <kuribas> | standard only supports boolean guards. |
| 2021-03-08 11:48:12 | <kuribas> | f | someTest "foo" = ... |
| 2021-03-08 11:49:10 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-08 11:49:10 | <kuribas> | with pattern guards you can match on anything: addLookup env var1 var2 | Just val1 <- lookup env var1 |
| 2021-03-08 11:49:21 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-08 11:49:42 | <kuribas> | ah, it's part of the haskell 2010 standard https://wiki.haskell.org/Pattern_guard |
| 2021-03-08 11:52:50 | <Philonous> | The name shad0w_ was looking for is "guard" in any case |
| 2021-03-08 11:53:08 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2021-03-08 11:53:21 | → | alx741 joins (~alx741@186.178.108.142) |
| 2021-03-08 11:53:25 | <shad0w_> | but guards have a `=` syntax ? |
| 2021-03-08 11:53:29 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-03-08 11:53:39 | <shad0w_> | Philonous: ^ |
| 2021-03-08 11:54:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-08 11:54:25 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-08 11:55:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-08 11:55:19 | <Philonous> | shad0w_, No, the »=« is part of the function definition syntax, if you use them in case expression it's a »->« because that's what case wants |
| 2021-03-08 11:55:28 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-08 11:55:44 | <shad0w_> | ah i see. |
| 2021-03-08 11:55:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Remote host closed the connection) |
| 2021-03-08 11:56:01 | → | kam1 joins (~kam1@113.203.63.161) |
| 2021-03-08 11:56:04 | <shad0w_> | Philonous: 1006THANKS0610 |
| 2021-03-08 11:56:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-08 11:56:12 | × | plutoniix quits (~q@184.82.206.68) (Quit: Leaving) |
| 2021-03-08 11:56:17 | <Philonous> | You mean something like »foo x | x > 5 = 3«, right ? |
| 2021-03-08 11:56:51 | <maerwald> | fendor: yes you can set TMPDIR |
| 2021-03-08 11:57:02 | <fendor> | maerwald, yep, did that and it worked, thanks! |
| 2021-03-08 11:58:03 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Ping timeout: 256 seconds) |
| 2021-03-08 11:58:39 | × | shad0w_ quits (31249a47@49.36.154.71) (Quit: Connection closed) |
| 2021-03-08 11:59:46 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-03-08 12:00:12 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-08 12:04:35 | × | Yumasi quits (~guillaume@2a01cb0506313c00e14be01ac4a050f7.ipv6.abo.wanadoo.fr) (Ping timeout: 265 seconds) |
| 2021-03-08 12:06:04 | → | edo-codes joins (916b64e1@145.107.100.225) |
| 2021-03-08 12:06:27 | → | shad0w_ joins (31249a47@49.36.154.71) |
| 2021-03-08 12:06:36 | <shad0w_> | 06Philonous: yes |
| 2021-03-08 12:06:36 | <shad0w_> | 06 |
| 2021-03-08 12:11:13 | → | Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) |
| 2021-03-08 12:11:16 | → | Feuermagier_ joins (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) |
| 2021-03-08 12:12:42 | × | astroanax quits (astroanax@gateway/shell/ircnow/x-gpyienxlrgzmvnpq) (Remote host closed the connection) |
| 2021-03-08 12:14:40 | × | Feuermagier_ quits (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) (Client Quit) |
| 2021-03-08 12:14:46 | × | forgottenone quits (~forgotten@176.42.24.161) (Read error: Connection reset by peer) |
| 2021-03-08 12:16:08 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-08 12:16:20 | × | shad0w_ quits (31249a47@49.36.154.71) (Quit: Connection closed) |
| 2021-03-08 12:19:11 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:2846:3c47:a8c:db47) |
| 2021-03-08 12:20:02 | → | drbean joins (~drbean@TC210-63-209-202.static.apol.com.tw) |
| 2021-03-08 12:21:02 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 264 seconds) |
| 2021-03-08 12:21:51 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 2021-03-08 12:23:36 | × | [LE] quits (~LE]@217.146.82.202) (Remote host closed the connection) |
| 2021-03-08 12:25:25 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-03-08 12:36:35 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 240 seconds) |
All times are in UTC.