sklogic

54 ms·

571.
by sklogic 11y ago
You cannot write a compiler that integrates into your language in C++ or Haskell. And it is trivial in Lisp, just wrap a compiler into a macro. For example, my typical workflow heavily depends on Prolog blended into Lisp. I also use an ML i
572.
by sklogic 11y ago
No, you can easily write a macro to implement lazy semantics. You can implement an entire STG as a macro. Same with type inference. Writing compilers is exactly what macros are for.
573.
by sklogic 11y ago
And this is irrelevant. Interpreters suck and are not interesting at all. I am talking exactly about transforming Lisp into Haskell. Fully or gradually, it does not matter.
574.
by sklogic 11y ago
Nobody is stopping you from keeping them as readable as you like. The question here is in readability of the remaining 90% of the code, and this is exactly where nested expressions are evil and must be flattened.
575.
by sklogic 11y ago
Order Oberon Station, copy-paste a couple of lines of instructions to flash a bitfile, and enjoy a nearly fully open environment. A bit more tricky with or1200, but this way you'll get a fully functional Linux workstation.
576.
by sklogic 11y ago
I'm talking about an efficient implementation with a full interoperability with the host. Interpreters and standalone compilers do not count.
577.
by sklogic 11y ago
Soft CPU cores are often used as parts of larger designs, e.g., for managing communications with the rest of the world, or to run the core algorithm and accelerate the execution using custom instructions.
578.
by sklogic 11y ago
Icestorm and yosys are cool! Since then even more CPUs are working on ICE40: https://github.com/cliffordwolf/picorv32 Or a really small and slow one (smaller than J1, but needs more RAM): https://github.com&
579.
by sklogic 11y ago
Wrong. You can build an entire Haskell implementation as a thin, transparent layer on top of Lisp and then do anything Haskell can do.
580.
by sklogic 11y ago
The main difference is: it is trivial to build an efficient Haskell implementation on top of Common Lisp, keeping interoperability with the rest of the system. And it is impossible to do it the other way around, to build a Lisp on top of Ha
581.
by sklogic 11y ago
I find it amusing that arithmetics is always invoked in any discussion about nested expressions syntax, despite being largely unimportant in most of the typical code scenarios.
582.
by sklogic 11y ago
Is it really that often? More than 10% of lines of code containing nested arithmetic expressions? Sorry, I find it hard to believe.
583.
by sklogic 11y ago
Smaller code does not necessarily guarantee better readability, but there is a strong correlation. What is more readable, a TCP stack from the Linux kernel, or this [1] 200 lines of code? [1] http://www.moserware.com/2008&#x
584.
by sklogic 11y ago
It is proprierary, but yet pretty cheap and it comes with a comprehensive datasheet without an NDA: http://pdglive.lbl.gov/Particle.action?node=S003
585.
by sklogic 11y ago
J1 is a decent Forth CPU and it is below 120loc in Verilog.
586.
by sklogic 11y ago
Nesting with commas is still nesting, increasing a number of contexts to deal with simultaneously.
587.
by sklogic 11y ago
I admit my hastily written example is clumsy, but the general idea still holds in your rendering of it. Nesting with commas is just as confusing as nesting with parenthesis. It forces your reader to operate with more than one contexts at a
588.
by sklogic 11y ago
Honestly, how often do you need any deeply nested arithmetic expressions in your code? I very rarely use anything beyond an increment by one. Any time you are invoking nested logic you are already summoning a complexity problem. Luckily, it
589.
by sklogic 11y ago
> it will be harder for a human to follow than if you use parenthesis Not any harder than following Master Yoda speech. OTOH, following something (say, an English text) (which is heavily parenthesised) may be (I'm sure there is a lo
590.
by sklogic 11y ago
It was LLVM, not Clang. And it is a really great idea to treat UB as "it never happened". Just do not rely on UB and always use static analysis.
591.
by sklogic 11y ago
> Talking (and not teaching) to 200 ppl over 2 hours is not time allocation to "me". I'm not talking about the lectures (they're useless unless most of the time is spent on Q&A). There is always a certain amount o
592.
by sklogic 11y ago
Teachers time is a part of this infrastructure. They're paying for it, they're getting their share. How to use that time is 100% their responsibility.
593.
by sklogic 11y ago
> better odds and worse odds That's exactly why I said that it worth assessing your abilities first before going there. > but they are paying for an honest effort And they're getting it. Slacking the marking because they&#x2
594.
by sklogic 11y ago
> By very definition most people go to universities or institutions that "don't matter" in your eyes. Most of the so called "universities" are nothing but a cargo cult education. They're only damaging their
595.
by sklogic 11y ago
> No, I refuse to buy lottery tickets. "Who Dares Wins" Like it or not, but there are no guaranteed outcomes in pretty much anything. Only when you're paying for a lunch in a caffe it's sort of guaranteed that you&#x2
596.
by sklogic 11y ago
> I seem to have missed the part of university where we were learning things not yet in published books. You had an access to the teachers, who are all supposed to be active, well-connected, bleeding-edge researchers. You had a fair amou
597.
by sklogic 11y ago
> I am paying for a self-professed expert in pedagogy Just in case you did not notice, this thread was about the universities, not the nurseries. A university teacher can be a stuttering weirdo and a jerk, and still be very valuable. Act
598.
by sklogic 11y ago
So you wasted years of your time and years of the other people time simply to get some stupid letters to add to your CV? Sorry, I ran out of sympathy.
599.
by sklogic 11y ago
> Because that "disgusting and lowly category" is the dominant demographic of users; get off your high horse. If so, this world is doomed, and within a generation will be ruled by hordes of ignorant retards. I can only hope you
600.
by sklogic 11y ago
> are solely there to get a piece of paper And why should anybody care at all about this disgusting and lowly category? They wanted to game the system, they got what they deserved. > and many times taking on dangerous levels of debt S

More ›