9 ms·
Oden: experimental, statically-typed functional language, built for Go ecosystem
- tomp 11y agoFinally, a language that exposes Go's polymorphism abilities to the user!
- lomnakkus 11y agoI have to admit that I laughed at that :)
- Mikeb85 11y agoCool stuff. Although I'm getting a little tired of seeing Haskell-like languages everywhere, it is interesting to see it target Go.
- whateveracct 11y agoWhy use :: for type annotations instead of the more standard single colon?
- bryanlarsen 11y ago:: is what Haskell uses, and this is a Haskell derivative.
- nikolay 11y agoWhy not call it Goskell then? If it's a different language, it should improve on some legacy stuff.
- owickstrom 11y agoAuthor here :) It's inspired by Haskell, yes, but not a dialect. Syntax is very much open for change still and that's really not the most important bit. Semantics are not like Haskell, more Go + polymorphism.
- nikolay 11y agoI think those using Haskell can learn to use a single colon plus they will appreciate it better as the double colon steals too much visual attention.
- ApplaudPumice 11y agoWhat I don't like about Haskell is repeating the function name. yeah :: Num yeah = 3 repeating yeah two times is ugly.
- nikolay 11y agoUgliness is not the biggest issue - not being DRY is!
- thinkpad20 11y agoI'm a bit disappointed by the double colon; it's my least favorite part of Haskell syntax (I probably shouldn't care, but there you go). It also bugs me in PureScript. However, Agda, Idris, and Elm, all of which have syntax heavily inspired by Haskell, all do it the "right way", so there's no reason a Haskell-inspired language can't. Plus, this doesn't look that much like Haskell, certainly not to the point of being derivative.
- whateveracct 11y agoHaskell is a bit of the odd man out in terms of syntax for type annotations. Scala, OCaml, Agda, Idris, Elm all use single colon. I'm actually unsure why Haskell is the way it is.
- hollerith 11y agoHaskell's designers wanted single colon for the cons operator, and the cons operator is legal on the left-hand side of an "equation" (sorry, don't recall the official terminology) because Haskell allows pattern matching there. (I'm not saying I agree with the decision.)
- gleenn 11y agoRuby...
- cgag 11y agoI'be been mulling over a similar concept for a while, really excited for this. Go has such great tooling and a nice ecosystem, but could use some language improvements, like coffeescript or the alt JVM languages. I really want sum types, strict semantics, and untyped IO, and a good ecosystem.
- KirinDave 11y agoI don't understand how you can say Go has great tooling when tooling is one of the single biggest difficulties the language has. It's story of building and dependency management is one of its major areas of growth in the last 2 releases because the developers agree.
- boulos 11y agoYou don't think go build, go fmt, etc. are great? I agree there are deficiencies, but a lot of my day to day (admittedly in emacs) is pretty great.
- JBReefer 11y agoThose are nice, but "great tooling" is Visual Studio or better, at a minimum.
- KirinDave 11y agoNot all languages with VS support or even VSC support have "great tooling." It's a very complicated set of balances and acceptance criterion.
- KirinDave 11y agoNot all languages with VS support or even VSC support have "great tooling." It's a very complicated set of balances and acceptance criterion.
- KirinDave 11y agoNot all languages with VS support or even VSC support have "great tooling." It's a very complicated set of balances and acceptance criterion.
- zelcon5 11y agoAn ad-hoc, informally specified, bug-ridden, slow implementation of half of Haskell
- jnbiche 11y agoSo any new functional language with static types is now a bug-ridden, half implementation of Haskell? Wow, that's arrogance. Haskell was one of this language's three named influences (along with Lisp and Go). Anyway, very cool project. I look forward to trying it out.
- teamhappy 11y agohttps://en.wikipedia.org/wiki/Greenspun's_tenth_rule https://en.wikipedia.org/wiki/Greenspun's_tenth_rule Edit: I'm assuming he's joking
- jnbiche 11y agoYeah, I'm aware of what's he's riffing off (note that Greenspun's had nothing to do with Haskell). It's still an annoying attitude to have toward any new functional language that happens to share a syntax with Haskell. Is that the gp's attitude toward PureScript, for example? Or Idris? If that's the case, it must be nice/"interesting"/boring having found a "forever language". Look forward to seeing how that's going for him in 2030.
- jjbiotech 11y agoBrief, critical, and decisively vague critique of new technology. Not that I disagree, but I feel the HN comment section has become very predictable.
- steego 11y agoI usually come here to defend the language designer, but I think this particular submission is worthy of brief, critical and vague criticism because there's not a lot to criticize. The user guide and language reference is very thin and it's missing the two critically distinctive features of Go, namely goroutines and channels. It's a nice idea, but there's not a lot here to talk about.
- notoden 11y agoThis looks interesting but does anybody else think that the code of conduct might drive people away from the project? http://oden-lang.org/code-of-conduct/ http://oden-lang.org/code-of-conduct/ My gut feeling is that an early stage project such as Oden should simply focus on the technology, grow the community and then at a later stage consult with the community if they want to introduce a code of conduct.
- richard_todd 11y agoThough I really shouldn't care, I admit it kinda turned me off when I saw the prominent code of conduct. I don't think they are needed (you can ban a troublemaker without a document) and I don't think they are effective (never met a bully that cared if a piece of paper said "be nice"). But mostly, seeing these codes pop up everywhere bothers me because I like to think of hobby software as one of the last realms on earth where you can have a meritocracy without the politically correct nonsense that eats at your soul the rest of the day. I feel like the open source community is starting to get tainted, somehow, and I hope in time there's a strong reaction the other way.
- glenda 11y agoI agree that political correctness should not be the focus of a technical discussion, and like-wise there shouldn't be anything remotely offensive in those kinds of discussions either. Just as political correctness eats away at your soul, racism/sexism/etc... do too. You're free to run your own projects however you want; the maintainer of Oden obviously doesn't want to work with people who require the freedom to be offensive in public forums. If that offends you then don't work on it.
- throw12111 11y agoIt's more nuanced than that: Many people have no intention of being offensive but don't want to be regulated either. CoC projects often attract the worst politicians who are just acceptably polite on the surface but absolutely cold and ruthless in their actions. Ironically, these people also often tend to blog about politeness in OSS.
- groovy2shoes 11y agoThis looks pretty cool! Are there any plans for having polymorphic interfaces? I bet that could lead to some really neat code.