Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 833 834 835 836 837 838 839 840 841 842 843 .. 5022
— 502,152 events total
2020-10-24 04:00:00 → erolm_a joins (~erolm_a@62.18.213.68)
2020-10-24 04:00:01 <dolio> https://paste.tomsmeding.com/d8CFDh3q
2020-10-24 04:00:22 → Rudd0 joins (~Rudd0@185.189.115.108)
2020-10-24 04:02:05 × nshepperd2 quits (~nshepperd@gorgon.zlkj.in) (Quit: The Lounge - https://thelounge.chat)
2020-10-24 04:02:53 <dolio> Instead of an associated pattern you'd define an overloaded test function, and alias a view pattern using the test function.
2020-10-24 04:03:56 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2020-10-24 04:04:50 → nshepperd2 joins (~nshepperd@li364-218.members.linode.com)
2020-10-24 04:06:42 × cp- quits (~cp-@b157153.ppp.asahi-net.or.jp) (Quit: Disappeared in a puff of smoke)
2020-10-24 04:07:54 → elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 04:09:28 → cp- joins (~cp-@b157153.ppp.asahi-net.or.jp)
2020-10-24 04:09:28 × Tario quits (~Tario@200.119.186.205) (Read error: Connection reset by peer)
2020-10-24 04:12:22 → Tario joins (~Tario@201.192.165.173)
2020-10-24 04:12:37 × jlamothe quits (~jlamothe@198.251.55.207) (Quit: leaving)
2020-10-24 04:12:43 <Squarism> Im not sure I can understand this. https://paste.ofcode.org/iUBMHtVdk2DQtBvxmZzayb
2020-10-24 04:12:44 → falafel_ joins (~falafel@71-34-132-121.clsp.qwest.net)
2020-10-24 04:13:12 <Squarism> type of "preview ( ff2 . _Just . ee1 )" is not even a function, but it can be applied to c3
2020-10-24 04:13:57 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-24 04:15:49 → Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-24 04:17:51 → jlamothe joins (~jlamothe@198.251.55.207)
2020-10-24 04:18:25 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-24 04:19:47 <jtmar> wow, what an awful hack! it works perfectly. I love it.
2020-10-24 04:20:03 <hololeap> Squarism: Getting r s a = (a -> Const r a) -> s -> Const r s
2020-10-24 04:20:56 <jtmar> only took 34 lines of code to overload two patterns for two types ;)
2020-10-24 04:20:58 <hololeap> so, `preview (ff2 . _Just . ee1)` _is_ a function that takes an `s` argument
2020-10-24 04:21:26 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2020-10-24 04:25:05 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-24 04:25:49 <MarcelineVQ> Squarism: consider fmap where the Functor is chosen to be a partially applied function type, i.e. where we take f and substitute (r ->): fmap :: Functor f => (a -> b) -> f a -> f b to fmap :: (a -> b) -> (r -> a) -> (r -> b) m can be chosen similarly
2020-10-24 04:30:01 × amagi quits (~amagi@113.101.23.223) (Quit: Lost terminal)
2020-10-24 04:31:59 <Squarism> im gonna need to digest this
2020-10-24 04:33:54 → conal joins (~conal@64.71.133.70)
2020-10-24 04:34:36 <MarcelineVQ> Directly pure 'c' :: Applicative f => f Char but
2020-10-24 04:34:42 <MarcelineVQ> :t pure 'c' `asAppliedTo` 2
2020-10-24 04:34:43 <lambdabot> Num a => a -> Char
2020-10-24 04:34:57 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 04:35:47 <MarcelineVQ> :t pure 'c' `asAppliedTo` (2 :: Int) -- or more directly. f is chosen as Int ->
2020-10-24 04:35:48 <lambdabot> Int -> Char
2020-10-24 04:39:04 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2020-10-24 04:40:08 × coot quits (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-24 04:40:38 × erolm_a quits (~erolm_a@62.18.213.68) (Ping timeout: 265 seconds)
2020-10-24 04:41:22 → coot joins (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl)
2020-10-24 04:43:09 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 260 seconds)
2020-10-24 04:44:53 → day joins (~Unknown@unaffiliated/day)
2020-10-24 04:45:20 × nshepperd2 quits (~nshepperd@li364-218.members.linode.com) (Quit: The Lounge - https://thelounge.chat)
2020-10-24 04:46:19 → nshepperd2 joins (~nshepperd@li364-218.members.linode.com)
2020-10-24 04:46:42 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 04:50:37 × elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2020-10-24 04:52:00 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-24 04:52:59 → jbox joins (~atlas@unaffiliated/jbox)
2020-10-24 05:04:50 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-24 05:09:23 → tuple joins (~igloo@c-67-169-78-228.hsd1.ca.comcast.net)
2020-10-24 05:10:58 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 05:11:31 × tuple quits (~igloo@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit)
2020-10-24 05:11:48 → tuple joins (~igloo@c-67-169-78-228.hsd1.ca.comcast.net)
2020-10-24 05:12:06 → mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-24 05:12:45 × tuple quits (~igloo@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit)
2020-10-24 05:13:54 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-24 05:13:56 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2020-10-24 05:17:36 → nshepperd1 joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 05:17:59 × nshepperd quits (~nshepperd@gorgon.zlkj.in) (Quit: WeeChat 2.9)
2020-10-24 05:18:06 × nshepperd1 quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Client Quit)
2020-10-24 05:18:16 → nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 05:19:38 × nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Client Quit)
2020-10-24 05:20:15 → nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 05:20:34 × nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Client Quit)
2020-10-24 05:23:20 → nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 05:23:41 × nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Client Quit)
2020-10-24 05:23:51 → nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 05:25:27 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 05:25:35 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 265 seconds)
2020-10-24 05:26:17 → day joins (~Unknown@unaffiliated/day)
2020-10-24 05:27:32 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds)
2020-10-24 05:29:02 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 05:31:05 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds)
2020-10-24 05:31:18 → day_ joins (~Unknown@unaffiliated/day)
2020-10-24 05:31:30 × nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Quit: WeeChat 2.9)
2020-10-24 05:31:40 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 260 seconds)
2020-10-24 05:31:46 day_ is now known as day
2020-10-24 05:32:19 <hololeap> : fmap (++ " is the number") show 4
2020-10-24 05:32:22 <hololeap> :t fmap (++ " is the number") show 4
2020-10-24 05:32:24 <lambdabot> [Char]
2020-10-24 05:32:29 <hololeap> > fmap (++ " is the number") show 4
2020-10-24 05:32:31 <lambdabot> "4 is the number"
2020-10-24 05:33:32 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2020-10-24 05:35:17 × mbomba quits (~mbomba@142.114.9.241) (Quit: WeeChat 2.9)
2020-10-24 05:36:01 → openstackstatus1 joins (~openstack@94.229.74.91)
2020-10-24 05:38:25 × Kolkrabe quits (~user@unaffiliated/siracusa) (Quit: Bye!)
2020-10-24 05:38:35 <sureyeaah> How can I create a named socket in unix?
2020-10-24 05:38:56 → nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 05:39:43 → Tario joins (~Tario@201.192.165.173)
2020-10-24 05:40:57 hackage google-server-api 0.3.3.1 - Google APIs for server to server applications https://hackage.haskell.org/package/google-server-api-0.3.3.1 (arowM)
2020-10-24 05:41:47 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2020-10-24 05:42:19 → thir joins (~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de)
2020-10-24 05:45:07 sureyeaah sent a long message: < https://matrix.org/_matrix/media/r0/download/matrix.org/nOXlbNDHbFYDdoFCbhdcMctI/message.txt >
2020-10-24 05:45:30 <sureyeaah> ```No instance for (Protocol Unix) arising from a use of socket```
2020-10-24 05:46:26 → wei2912 joins (~wei2912@unaffiliated/wei2912)
2020-10-24 05:46:47 × thir quits (~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 05:47:11 × stree quits (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-24 05:47:29 → stree joins (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-24 05:50:24 × carlomagno quits (~cararell@148.87.23.13) (Quit: Leaving.)
2020-10-24 05:52:25 → how_does_this_wo joins (3263cbdb@50.99.203.219)
←Prev  Next→
Page 1 .. 833 834 835 836 837 838 839 840 841 842 843 .. 5022

All times are in UTC.