pufuwozu

10 ms·

31.
by pufuwozu 14y ago
Thanks for the submission! The GitHub repository might be more interesting: https://github.com/pufuwozu/bilby.js The syntax examples show off a bit of everything: Monads: λ.Do()( λ.some(1) >= function(x) { re
32.
by pufuwozu 14y ago
In a dynamically typed language, every value is a tagged union.
33.
by pufuwozu 14y ago
This is even the case after the introduction of the IO monad. Monads allow referentially transparent IO. My purely functional programs actually do things! Amazing that my ivory tower allows me to say "Hello World".
34.
by pufuwozu 14y ago
You're comparing ad-hoc polymorphism with subtype polymorphism . Doing so will lead you to the expression problem : http://en.wikipedia.org/wiki/Expression_problem Anyway, there's been quite a few proposals to add extensible records
35.
by pufuwozu 14y ago
Pandoc: http://johnmacfarlane.net/pandoc/ XMonad: http://xmonad.org/
36.
by pufuwozu 14y ago
I started reading this comment and immediately knew you were talking about Pattern Calculus. Awesome to see someone else interested in the idea. I live a couple of blocks over from UTS and went to a programming language event there. I only
37.
by pufuwozu 14y ago
Hopefully we'd never rewrite Haskell - there's enough people here that know it and Haskell is extremely easy to understand. The team rewrote from Go to Python for various reasons: * Tool support (debugging, etc) was supposedly poor * The st
38.
by pufuwozu 14y ago
Atlassian is on that list but I know that last year we rewrote our Go code to Python after our main Go developer left.
39.
by pufuwozu 14y ago
You can checkout my JSConf talk at: http://brianmckenna.org/files/presentations/jsconf-roy/ - hopefully the video will be posted soon I wrote an article about it for IEEE's Internet Computing magazine: http://brianmckenna.org/blog/roy_ie
40.
by pufuwozu 14y ago
Author of Roy here. Would love to hear more about how/where you think it's too far away from JavaScript. I'm trying to avoid that feeling :) brian@brianmckenna.org (also, I'm writing an untyped typeclassopedia for use in my compiler - I'll
41.
by pufuwozu 14y ago
Java has a type and effect system. Methods return type * effect - this causes problems, a big one in Java is that effects can't be polymorphic. Anyway, I wouldn't like to see an effect system in Haskell (though, seems like Scala is getting
42.
by pufuwozu 14y ago
Statements only make sense when you have side-effects. Having an "if statement" in Haskell wouldn't make much sense.
43.
by pufuwozu 14y ago
I know quite a few people that use Scala in place of Haskell just because it runs on the JVM. Interoperability matters.
44.
by pufuwozu 14y ago
I write useful and novel software. I'm doing that right now in Haskell. It's also deployed to Heroku. You wouldn't know it's written in Haskell if I didn't tell you. Saying that X (CoffeeScript) proponents make more useful/novel software th
45.
Haskell on Heroku(brianmckenna.org)
5 points by pufuwozu 14y ago|0 comments
46.
IRKD, by Atlassian - Fix what irks you(irkd.me)
4 points by pufuwozu 15y ago|1 comments
47.
by pufuwozu 15y ago
SourceMap is a tool feature - no need to modify a language (except if you count making the compiler output SourceMaps). Maybe you're thinking about how the Traceur ES6 to JavaScript compiler outputs SourceMap information?
48.
by pufuwozu 15y ago
In Canary 19.0.1074.0 for me
49.
by pufuwozu 15y ago
Successful Google Summer of Code students get paid for their projects.
50.
by pufuwozu 15y ago
my thoughts about web frameworks are actually a web framework now :) https://t.co/zLF9yXBH* https://twitter.com/mikeal/status/174329057188642817
51.
by pufuwozu 15y ago
ClojureScript (which swannodette works on). You can invent your own language features in a Lisp.
52.
by pufuwozu 15y ago
I would love to see this. But there's two problems with it: 1. Bytecode formats are never completely language independent - there's always a feature or change that would make language X better 2. Browser vendors will never be able to agree
53.
by pufuwozu 15y ago
> ... I am proposing that you increase the ability for both humans and computers to reason about it Ah :) On my TODO list is to create an intermediate representation to more easily reason about Roy's semantics: https://github.com/puf
54.
by pufuwozu 15y ago
> With a proper type system, you can change the world. You don't have to sell me on type systems - they're exactly why I'm working on Roy. > If you have further doubts about the viability of this approach, see http://ashimagroup
55.
by pufuwozu 15y ago
Welcome any ideas on how to make the README better. Better yet, I'll very happily accept pull requests ;)
56.
by pufuwozu 15y ago
The thing that has gotten me the most excited since then has been an initial version of type-safe node.js modules: http://brianmckenna.org/blog/roy_node_modules
57.
by pufuwozu 15y ago
I would love to write Roy in a language with static typing (I'm definitely up for writing Roy in Roy). But I think CoffeeScript has shown that in-browser compilation and execution is very useful. For example, if I wrote Roy in Haskell, I wo
58.
Type Errors as Warnings (in Java and Haskell)(brianmckenna.org)
2 points by pufuwozu 15y ago|0 comments
59.
by pufuwozu 15y ago
I fixed submitted a patch for this in the pecl_http PHP library: https://bugs.php.net/bug.php?id=58442
60.
by pufuwozu 15y ago
Monads suit the problem nicely and it's been done in quite a few languages already: http://lambda-the-ultimate.org/node/4117 http://ocaml.janestreet.com/?q=node/100 http://en.wikibooks.org/wiki/F_Sharp_Programming/Async_Workf... This

More ›