Email Gateway (Aug 18 2022 at 13:35): Email Gateway (Aug 18 2022 at 13:35):From: Steven Obua <obua@in.tum.de>
Hi,
I tried to post this commercial earlier today, but probably it got
lost as spam :-)
Recently I thought about what kind of programming language I would
like to program in. I came up with a couple of attributes like
dynamically typed, but with a syntax that has somewhat less brackets
than Lisp, and has a feel like Standard ML or Scala. It should also
seamlessly integrate object-oriented and purely functional
programming. I didn't see such a language out there, and decided to
design one. The result is available at http://code.google.com/p/babel-17/
. It is still very experimental, and the language might still
change a lot. I know that a lot of Isabelle users feel comfortable
with functional programming (maybe not so much with "dynamically
typed"), so maybe somebody here wants to check it out. Comments are
welcome.
I plan to apply it to interactive theorem proving, but that's not
there yet.
Steven Obua
Email Gateway (Aug 18 2022 at 13:35):From: Steven Obua <obua@wjpserver.cs.uni-sb.de>
Hi,
recently I thought about what kind of programming language I would
like to program in. I came up with a couple of attributes like
dynamically typed, but with a syntax that has somewhat less brackets
than Lisp, and has a feel like Standard ML or Scala. It should also
seamlessly integrate object-oriented and purely functional
programming. I didn't see such a language out there, and decided to
design one. The result is available at http://code.google.com/p/babel-17/
. It is still very experimental, and the language might still
change a lot. I know that a lot of Isabelle users feel comfortable
with functional programming (maybe not so much with "dynamically
typed"), so maybe somebody here wants to check it out. Comments are
welcome.
I plan to apply it to interactive theorem proving, but that's not
there yet.
Steven Obua
Last updated: May 03 2024 at 04:19 UTC