K-user mailing list

[Suminda Dharmasena <sirinath AT sakrio.com>]

Is it possible to add the following example languages from different paradigms or the challenging parts eventually to cover and stress test the framework. Also this can be used as a base for further research and creating new languages.
1) Haskell, ML, OCaml, F#, Scala, Pure
2) C++, Ada, D,
3) Lisp, Scheme, Racket, Clojure, Qi, Shen
4) Idris, Agda, Coq, Isabelle, Placid
5) Python, Ruby, Perl, Smalltalk
6) Dylan, Rust, Nimrod, Mozart,
7) Prolog, Mercury, Twelf
8) Objective C, Eiffel
9) Bondi (Based on Pattern Calculus)
10) Fortress (break from traditional langues design)
11) Esterel, Lustre, CAL Actor Language, VHDL, Verilog
12) Modelica
13) Limbo, Go
14) Forth
15) A+, Q, K, R
16) Forth, Rebol

Also ideally it should cover the following also:

1) All bases of the lambda cube
1.1) Ability to define and support different type systems
2) Pattern calculus
3) Process calculus
4) Verifiability and provability of languages, programmes written and tool chain written in the framework
5) Non formally defined / Ambiguously defined languages

6) Support for visual languages and special format, visual handling, visual rendering

Of course this would be a slow process but it will let this framework evolve to accommodate many types of languages and paradigm. Perhaps this can be a GSoC project as in the approach the K Framework is currently doing.

--

Suminda Sirinath Salpitikorala Dharmasena, B.Sc. Comp. & I.S. (Hon.) Lond., P.G.Dip. Ind. Maths. J'Pura, MIEEE, MACM, CEO Sakrīō! ▣ Address: 6G • 1st Lane • Pagoda Road • Nugegoda 10250 • Sri Lanka. ▣ Mobile: +94-(0)711007945 ▣ Office: +94-(0) 11 2 199766 ▣ Home Office: +94-(0)11-5 875614 ▣ Home: +94-(0)11-5 864614 / 2 825908 ▣ Web: http://www.sakrio.com ▣

This email is subjected to the email Terms of Use and Disclaimer: http://www.sakrio.com/email-legal. Please read this first.

--