Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 .. 5022
— 502,152 events total
2020-11-04 19:05:49 <justsomeguy> sm[m]: Hmm, let me see.
2020-11-04 19:06:33 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-04 19:07:17 <sm[m]> If not there are tools for it, somewhere, but I don't know if they work for complex code
2020-11-04 19:09:31 <justsomeguy> It's really just a few toy example functions that I'm using for my notes on recursion.
2020-11-04 19:10:24 <sm[m]> A profile, perhaps improved by profiterole, could be another option
2020-11-04 19:11:53 <justsomeguy> This is interesting. I have not looked into profiling until now.
2020-11-04 19:12:47 <justsomeguy> Thanks for the hints, sm[m], I must go now :)
2020-11-04 19:12:55 <sm[m]> np
2020-11-04 19:13:02 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-11-04 19:13:33 → Franciman joins (~francesco@host-79-36-167-172.retail.telecomitalia.it)
2020-11-04 19:13:51 × johnw quits (~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
2020-11-04 19:14:13 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-11-04 19:17:25 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds)
2020-11-04 19:19:37 × mmohammadi9812 quits (~mmohammad@2.178.217.171) (Ping timeout: 265 seconds)
2020-11-04 19:19:41 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-04 19:20:06 → geekosaur joins (82659a09@host154-009.vpn.uakron.edu)
2020-11-04 19:20:20 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-04 19:21:29 × jespada quits (~jespada@90.254.245.49) (Quit: Sleeping)
2020-11-04 19:22:10 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-11-04 19:23:01 → Entertainment joins (~lyle@104.246.132.210)
2020-11-04 19:23:25 → conal joins (~conal@66.115.157.70)
2020-11-04 19:24:10 ← Entertainment parts (~lyle@104.246.132.210) ()
2020-11-04 19:24:26 → Entertainment joins (~lyle@104.246.132.210)
2020-11-04 19:24:52 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2020-11-04 19:25:04 ← Entertainment parts (~lyle@104.246.132.210) ()
2020-11-04 19:25:31 hackage blanks 0.5.0 - Fill-in-the-blanks - A library factoring out substitution from ASTs https://hackage.haskell.org/package/blanks-0.5.0 (ejconlon)
2020-11-04 19:25:46 → Entertainment joins (~entertain@104.246.132.210)
2020-11-04 19:26:48 → juuandyy joins (~juuandyy@90.166.144.65)
2020-11-04 19:27:36 × piyush-kurur quits (~user@117.213.47.10) (Remote host closed the connection)
2020-11-04 19:29:50 → jess joins (jess@freenode/staff/jess)
2020-11-04 19:30:24 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone)
2020-11-04 19:30:36 → mmohammadi9812 joins (~mmohammad@2.178.217.171)
2020-11-04 19:30:47 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-04 19:30:50 → dscho joins (~dscho@217.146.82.202)
2020-11-04 19:30:50 × avdb quits (~avdb@ip-62-235-73-30.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-11-04 19:31:20 → avdb joins (~avdb@ip-62-235-73-30.dsl.scarlet.be)
2020-11-04 19:34:28 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-04 19:34:38 → todda7 joins (~torstein@ppp-2-84-30-242.home.otenet.gr)
2020-11-04 19:35:15 → mdunnio joins (~mdunnio@208.59.170.5)
2020-11-04 19:36:42 × whald quits (~trem@2a02:810a:8100:11a6:69c1:660a:2b51:2055) (Remote host closed the connection)
2020-11-04 19:37:16 × avdb quits (~avdb@ip-62-235-73-30.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-11-04 19:37:28 → britva joins (~britva@2a02:aa13:7240:2980:9117:32f5:aa09:6904)
2020-11-04 19:38:55 → avdb joins (~avdb@ip-62-235-73-30.dsl.scarlet.be)
2020-11-04 19:38:57 × avdb quits (~avdb@ip-62-235-73-30.dsl.scarlet.be) (Remote host closed the connection)
2020-11-04 19:39:10 → avdb joins (~avdb@ip-62-235-73-30.dsl.scarlet.be)
2020-11-04 19:39:45 × mdunnio quits (~mdunnio@208.59.170.5) (Ping timeout: 240 seconds)
2020-11-04 19:40:00 hackage servant 0.18.1 - A family of combinators for defining webservices APIs https://hackage.haskell.org/package/servant-0.18.1 (maksbotan)
2020-11-04 19:40:25 → mdunnio joins (~mdunnio@208.59.170.5)
2020-11-04 19:40:32 → crdrost joins (~crdrost@c-98-207-102-156.hsd1.ca.comcast.net)
2020-11-04 19:41:01 hackage servant-server 0.18.1, servant-http-streams 0.18.1, servant-docs 0.11.7, servant-client-core 0.18.1, servant-client 0.18.1 (maksbotan): https://qbin.io/sport-ui-myce
2020-11-04 19:41:26 × britva quits (~britva@2a02:aa13:7240:2980:9117:32f5:aa09:6904) (Client Quit)
2020-11-04 19:42:22 × conal quits (~conal@66.115.157.70) (Ping timeout: 246 seconds)
2020-11-04 19:43:02 → britva joins (~britva@2a02:aa13:7240:2980:9117:32f5:aa09:6904)
2020-11-04 19:44:01 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-04 19:44:45 × mdunnio quits (~mdunnio@208.59.170.5) (Ping timeout: 240 seconds)
2020-11-04 19:45:23 → conal joins (~conal@66.115.157.70)
2020-11-04 19:45:33 × Franciman quits (~francesco@host-79-36-167-172.retail.telecomitalia.it) (Quit: Leaving)
2020-11-04 19:46:10 × avdb quits (~avdb@ip-62-235-73-30.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-11-04 19:46:12 → Lycurgus joins (~niemand@98.4.97.110)
2020-11-04 19:46:17 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds)
2020-11-04 19:46:28 → avdb joins (~avdb@ip-62-235-73-30.dsl.scarlet.be)
2020-11-04 19:47:02 → wanaks[m] joins (wanaksmatr@gateway/shell/matrix.org/x-tghlzmezifnrojup)
2020-11-04 19:49:15 <matthew-> hmm, this is probably a dumb question, but am I right in thinking of a list as a sum type with 1 type parameter?
2020-11-04 19:49:35 <gobbleguy> sounds right
2020-11-04 19:49:36 <Uniaika> matthew-: nah you're right
2020-11-04 19:49:43 <bqv> lispy
2020-11-04 19:50:14 <Uniaika> % :i []
2020-11-04 19:50:15 <yahb> Uniaika: type [] :: * -> *; data [] a = [] | a : [a]; -- Defined in `GHC.Types'; instance Alternative [] -- Defined in `GHC.Base'; instance Applicative [] -- Defined in `GHC.Base'; instance Eq a => Eq [a] -- Defined in `GHC.Classes'; instance Functor [] -- Defined in `GHC.Base'; instance Monad [] -- Defined in `GHC.Base'; instance MonadPlus [] -- Defined in `GHC.Base'; instance Monoid [a] -- Defined in `GHC.Base
2020-11-04 19:50:28 <Uniaika> yep', sounds about right matthew- :)
2020-11-04 19:51:53 <matthew-> ok, thanks.
2020-11-04 19:52:03 <crdrost> Yeah a list can be thought of as f(x) = 1 + x f(x), which you might manipulate to f(x) = 1/(1 - x), which has as a Taylor series f(x) = 1 + x + x^2 + x^3 + ...
2020-11-04 19:52:46 × juuandyy quits (~juuandyy@90.166.144.65) (Ping timeout: 272 seconds)
2020-11-04 19:55:16 → vZS1 joins (~vZS1@host-92-20-231-81.as13285.net)
2020-11-04 19:55:19 × britva quits (~britva@2a02:aa13:7240:2980:9117:32f5:aa09:6904) (Quit: This computer has gone to sleep)
2020-11-04 19:58:55 <matthew-> hmm, just trying to get some terminology right in my head. In the type [Int], for example, it feels _application_ of [] and Int. What word is used here? Because it seems I'm looking for something other than sum or product
2020-11-04 19:59:01 hackage hdocs 0.5.5.0 - Haskell docs tool https://hackage.haskell.org/package/hdocs-0.5.5.0 (AlexandrRuchkin)
2020-11-04 19:59:10 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 246 seconds)
2020-11-04 19:59:27 <jle`> application isn't wrong, i think
2020-11-04 19:59:40 <jle`> like how if you apply 'negate' to '1', you get -1
2020-11-04 19:59:43 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 258 seconds)
2020-11-04 19:59:47 <geekosaur> application is correct; [Int] can also be written ([] Int)
2020-11-04 20:00:14 <matthew-> ok, so [] :: * -> *, so it is application, just at the type level
2020-11-04 20:00:20 <geekosaur> similarly for Maybe Int which doesn't have the mixfix notation
2020-11-04 20:00:36 <matthew-> ok, this makes sense
2020-11-04 20:01:42 × fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.7.1)
2020-11-04 20:01:43 <hekkaidekapus> (But [] is overloaded. At the value level, it stands for the empty list.)
2020-11-04 20:01:46 → rprije joins (~rprije@194-193-168-77.tpgi.com.au)
2020-11-04 20:03:36 <matthew-> hekkaidekapus: yes, this is exactly the thing that I'm trying to straighten out in my head
2020-11-04 20:04:06 <jle`> yeah, this is an unfortunate haskell namespacing thing that isn't unique to lists
2020-11-04 20:04:07 → jespada joins (~jespada@90.254.245.49)
2020-11-04 20:04:15 × zebrag quits (~inkbottle@aaubervilliers-654-1-104-94.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2020-11-04 20:04:15 <jle`> @let data MyType a = MyType a
2020-11-04 20:04:16 <lambdabot> Defined.
2020-11-04 20:04:28 <geekosaur> it's not so different from: data Foo a = Foo | Bar a (Foo a)
2020-11-04 20:04:35 <jle`> here we have MyType as a type construfctor, and also MyType as a data constructor
2020-11-04 20:04:37 <jle`> whoops
2020-11-04 20:04:41 × danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-11-04 20:05:43 × conal quits (~conal@66.115.157.70) (Quit: Computer has gone to sleep.)
2020-11-04 20:05:56 <matthew-> yes, I'm just trying to figure out if I can implement type inference of lists as builtins without going the whole hog of ADTs and recursive types
2020-11-04 20:06:48 → zebrag joins (~inkbottle@aaubervilliers-654-1-104-94.w86-212.abo.wanadoo.fr)
←Prev  Next→
Page 1 .. 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 .. 5022

All times are in UTC.