z1mm32m4n

5 ms·

1.
by z1mm32m4n 7y ago
Ironically, one of the easier ways TypeScript has been able to work quickly is by skipping the type inference Flow does. It’s a trade off. The Flow team was advised that this approach would have performance problems early on in the project,
2.
by z1mm32m4n 7y ago
The important parts here are (1) that they remained metrics driven and (2) that they focused on repeatability. 1. Both TypeScript and Flow are gradual type systems. They both explicitly allow escaping the safety and coverage of a type syste
3.
A Debugger for Bash in Six Lines of Bash(blog.jez.io)
29 points by z1mm32m4n 7y ago|2 comments
4.
Gradual Type Checking and Sorbet(sorbet.org)
1 points by z1mm32m4n 7y ago|0 comments
5.
by z1mm32m4n 7y ago
> I rarely have any say in that, and I try not to get worked up about things I have no control over. This hasn't been the case in my experience. I joined a new team about a year ago, and the predominant mode of discussion was Slack
6.
by z1mm32m4n 7y ago
Exactly. I can't imagine providing intra-company support over either email or IRL. IM lets me take a second to understand someone's question, maybe run some command or look up some docs, and then get back. When answering IRL, ther
7.
by z1mm32m4n 7y ago
One of the appeals of email is asynchronicity—I can compose a well-reasoned proposal, and give my team time to compose a well reasoned counter-proposal. But after more than a handful of rounds of this, it breaks down. Long email threads are
8.
by z1mm32m4n 7y ago
It’s even nicer in Haskell because not only does do-notation make code look clean, await is a function, not an operator. Want prefix await? Go for it! res <- await $ foo bar Want postfix? You can have that too! res <-
9.
by z1mm32m4n 7y ago
Who's to say we couldn't use the types to make the runtime faster in the future? One of the reasons why Sorbet does both runtime checking[1] more than just static checking is so that we can know that signatures are accurate, even
10.
by z1mm32m4n 7y ago
Sorbet has multiple Strictness Levels[1]. The two most relevant ones are `typed: false` and `typed: true`. `typed: false` is the default level and at this level only errors related to constants are reported, like this one: https:/&#x2
11.
by z1mm32m4n 7y ago
My favorites: The Last Lecture by Randy Pausch How to win friends and influence people by Dale Carnegie
12.
by z1mm32m4n 8y ago
Hey! I work at Stripe on Sorbet. Don’t worry, you haven’t missed any announcement. Stripe is still very much committed to Sorbet; it’s used by hundreds of engineers every day to catch bugs and increase developer productivity. We’re currentl
13.
by z1mm32m4n 8y ago
I’ve found manually prefixing links with http:// ( http://go/test ) is a better alternative to auto-linkification via chrome extension (works in slack app, mobile apps, etc.)
14.
by z1mm32m4n 8y ago
I recently learned that a system like this is already described by Haskell’s Package Version Policy[1]. They call the vanity digit the “epoch”[2]. Basically the way the formalize it is that the first two components specify the major compone
15.
Xkcd: Voting Software(xkcd.com)
1 points by z1mm32m4n 8y ago|0 comments
16.
by z1mm32m4n 8y ago
And if you want a visualization of those stats: https://data.worldbank.org/indicator/NY.GDP.PCAP.CD?location... ^ I find it really interesting to see how volatile some of these charts are, while the US GDP per capita s
17.
by z1mm32m4n 8y ago
Ah, maybe that’s the formal definition. But it’s still frustrating to be at a bus waiting for a late bus and then see a 61A, B, and C all in a line, knowing that any of them will get you to dinner :P
18.
by z1mm32m4n 8y ago
Ah this is an interesting idea. Passengers already have to request when they want to get off. I'm assuming you mean if no one wants to get off, a bunched up bus skips a stop because a bus behind it says "I'm behind you, I&#x2
19.
by z1mm32m4n 8y ago
This reminds me of a homework assignment in one of my freshman year classes which was to implement various church encodings and helper functions in the lambda calculus using only LaTeX macros!
20.
by z1mm32m4n 8y ago
I’m all for cohesion, which it seems was the main point the author was trying to make. But I found the first motivating example (refactoring is hard) to be a poor argument in favor of cohesion. When making a breaking public API change, type
21.
by z1mm32m4n 8y ago
An interesting point about programming is that so much of it comes down to thinking of names. I found this article by a Russian native about programming and naming things rather fascinating: https://temochka.com/blog/po
22.
by z1mm32m4n 8y ago
I’ve frequently needed to access a plain text version of a site in a bash script or from the command line. For this, I use the command w3m -dump <url> which dumps the website’s text content to stdout.
23.
Implementing and Understanding Type Classes (2014)(okmij.org)
118 points by z1mm32m4n 8y ago|26 comments
24.
by z1mm32m4n 8y ago
Considering you mention not having programmed extensively in a functional language, I'd say you should pick a language with extensive documentation for beginners. I know you dismissed it, but many people have put a lot of time and th
25.
by z1mm32m4n 8y ago
Ah! Thanks for pointing this out, I'll be sure update the post. (I haven't used TypeScript all that extensively, so I didn't even know about `const enum`.)
26.
by z1mm32m4n 8y ago
Ah, that's my mistake! The generated Reason output got copy/pasted incorrectly. (It's correct if you click through to the Try Reason link.) In fact, Reason generates the `>=` comparison, and it knows it can do this becau
27.
Union Types in Flow and Reason(blog.jez.io)
109 points by z1mm32m4n 8y ago|53 comments
28.
by z1mm32m4n 8y ago
I wouldn't be surprised if they were actually using some techniques from NLP. In particular, I wouldn't be surprised if they'd run sentence parsers over their entire Books collection and then manipulate the parse trees to fin
29.
by z1mm32m4n 9y ago
I think my favorite part of this is that inevitably people will write type definitions for TensorFlow.js in TypeScript, Flow, ReasonML, Purescript, and more. It has always seemed like data science and machine learning tasks have always been
30.
If, Else, and Purity(blog.jez.io)
3 points by z1mm32m4n 9y ago|0 comments

More ›