The system we have now is quite different to the old "Disciple" language. Discus uses capabilities instead of latent effects in its type system, and the latter was one of the main features of Disciple. The implementation of DDC has also been completely rewritten. Not a single line of code exists in the compiler that was part of the first DDC / Disciple release.
The reasons for choosing "Disco Discus" are the following:
- A Discus fish makes a nice, friendly logo.
- The logo is eminently "plushable", meaning that one can imagine manufacturing a plush toy (stuffed soft toy) with the same theme. Stickers are also an option, as are t-shirts.
- "Disco" partly recalls a quote of Simon Peyton Jones in his paper Tackling the Awkward Squad: "In the programming-language world one rule of survival is simple: dance or die."
- The pattern of the "Blue Discus" fish variety featured in the logo looks a bit like a mirror ball.
- Both "Disco" and "Discus" start with a "D" so we can keep the acronym DDC.
Let it be known that Amos Robinson was the first to mention "Disco" as a viable name. The language itself was almost called "Disco", but "Discus" was chosen as the primary label due to its higher plushability.
Another option was to have called the language Tetra, as that word was already used to label an intermediate language in the compiler. "Tetra" recalled the four base kinds in the language: Data, Region, Effect, and Capability. We went so far as to try to register tetra-lang.org, but it was already taken by another fine language called Tetra. This is for the better.
We have now completed renaming all the web assets to reflect the new name. Check out the website at http://discus-lang.org/
Your blog is very valuable which you have shared here about black pig soft toy online
ReplyDeleteI appreciate your efforts which you have put into this article and also it is a gainful article for us. Thank you for sharing this article here.
I really appreciate your work which you have shared here about the Business. The article you have shared here is very informative and the points you have mentioned are very helpful. Thank you so much.3D Maze Magic Cube site.
ReplyDelete