Viewing profile — takeoutweight

Haskell has dynamic types, too https://hackage.haskell.org/package/base-4.8.0.0/docs/Data-D...

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:/…

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

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-turin…

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…

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/

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 g…

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/c…

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 similarit…

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 …

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 ea…

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…

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 importan…

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/

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…

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 …

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-fli…

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/r…

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 …

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…

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...

WebGL support on mobile is pretty rare. I think only a few browsers like Firefox mobile and Opera mobile support it.

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).

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, mo…