sklogic

59 ms·

451.
by sklogic 11y ago
Interconnect and memory would eat up most of the resources.
452.
by sklogic 11y ago
Yes, that's the most impressive bit. My best efforts in building a heavily microcoded tiny 16bit core resulted in a minimum of 700 ICE40 cells. Now I know that it's possible to go even further down.
453.
by sklogic 11y ago
There is One Book to rule them all (sorry, could not find a link to the original 1973 edition): http://www.amazon.co.uk/Mathematical-Handbook-Scientists-Eng...
454.
by sklogic 11y ago
This is exactly the reason why I use C, C++ and sometimes Fortran. Yet to see a Python library I'd need.
455.
by sklogic 11y ago
> But python does align very well with my personal though process. TBH, that's the most rational reason ever for choosing any language. Anything else is much less important. But, yes, for me the experience is the opposite, Python fl
456.
by sklogic 11y ago
Ok, I've got a proper keyboard now. My approach to the typing error reporting is quite compatible with the Prolog codegen. What I do: for each AST node which produce one or more type equations I record the location data (cache it and g
457.
by sklogic 11y ago
Next thing you'll complain about would be on how absurdly explicit the x86 ISA is. So many instructions just to get "Hello, world" printed.
458.
by sklogic 11y ago
For me Retina meant that I stopped printing papers, now I can read PDFs comfortably straight from the screen. Not sure it's better form my eyes, but it saves time a lot.
459.
by sklogic 11y ago
See? The evolution of the language and its ecosystem was driven by the peculiar web needs. No surprise the language became what it is now. No surprise it sucks shit every time it spills out of its native domain. As for C++ - there is a choi
460.
by sklogic 11y ago
Nothing fancy, I was simply implementing a subset of Ada for fun. I find it is the quickest way to learn or explore a language - write a compiler for a subset of it. Frontend was awful and I never finished it, but the LLVM-style backend wad
461.
by sklogic 11y ago
Hindley-Milner is already quite Prolog-like. But you're right, CLP(fd) rocks for typing. My usual approach to implementing a type system is to derive a flat list of Prolog equations out of the AST and leave it to Prolog for solving. If
462.
by sklogic 11y ago
Yes, if he thinks that JS is expressive he does not know what is expressive. And his track record clearly lacks anything related to any expressive language. I can only explain it with an ideology, because ignorance is not an option here. An
463.
by sklogic 11y ago
Of course - a low level guy. It is quite likely that he is either not exposed at all to any expressive languages or reject them out of ideological reasons (JikesRVM is quite a strong symptom of the latter case).
464.
by sklogic 11y ago
I am talking about the backend optimisations, not the frontend parts. Ada frontend got tons of sweet static information for the backend to consume.
465.
by sklogic 11y ago
Web Assembly is not even there yet, asm.js up until recent was more a toy and a standalone runtime, I have not seen it being routinely used for a fallback, nothing like, say, python with C modules. As for virtual methods, it is a problem of
466.
by sklogic 11y ago
More expressive than a less imaginative subset of C. More expressive than assembler. Much less expressive than any decent high-level language. Javascript is low level, primitive and clumsy. There is absolutely no excuse for it being so crap
467.
by sklogic 11y ago
Did you just call Javascript a "highly expressive" language? Really?!?
468.
by sklogic 11y ago
If Ruby, Python and PHP would suddenly disappear, even more effort and energy would have been saved.
469.
by sklogic 11y ago
Rust is actually quite easy to compile. Ada is easy to compile. ML-like languages are easy to compile. Oberon is trivial to compile.
470.
by sklogic 11y ago
Nobody really cares about their performance. They're just fine with their simple interpreters. Web is different, there is no choice, no fallback to C. And no, thank you kind sir, but I've got a very good idea of what compilers are
471.
by sklogic 11y ago
They're solving a non-issue. The rest of the world is perfectly fine with the statically typed, well designed languages that are easy to compile. And only the web world is so obssessed with smart compilers compensating (impressively, b
472.
by sklogic 11y ago
To be honest, I very rarely seen 8mb or more back then, when I ran Emacs on a VAXstation with 64mb of ram. Usually it was much less, but, OTOH, org mode did not exist.
473.
by sklogic 11y ago
I'd be interested to hear more about "powerful" text editors from the DOS or Windows world. Likely your definition of "powerful" is quite peculiar.
474.
by sklogic 11y ago
Eight Megabytes And Constantly Swapping.
475.
by sklogic 11y ago
Sometimes a demonstrative, grotesque civil obedience is even better.
476.
by sklogic 11y ago
Of course. But there is no need to write ugly macros. Any macro of any complexity can be written in a nice and clean way.
477.
by sklogic 11y ago
A couple of very simple tricks: Macros must be staged - similarly to a good practice of not having too big functions, macros also must be small, and must transform code in small steps, with more macros further breaking the result down. Idea
478.
by sklogic 11y ago
> It's so easy to write useful but awful things with them, and they're really hard to fix and debug. And it is even easier to write useful, beautiful things with macros, which are really easy to fix and debug.
479.
by sklogic 11y ago
Macros should never be ugly. There are multiple ways of using compile-time metaprogramming in a nice and clean way. Maybe even in Rust, although I have not tried it yet.
480.
by sklogic 11y ago
What exactly did not work? Have you filed a bug?

More ›