harveywi

23 ms·

1. 211.▲
   by harveywi 10y ago

   > it'll show a spinner that never goes away. Like the last scene of Inception.
2. 212.▲
   by harveywi 10y ago

   That is a very nice piece of work! Well done!
3. 213.▲
   by harveywi 10y ago

   I must not have been clear about what I meant. What I mean is that, if you do it your way and just implement Select and SelectMany, that's all you get - you don't get any of these 143 methods [1] for free. Higher-kinded type supp
4. 214.▲
   by harveywi 10y ago

   Nice Maybe implementation! The thing that you miss out on with that particular style of implementation, though, is that you don't get certain higher-order functions for free. For example, if you were to endow your Maybe implementatio
5. 215.▲
   by harveywi 10y ago

   > I don't want .Where() called on an array to return another array. I want a lazy IEnumerable<T> almost every time. Yes, good point. There is a lot of space to explore in collections API designs, and the LINQ design is just
6. 216.▲
   by harveywi 10y ago

   Thanks - you are right about the IQueryable/IEnumerable distinction - it's been a long time since I worked with C#. I think it is somewhat unfortunate that IQueryable is a subtype of IEnumerable because the semantics are so diff
7. 217.▲
   by harveywi 10y ago

   Are you familiar with C# or Visual Basic? LINQ [1] is a tragic example of what happens when a host language does not support higher-kinded types - every time you use a LINQ method on a concrete type that may have important semantics, its (
8. 218.▲
   by harveywi 10y ago

   The Vega Visualization Grammar [1] is encoded using JSON Schema. However, I think there are some bugs in the grammar that can be attributed to the (IMHO) clumsiness of JSON schema. If you are looking for a good JSON editor that respects JS
9. 219.▲
   by harveywi 10y ago

   "Aim for low impact, low height, and short contact with the jumping surface. Be light on the balls of your feet."
10. 220.▲
    by harveywi 10y ago

    I skip rope in public. Boxers, wrestlers, and fighters do it - it looks hardcore and is a lot of fun. It's an underappreciated form of exercise. You don't have to do it in your apartment - find a tennis court or a court with a
11. 221.▲
    by harveywi 10y ago

    Try swimming. The combat swimmer stroke is easy to learn and will get you on your way in the pool in a jiffy. Search for Stew Smith's videos on YouTube, and you'll be swimming 500 yards nonstop in a few weeks. Also, skipping rop
12. 222.▲
    by harveywi 10y ago

    Powerlifting is amazing, and it is amazingly safe [1]. It is the perfect complement to a programming job, because you can bang out a massive workout in the morning and recover physically the rest of the day. Take "advantage" of
13. 223.▲
    by harveywi 10y ago

    It would be fun, at some point, to compile a list of onomatopoetic translations for the various Scala operators that are found in nature. For example: >>= "fffff...Pwip!" (the sound of monadic bind) |==> &quo
14. 224.▲
    by harveywi 10y ago

    Scala-js is fantastic for all of the reasons mentioned in the article. It is one of those tools that has become indispensable when I write web applications. Here is a web app that I built using scala-js: http://experimental.wor
15. 225.▲
    by harveywi 10y ago

    I'm working on extending this ([1]) to contravariant functors while making the whole thing polytypic and typesafe (so I can abstract over type products and coproducts, among other things). My stuff will be open-sourced next year somet
16. 226.▲
    by harveywi 10y ago

    And another one today: https://issues.scala-lang.org/browse/SI-9222
17. 227.▲
    by harveywi 10y ago

    I hit two bugs today. Both were produced during major global refactoring. I did not have time to catalogue the reproduction steps or anything, so I have no right to complain! 1. https://issues.scala-lang.org/browse/S
18. 228.▲
    by harveywi 10y ago

    I just bumped into SI-1503 [1] and SI-7714 [2]. Fortunately I was able to work around those and keep plugging away. [1] https://issues.scala-lang.org/browse/SI-1503 [2] https://issues.scala-lang.org/br
19. 229.▲
    by harveywi 10y ago

    Here is a new one that I reported to scala-internals today: https://groups.google.com/forum/#!topic/scala-internals/w4HG...
20. 230.▲
    by harveywi 10y ago

    Sure, you bet - I will start collecting them as they occur. However, I no longer find new bugs, it seems. I'll break something, google for the error message, and either find something on issues.scala-lang.org, IRC, or one of the Goog
21. 231.▲
    by harveywi 10y ago

    If you don't mind me asking, which IDE do you use?
22. 232.▲
    by harveywi 10y ago

    Here is a quick shortlist of some type inference issues (some bugs, some enhancements, and some fundamental limitations of the language design) that I run into pretty much daily: 1. (Search for "asInstanceOf"): http://
23. 233.▲
    by harveywi 10y ago

    I dabbled with it about six months ago. I write most of my software in Scala, but I continue to hit the ceiling and run into places where type inference fails, compiler bugs add friction, or other oddities (22-tuple limit) get in the way.
24. 234.▲
    by harveywi 10y ago

    If you are interested in recent developments in verified programming, you might be interested in looking at Adam Chlipala's work (in particular, Bedrock [1]). His book "Certified Programming with Dependent Types" is a fantas
25. 235.▲
    by harveywi 10y ago

    Most of the action happens in this file: https://github.com/pirapira/coq2rust/blob/rust/plugins/extra... I have considered attempting to write a few code extraction plugins for Coq, but I took a lo
26. 236.▲
    by harveywi 10y ago

    Reminds me of "Locally Smooth Manifold Learning" [1], specifically figure 6 in "Learning to Traverse Image Manifolds" [2]. [1] http://vision.ucsd.edu/project/locally-smooth-manifold-learn... [2] ht
27. 237.▲
    by harveywi 10y ago

    When I look at category theory diagrams, I always think that the visual embedding is underutilized. It seems like the diagrams could be enriched with more symbols to encode more information. For example (and probably a bad example) differ
28. 238.▲
    by harveywi 10y ago

    Does anyone here have any experience using the Ologs proposed in the book for doing knowledge modeling or other things? Some anecdotes, or in lieu of that, opinions of this formulation compared to other knowledge model representations woul
29. 239.▲
    by harveywi 10y ago

    I just searched for the JavaScript isomorphism conundrum and did a facepalm. JavaScript seems to be a breeding ground for getting all kinds of things wrong. Just the other day on HN [1] - a JavaScript developer had misused the term "
30. 240.▲
    by harveywi 10y ago

    The difference, in terms of type theory, is that a tuple is a product type [1] but a type representing multiple possible return values (to represent different outcomes) would be encoded using a sum type [2]. [1] https://en.wikipe