munro

22 ms·

181.
by munro 11y ago
> There is no logic in the "template". No looping, no branching. Only inert ids. There is logic in determining which component replaces each id, but that logic lies in the code, not the template. Again, changing view to mean &q
182.
by munro 11y ago
I love Clojure, but I'm tired of embedded DSLs, they're a dime a dozen. You can argue the benefits of Hiccup's syntax & s-expr all day, but it's still a different, and unpopular syntax for describing HTML. The abili
183.
by munro 11y ago
When the parent says view, they're not talking about "a) markup", they're talking about the thing the user is looking at. > b) ids that indicate that a given tag will be replaced with a component With that in mind, yo
184.
by munro 11y ago
As someone who started using Clojure recently, the documentation has been the hardest part. Once I've understood something in the core lib, I'm blown away how well built it is, but it's been a confusing & misleading proc
185.
by munro 11y ago
Polymer is a polyfill for web components, which is an imperative way to sandbox JS/CSS/DOM. It's a very useful tool. Poylmer doesn't simplify UI development like React does, the components have to be statefully managed,
186.
by munro 11y ago
This is for when there isn't a web server. I assume the impetus for this experiment is for Chrome apps, judging by the mention of Chrome Desktop. > The larger question I want to answer is this: > Can we recreate the same "i
187.
by munro 11y ago
It's no surprise that mutating data structures is cheap, and React's virtual DOM doesn't aim to solve expensive layout calculation. What virtual DOM does is simplify application development by removing the concept of time, so
188.
by munro 11y ago
Bluebird makes debugging easy with long stack traces [1], and unhandled rejection detection [2]. Without the unhandled rejection detection, it's easy to get burned by forgetting to handle a rejection case, or use `.done()`. [1] https
189.
by munro 11y ago
Are there any good GUI tools for debugging Rust? Python + PyCharm is amazing, except now django.setup() takes so long to run in the debugger, I've switched to print statements.
190.
by munro 11y ago
Or Lisp! This is the reason JavaScript has been described as "Lisp in C's Clothing". Though, I haven't used clojurescript as much as I'd like, I have Stockholm syndrome.
191.
by munro 11y ago
Usually it doesn't matter what it's written in, because unless a company wants their site to look like a template, everything will be overwritten. And the value of the base idioms will still be retained for the dev team. Since th
192.
by munro 11y ago
When playing with this library, I had the same thought because it provides such powerful static analysis. JSDoc generation is nice. There's even externs for common libraries like Node.js core [1]. I stopped working with it (for now a
193.
by munro 11y ago
Immutability for stateful things seems unintuitive at first, but reframed as the lack of mutability, it makes more since. We can easily add it. yourCar === neighboursCar; // false yourCarRepainted === yourCar; /&#x2
194.
by munro 11y ago
Good point! I do really enjoy writing Angular templates. Embed the language in HTML, instead of the other way around. :D As an aside, PyCharm is a great editor, it can understand Angular, HTML, CSS, and Jinja all in the same file, and doe
195.
by munro 11y ago
If you like Angular's style you can use react-templates [1], most people just prefer the React way. In theory there shouldn't be any overhead, but since in JavaScript abstractions aren't free you're going to pay some pr
196.
by munro 11y ago
Yea... In theory it would be nice to have any DSL style created in the language, but in practice it seems easier to specifically build HTML-like syntax into the core language (like JSX). Or build a separate language like Haskell's Ham
197.
by munro 11y ago
> Extensible Records I envy this feature, and wish it baked into Haskell! Idris also did this right, and I think OCaml and SML too.
198.
by munro 11y ago
This reminds me of the coding visualization from the movie The Zero Theorem. There doesn't seem to be any clips of it online, but here's a screencap from it [1]. [1] http://cdni.wired.co.uk/1920x1280/a_c&#x2F
199.
by munro 11y ago
To continue this line of though, distributed computation is hard problem, and that's just computers. Here, people have to do real work to statically verify a paper's procedure, which is very cognitive overloading. Imagine review
200.
Proof terms in Idris(dafoster.net)
1 points by munro 11y ago|0 comments
201.
by munro 11y ago
Awesome, this research project looks good to go! I could definitely see this technology being integrated into VR headsets. The strain gauges could come bundled, and the lower half camera could be built into the bottom, and engineered to f
202.
by munro 11y ago
https://wiki.postgresql.org/wiki/Alter_column_position
203.
by munro 11y ago
There are a lot of tools for editing notebooks, and they're complex. I also don't use their online code editor, because mine is better. Through my personal experiences, my assumption is they'll never take on that project.
204.
by munro 11y ago
So weird, I was playing with IPython Notebook with PyCharm yesterday. Then I went on to think about how it could be integrated into Github without building the compiled files into the repo. :) Really there's no solution for extending
205.
by munro 11y ago
> We believe feature requests and issues should be treated differently. If you want other people to use what you made, you may have to do what they want. :) > In our vision, an issue refers to a bug in the software. Overloading causes
206.
by munro 11y ago
It's really hard to add features to someone else's app in such a disconnected way, for everyone in their community. Most people haven't heard of your site, and it's also hard to form habits of checking Github, as well a
207.
by munro 11y ago
> ML-family and Haskell are popular where provable correctness is wanted. Haskell doesn't have a theorem prover, you may want to check out Idris [1]. Haskell gives you more safety that you aren't going to get run time errors t
208.
by munro 11y ago
Ability to fiddle isn't tied to static or dynamic programming, it's just every static language platform I've seen including The Haskell Platform neglects making it easier to fiddle. When trying to build complex software in Ha
209.
by munro 11y ago
> I'd caution against referring to all such explorations as complexity. Complexity is a highly overloaded term in our field. The difference between complex & hard, easy & simple has been put very elegantly by Rich Hickey in
210.
by munro 11y ago
head and (!!) have been a source of off by one errors for me. I've yet to learn Idris, but I have the hope that dependent types may save me from off by one errors. Sometimes you always want head to return something, so it would be ni

More ›