ptarjan
Joined 17 years ago
Karma
576
Submissions
130
Member since
Jul 4
http://paultarjan.com
View on Hacker NewsRecent submissions
Comment · 8 months ago
HN Frontpage in Ingglish: https://ingglish.com/?url=https%3A%2F%2Fnews.ycombinator.com...
Comment · 1 year ago
https://www.vimgolf.com/ is what taught me to VIM
Comment · 2 years ago
The metric system seems like a similar analog to geometric algebra vs vector calculus. You are saying the same thing but the language you are using is much more internally consistent.
Adoption has been bumpy given the US resistance but I think in the long run it (or something even more consistent) will win out. Similarly I think geometric algebra will be adopted. Maybe not in our lifetimes but eventually.
Comment · 2 years ago
> As for detecting gravitational waves, except for violent events like black hole mergers, we don't detect any; what few such gravitational waves there are are far too weak for us to detect.
I thought LIGO and VIRGO had been detecting gravitational waves for the last 4 years pretty regularly (i.e. once a week).
Comment · 6 years ago
My favorite time I had to do this was for a real-life situation. I wanted a script that was both a bash script (for speed) and a ruby script (if you installed it the default way).
I came up with: https://github.com/sorbet/sorbet/blob/master/gems/sorbet/bin...
Comment · 7 years ago
The parser for Sorbet was actually entirely given to us by GitHub. They were fabulous partners early on in the project and we're grateful for their contributions.
Comment · 7 years ago
Nice spelunking! Yeah, this word means nothing really. Sigil, pragma, directive, typed comment, whatever. Feel free to call it "dohicky" if you'd like.
Comment · 7 years ago
We believe that the main goal of a typechecker is to give you nice error messages. We've found giving names to things makes it easier for folks to reason about their errors, and introducing names for interfaces isn't that onerous at Stripe or with our beta testers.
We aren't opposed to eventually support it, but we'd like to see how it goes with the current form first.
Comment · 7 years ago
Thank you! Ruby has been kind to us, we'd like to be kind back.
Comment · 7 years ago
Thanks for the idea.
We used `params` because Method#parameters was what they called it in the standard library. I actually had it as `args` originally until someone pointed this out. https://ruby-doc.org/core-2.6.3/Method.html#method-i-paramet...
As for the syntax change, we are actually on our 8th iteration of the syntax. We really wanted this to NOT be a fork of Ruby so finding something compatible was very important. For example that's why it has the weird `sig {` syntax too, we didn't want to have to cause load-time and cyclic dependencies from adding type signatures.
Comment · 7 years ago
Thanks for pointing that out. It can be called all of those. We liked sigil from its connotation:
> Google defines sigil as, “an inscribed or painted symbol considered to have magical power,” and we like to think of types as pretty magical
Comment · 7 years ago
Great find! Fixing now, thanks.
Comment · 7 years ago
Sorbet supports both formats. You can see the inline syntax on https://sorbet.run/
Comment · 8 years ago
Hi and thank you for working on RDL! We do love the project and spoke with Jeff Foster a few times last year.
We did use your standard library annotations for Sorbet and have many fixes to them sitting in your pull request queue: https://github.com/plum-umd/rdl/pull/68 https://github.com/plum-umd/rdl/pull/72 https://github.com/plum-umd/rdl/pull/57 . We stopped submitting more since these weren't being upstreamed.
Before we started our project, I evaluated rolling out RDL instead of building our own typechecker. Trust me, I would MUCH rather use an existing project than have to build our own, but sadly it just didn't scale to our millions of lines of code.
I'm more than happy to chat about the details of why we didn't use RDL if you'd like to email me at [email protected]. Thanks again for your great project, we're standing on the shoulders of giants.