The Om Programming Language (om-language.com)

198 points by tosh 5 hours ago

pgt 2 hours ago

Would recommend placing example language syntax above the fold. Was tough to have to scroll halfway down the entire site to see any syntax. Nobody cares about the EBNF syntax until they have a feel for the language.

irickt 3 hours ago

A more explanatory article mentioned in the post: https://evincarofautumn.blogspot.com/2012/02/why-concatenati...

mosburger 3 hours ago

ah, thanks, that's why my first thought was that "hey, this feels very FORTH like"

willquack 3 hours ago

I worked with Jason (creator of Om) at my last job. He's awesome!

omoikane 3 hours ago

> any UTF-8 text (without byte-order marker) defines a valid Om program.

What is the behavior of a program with unmatched braces? I am not sure a stray `}` would fit any of the defined syntax.

https://www.om-language.com/index.html#language__syntax__

itishappy 3 hours ago

That would be parsed as a single operator and evaluated using the following rule:

> Evaluates to the operation defined for the operator in the environment. If none, evaluates to a constant function that pushes the operator, followed by all input terms, onto the output program.

I believe it would simply output itself.

bittermandel 3 hours ago

I confused this with https://github.com/omcljs/om

jb1991 3 hours ago

Yeah Om was an extremely widely used Clojurescript library many years ago (maybe still is), and to me that's what this word will always refer to.

esafak 3 hours ago

[flagged]

dang an hour ago

Can you please not post shallow dismissals of other people's work? This is in the site guidelines: https://news.ycombinator.com/newsguidelines.html. They also ask you not to be snarky.

Nasty swipes like this routinely get upvoted, and then we end up with them at the top of a thread, choking out everything HN is supposed to be for. (I've downweighted it now.)

crystal_revenge 3 hours ago

It's clearly a language designed for people interested in programming languages. Plenty of straightforward examples to show what makes this language interesting/different/worth your time.

But if you're incurious about things that aren't immediately practical (which has sadly been a growing number of HN community in more recent years), you will probably not be interested.

In an era when so much "practical" coding can be offloaded to an LLM, I'm particularly interested in seeing languages that are doing something different even if it makes them initially impractical.

einpoklum 2 hours ago

> In an era when so much "practical" coding can be offloaded to an LLM

I see what you did there with the parentheses.

itishappy 3 hours ago

I don't think the project wants any "takers" per se. The first sentence describes it as:

> a novel, maximally-simple concatenative, homoiconic programming and algorithm notation language

This is a toy language designed to showcase a novel programming paradigm.

Personally, I like tech demonstrations, so I scrolled down and found the examples section. That's all I was hoping to get out of this interaction.

travisjungroth 2 hours ago

Seems totally appropriate to the project. It’s like going to a GitHub repo and scrolling to the Readme.

mpalmer 3 hours ago

Life can be a dream if you don't treat everything as a pitch

codegeek 3 hours ago

I would at least update body tag to add basic css to make this more readable:

    <body style="width:80%;margin:auto;">

leephillips 2 hours ago

There is nothing wrong with the site as it is. The text reflows, so you can size your window to any width that you find comfortable. With a decent window manager this is just a few keystrokes at most.

meisel 3 hours ago

Yeah show me the 5-line HTTP server

theamk 3 hours ago

not that kind of language, it does not even come with integer types or "plus" operator by default.. they do give an example of

    define { minutes { dequote choose {minutes} {} = {:} <-[characters] } } { minutes {1:23} }
which does Python's equivalent of

    "1:23".split(":", 1)[1]
or for a more direct translation:

    def minutes(x): 
        return x[1:] if x[0] == ':' else minutes(x[1:])
    minutes("1:23")

KPGv2 3 hours ago

"The Om language is not:

complete. Although the intent is to develop it into a full-featured language, the software is currently at a very early "proof of concept" stage, requiring the addition of many operations (such as basic number and file operations) and optimizations before it can be considered useful for any real-world purpose. It has been made available in order to demonstrate the underlying concepts and welcome others to get involved in early development."

whalesalad an hour ago

It perplexes me that someone would not have a few cookbook style examples above the fold on a website that describes a novel programming language.

amelius 2 hours ago

At least it has examples!

staticassertion 3 hours ago

I am always kind of surprised when I go to a landing page for a language and there isn't any actual code. This is one of my biggest complaints about the rust language page, it feels crazy to me that there's no code and I think this is just a ridiculous choice (and I know this has been brought up before).

The old page had a built-in sandbox. Go used to have a more "Front and center" sandbox too but at least it's there if you scroll down https://go.dev/

chriswarbo 3 hours ago

> I am always kind of surprised when I go to a landing page for a language and there isn't any actual code.

So, you're not surprised that this Om page has an extensive section called "Examples", right? https://www.om-language.com/#language__examples__

staticassertion 4 minutes ago

Anaminus 3 hours ago

One time, this annoyed me so much that I made a website.

https://anaminus.github.io/langding/

om would fall under "Yes, must scroll".

robotresearcher 3 hours ago

There is code. Small examples start halfway down the page, and there's one 20-line example. Not much, but it's not accurate to say there's none.

It would be helpful to see any kind of motivation for the project though. Anything at all.

oblio 2 hours ago

cess11 3 hours ago

There is code, search for 'examples'.

It concludes by implementing a fold:

   define
   {
       [Fold]<- {
           rearrange
           {
               rearrange
               {
                   dequote
                   choose
                   quote Result
                   pair pair pair {[Fold]<-} Function Result Remainder
                   Remainder
               }
               {Result Remainder}
               dequote Function Base <-[terms] Source
           }
           {Function Base Source}
        }
   }
   {
       [Fold]<- {[literal]<-} {} {1 2 3}
   }

dstanko an hour ago

jwilber 3 hours ago

Will never not complain about languages not giving code examples. It’s like writing a charting/UI/style library and showing no examples. Just what?

robotresearcher 3 hours ago

You overlooked the examples. They might not satisfy you, but there are examples.

keeganpoppen 2 hours ago

if it's something you do 100% of the time, is it really adding any information to the world?