Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Uusi ohjelmointikieli Theme

41 views
Skip to first unread message

tommi.ho...@iki.fi

unread,
Mar 23, 2012, 9:41:42 AM3/23/12
to

I have developed a new programming language Theme, which
extends Scheme with static typing. Currently Theme is
implemented as a Theme-to-Scheme translator.
The current Scheme platform is Scheme48.


The language specification can be found at:

http://www.students.tut.fi/~hoynalan/theme-specification-23032012.pdf

The user guide of the current Theme implementation can be found at:

http://www.students.tut.fi/~hoynalan/theme-user-guide-23032012.pdf

Implementation of Theme can be found at:

http://www.students.tut.fi/~hoynalan/theme-0.8.tar.bz2

Some Scheme utilities needed by the Theme implementation can be found at:

http://www.students.tut.fi/~hoynalan/scheme-general-1.1.tar.bz2


Some properties of Theme:

- Static type system

- A simple object system

- Multi-methods dispatched runtime (and also compile-time)

- Parametrized (type parameters) classes, types, and procedures

- A module system

- Two kinds of variables: constants and mutable variables.
The value of a constant cannot be changed after the constant is created.

- Tommi Höynälänmaa

tommi.ho...@iki.fi

unread,
Mar 26, 2012, 11:32:52 AM3/26/12
to
perjantaina 23. maaliskuuta 2012 15.41.42 UTC+2 tommi.ho...@iki.fi kirjoitti:
> I have developed a new programming language Theme, which
> extends Scheme with static typing. Currently Theme is
> implemented as a Theme-to-Scheme translator.
> The current Scheme platform is Scheme48.

Muutin copyrightia niin, että suurin osa koodista on nyt GPL:n alla.

- Tommi Höynälänmaa

Jouko Holopainen

unread,
Mar 26, 2012, 2:07:09 PM3/26/12
to
On 26/03/12 18:32, tommi.ho...@iki.fi wrote:
> perjantaina 23. maaliskuuta 2012 15.41.42 UTC+2 tommi.ho...@iki.fi kirjoitti:
>> I have developed a new programming language Theme, which
>> extends Scheme with static typing. Currently Theme is
>> implemented as a Theme-to-Scheme translator.
>> The current Scheme platform is Scheme48.

Ihan mielenkiinnosta, miten olet toteuttanut kielen? Compiler-compiler
vai jokin Scheme pohjana vai ihan "tyhjästä"?

En tosin ole koskaan Schemeäkään opiskellut, että taitaa tämäkin minulta
jäädä.

--
@jhol

www.iki.fi/jhol

tommi.ho...@iki.fi

unread,
Mar 28, 2012, 11:19:21 AM3/28/12
to
maanantaina 26. maaliskuuta 2012 21.07.09 UTC+3 Jouko Holopainen kirjoitti:
> Ihan mielenkiinnosta, miten olet toteuttanut kielen? Compiler-compiler
> vai jokin Scheme pohjana vai ihan "tyhjästä"?

"Tyhjästä". Compiler-compilerille ei ole Lisp/Scheme-tyyppisessä syntaksissa niin suurta tarvetta, koska käännettävä koodi on valmiiksi jonkunlaisena syntaksipuuna.

- Tommi

tommi.ho...@iki.fi

unread,
Apr 5, 2012, 7:32:44 AM4/5/12
to
Themestä on uusi versio 0.8.1. Ks. Themen kotisivu osoitteessa

http://www.students.tut.fi/~hoynalan/theme.html

- Tommi Höynälänmaa

Nospam

unread,
Apr 9, 2012, 12:35:18 PM4/9/12
to
Mainostat kovasti tätä, mutta vastaa nyt vaikka Joukon kysymykseen eka.
Meitä muitakin kiinnostaa ehkä.

Terv, Nospam

tommi.ho...@tut.fi

unread,
Aug 6, 2012, 11:59:57 AM8/6/12
to
maanantai, 9. huhtikuuta 2012 19.35.18 UTC+3 Nospam kirjoitti:
> ...
> Mainostat kovasti tätä, mutta vastaa nyt vaikka Joukon kysymykseen eka.
>
> Meitä muitakin kiinnostaa ehkä.
>

Jostain syystä vastaus ei näy joka paikassa.

Olen tehnyt Themen "tyhjästä". Compiler-compilerille ei ole Lisp/Scheme-tyyppisessä syntaksissa niin suurta tarvetta, koska käännettävä koodi on valmiiksi jonkunlaisena syntaksipuuna.

- Tommi Höynälänmaa
0 new messages