Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4159 4160 4161 4162 4163 4164 4165 4166 4167 4168 4169 .. 5022
— 502,152 events total
2021-04-01 00:10:54 <larryba> I'm not sure that question is unambiguously about dependent types either (I just read the original question, not further replies by the OP, if there are any). it could just as easily mean: "does haskell have unsigned int type". it would be clearer if the question was about integers > 1
2021-04-01 00:11:08 → Tario joins (~Tario@200.119.186.134)
2021-04-01 00:12:05 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-01 00:12:25 → gzj joins (~gzj@unaffiliated/gzj)
2021-04-01 00:12:50 → ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-01 00:13:26 × natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-04-01 00:14:41 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
2021-04-01 00:15:26 × Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
2021-04-01 00:15:44 → hexfive joins (~hexfive@50.35.83.177)
2021-04-01 00:15:57 × larryba quits (~bc8134e3@1582020-static.lxtnkya3.metronetinc.net) (Quit: CGI:IRC (Error))
2021-04-01 00:16:25 → larryba joins (~bc8134e3@199.204.85.195)
2021-04-01 00:17:08 → Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net)
2021-04-01 00:17:10 <larryba> so yes, it appears that his question was related to dependent types. "Non-empty lists? Sorted lists? Strings that are valid credit card numbers? - synapse Aug 11 '12"
2021-04-01 00:17:28 → Axma70544 joins (~Axman6@pdpc/supporter/student/Axman6)
2021-04-01 00:17:45 <larryba> but imagine if it wasn't, that it was just a newbie asking "does haskell have unsigned int type, like C, or it doesn't, like java", and then getting a bunch of replies talking about dependent types, and peano numbers. :). which is a reply he got 1 day prior to quote message above
2021-04-01 00:18:18 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-04-01 00:18:23 <larryba> quoted*
2021-04-01 00:18:59 × moobar quits (sid171730@gateway/web/irccloud.com/x-idhhaawhjtolzzkm) (Ping timeout: 250 seconds)
2021-04-01 00:19:11 × Axman6 quits (~Axman6@pdpc/supporter/student/Axman6) (Ping timeout: 240 seconds)
2021-04-01 00:19:54 → natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-04-01 00:20:00 → kiweun joins (~kiweun@2607:fea8:2a62:9600:7198:37f0:c930:b5b2)
2021-04-01 00:20:06 × jules_ quits (~jules@ip201.ip-135-125-227.eu) (Ping timeout: 260 seconds)
2021-04-01 00:20:49 → moobar joins (sid171730@gateway/web/irccloud.com/x-tmumveujckzntgio)
2021-04-01 00:20:58 × Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
2021-04-01 00:21:49 → gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2021-04-01 00:22:48 → Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net)
2021-04-01 00:24:23 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Read error: Connection reset by peer)
2021-04-01 00:25:37 → theDon joins (~td@94.134.91.65)
2021-04-01 00:27:02 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-04-01 00:29:22 → jules__ joins (~jules@ip201.ip-135-125-227.eu)
2021-04-01 00:31:11 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-04-01 00:31:19 × usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-04-01 00:31:41 × Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
2021-04-01 00:31:58 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-01 00:32:47 jules__ is now known as jules_
2021-04-01 00:33:45 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:9ef:d80a:d8b:a18d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-01 00:33:56 → Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net)
2021-04-01 00:35:24 × Kaeipi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-04-01 00:35:52 × natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-04-01 00:35:57 → Kaeipi joins (~Kaiepi@47.54.252.148)
2021-04-01 00:36:06 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-04-01 00:36:14 → hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:a580:80d4:7a1b:3f87)
2021-04-01 00:36:41 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-04-01 00:40:14 × Tario quits (~Tario@200.119.186.134) (Read error: Connection reset by peer)
2021-04-01 00:40:25 × reda quits (~reda@unaffiliated/reda) (Quit: leaving)
2021-04-01 00:40:47 → Tario joins (~Tario@201.192.165.173)
2021-04-01 00:43:26 × jules_ quits (~jules@ip201.ip-135-125-227.eu) (Ping timeout: 265 seconds)
2021-04-01 00:43:37 → reda joins (~niemand@unaffiliated/reda)
2021-04-01 00:43:45 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:a580:80d4:7a1b:3f87) (Ping timeout: 246 seconds)
2021-04-01 00:44:24 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 265 seconds)
2021-04-01 00:46:08 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:e429:5164:43cd:1a67)
2021-04-01 00:46:41 → jules_ joins (~jules@ip201.ip-135-125-227.eu)
2021-04-01 00:46:49 × Guest41032 quits (~laudiacay@67.176.215.84) (Ping timeout: 265 seconds)
2021-04-01 00:48:31 → glaceon joins (~glaceon@117.222.69.43)
2021-04-01 00:50:21 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 245 seconds)
2021-04-01 00:53:29 × Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
2021-04-01 00:55:48 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:e429:5164:43cd:1a67) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-01 00:56:11 × jules_ quits (~jules@ip201.ip-135-125-227.eu) (Ping timeout: 240 seconds)
2021-04-01 00:56:22 <koz_> I have this in a heap profile: (674)concat.go/run/concat/... 12977352
2021-04-01 00:56:26 <koz_> What does this refer to>
2021-04-01 00:56:27 <koz_> ?*
2021-04-01 00:56:27 <lambdabot> Maybe you meant: v @ ? .
2021-04-01 00:57:10 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-04-01 00:57:26 → jules_ joins (~jules@ip201.ip-135-125-227.eu)
2021-04-01 00:57:42 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-01 00:58:46 → rajivr joins (uid269651@gateway/web/irccloud.com/x-motebfwgumyfxduw)
2021-04-01 00:59:12 → Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net)
2021-04-01 01:01:38 × Guest55480 quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 246 seconds)
2021-04-01 01:05:05 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-01 01:05:26 → gzj joins (~gzj@unaffiliated/gzj)
2021-04-01 01:06:00 <koz_> :t foldl'
2021-04-01 01:06:01 <lambdabot> Foldable t => (b -> a -> b) -> b -> t a -> b
2021-04-01 01:06:24 <cmeans> Yes, so dependent-types wasn't as directly helpful as I might have hoped...so clearly I didn't frame my question well enough
2021-04-01 01:07:06 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-lksmeqawycwfpajp) (Quit: Connection closed for inactivity)
2021-04-01 01:08:58 <cmeans> Say I'm writing a program to solve a Sudoku puzzle (watching a YT series), and I was looking at testing validity of an existing game (constructed as a List of List of elements).
2021-04-01 01:09:07 × carlomagno quits (~cararell@148.87.23.10) (Quit: Leaving.)
2021-04-01 01:10:06 <cmeans> It seemed like a simple way to force some validness, would be to make sure that a given row could only have 9 elements in it's List.  And that there would only be 9 Lists.
2021-04-01 01:11:13 → ezrakilty joins (~ezrakilty@97-126-95-37.tukw.qwest.net)
2021-04-01 01:11:14 <cmeans> Looking for directions to a solution that exists today.
2021-04-01 01:11:41 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds)
2021-04-01 01:12:01 <koz_> cmeans: vector-sized might help.
2021-04-01 01:12:19 <koz_> Since then you can just say 'my board is 'Vector 9 (Vector 9 Int)', any questions')
2021-04-01 01:13:00 <cmeans> I saw that in my search.  So, I'd use a Vector instead of a List.  And Vector is in a package i can import?
2021-04-01 01:13:10 <koz_> cmeans: Yes - vector-sized.
2021-04-01 01:13:35 <cmeans> OK.  Thanks koz_
2021-04-01 01:14:12 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-04-01 01:14:22 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-01 01:17:37 → tromp_ joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-04-01 01:18:30 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-04-01 01:20:17 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-04-01 01:21:02 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-04-01 01:21:53 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-01 01:22:31 × tromp_ quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-04-01 01:23:33 × stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-04-01 01:23:42 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-afninwolvrucszhg) (Quit: Connection closed for inactivity)
2021-04-01 01:24:41 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-04-01 01:25:30 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-04-01 01:25:36 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-04-01 01:26:14 × tabemann quits (~travisb@2600:1700:7990:24e0:27e6:9fa9:ad7b:61ef) (Remote host closed the connection)
2021-04-01 01:26:30 → tabemann joins (~travisb@2600:1700:7990:24e0:f296:95e4:6efa:8660)
←Prev  Next→
Page 1 .. 4159 4160 4161 4162 4163 4164 4165 4166 4167 4168 4169 .. 5022

All times are in UTC.