E.g: Not only do we need an analogue to Python's Requests, *it's best if that analogue uses the same URL type as the rest of the ecosystem*.
-
Show this thread
-
1 reply 0 retweets 1 likeShow this thread -
1 reply 0 retweets 1 likeShow this thread -
1 reply 0 retweets 2 likesShow this thread -
A concrete example: the best analogue we currently have for Requests is `req`. But `req` uses its own URL type that isn't used by the rest of the ecosystem. So what should I use in hjsonschema when I'm defining the Schema data type (which contains URLs)?
1 reply 0 retweets 2 likesShow this thread -
We need excellent, usable, well-made libraries like req. We also need them to agree on common data types. Soooooo, we're in trouble.
2 replies 1 retweet 5 likesShow this thread -
Replying to @seagreen__ @light_industry
I can't help but think of Rich Hickey's point about static types making it difficult for systems to interop.
1 reply 0 retweets 2 likes -
Replying to @yawaramin @light_industry
Types don't make it difficult so much as they reveal this difficulty and force us to confront it eagerly rather than lazily (great when you plan on going technically bankrupt before having to pay the technical debt).
1 reply 7 retweets 20 likes -
OK, I slightly lied: types *up to isomorphism* don't make it difficult. The cost of manually managing isomorphisms does introduce difficulty. The value of dynamic typing has always been in punning without limits. Also without guardrails or safety net.
1 reply 0 retweets 2 likes -
The problem isn't types but rather lack of language-level support for anonymous records and anonymous sums
3 replies 0 retweets 2 likes
Any is the ultimate anonymous sum, and the Any List the ultimate anonymous record, at which point you have Lisp.
-
-
By anonymous records I mean like PureScript or Elm records, not Any
0 replies 0 retweets 2 likesThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!