Logs: freenode/#haskell
| 2021-04-03 08:06:55 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:a935:2150:7e71:3e8c) (Ping timeout: 258 seconds) |
| 2021-04-03 08:07:26 | → | hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-03 08:08:48 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-04-03 08:08:58 | × | plutoniix quits (~q@ppp-223-24-92-147.revip6.asianet.co.th) (Ping timeout: 260 seconds) |
| 2021-04-03 08:09:33 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-04-03 08:12:22 | → | Franciman joins (~francesco@host-87-20-23-243.retail.telecomitalia.it) |
| 2021-04-03 08:17:05 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) |
| 2021-04-03 08:17:18 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-03 08:17:18 | × | v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Ping timeout: 240 seconds) |
| 2021-04-03 08:18:18 | <molehillish> | what's the difference between a and t as type variables? |
| 2021-04-03 08:18:30 | <olligobber> | nothing |
| 2021-04-03 08:18:41 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-03 08:18:54 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-03 08:19:22 | <tomsmeding> | one is called 'a', one is called 't' :) |
| 2021-04-03 08:20:44 | → | plutoniix joins (~q@184.82.197.170) |
| 2021-04-03 08:22:27 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 252 seconds) |
| 2021-04-03 08:24:15 | → | fendor joins (~fendor@77.119.130.232.wireless.dyn.drei.com) |
| 2021-04-03 08:25:00 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-zgtmdnbpyvmvjqtw) |
| 2021-04-03 08:27:51 | × | virmaha quits (43a131fc@c-67-161-49-252.hsd1.ca.comcast.net) (Quit: Connection closed) |
| 2021-04-03 08:31:31 | × | notzmv quits (~zmv@unaffiliated/zmv) (Read error: Connection reset by peer) |
| 2021-04-03 08:31:56 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-04-03 08:33:20 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-03 08:34:41 | × | __minoru__shirae quits (~shiraeesh@77.94.25.131) (Ping timeout: 240 seconds) |
| 2021-04-03 08:35:03 | → | ania123 joins (5e89ad7c@94.137.173.124) |
| 2021-04-03 08:42:02 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-03 08:48:51 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-03 08:51:44 | × | jneira quits (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) (Quit: Connection closed) |
| 2021-04-03 08:55:09 | → | DavidEichmann joins (~david@47.27.93.209.dyn.plus.net) |
| 2021-04-03 08:59:53 | × | xwvvvvwx quits (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Ping timeout: 246 seconds) |
| 2021-04-03 09:00:07 | × | shieru[m] quits (shierualet@gateway/shell/matrix.org/x-xqebitkoctqsqrrq) (Quit: Idle for 30+ days) |
| 2021-04-03 09:00:11 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-mnwzpqytfzkwgumq) (Quit: Connection closed for inactivity) |
| 2021-04-03 09:01:12 | → | xwvvvvwx joins (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) |
| 2021-04-03 09:02:28 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-hgimmdjguzsfapni) |
| 2021-04-03 09:04:07 | → | coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-03 09:05:47 | <molehillish> | why ghci uses different names for it? |
| 2021-04-03 09:05:54 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-04-03 09:06:45 | → | OCCASVS joins (~occasus@unaffiliated/occasvs) |
| 2021-04-03 09:06:58 | <Rembane> | molehillish: Do you have an example? |
| 2021-04-03 09:07:11 | × | madjestic quits (~madjestic@86-88-72-244.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2021-04-03 09:07:41 | <Uniaika> | maerwald: your certificate has expired for https://files.hasufell.de/jule/abstract-filepath/AbstractFilePath.html |
| 2021-04-03 09:08:01 | <maerwald> | so sad |
| 2021-04-03 09:08:02 | <tomsmeding> | molehillish: ghc decides what type variable name to use based on heuristics. It tries to choose names that are similar to those used in the original source code, but due to collisions, or type inference, that can't always work |
| 2021-04-03 09:09:55 | <tomsmeding> | so there is usually a reason why it chooses one type variable name over another, but that reason is usually, if not always, completely unimportant |
| 2021-04-03 09:12:49 | → | dinciorip joins (~dincio@62.19.207.211) |
| 2021-04-03 09:12:59 | × | dinciorip quits (~dincio@62.19.207.211) (Client Quit) |
| 2021-04-03 09:13:14 | → | dinciorip joins (~dincio@62.19.207.211) |
| 2021-04-03 09:14:18 | <molehillish> | this was from a haskell book |
| 2021-04-03 09:14:31 | <molehillish> | swap (x,y) = (y,x) |
| 2021-04-03 09:14:43 | <molehillish> | :t swap |
| 2021-04-03 09:14:44 | <lambdabot> | (a, b) -> (b, a) |
| 2021-04-03 09:14:49 | <molehillish> | swap :: (b, a) -> (a, b) |
| 2021-04-03 09:15:03 | <molehillish> | then |
| 2021-04-03 09:15:04 | <molehillish> | twice f x = f (f x) |
| 2021-04-03 09:15:10 | <molehillish> | :t twice |
| 2021-04-03 09:15:11 | <lambdabot> | error: Variable not in scope: twice |
| 2021-04-03 09:15:20 | <tomsmeding> | > twice f x = f (f x) |
| 2021-04-03 09:15:21 | <molehillish> | twice :: (t -> t) -> t -> t |
| 2021-04-03 09:15:22 | <lambdabot> | <hint>:1:11: error: <hint>:1:11: error: parse error on input ‘=’ |
| 2021-04-03 09:15:23 | <tomsmeding> | :t twice |
| 2021-04-03 09:15:24 | <lambdabot> | error: Variable not in scope: twice |
| 2021-04-03 09:15:33 | <tomsmeding> | @def twice f x = f (f x) |
| 2021-04-03 09:15:34 | <lambdabot> | Defined. |
| 2021-04-03 09:15:34 | <tomsmeding> | :t twice |
| 2021-04-03 09:15:35 | <lambdabot> | (t -> t) -> t -> t |
| 2021-04-03 09:15:52 | <tomsmeding> | yeah that choice is completely arbitrary |
| 2021-04-03 09:15:52 | <Uniaika> | maerwald: I'm going to send you an email with my feedback on AbstractFilePath |
| 2021-04-03 09:16:04 | <maerwald> | cool |
| 2021-04-03 09:16:09 | <tomsmeding> | :t (\(x,y) -> (y,x), \f x -> f (f x)) |
| 2021-04-03 09:16:10 | <lambdabot> | ((b, a) -> (a, b), (t -> t) -> t -> t) |
| 2021-04-03 09:16:24 | <tomsmeding> | molehillish: makes no difference whatsoever |
| 2021-04-03 09:16:57 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-03 09:17:10 | <molehillish> | but I'm wondering where in ghci does it decide "oh, Imma use t for that one" |
| 2021-04-03 09:17:32 | <molehillish> | sorry, I know it's a trivial question |
| 2021-04-03 09:20:21 | <molehillish> | double x = 2*x |
| 2021-04-03 09:20:25 | <molehillish> | double 3 |
| 2021-04-03 09:20:34 | <molehillish> | :t double |
| 2021-04-03 09:20:35 | <lambdabot> | Double -> Doc |
| 2021-04-03 09:20:51 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) (Remote host closed the connection) |
| 2021-04-03 09:21:49 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-03 09:22:19 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-04-03 09:27:41 | <Uniaika> | maerwald: email sent! |
| 2021-04-03 09:27:47 | <Uniaika> | I picked the address on your GH profile |
| 2021-04-03 09:28:53 | maerwald | looks around frantically |
| 2021-04-03 09:29:04 | <Uniaika> | :-D |
| 2021-04-03 09:29:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-03 09:29:11 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-04-03 09:29:39 | <Uniaika> | alright, time to remove "replying to maerwald" from my TODO list |
| 2021-04-03 09:30:06 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 2021-04-03 09:30:27 | × | Franciman quits (~francesco@host-87-20-23-243.retail.telecomitalia.it) (Ping timeout: 265 seconds) |
| 2021-04-03 09:30:38 | × | ania123 quits (5e89ad7c@94.137.173.124) (Quit: Connection closed) |
| 2021-04-03 09:32:34 | × | coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-03 09:38:17 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-03 09:41:40 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-03 09:42:36 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-04-03 09:42:43 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-03 09:42:46 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 260 seconds) |
| 2021-04-03 09:44:54 | → | doraemon joins (~doraemon@117.222.65.84) |
| 2021-04-03 09:45:05 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-04-03 09:45:59 | doraemon | is now known as glaceon |
| 2021-04-03 09:47:06 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
All times are in UTC.