108
33
foundry27 4 days ago

The big-picture view is here: https://gitlab.com/owl-lisp/owl/-/blob/master/doc/manual.md

Key points include:

- 100% immutable datastructures

- Immutability is leveraged to make a lot of core operations concurrent

- Continuation-based threading model and Actor-based concurrency

- Fun little VM implemented behind the scenes

That being said, the documentation strongly contradicts the title!

> The goal has not at any point been to become an ultimate Lisp and take over the world

dleink 3 days ago

> The goal has not at any point been to become an ultimate Lisp and take over the world

obviously something a lisp that had designated itself ultimate and was keen to take over the world would say.

ValentinA23 3 days ago

I'm wondering if a language could optimize immutable data structures to use mutable, in place semantics instead of duplication or structural sharing when it is possible. When an immutable data structure only has one consumer (only has one descendant in the flow graph), then it can easily be turned into a mutable version. Generalizing, any linear subgraph in the program's flow graph could be made to use in place semantics on the same mutable variable.

The challenge I guess is figuring out how variables captures by lambdas should be dealt with.

masijo 3 days ago

This is how Clojure does it, take a look at this: https://clojure.org/reference/transients

It's great, one of the many awesome features Clojure has.

zvrba 3 days ago

I implemented an academic paper (join tree) in C# here https://github.com/zvrba/Pfm

It provides the opposite: a mutable CoW data structure that is extremely cheap to "fork" so that all subsequent updates occur only on the new "fork" and are invisible to the old "fork".

zelphirkalt 3 days ago

Isn't that the point of well designed persistent data structures?

zellyn 3 days ago

This is the bet Roc is taking. They call it "Opportunistic Mutation" and you can read about it at https://www.roc-lang.org/functional

I didn't see links on that page, but IIRC, there's a particular paper they reference as the main idea.

ketralnis 3 days ago

Python also detects this situation (at runtime using refcounts) and does in-place mutations where possible https://github.com/python/cpython/blob/a2ee89968299fc4f0da4b...

coldtea 3 days ago

>I'm wondering if a language could optimize immutable data structures to use mutable, in place semantics instead of duplication or structural sharing when it is possible.

Yes, many languages (and libs, e.g. for JS) do that.

zelphirkalt 3 days ago

Does it feature implementations of lots of purely functional data structures then? Or does it only apply to a few builtins?

And would other Schemes be free to copy those?

rurban 3 days ago

tests/theorem-rand.scm is beautiful!

e.g.

      theorem vec-zip
         ∀ v ∊ (Vector-of Short)
            (vector-zip + v v) = (vector-map (λ (x) (* x 2)) v)

tmtvl 3 days ago

I wonder why it's called 'Owl Lisp' instead of 'Owl Scheme'. Could make a funny parallel to Chicken Scheme.

KineticLensman 3 days ago

Perhaps it's some sort of Web Ontology Language (OWL) [0]. Or a reference to Winnie the Pooh, as in "Owl took Christopher Robin's notice from Rabbit and looked at it nervously. He could spell his own name WOL, and he could spell Tuesday so that you knew it wasn't Wednesday" [1]

[0] https://en.wikipedia.org/wiki/Web_Ontology_Language#Acronym

[1] https://en.wikiquote.org/wiki/A._A._Milne

binary132 3 days ago

I suppose because it is not a Scheme and is a Lisp. :)

Pet_Ant 3 days ago

It is a Scheme:

> Owl Lisp is a functional dialect of the Scheme programming language. It is mainly based on the applicative subset of the R7RS standard.

binary132 3 days ago

If it implements a subset of a scheme standard then it is not an implementation of a scheme standard. Is that not obvious?

kazinator 2 days ago

Something that implements a subset of Scheme is not a complete implementation of the Scheme specification, but to the extent that it is complete, mit is a Scheme dialect.

There are Scheme programs which the implementation handles, and programs developed with that incomplete implementation can be run by more complete implementations.

A Scheme programmer informed on the limits of the subset (what is not in it) implementation can jump in and start programming using what is in the subset.

A subset language can be useful to practitioners of the full language.

ThinLisp is an incomplete implementation of Common Lisp, but one which compiles to C that doesn't need garbage collection. You can develop ThinLisp programs as Common Lisp programs (with certain care). Then ThinLisp translates them to C. I think that (by default?) these translated programs don't need garbage collection.

Pet_Ant 3 days ago

I can't tell if you are joking or not.

If a platypus lays eggs, but it meets other criteria of being a mammal, it's still called a mammal. Owl may not be a full conforming Scheme implementation, but it seems to be member of the Scheme sub-family.

I'd say if you are a Lisp-1 (ie one namespace for variables and functions) and generally use the function names used by the Scheme standard then you are a Scheme (or Scheme-like-Lisp if you are very taxonomically retentive). However, if you are a Lisp-2 and use the function names of Common Lisp you're a Lisp.

Maybe if one were doing a deep dive on the history of Lisp and are into S-expressions vs M-expressions then it might be too loose, but I believe what is above is what most people would agree with in this context.

binary132 2 days ago

Lisp is a very general category (I would consider Clojure a Lisp, with some extras) while Scheme is not, it is defined by a specification. If some implementation does not implement the entire specification of a given protocol, it doesn't implement that protocol, right? Would a C++ compiler that doesn't accept "new" and "delete" be C++? No, it's some subset of C++, not C++. And some implementation of HTTP that doesn't have any verbs wouldn't be HTTP. An implementation of a Scheme specification that doesn't implement the full specification is not a Scheme. No?

A mammal is a creature that has X, Y, and Z characteristics. A creature having only X and Y characteristics is therefore not a mammal.

lispm 1 day ago

Scheme is a general category of probably 100+ implementations of various versions of the language based on various specs and standards. Small educational languages based on R4RS, R5RS. Then there is the more controversial R6RS and later a R7RS small and attempts to define a R7RS large. Then there are 100+ of language extensions in various states described in SRFIs. The there is an official language standard IEEE Scheme, which is not widely used (AFAIK). Then there are various subsets of the language Scheme used in education. For example in SICP there is a minimal Scheme subset used in the book. Scheme also spawned its own dialects (or maybe derived language), like Racket, which then has a new dialect Rhombus...

Lisp is either a family of language families (Lisps, Scheme, Logo, ML, MDL, JavaScript, Dylan, Racket, R, ...)

or

a more narrowly defined family of languages (often recognizable because they identify as Lisp in their name) and based on the core from Lisp 1: Lisp 1, Lisp 1.5, BBN Lisp, Interlisp, Maclisp, Franz Lisp, ZetaLisp, Le_Lisp, EuLisp, muLisp, Common Lisp (a standardized language), Emacs Lisp, Standard Lisp, ISLISP (a standardized language), ...

You'll find often in the Scheme literature Lisp described as a different, but related/derived, language (more symbolic, less functional, more procedural, procedural macros, less clean, less systematic, more dynamic, ...). Scheme is seen more functional, more lexical binding, less procedural, more minimal, one namespace, cleaner, ...).

kazinator 2 days ago

> Would a C++ compiler that doesn't accept "new" and "delete" be C++

Believe it or not, yes it would. It would not be a conforming implementation of any ISO C++ dialect, but it would be recongizable as a C++ dialect and mutually intelligible. Someone who knows C++ would understand programs written in that dialect, and could write new ones in it.

Something which is not a conforming ISO C++ implementation probably has good company; most production compilers are likely not fully conforming. Just not in gaping ways like new and delete being absent.

drweevil 2 days ago

Indeed. And even if it was a Scheme, it would be a Lisp. All Schemes are Lisps, not all Lisps are Schemes.

xdavidliu 3 days ago

it's right in the title of this thread, which comes from the project information of the repo

ianbicking 4 days ago

The repo doesn't say much... I thought maybe the docs would justify "world domination" in some fashion, but they are rather dry: https://haltp.org/posts/owl.html

Is there something that describes what is notable about this Lisp dialect?

vincent-manis 4 days ago

I haven't looked at it, but it's purely functional (so no destructive operations such as set!). It can't be called Scheme, because it's a subset of RnRS Scheme; that's why Racket isn't called PLT-Scheme any more. I can imagine this as a teaching tool (though the FAQ says the error messages aren't good), or perhaps usable as an extension language.

I'm going to look at it as a scripting tool that compiles to C.

I used to work for a company whose internal communication often claimed “world domination” as its ultimate goal. I just looked at revenue estimates for its market sector, this company isn't in the top 5, and is far behind the leader. Let's just leave Owl's world domination goal as aspirational.

tonyg 3 days ago

It's the other way around for Racket, where R5RS and R6RS are subsets :-)

IIUC Racket's new name came about from, basically, brand confusion: to avoid being (mis)understood as "yet another implementation of Scheme" rather than as the thing-in-itself it had become.

psiconaut 3 days ago

I knew that name (author, and lisp) was familiar: https://issues.chromium.org/issues/40054453

psiconaut 3 days ago

For additional context (I think some was lost on a bug tracker migration), he's the author of https://gitlab.com/akihe/radamsa, a fuzzer implemented in owl, that was quite popular finding vulns in the chrome codebase some time ago...

I just found out there's a rust port: https://github.com/microsoft/rusty-radamsa

agambrahma 3 days ago

Or, consider Yuriy's fork, *Otus* Lisp

https://github.com/yuriy-chumak/ol

[more features, works in browsers vis webassembly too]

dark-star 3 days ago

"Scheme for world domination", yet it has no Windows builds ;-)

Also, from the examples it looks like it requires (or at least recommends) an APL keyboard, or around a dozen macros for characters like λ, ∀, ∊, etc.

Still, this has to be one of the most practically useful Scheme (or Lisp) implementations that I've seen in a while.... Although it probably needs some getting used to for a Schemer who is used to having set! and friends....

djaouen 3 days ago

> $ echo '(λ (args) (print "Hello, world!"))' | ol -x c | gcc -x c -o hello - && ./hello

This is frightening, yet awesome.

medo-bear 3 days ago

Im curious, how many people comenting here program in lisp/scheme?

LanternLight83 3 days ago

I thought hackernews sounded like an akward poll platform, so (just for fun) anyone who would like to vote can contribute here:

https://www.rkursem.com/poll/view.php?id=e954c5a89f228a3e1