Looks really interesting. The readme actually got me started with lots of good examples.<p>Side note though: I won't ever use a symbols-instead-of-words language unless I have to.<p><pre><code> let { (*>), (<*), wrap } = import! std.applicative
</code></pre>
This is not my idea of good language syntax. I like jr developers, non-X language developers, hardware guys, and even graphic designers to be able to understand my code.<p>Consider simple string concatenation. This is what it looks like in Objective-C:<p><pre><code> NSString *one = @"Hello";
NSString *two = @"World";
NSString *three = [[one stringByAppendingString:" "] stringByAppendingString:two]
</code></pre>
Total fail for something so simple.
Gluon recently added implicit arguments with the latest release (see <a href="http://marwes.github.io/2018/06/19/gluon-0.8.html" rel="nofollow">http://marwes.github.io/2018/06/19/gluon-0.8.html</a>). In spirit it is like modular implicits (<a href="https://arxiv.org/pdf/1512.01895.pdf" rel="nofollow">https://arxiv.org/pdf/1512.01895.pdf</a>). This is really exciting because modular implicits represent a pragmatic balance between the flexibility of ML modules and the convenient overloading of type classes.<p>Another cool feature of Gluon is modules are basically just records. This is a strict improvement over ML modules in my opinion. (See <a href="http://gluon-lang.org/book/modules.html" rel="nofollow">http://gluon-lang.org/book/modules.html</a>)<p>Congrats on the recent release!
:sigh: I hate function call syntax without parens. It makes code <i>much</i> more difficult to read and, if it supports first class functions, passing around no arg functions is harder than it should be.
Looks like a great language that's a nice mix of OCaml and Haskell!<p>What's the interop story? If I am embedding this language inside my app, I reasonably want to make data structures in my app to be available through this language. How would that work?
It would be great if someone made a UI framework with Rust and made this the scripting language (making the experience Elm-like, but with a better type system and without web technologies)
Too bad it has a different heap per thread. If I want to extend a C (or rust) posix-multithreaded program, it means I can't easily use gluon to access the state of my program (which requires accessing posix-multithreaded protected variables in the normal heap). Same thing that makes Lua useless to simply extend actual, pre existing C programs.<p>Anyway, I'm still happy to see that more modern languages than algol have gained enough influence than the choice of type system, type inference and non C like syntax is not frowned upon anymore.
Looks like F# but has a big design mistake in my opinion (which F# doesn't): the symbol '=' in a functional programming should be tied to comparison, not assignment. (The approach taken here is using "==" for comparison, which is less ugly than JavaScript's "===" but still ugly.)
As the `in` keyword seems key to understanding the language, could someone elaborate on it?<p>It isn't obvious after reading the intro on <a href="http://gluon-lang.org/book/syntax-and-semantics.html" rel="nofollow">http://gluon-lang.org/book/syntax-and-semantics.html</a>.
This looks very similar to Nix, with improvements such as real typing and lack of semicolons. That's a very good thing.<p>Any plans for a purely-functional variant (i.e. a single expression per evaluation)?
I feel like every day a new programming language presented on HN. Maybe you didn't realize, but we know CL/scheme/clojure already and have no turning back..