6 ms·
There is another facility ruby and lisp lack- a good typing system- which you can find in languages like Haskell.
by gregwebs 19y ago
There is another facility ruby and lisp lack- a good typing system- which you can find in languages like Haskell.
- sspencer 19y agoSome would call that a feature, not a bug.
- sabat 19y agoLack of strong typing in a language is usually on purpose (dynamic typing). But sometimes you want it. I like the idea of optional strong typing in a language. Perl6, may it rest in peace, had that feature in its spec.
- capablanca 19y agoBtw, will Arc ever be open-sourced? I'd love to just sudo apt-get install arc in this lifetime.
- pg 19y agoFor once, I will answer this question: yes, soon. This winter, I hope.
- tjr 19y agoVery exciting. Should we arrange another Lightweight Languages day at MIT for this?
- weel 19y agoMore generally, somebody should arrange another Lightweight Languages day at MIT no matter what. Or maybe a Lightweight Languages days somewhere else. And wherever "they" organize it, it would be awesome if they could manage to webcast it and have people who cannot attend pose questions through IRC. I attended Lightweight Languages once and it was awesome. Informal, a large variety of smart people, but each smart in their own way, that had a lot to genuinely learn from each other. Sadly, conferences, even comparatively small and informal once, take some effort and some money to put together, and frankly it's not going to be me who is capable of coming up with either.
- kirubakaran 19y agoWe are waiting to type: git clone git://ycombinator.com/arc.1.0.0
- Xichekolas 19y agoJust to continue this meme (YC's first?)... I look forward to typing: emerge -av arc
- kirubakaran 19y agoI meant: git clone git://archub.com/arc.1.0.0
- chrisdone 19y agoI am waiting to type: darcs get http://ycombinator.com/arc
- blinks 19y agoTo complete the trinity: hg clone http://ycombinator.com/arc http://ycombinator.com/arc
- stevecooperorg 19y agoNah. We're waiting to download the windows msi file, which optionally installs a Visual Studio integration doodad and an eclipse plugin. At least, that's what the people who want to become lisp programmers want. It's probably not what the current lisp programmers want. Hey ho. Just don't make emacs the default development environment.
- kirubakaran 19y agoEmacs won't be default. pg uses vi. He highlights code segments and drags&drops them to repl.
- stevecooperorg 19y agoHeh. Can't say that vi makes me feel much better ;) Pg has a lot of people fired up about using lisps, but right now it's a sport you can only participate in if you've got a certain -other- set of skills like vi and emacs and a decent knowledge of system administration. Preconditions like this limit the user community massively. Small communities find it difficult to get momentum. I've forced myself to stick with emacs/slime because basically that's that there is. I'm getting comfortable, and starting to like it. But I think it's actually a kind of Helsinki syndrome... I'd like to write the next Viaweb, and I'd like to write it in Lisp. But if the basic language is inviting, the rest of the environment is sorta hostile; a shangri-la in a swamp. So the quality of the installer, the libraries distributed with it, the documentation, and the bundled editor will ultimately affect it's success.
- sammyo 19y agoDo you know what kind of animal will be on the Oreilly cover?
- kirubakaran 19y agoArchaeopteryx - The First Bird http://en.wikipedia.org/wiki/Archaeopteryx http://en.wikipedia.org/wiki/Archaeopteryx
- jsmcgd 19y agoIt's not exactly a looker.
- kirubakaran 19y agoStill the very first bird, to which we owe Thanksgiving, Hot Wings and Avian Flu.
- jsmcgd 19y agoFair enough. Credit where credit's due.
- tjr 19y agoWill the source to news.yc also be released, as a non-trivial example program?
- lg 19y agoPG: Can an arc instance distribute its threads across multiple cpu's? I'm not asking "can-in-principle" but rather whether the current implementation has that feature.
- Tichy 19y agoI stopped reading the Haskell tutorial when I came to the part where arrays have to be homogeneous (or something like that, basically all elements in the array have to have the same type, if I remember correctly). That is one of the things that is most annoying in Java, so why put up with it in another language? In a similar vein, I wonder about the Erlang hype - some things are really impractical to do in Erlang, for lack of syntactic sugar and the immutable memory constraint. People were always bickering about the constraints in Java (no multiple inheritance and stuff like that), so why choose another language with impractical constraints instead?
- jfoutz 19y agoThis is a little tricky, Types can be pretty broad. First, you could define a tree type with all sorts of different leaves, you could have a list of tree parts, something like: Tree = Branch Tree Tree | ILeaf Int | SLeaf String then a list like [ILeaf 1, SLeaf "foo"]. Another way to go takes advantage of type erasure. Currently it's just a popular extension but it lets you have lists of stuff in the same type class. A good example is "Show" you can have a list off stuff that knows how to turn itself into strings. always a handy thing. Basically you get the big two, group things based on what they are, or group things based on what you can do to them. Perhaps there is a big pile of random stuff you want to hang on to, but i'd bet 99.9% of the time you really want to collect the stuff into a coherent type.
- kyle-burton 19y agoThere is a Lisp extension? library? that supports strong typing, it's called Qi: http://www.lambdassociates.org/ http://www.lambdassociates.org/