takeoutweight

5 ms·

1.
by takeoutweight 11y ago
Haskell has dynamic types, too https://hackage.haskell.org/package/base-4.8.0.0/docs/Data-D...
2.
by takeoutweight 12y ago
I like how anna anthropy suggested using the phrase "post-partum" instead of post-mortem, as a game only really becomes a living thing once it's been released to the public. http://auntiepixelante.com/?p=1991
3.
by takeoutweight 12y ago
Absolutely not "batteries included" but I've put some work into a React interface for Haste, which is a Haskell->JS compiler. https://github.com/takeoutweight/shade
4.
by takeoutweight 12y ago
Types give you the power of abstraction -- they allow you to define new concepts that "don't to go wrong" and allow you to speak of things other than just bytes-shuttled-on-a-turing-tape. Rigorously justifying the ignorance o
5.
by takeoutweight 12y ago
I suppose I can only speak for myself, but as a functional programmer I would never ask you to give up mutation completely. I do think it's nice that most FP languages give us pure functions and persistent data structures that are easy
6.
by takeoutweight 12y ago
Have you looked at Adam Chlipala's Certified Programming with Dependent Types book? It uses Coq and Proof General. There's an online version: http://adam.chlipala.net/cpdt/
7.
by takeoutweight 12y ago
I have been enjoying learning Go (the game) and Nick Sibicky has a great lecture series. It's hard to find introductory material that goes deeper than just the basic rules of the game so this has been a valuable resource. https:/
8.
by takeoutweight 12y ago
To offer an alternative, I've personally found checkinstall to be useful for putting together ad-hoc .deb packages for deployment. http://manpages.ubuntu.com/manpages/trusty/man8/checkinstall...
9.
by takeoutweight 13y ago
A good reference is Andrew Appel's "SSA is functional programming"[1] which discusses the similarities. There are practical differences between SSA, ANF, and CPS, but the similarity at a high level is quite strong. [1] http:
10.
by takeoutweight 13y ago
The best place to start is actually the scheme iOS repl that comes packaged with the Gambit source. Take a look at the misc/build-gambit-iOS script (mentioned on slide 39,40 of my linked talk slides). It's a bit of a hairy build p
11.
by takeoutweight 13y ago
I took a different tack with clojure-scheme by compiling via Gambit Scheme, which can target Objective-C. https://github.com/takeoutweight/clojure-scheme . This approach made it easier to provide self-hosted compilation
12.
by takeoutweight 13y ago
C-evo is another open source Civilization clone which I very much enjoy, due to the emphasis on strong AI and completely deterministic combat. This year has brought a a new release after a 5 year hiatus: http://civilization.wikia
13.
by takeoutweight 13y ago
Brewer palettes ( http://mkweb.bcgsc.ca/brewer/ ) are hand-picked colour ranges that were originally meant for cartography but are useful for general data viz, where it is important to maintain perceptual regularity whil
14.
by takeoutweight 13y ago
You may be interested in the category-theoretic presentation of quantum theory. Turns out we're in more of a monoid than a monad! :) http://math.ucr.edu/home/baez/quantum/
15.
by takeoutweight 13y ago
Re 1. Periodicity: The quantum Fourier transform is an operation that reflects information about a quantum state into the the phases of the amplitudes. Quantum phase information is exactly where quantum computing differs from classical pro
16.
by takeoutweight 13y ago
You can know the probability that the algorithm will output the correct answer. If the probability of a correct response is > 50%, all you have to do is run the algorithm multiple times to get within, say, 99.99% certainty that the mos
17.
by takeoutweight 13y ago
This is a VERY common misconception, and is not a good intuition for how quantum computing is different than classical. A better intuition, in my opinion, is computing with "un-flipped" coins, except with funny complex-valued prob
18.
by takeoutweight 13y ago
In my talk I use a finite state machine as an example of something that can really benefit from proper tail calls. In this case, the difference between proper tail calls and loop/recur is the difference between "compiling" th
19.
by takeoutweight 13y ago
Clojure has a much stronger polymorphism story than Scheme. This makes sense as Clojure was designed to live in an OO host language. Practically this could mean, say, much cleaner Objective-C interop.
20.
Clojure-scheme: Compiling Clojure to Native Code via Scheme [video](infoq.com)
86 points by takeoutweight 13y ago|25 comments
21.
by takeoutweight 13y ago
By "efficient" I assume you mean the object code is compact, filesize-wise? It's fairly typical that byte-code or otherwise high-level object code is more compact than machine code. For example, Java .class files will be smaller than their
22.
by takeoutweight 13y ago
This one tells a story in 3 acts: http://wry.me/hacking/Turing-Drawings/#4,5,0,4,0,2,1,0,3,2,3...
23.
by takeoutweight 13y ago
WebGL support on mobile is pretty rare. I think only a few browsers like Firefox mobile and Opera mobile support it.
24.
by takeoutweight 14y ago
Unfortunately Clojure is one of the few lisps without proper tail calls. (I love Clojure I just thought I should point this out in the context of the discussion).
25.
by takeoutweight 14y ago
Another way to think of it is that monads are embedded into the operational semantics of eager languages, so you that the programmer doesn't need to be aware of them. After all, monads were initially used to formally describe the behaviour
26.
Cantor's Theorem: The Movie(rjlipton.wordpress.com)
1 points by takeoutweight 14y ago|0 comments
27.
by takeoutweight 14y ago
in clojure-scheme I actually compile Clojure to Gambit to make use of Gambit's awesome runtime. It's a very good match for Clojure. https://github.com/takeoutweight/clojure-scheme
28.
by takeoutweight 14y ago
Absence of evidence is not evidence of absence.
29.
by takeoutweight 14y ago
The above comments are accurate: clojure-scheme lacks everything that ClojureScript lacks. And clojure-scheme is a month or two behind ClojureScript, so the new structure sharing persistent vectors haven't been ported over yet.
30.
by takeoutweight 14y ago
No longer just a theory! The Gambit iOS repl is quite happy to run the scheme files generated by clojure-scheme. There has just recently been a port of the iOS Gambit repl to Android (using NDK and JNI I think)--I'm looking to try that out

More ›