Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4960 4961 4962 4963 4964 4965 4966 4967 4968 4969 4970 .. 5022
— 502,152 events total
2021-05-19 10:05:35 <ccapndave> Got it
2021-05-19 10:05:55 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:06:00 <ccapndave> Or maybe not. How is that any different from `id ("foo" :: String)`
2021-05-19 10:06:00 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:06:15 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:06:16 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:06:29 <ccapndave> Is is that the `@String` is associated with the function, and the `:: String` is associated with the parameter?
2021-05-19 10:06:33 <dminuoso> right!
2021-05-19 10:06:48 <dminuoso> @String is effectively just an argument to the function
2021-05-19 10:06:48 <lambdabot> Unknown command, try @list
2021-05-19 10:06:50 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:06:54 <ccapndave> So I would use this to specialise a function
2021-05-19 10:06:55 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:06:59 <ccapndave> stringId = id @String
2021-05-19 10:07:05 <dminuoso> You could do that, yes.
2021-05-19 10:07:10 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:07:12 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:07:21 <dminuoso> Its not the primary purpose, but you seem to have gotten the gist of it.
2021-05-19 10:07:56 <ccapndave> Yup, I got it
2021-05-19 10:07:57 <ccapndave> Thanks very much!
2021-05-19 10:08:00 <ccapndave> Off for lunch now
2021-05-19 10:08:05 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:08:06 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:08:40 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:08:45 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:08:55 → oxide joins (~lambda@unaffiliated/mclaren)
2021-05-19 10:09:00 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:09:02 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:09:35 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:09:38 → jusss` joins (~user@49.5.6.87)
2021-05-19 10:09:40 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:09:50 ← rkrishnan parts (~rkrishnan@rkrishnan.org) ("ERC (IRC client for Emacs 27.1)")
2021-05-19 10:09:55 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:09:56 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Read error: Connection reset by peer)
2021-05-19 10:09:58 × ccapndave quits (~ccapndave@213.55.220.146) ()
2021-05-19 10:10:30 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:10:33 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:10:34 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-19 10:10:41 → star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
2021-05-19 10:10:53 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-19 10:11:25 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:11:28 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:12:20 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:12:23 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:12:38 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:12:39 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:13:30 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:13:31 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:13:37 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 258 seconds)
2021-05-19 10:13:41 × notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds)
2021-05-19 10:13:49 × jusss quits (~user@unaffiliated/jusss) (Ping timeout: 265 seconds)
2021-05-19 10:14:06 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:14:07 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:14:20 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:14:24 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:14:25 → mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-19 10:15:15 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:15:19 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:16:10 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:16:14 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:16:56 → ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-19 10:17:05 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:17:09 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:17:20 → stree joins (~stree@68.36.8.116)
2021-05-19 10:18:00 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:18:04 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:18:11 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-19 10:18:26 × chris__ quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-05-19 10:18:31 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-19 10:18:55 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:18:59 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:19:50 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:19:54 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:20:43 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-05-19 10:20:45 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:20:48 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:21:20 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:21:25 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:21:40 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:21:42 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:22:01 × ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-05-19 10:22:15 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:22:19 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:22:20 → star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
2021-05-19 10:22:35 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:22:36 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Read error: Connection reset by peer)
2021-05-19 10:22:51 → anandprabhu joins (~AnandPrab@94.202.236.255)
2021-05-19 10:22:56 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-05-19 10:23:10 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:23:13 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:23:29 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2021-05-19 10:23:32 → benin6 joins (~benin@183.82.177.199)
2021-05-19 10:24:20 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:24:24 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:24:46 × benin quits (~benin@183.82.177.199) (Ping timeout: 240 seconds)
2021-05-19 10:24:46 benin6 is now known as benin
2021-05-19 10:25:15 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:25:18 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:25:39 × frozenErebus quits (~frozenEre@94.129.65.28) (Quit: leaving)
2021-05-19 10:25:50 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
←Prev  Next→
Page 1 .. 4960 4961 4962 4963 4964 4965 4966 4967 4968 4969 4970 .. 5022

All times are in UTC.