19 ms·

Ask HN: Help me find an exotic programming language to learn next

• makmanalp 16y ago
  Intercal. Abandon all sanity, ye who enter here. http://www.catb.org/esr/intercal/stross.html http://www.catb.org/esr/intercal/stross.html http://www.muppetlabs.com/~breadbox/intercal-man/ http://www.muppetlabs.com/~breadbox/intercal-man/
• maxdemarzi 16y ago
  How about a Lisp?
  • troels 16y ago
    More specifically, a Scheme. Racket is nice.
  • bobds 16y ago
    I've considered it but it doesn't feel right at the moment. Definitely a language I want to learn in the future though.
  • CyberFonic 16y ago
    Well if complex syntax is your thing, then don't go there. Lisp is a lot more exotic than you might think! What it does to your brain is unmatched!
• bobds 16y ago
  Clickable links: - Cofeescript http://coffeescript.org/ http://coffeescript.org/ - Fantom http://fantom.org/ http://fantom.org/ - HaXe http://haxe.org/ http://haxe.org/ - Neko http://nekovm.org/specs http://nekovm.org/specs - K http://en.wikipedia.org/wiki/K_%28programming_language%29 http://en.wikipedia.org/wiki/K_%28programming_language%29 - Factor http://factorcode.org/ http://factorcode.org/ - Ragel http://www.complang.org/ragel/ http://www.complang.org/ragel/
  • lincolnq 16y ago
    I don't see the point of learning Coffeescript (compiles in an obvious manner to js). Fantom and HaXe have the somewhat interesting problem of an API that is compatible with many backend VMs. neko is the opposite and also possibly interesting. None of the above languages will teach you anything about syntax or semantics, they're mostly implementation details. K and Factor should teach you about composability, semantics and expressivity. I have read some about Factor and I like the philosophy. Ragel looks extremely interesting and (from this list) is probably the one I would choose. But the languages you know already are all semantically derived from Algol. You should program a lot more stuff in functional languages. I highly recommend Haskell to anyone wanting to expand their understanding of programming languages. There's a LOT to learn from Haskell, and few other languages capture as many Things Which Are Different.
    • bobds 16y ago
      I don't think I'm ready for Haskell, but we are thinking along the same lines. Coffeescript is indeed the least interesting of the list. It seems I've accidentally ordered the list in ascending order of interest. Ragel has caught my eye from the first time I saw it, a couple years ago, and it seems like it would be useful for an immense number of projects.
      • rfugger 16y ago
        If you're not ready for Haskell you could try Scheme.
    • 16y ago
• gilaniali 16y ago
  learn R.
  • bobds 16y ago
    Why?
• waterlesscloud 16y ago
  6502 Assembler.
  • zephyrfalcon 16y ago
    This may look like a silly choice to some, but if your goal is to stretch your mind a bit, assembler will definitely do the trick. 6502 assembler is less annoying than its i386 equivalent, and can be used in e.g. C64 or Apple emulators.
    • cadr 16y ago
      And you can write Atari 2600 games :) http://www.atariage.com/2600/programming/index.html http://www.atariage.com/2600/programming/index.html
      • waterlesscloud 16y ago
        Which is just what I'm doing with it, so I brought it up here! I've had the urge to homebrew an 8-bit computer from the chip up, but I don't know if I have it in me to go that deep just yet, so I'm testing the waters by homebrewing some 2600 ware first. If I like it, maybe I'll build a hardware emulator somehow (Typing that I thought of half a dozen obstacles, but hey, why not?).
        • cadr 16y ago
          I highly recommend the "2600 Programming For Newbies". I worked through it a few years back and loved it. Word of warning, though - 2600 programming is particularly tricky, because you only have a couple of screen buffers, and each is a byte. So when changing the background, you have to keep track of where the electron gun is and write things at the right time if you want the left and right side of the screen to be different :)
  • joezydeco 16y ago
    I was gonna say assembler too, but something more relevant, like ARMv7. Lots of uses there.
• chc 16y ago
  You should go for a functional language like Haskell, Clojure or OCaml/F#. They're mainstream/practical enough that you could write real programs in them, but different enough from the imperative languages you already know that they'll open your mind to new things.
  • wtracy 16y ago
    A side-question: Are there any Haskell-oriented groups of people in the Bay Area? I'm increasingly convinced that I'm going to need help if I'm going to teach myself Haskell. BTW, for the others following along: I've found Haskell to be hands down the most mind-bending of the functional languages. Even with a background in Lisp (actually Scheme) and ML, I still struggle to write non-trivial programs in Haskell. I say this as someone who learned Tcl on the job and gave a presentation on how to program in Tcl just a few months later.
    • gtani 16y ago
      http://groups.google.com/group/bahaskell/topics http://groups.google.com/group/bahaskell/topics
• losvedir 16y ago
  How about APL? (Well, I think APL is expensive, I think there's open source variants?) Watch someone program Conway's Game of Life in one line of APL: http://www.youtube.com/watch?v=a9xAKttWgP4 http://www.youtube.com/watch?v=a9xAKttWgP4 It's black magic to me, but pretty cool looking, too.
  • bobds 16y ago
    I've looked at the languages related to APL and it doesn't seem there is a solid open-source implementation. J (closed source, free), A+ (GPL, inactive), K (closed source, commercial)
• prodigal_erik 16y ago
  I found http://en.wikipedia.org/wiki/Prolog http://en.wikipedia.org/wiki/Prolog has a dramatically different perspective. Pervasive design-by-contract from http://en.wikipedia.org/wiki/Eiffel_(programming_language) http://en.wikipedia.org/wiki/Eiffel_(programming_language) was also interesting, though it isn't much of a departure otherwise.
  • cadr 16y ago
    If you take the Prolog route, this is a fun text: http://www.amzi.com/AdventureInProlog/advfrtop.htm http://www.amzi.com/AdventureInProlog/advfrtop.htm
• yanw 16y ago
  How about Go? http://golang.org/ http://golang.org/
  • CyberFonic 16y ago
    Listened to a lecture by Rob Pike last week. Blown away! This guy has consolidating what he and his cohorts have learnt from C, C++, ANSI C (Plan9), Limbo (Inferno). Might be the most cutting edge language of the moment.
    • nickik 16y ago
      i didnt think it was mindblowing. The CSP stuff is kind of unice but othe than that i dont think its cutting edge. In therms of systems programming D is better. The go concurency story is still unsave (pasing pointers to channels). Note: i dont say go is a bad language.
• Anon84 16y ago
  http://en.wikipedia.org/wiki/Brainfuck http://en.wikipedia.org/wiki/Brainfuck is as exotic as it gets.
  • wtracy 16y ago
    Still not as exotic as http://en.wikipedia.org/wiki/Whitespace_%28programming_language%29 http://en.wikipedia.org/wiki/Whitespace_%28programming_langu... Still, Brainfuck is cool in that it's really easy to write compilers for it.
• dchest 16y ago
  I recommend writing a programming language.
  • paulitex 16y ago
    Definitely, I wish I could upvote that more. That said, writing a programming language sounds a little daunting if you've never been introduced. So here's my recommendation: Work your way through at least the first half of Programming Languages: Application and Interpretation by Shriram Krishnamurthi (free online http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/ http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/). Probably the most influential book of my entire CS degree, not too difficult once you get used to Scheme, and incredibly rewarding (and fun!). Your experience is mostly OO and procedural. Let's round it out with the functional cannon: In the first half of PLAI you implement the crown jewels of the paradigm: first-class functions, both with dynamic and static scope (aka closures), lazy evaluation ala Haskell, true language-supported continuations, recursion (the Y combinator is in there), mutable vs. immutable variables and more. The implementation language is Scheme, which is really really easy to grasp the basics of quickly. So as a side effect you will learn an interesting esoteric language just as you wanted. I would think any competent programmer could learn enough Scheme to work through PLAI in under 2 days. Basic Scheme is kinda like "lisp light" compared to CL/Clojure, so it's a great way to start.
    • makmanalp 16y ago
      I wish I could upvote that more. PLAI was awesome. To me, scheme is to lisp what coffeescript is to javascript. More or less. Don't let it intimidate you. Throughout the book, you'll see awesome things, like how switching from static to dynamic scope is merely changing a bunch of lines of code. When I finally got my type inferencer working, I was euphoric.
    • bobds 16y ago
      Interesting suggestion, thanks.
• jpenny 16y ago
  You ought to check out http://lambda-the-ultimate.org/ http://lambda-the-ultimate.org/ They discuss new languages and language related ideas.
• jashkenas 16y ago
  CoffeeScript is hardly "exotic", as other comments on this post mention. But, if you want to try playing around with a mini programming language of your own, it could serve as a good starting point -- especially if you want to make something that runs in the browser. It's one thing if you want to deal with integer representations and memory allocation, and quite another to want to experiment with language design, grammars and object models (and be playing with <canvas> animations tomorrow). The CoffeeScript codebase is only 2,200 lines of code in toto, and it's all annotated to help you get started and make sense of things. http://jashkenas.github.com/coffee-script/documentation/docs/scope.html http://jashkenas.github.com/coffee-script/documentation/docs... I'll second the motion for you to write your own thing.
• charlief 16y ago
  Scala, I've had a lot of fun with it. You can also try generative and meta-programming using emf/gmf/acceleo maybe some xtext as well. Learning exotic frameworks can be useful/fun as well. Maybe try a different domain like physics, finance, or even buy a fpga and learn some vhdl?
  • TheSmoke 16y ago
    agree with scala. you'll enjoy it.
• babo 16y ago
  Forget the exotic tag, learn clojure or Haskell.
  • dasil003 16y ago
    Those two are at the top of my list for sure. Haskell because I believe I can learn more from it than any other single language, and Clojure because after I've been enlightened I will want to sit down and build something quickly.
• Aga 16y ago
  Forth could be interesting to look at. It does offer a quite different perspective to programming.
  • cmbanker 16y ago
    Agreed! Different, refreshing..and good.
• fleitz 16y ago
  Try to find a language that has "weird" features that you've never seen before. Try something like f#/ocaml, prolog, or vhdl/verilog. For vhdl/verilog run it in a simulator and look on opencores for source. Also, perhaps something like Cg or one of the other gpu languages, the further you get from Von Neumann arch the more you will learn, beacause so much of programming languages are leaky abstractions. Also, try forth it's pretty strange as well.
• trizk 16y ago
  If you want to have some fun, try LOLCODE (http://lolcode.com http://lolcode.com)
• pierrefar 16y ago
  Erlang. At least syntax wise it will seem exotic given the languages you know.
• bigsassy 16y ago
  For a laugh, http://lolcode.com/specs/1.2 http://lolcode.com/specs/1.2
• TNO 16y ago
  Piet: http://www.dangermouse.net/esoteric/piet/samples.html http://www.dangermouse.net/esoteric/piet/samples.html
• yayitswei 16y ago
  How about Agda? It has the interesting property that it's runtime-error proof. http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.IntroWhat http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceMa...
• rahulchaudhary 16y ago
  Have you looked at Heron http://www.heron-language.com/ http://www.heron-language.com/
• mrjbq7 16y ago
  I highly recommend learning Factor. It's a really incredible system and has the benefit of encouraging different ways of thinking and approaching algorithms.
• scrame 16y ago
  Intercal
• cmbanker 16y ago
  Forth...Forth....Forth....Forth...Get close to the machine and extend the language to suit your needs. It will change your approach in a positive way!
• arethuza 16y ago
  In the "classic" list I would suggest maybe looking at: - CLOS (not just Lisp, but it's wonderful "standard" object system) - PostScript - which is actually a nice interactive programming language that just happens to have nice graphics capabilities I've spent years working in CLOS and PostScript (on the same project!) and of all of the languages I've used these were the ones that I found the most satisfying. I still keep a copy of AMOP on my desk in my study at home to browse occasionally. [Deleted reference to APL after seeing previous post]
• nubela 16y ago
  Prolog. After coding in "normal" (iterative/procedural) languages for a long while, this rule-based languaged just couldn't click. It finally did after about a week. And bam. Changed my thinking. Also, learn Scheme, or Lisp. You'll rethink recursion after that.
• CarlSmotricz 16y ago
  Clojure. It's mildly exotic in being Lisp-y and functional, but efficient, clean and solidly supported by the gigabytes of Java library code that's available for every purpose and can be smoothly interfaced. Lua. A tiny yet powerful language whose only data structure is the associative table. Can be learned in half a day.
• astrofinch 16y ago
  Relevant links: http://en.wikipedia.org/wiki/Categorical_list_of_programming_languages http://en.wikipedia.org/wiki/Categorical_list_of_programming... http://en.wikipedia.org/wiki/Programming_paradigm http://en.wikipedia.org/wiki/Programming_paradigm I'd say learn Haskell, Clojure, and Scala before anything else because they seem like they might actually be 3 of the best programming languages out there. After that I'd recommend Oz (in conjunction with the textbook Concepts, Techniques, and Models of Computer Programming, which Peter Norvig mentions as being a possible modern equivalent to SICP (Structure and Interpretation of Computer Programs, a classic MIT Scheme-based text)), Scheme (with SICP), and Erlang. Can't say I've done all this myself, it's just what I would do if I had a really strong interest in learning new programming languages.
  • proemeth 16y ago
    Thank you for the pointer on Concepts, Techniques, and Models of Computer Programming. http://www.info.ucl.ac.be/~pvr/book.html http://www.info.ucl.ac.be/~pvr/book.html
• drallison 16y ago
  Lua, Erlang, Haskel, ML, Go, Smalltalk, Algol, Modula 2, Modula 3, Snobol, assembly language.... After a while, most languages begin to look similar. But, if what you want to do is to learn about programming languages, the thing to do is to write one of your own. Language design is among the most difficult of human intellectual tasks because the language elements must be composable to create larger, more capacious elements. A common error is to "add a statement to do X" rather than creating a conceptual framework that works with other language elements to allows X (and other things) to be performed. A book worth reading on the design of language is Alexander Stephanov and Paul McJones, Elements of Programming. A talk covering some of the material in this book is scheduled for the Stanford EE Computer Systems Colloquium for November 3rd (http://ee380.stanford.edu http://ee380.stanford.edu). The lecture is open to the public, webcast live, and archived for on-demand viewing. Eventually it will be out on YouTube, iTunes, and elsewhere. And while we are on the ideas of language design, you might want to look into some of the theories of natural language. George Lakoff's ideas in cognitive linguistics seem to apply to programming languages as well. Language, in his view, is motivated by metaphor. I also think anyone who is serious about programming languages needs to have programmed in several assembly languages and to have experimented with macro assemblers. Macro assemblers provide a powerful tool for creating nonce programming languages at the assembly level. I would also suggest that learning about optimizations would be of interest. At some level, optimizations are about mapping programming language concepts onto real machines for efficient execution. There is a dymaxion tension between programming languages and computer hardware with each influencing the other. Today, the need to efficiently map programs onto multi-core machines has renewed interest in parallel programming languages.
• mightybyte 16y ago
  I would suggest that you choose the language that will stretch your brain the most. If you use this heuristic, don't completely ignore other obvious factors like practicality, availability on your platform, etc. But I think stretching your brain should be high up on the list. For me, this meant Haskell.
• luckydude 16y ago
  Hmm. I'm going to get crucified here but we've come up with a little language we call L (for little language. Really :) http://www.bitmover.com/lm/L.html http://www.bitmover.com/lm/L.html It's not really that interesting to most people, it was designed to be easy to read, easy to maintain larger programs in, in particular, it was designed to be easy to read and review, that was the point. It was not designed to be interesting to hackers like the folks here, I strongly suspect that 98% of you will go WTF? You based this on top of tcl? Are you retarded? And the answer is "well, yeah, sort of. But it fit our needs". Anyway, we're in the midst of a commercial product release but after that I can see about getting the source out for anyone who wants (BSD license or whatever tcl is, I know it's BSD or BSD like) as well as prebuilt images for all the common platforms (Windows, Mac, Linux, *BSD, HPUX, Solaris, AIX, even IRIX and SCO for the 3 people in the world still using those). If anyone has constructive feedback, bring it on. It's a moving target which is why we haven't released yet, haven't nailed down 1.0 hard enough that we want to live with it. We are using it internally.
  • bobds 16y ago
    Interesting, what kind of projects have you written in L so far in your company? I actually started implementing a DSL in TCL a while ago, it was meant for a YubNub replacement but the project was scrapped and I never finished it.
    • luckydude 16y ago
      We're reworking our GUI tools in it. Once it is really stable, we plan on provide a pile of canned triggers (email notification of commits, other workflow stuff) as part of our commercial product. And we have some plans for future products where L will be the glue that holds them together. An example would be a generic importer $SCM => BitKeeper written in L and shipped as source so that if you have some oddball SCM that we don't understand you can do your own importer. But the main point is to redo our guis. We're still playing around but this is an example - not polished yet but not as sucky as some stuff we've done in the past: http://bitmover.com/lm/explorer-l.gif http://bitmover.com/lm/explorer-l.gif
• grails4life 16y ago
  I recommend learning Blub