Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1504 .. 5022
— 502,152 events total
2020-11-23 21:35:00 <dminuoso> Uniaika: type annotations would help narrow it done
2020-11-23 21:35:08 <dminuoso> Right now type inference is way too unbounded
2020-11-23 21:35:23 <dminuoso> If you type annotate `n` that might give you a clue
2020-11-23 21:35:31 <dminuoso> err wait
2020-11-23 21:36:34 <dminuoso> My bet is its: let arguments = eval <$> arguments'
2020-11-23 21:36:48 → adrew joins (~andrew@97-115-68-44.ptld.qwest.net)
2020-11-23 21:36:50 <dminuoso> That's broken
2020-11-23 21:36:56 × knupfer quits (~Thunderbi@i59F7FFC3.versanet.de) (Ping timeout: 265 seconds)
2020-11-23 21:36:59 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-11-23 21:37:00 <Uniaika> ooh
2020-11-23 21:37:01 <Uniaika> okay
2020-11-23 21:37:10 <Uniaika> thanks for the insight!
2020-11-23 21:37:15 → EyalSK joins (~EyalSK@bzq-84-109-128-227.cablep.bezeqint.net)
2020-11-23 21:37:24 × adrew quits (~andrew@97-115-68-44.ptld.qwest.net) (Quit: adrew)
2020-11-23 21:37:36 × EyalSK quits (~EyalSK@bzq-84-109-128-227.cablep.bezeqint.net) (Client Quit)
2020-11-23 21:38:02 → mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-23 21:38:41 <dminuoso> Ah not quite
2020-11-23 21:38:43 <dminuoso> let env = (fromVector $ V.zip parameters arguments) <> env'
2020-11-23 21:38:45 <dminuoso> This is the offending line
2020-11-23 21:38:57 <dminuoso> Everything else stems from its inferred tpe
2020-11-23 21:39:11 <Uniaika> changing fmap for traverse seems to have fixed it
2020-11-23 21:39:20 <Uniaika> (as in: the other errors now appear in ghcid)
2020-11-23 21:43:27 × alx741 quits (~alx741@186.178.110.117) (Ping timeout: 260 seconds)
2020-11-23 21:43:44 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-11-23 21:45:59 → Khisanth joins (~Khisanth@56.sub-174-244-145.myvzw.com)
2020-11-23 21:46:33 → cosimone_ joins (~cosimone@5.170.241.60)
2020-11-23 21:46:45 × kish` quits (~oracle@unaffiliated/oracle) (Ping timeout: 240 seconds)
2020-11-23 21:48:17 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Ping timeout: 260 seconds)
2020-11-23 21:48:18 cosimone_ is now known as cosimone
2020-11-23 21:49:18 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 272 seconds)
2020-11-23 21:50:07 × boxscape quits (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Quit: Connection closed)
2020-11-23 21:50:29 × dhouthoo quits (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9)
2020-11-23 21:51:54 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-23 21:52:44 → Lycurgus joins (~niemand@98.4.114.74)
2020-11-23 21:54:03 × Tops2 quits (~Tobias@dyndsl-095-033-021-036.ewe-ip-backbone.de) (Quit: Leaving.)
2020-11-23 21:54:59 → stu002 joins (77120261@119-18-2-97.771202.syd.nbn.aussiebb.net)
2020-11-23 21:55:30 × DavidEichmann quits (~david@62.110.198.146.dyn.plus.net) (Remote host closed the connection)
2020-11-23 21:56:04 → alx741 joins (~alx741@181.196.69.178)
2020-11-23 21:57:13 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-11-23 21:58:59 → conal joins (~conal@66.115.157.94)
2020-11-23 21:59:58 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 260 seconds)
2020-11-23 22:03:06 × coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-11-23 22:04:04 <dminuoso> Uniaika: Generally, if GHC has mismatching types and you cant make sense of it, start by adding type ascriptions or annotations.
2020-11-23 22:04:18 <Uniaika> dminuoso: got it
2020-11-23 22:04:23 <Uniaika> I will try to remember
2020-11-23 22:05:11 <dminuoso> Uniaika: In larger code, the error could have easily come from the other case-of branch as well, but only manifested in the other branch. Smaller code and type signatures are your only methods sadly
2020-11-23 22:05:19 <dminuoso> Unless we ever get type error slices
2020-11-23 22:06:58 × tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection)
2020-11-23 22:07:29 → tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64)
2020-11-23 22:07:49 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-11-23 22:08:28 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-23 22:08:28 <dminuoso> (And type error slices would only help much if they were integrated into your editor well, say via hie)
2020-11-23 22:09:32 <dminuoso> (Or it would present some really interesting challenges on visualizing them)
2020-11-23 22:11:18 → phaul joins (~phaul@ruby/staff/phaul)
2020-11-23 22:12:02 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-23 22:16:34 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 246 seconds)
2020-11-23 22:18:21 × tylerjl quits (~leothrix@elastic/staff/leothrix) (Quit: ZNC 1.7.5 - https://znc.in)
2020-11-23 22:20:51 × danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-11-23 22:20:54 × conal quits (~conal@66.115.157.94) (Quit: Computer has gone to sleep.)
2020-11-23 22:23:28 → leothrix joins (~leothrix@elastic/staff/leothrix)
2020-11-23 22:26:22 → superstar64 joins (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net)
2020-11-23 22:26:34 → falafel_ joins (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4)
2020-11-23 22:27:29 × sand_dull quits (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) (Ping timeout: 256 seconds)
2020-11-23 22:31:27 <superstar64> has anyone played with something like this before? `data Term f = Fix (f (Term f) | Variable String | Application (Term f) (Term f) | Abstraction String (Term f)`, basically it's `Data.Fix.Fix` but with extra constructors
2020-11-23 22:33:01 × stu002 quits (77120261@119-18-2-97.771202.syd.nbn.aussiebb.net) (Remote host closed the connection)
2020-11-23 22:33:45 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 240 seconds)
2020-11-23 22:36:09 × Ariakenom quits (~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se) (Quit: Leaving)
2020-11-23 22:41:35 → borne joins (~fritjof@200116b864880200394a967dc8ef4e61.dip.versatel-1u1.de)
2020-11-23 22:43:13 → hexfive joins (~hexfive@50-47-142-195.evrt.wa.frontiernet.net)
2020-11-23 22:43:31 <int-e> superstar64: probably not, because you can build the extra constructors into `f` instead.
2020-11-23 22:44:01 × erisco quits (~erisco@d24-57-249-233.home.cgocable.net) (Ping timeout: 264 seconds)
2020-11-23 22:44:51 <int-e> data TermF f x = Variable String | Application x x | Abstraction String x | Extension (f x)
2020-11-23 22:45:13 <int-e> type Term f = Fix (TermF f)
2020-11-23 22:45:24 <int-e> superstar64: ^^ that should be isomorphic to what you have.
2020-11-23 22:45:44 <superstar64> seems much uglier to pattern match on though
2020-11-23 22:45:52 × Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving)
2020-11-23 22:46:32 → phaul joins (~phaul@ruby/staff/phaul)
2020-11-23 22:48:23 <int-e> superstar64: There are pattern synonyms. What you may gain from the reformulation is a better understanding for how this relates to Fix, what folds look like... just an overall better fit with existing theory.
2020-11-23 22:48:58 × alp quits (~alp@88.126.45.36) (Ping timeout: 260 seconds)
2020-11-23 22:49:22 <superstar64> welp, i guess i'll rewrite my beta reduction then
2020-11-23 22:50:00 hackage numhask-array 0.8.0 - Multi-dimensional array interface for numhask. https://hackage.haskell.org/package/numhask-array-0.8.0 (tonyday567)
2020-11-23 22:50:25 <maerwald> on nice, lol https://ppig.org/files/2015-PPIG-26th-Sarkar1.pdf
2020-11-23 22:50:31 <int-e> superstar64: I probably wouldn't do that. I would rename the 'Fix' though... as suggested it does feel more like an extension point for the data type to me.
2020-11-23 22:50:31 <maerwald> so syntax highlighting does help
2020-11-23 22:50:47 <int-e> superstar64: It's okay to have specific ad-hoc types.
2020-11-23 22:51:09 × chele quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-11-23 22:51:36 → Kaeipi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-23 22:51:38 <int-e> superstar64: I guess what I'm really getting at is that the relation to Data.Fix.Fix feels superficial.
2020-11-23 22:51:48 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-11-23 22:52:16 → conal joins (~conal@64.71.133.70)
2020-11-23 22:53:56 <superstar64> my code might be cleaner if i use recursion schemes anyway
2020-11-23 22:54:14 × chaosmasttter quits (~chaosmast@p200300c4a72cf80165f6d709b523305b.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-11-23 22:54:43 <int-e> superstar64: your choice, obviously... and you should know best what the tradeoffs are
2020-11-23 22:55:22 → Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2020-11-23 22:55:38 <superstar64> it's 40 lines that i start writing a few hours ago
2020-11-23 22:55:43 <superstar64> it's not a big deal
2020-11-23 22:55:49 × phaul quits (~phaul@ruby/staff/phaul) (Remote host closed the connection)
2020-11-23 22:56:27 → phaul joins (~phaul@ruby/staff/phaul)
2020-11-23 22:58:03 × sleblanc quits (~sleblanc@unaffiliated/sebleblanc) (Quit: Leaving)
2020-11-23 22:58:50 × falafel_ quits (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4) (Ping timeout: 264 seconds)
←Prev  Next→
Page 1 .. 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1504 .. 5022

All times are in UTC.