existentialtype.wordpress.com
Dynamic Languages are Static Languages | Existential Type
https://existentialtype.wordpress.com/2011/03/19/dynamic-languages-are-static-languages
Thoughts from an existential type. Dynamic Languages are Static Languages. While reviewing some of the comments on my post about parallelism and concurrency, I noticed that the great fallacy about dynamic and static languages continues to hold people in its thrall. So, in the same “everything you know is wrong” spirit, let me try to set this straight: a dynamic language. A straightjacketed static language that affords. Practical Foundations for Programming Languages. Which is available in draft form.
goldenani.blogspot.com
The Golden Ani-Versary of Anime (1963-2013): 2012: O Brother, Where Art Thou?
http://goldenani.blogspot.com/2013/12/2012-o-brother-where-art-thou.html
Saturday, December 28, 2013. 2012: O Brother, Where Art Thou? The author is a life-long fan of anime. The author first acquired a taste for anime at the tender young age of five and has never looked back. The author spends far too much time treading back and forth between Japan―their homeland―and the United States, where they currently reside. (Apologies for the anonymity, but it was requested by the author. - Ed.). The word of the year is ' i. So here we are, nearly fifty years after. In the not-so-dist...
mortoray.com
Invented here syndrome | Musing Mortoray
https://mortoray.com/2015/02/25/invented-here-syndrome
Programming and Language Design. Asymp; 17 Comments. Are you afraid to write code? Does the thought linger in your brain that somewhere out there somebody has already done this? Do you find yourself trapped in an analysis cycle where nothing is getting done? Is your product mutating to accommodate third party components? If yes, then perhaps you are suffering from invented-here syndrome. 8221;, and write the code ourselves. Varying levels of quality. At some level we enter the realm of crappy products...
steved-imaginaryreal.blogspot.com
Imaginary/Real: The Flub Paradox
http://steved-imaginaryreal.blogspot.com/2015/06/the-flub-paradox.html
Sunday, 7 June 2015. Paul Graham's classic essay Beating the Averages. Is well worth re-reading. It is the story of how, twenty years ago, Paul Graham and Robert Morris built an online store generator called Viaweb. And out-manoeuvred their many competitors using their secret weapon, Lisp. But it is much more than a success story with a fairytale ending. He identified what he called. And think: "These variables don't vary! How is it possible to write programs. Mr Graham's essays about programming tend to...
royrapoport.blogspot.com
Tech and Culture Musings: Coffee and its Effects on Feature Creep
http://royrapoport.blogspot.com/2011/05/coffee-and-its-effects-on-feature-creep.html
Tech and Culture Musings. Monday, May 16, 2011. Coffee and its Effects on Feature Creep. Starting in mid-2004 and until the end of 2006, I worked at a small DNS and DHCP software company called Nominum. These days Nominum offers both software and services, but at its core what has allowed it to be as successful as it has been is the fact that its development group is, singularly, the most brilliant and. Heavily used (one of the earliest lessons I had to learn was that if it was 1AM and my boss just sent ...
japgolly.blogspot.com
Preposterous! Egregious!: Zero-overhead Recursive ADT Coproducts
http://japgolly.blogspot.com/2015/02/zero-overhead-recursive-adt-coproducts.html
Consecutive sentences or phrases, usually pertaining to a topic or subject. Monday, 23 February 2015. Zero-overhead Recursive ADT Coproducts. Zero-product Recursive AMD what? Ok Imagine this: you're building some app, and in certain parts users can type text with special tokens. (It's like in Twitter, when typing “. 8221; the “. Ideally you'd define an ADT ( algebraic data type. Now Scala won't let us create our. Type like shown above. It doesn't have a syntax for coproducts. Would be, also called “...
blog.jaibot.com
The Copenhagen Interpretation of Ethics – Almost No One is Evil. Almost Everything is Broken.
https://blog.jaibot.com/the-copenhagen-interpretation-of-ethics
Almost No One is Evil. Almost Everything is Broken. Do unto others 20% better than you would expect them to do unto you, to correct for subjective error. - Linus Pauling. The Copenhagen Interpretation of Ethics. The Copenhagen Interpretation of quantum mechanics says that you can have a particle spinning clockwise and counterclockwise at the same time – until you look at it, at which point it definitely becomes one or the other. The theory claims that observing reality fundamentally changes it. And track...
thebreakfastpost.com
Four MLs (and a Python) | The Breakfast Post
https://thebreakfastpost.com/2015/04/22/four-mls-and-a-python
Four MLs (and a Python). I wrote a small command-line text processing program in four different ML-derived languages, to try to get a feel for how they compare in terms of syntax, library, and build-run cycles. Is a family of functional programming languages that have grown up during the past 40 years and more, with strong static typing, type inference, and eager evaluation. I tried out Standard ML. All compiling and running from a shell prompt on Linux. The job was to write a utility that:. I’ve i...
tedclancy.wordpress.com
Which Unicode character should represent the English apostrophe? (And why the Unicode committee is very wrong.) | Ted's Blog
https://tedclancy.wordpress.com/2015/06/03/which-unicode-character-should-represent-the-english-apostrophe-and-why-the-unicode-committee-is-very-wrong/comment-page-1
Which Unicode character should represent the English apostrophe? And why the Unicode committee is very wrong.). Which Unicode character should represent the English apostrophe? And why the Unicode committee is very wrong.). June 3, 2015. June 11, 2015. The Unicode committee is very clear that U 2019 (RIGHT SINGLE QUOTATION MARK) should represent the English apostrophe. Section 6.2 of the Unicode Standard 7.0.0 states:. We’ve been here before. Very, very wrong. I’m here to tell you why why. According to t...
literateprogrammer.blogspot.com
the literate programmer: Types don't substitute for tests
http://literateprogrammer.blogspot.com/2014/10/types-dont-substitute-for-tests.html
Let us concentrate on explaining to human beings what we want a computer to do". Sunday, 19 October 2014. Types don't substitute for tests. When reading discussions about the benefits of types in software construction, I've come across the following claim:. When I use types, I don't need as many unit tests. This statement is not consistent with my understanding of either types or test-driven design. When I've inquired into reasoning behind the claim, it often boils down to the following:. All of the exam...