Open Dylan's Call for Help

http://opendylan.org/news/2014/01/28/call-for-help.html

by BruceM • 12 years ago

92 46 12 years ago

gghh• 12 years ago

ah, Dylan! I remember from far 2005 a team called "Dylan Hackers" who earned both the judges' prize and the second prize at the ICFP Contest (cop & robbers), http://icfpc.plt-scheme.org/.

Here the blog post describing their entry: http://www.hoult.org/bruce/icfp2005/

yetfeo3• 12 years ago

Dylan did well in multiple ICFP contests IIRC.

thomasz• 12 years ago

The team is infinitely more important than the language, and the Dylan Hackers team was top notch.

gohrt• 12 years ago

Indeed, ICFP 2001 was the only time I ever heard of someone using Dylan, and 2005 was the next and last time.

In 2001, the Dlyan Hackers placed #2, but the #1 team had a team member named Dylan (Thurston)

http://developers.slashdot.org/story/01/09/07/0131231/icfp-2...

and IIRC, in that 2005 cops-and-robbers game, the game rules invited complex strategies, but the game wasn't balanced, so degenerate strategies dominated, and the competitiveness was over details of implementation.

gcv• 12 years ago

It's a crying shame that Dylan did not become the systems language of Apple's new era — it's really quite lovely. Much nicer than Objective C, though undoubtedly trickier to compile efficiently.

BruceM6• 12 years ago

Good thing we already have a compiler that does a pretty good job. :) (But yes, it is a pretty complicated beast in places.)

But at the time, the Apple Dylan IDE was pretty slow and buggy. It is amazing what a few years make much more feasible!

gress2• 12 years ago

It seems as though Objective-C is slowly morphing into something more Dylan-like over time.

sanxiyn• 12 years ago

Will Objective-C ever get hygienic macro?

protomyth• 12 years ago

Objective-C had the advantage that it worked while Dylan struggled to get an implementation that was acceptable. It would have been interesting if it had made it onto the Newton or got a compiler that could do PowerPC acceptably.

eonil• 12 years ago

Deterministic realtime attribute was required condition on Apple product, and any GC based language was not acceptable at the time. But sometimes I think they could solve the issue if they could research longer.

bjourne2• 12 years ago

When reading about Dylan, it seems one of it's main selling points is "everything is an object." But nowadays, that's true in many other dynamic languages like Python, Ruby and Clojure. Macros are everywhere and you can even add them to Python if you want to using third party modules. Though I've never felt the need because Python's syntax is excellent as it is.

For me it is very hard to see what Dylan brings to the table. It's nieche is already filled by more popular languages.

sspiff3• 12 years ago

I understand where your coming from. For me, the selling point of Dylan is that it gives me many of the things I like from dynamic languages, like Ruby, but also gives me static typing (and type inference), relatively high performance and a compiler that catches a lot of problems before I run my code.

Different people like different things, and while I love Ruby, static typing does catch a lot of problems earlier on.

kaoD• 12 years ago

But what does it bring to the table compared to other typed languages with dynamic features (or the other way around, e.g. TypedClojure, TypeScript...) and bigger ecosystems?

planckscnst• 12 years ago

Have you seen rust-activesupport? [1] It provides ActiveSupport-ey things like 2.days().from_now() in Rust, which has a very nice type system.

[1] https://github.com/wycats/rust-activesupport

BruceM6• 12 years ago

A Common Lisp-style condition system is a pretty key thing for me.

It is highly readable. And you can use '!' and '?' in names!

An optimized implementation of multimethods is always nice.

The ability to apply optional static typing is great for putting stuff into production and feeling good about it.

Having multiple return values, keyword arguments and rest arguments is nice (and yes, Python can do much of that).

coldtea• 12 years ago

It is highly readable. And you can use '!' and '?' in names!

Somehow this feels a little contradictory.

bjourne2• 12 years ago

A Common Lisp-style condition system is a pretty key thing for me.

What does that mean? I absolutely agree with you about using ! and ? (and other special characters too!) in symbol names. That's something I'd like to see more languages adopt.

lispm• 12 years ago

Apple designed it as a replacement for languages like C++, now Objective-C, Java, C#. Stuff like Apple Keynote, Apple Pages, Apple's Xcode, Apple Mail, Contacts, Calendar, and the Apps on mobile devices like the iPhone and iPad would have been written in Dylan. Applications which Apple now writes in Objective-C. Apple already had an Operating System for an ARM-based computer written in an early version of Dylan (with some help of a C++ based kernel). It also tried to develop some Mac-based prototype applications: an interface builder and I think there was a 'Finder' written in Dylan.

AndreasFrom• 12 years ago

Clojure, like Java, has primitives. And I don't understand why you'd include it anyway, as functions are the primary form of abstraction in Clojure.

pjmlp2• 12 years ago

For me it is very hard to see what Dylan brings to the table. It's nieche is already filled by more popular languages.

A dynamic language with native code compiler and language features suitable for both application and systems programming.

Plus being a Lisp like language with a more friendly syntax for those scared of parenthesis.

BruceM6• 12 years ago

We should get you to help us with the text on our website. :)

sspiff3• 12 years ago

For those interested in using Dylan or helping out, I've found the community very welcoming to beginners and they're eager to help you get started.

CmonDev• 12 years ago

Developing the language is more interesting then developing tooling I guess. F# has same issues.

kozhevnikov• 12 years ago

I'm still waiting on a C# REPL since the 2008 demo [1] or Roslyn release beyond CTP, not M# whatever that is.

[1] http://channel9.msdn.com/blogs/pdc2008/tl16 @ 1h1m

michael_h• 12 years ago

C# REPL like this http://www.mono-project.com/CsharpRepl ?

BruceM6• 12 years ago

Well, none of the things listed in our current call for help are issues with modifying the language. In fact, we spend a lot of time on improving things like the tools, libraries and documentation.

Lately, we've made our test framework integrate well with Jenkins (using Surefire output) and have been getting more and more of our libraries and tests building via Jenkins.

We've also been pulling out some chunks of code and turning them into useful and usable libraries. Our binary data library is an example of this (http://opendylan.org/documentation/binary-data/).

And one of our hackers has spent a large amount of time this week cleaning up and re-working a tool that he had for visualizing the compiler's optimizer. This will let us better perform bugfixes, ensure that the transforms are operating correctly.

We do have areas where we intend to improve the language. There are some extensions to the type system that we're looking at, improving Unicode support, and improving our numerics. But these aren't our main or daily areas of focus.

We want to bring our IDE to non-Windows platforms, we're improving our compiler backends, improving the GC integration, working on editor integration with CodeMirror, vim, emacs, and IntelliJ.

peterhull90• 12 years ago

In the mid-90s I did some playing round with something called MINDY from Carnegie Mellon. It was (IIRC) a Dylan interpreter (the acronym was 'MINDY Is Not Dylan Yet') and was very interesting both to experiment with Dylan and also to see how MINDY itself was implemented. As I remember, a cool thing about the Dylan concept was that it had a sliding scale of dynamic-ness - in other words you could start off being quite relaxed about types but, where needed, you could narrow down the types, seal generic methods etc. and the compiler would then be able to optimise better, for example by avoiding dynamic dispatch if it could prove it knew the specific method at compile time.

yetfeo3• 12 years ago

Mindy was used to bootstrap Gwydion Dylan, a Dylan compiler implementation. This was the main open source Dylan implementation for quite some time until Functional Objects (which obtained the code and rights from Harlequin when they went out of the language business) open sourced their implementation which is now 'Open Dylan'.

Functional Developer (What was Harelequin Dylan) was nice. The editor would syntax highlight the code based on the optimization level. In this way you could look at a method call and see if it was inlined or not and decide whether to seal functions or classes to improve performance.

Another interesting feature was the editor was written in Dylan (using a framework called Deuce). This was emacs-like and had features like virtual sections in a buffer that could each be mapped to a different file on disk. This allowed viewing in a single editor pane the implementations of all methods of a generic function even if they crossed multiple files. This could also be edited as if it was a single file.

BruceM6• 12 years ago

Thanks for your great summary. :)

Functional Developer and now Open Dylan also support debugging on Windows, have a REPL (on Windows) and many other features.

With the upcoming LLVM backend, we'll be able to bring those features to other platforms, but we'll need DUIM backends to support the user interface. That's a big part of why this call for help mentions several GUI related things.

With some luck and a lot of hard work, this will be a great year for Dylan.

experimentsin2• 12 years ago

Optimisation colouring was one of the Harlequin Dylan features I was most proud of having a hand in back in the day. Did anything like it ever get implemented in a more mainstream IDE?

We only implemented it for static optimisations I think (i.e. you could see at a glance how well the compiler had inferred types, resolved method calls, inlined functions, etc), but we had a lot of ideas at the time around its future application to profiling results, as well as layered, more interactive presentation.

It'd be a great addition to Light Table...

informatimago• 12 years ago

A lot of open source projects are quite human resource constrained. I see two solutions to this problem:

- universal citizen revenue, so that programmers who want to work on free software or open source may do it more easily.

- let's reduce the ecosystem diversity. I'd move to drop all those useless fancy languages, and let's all concentrate on Common Lisp, developping tools and libraries, perfecting the implementations, etc.

(No need to argue, I know the former will occur sooner).

nickik2• 12 years ago

Since Dylan people are probably reading this.

- What GC will the LLVM backend use?

- Is there any data an the performance of the MPS?

BruceM6• 12 years ago

Hi Nick,

I have a branch that will soon allow using either Boehm or MPS on the various backends. That'll probably be the case for the LLVM backend as well.

Part of the reason that I'm doing that is to help gather some performance data on the MPS. (I'm actually doing that Dylan runtime work under contract.)

nickik2• 12 years ago

Hi Bruce.

I actually met prom yesterday and he showed me that there are much more information on MPS know. I already read threw most of the documentation and I'm very interested to maybe use it.

I don't yet fully understand the license and what it means, I will probably join IRC in the next days and dig for some more info on MPS.

Great that you get payed to work on this.

Open Dylan's Call for Help

Related Stories