* Announcement: Theme-D programming language
@ 2016-07-23 11:29 Tommi Höynälänmaa
2016-07-23 15:35 ` Nala Ginrut
2016-07-24 21:24 ` Max
0 siblings, 2 replies; 6+ messages in thread
From: Tommi Höynälänmaa @ 2016-07-23 11:29 UTC (permalink / raw)
To: guile-user
Some properties of Theme-D language are:
* Static type system
* A simple object system
* Multi-methods dispatched runtime (and also compile-time)
* Parametrized (type parameters) classes, types, and procedures
* Signature types resembling Java interfaces but multiply dispatched.
* A module system
* Two kinds of variables: constants and mutable variables. The value of a
constant cannot be changed after the constant is created.
Changes in version 0.9.3 are:
* Improved the explicit generic procedure dispatch.
* Simplified the foreign class interface.
* Corrected an error in the module system.
* Correction to mutable variable declarations.
* Corrected an error with method variable argument lists.
* Corrected a bug with param-proc-instance.
* Corrected the subtype checking algorithm for union types.
* A declared value can be used as a value of a constant.
* Type of a match-type expression may be <object> in some cases even though
an else part is not present.
* Implemented some list and string handling procedures into the standard
library.
* Better error messages for identical or noncovariant methods and erroneous
parametrized procedure instantiations.
The homepage of Theme-D is located at:
http://www.iki.fi/tohoyn/theme-d/
- Tommi Höynälänmaa
^ permalink raw reply [flat|nested] 6+ messages in thread* Re: Announcement: Theme-D programming language
2016-07-23 11:29 Announcement: Theme-D programming language Tommi Höynälänmaa
@ 2016-07-23 15:35 ` Nala Ginrut
2016-07-24 8:56 ` Amirouche Boubekki
2016-07-24 21:24 ` Max
1 sibling, 1 reply; 6+ messages in thread
From: Nala Ginrut @ 2016-07-23 15:35 UTC (permalink / raw)
To: Tommi Höynälänmaa, guile-user
The link seem s broken for me. Could you take a look at it?
Tommi Höynälänmaa <tommi.hoynalanmaa@gmail.com>于2016年7月23日周六 19:29写道：
> Some properties of Theme-D language are:
> * Static type system
> * A simple object system
> * Multi-methods dispatched runtime (and also compile-time)
> * Parametrized (type parameters) classes, types, and procedures
> * Signature types resembling Java interfaces but multiply dispatched.
> * A module system
> * Two kinds of variables: constants and mutable variables. The value of a
> constant cannot be changed after the constant is created.
>
> Changes in version 0.9.3 are:
> * Improved the explicit generic procedure dispatch.
> * Simplified the foreign class interface.
> * Corrected an error in the module system.
> * Correction to mutable variable declarations.
> * Corrected an error with method variable argument lists.
> * Corrected a bug with param-proc-instance.
> * Corrected the subtype checking algorithm for union types.
> * A declared value can be used as a value of a constant.
> * Type of a match-type expression may be <object> in some cases even though
> an else part is not present.
> * Implemented some list and string handling procedures into the standard
> library.
> * Better error messages for identical or noncovariant methods and erroneous
> parametrized procedure instantiations.
>
> The homepage of Theme-D is located at:
> http://www.iki.fi/tohoyn/theme-d/
>
> - Tommi Höynälänmaa
>
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: Announcement: Theme-D programming language
2016-07-23 15:35 ` Nala Ginrut
@ 2016-07-24 8:56 ` Amirouche Boubekki
2016-07-24 9:05 ` Nala Ginrut
0 siblings, 1 reply; 6+ messages in thread
From: Amirouche Boubekki @ 2016-07-24 8:56 UTC (permalink / raw)
To: Nala Ginrut; +Cc: guile-user, guile-user, Tommi Höynälänmaa
On 2016-07-23 17:35, Nala Ginrut wrote:
> The link seem s broken for me. Could you take a look at it?
>
It works for me.
> Tommi Höynälänmaa <tommi.hoynalanmaa@gmail.com>于2016年7月23日周六 19:29写道：
>
>> Some properties of Theme-D language are:
>> * Static type system
>> * A simple object system
>> * Multi-methods dispatched runtime (and also compile-time)
>> * Parametrized (type parameters) classes, types, and procedures
>> * Signature types resembling Java interfaces but multiply dispatched.
>> * A module system
>> * Two kinds of variables: constants and mutable variables. The value
>> of a
>> constant cannot be changed after the constant is created.
>>
>> Changes in version 0.9.3 are:
>> * Improved the explicit generic procedure dispatch.
>> * Simplified the foreign class interface.
>> * Corrected an error in the module system.
>> * Correction to mutable variable declarations.
>> * Corrected an error with method variable argument lists.
>> * Corrected a bug with param-proc-instance.
>> * Corrected the subtype checking algorithm for union types.
>> * A declared value can be used as a value of a constant.
>> * Type of a match-type expression may be <object> in some cases even
>> though
>> an else part is not present.
>> * Implemented some list and string handling procedures into the
>> standard
>> library.
>> * Better error messages for identical or noncovariant methods and
>> erroneous
>> parametrized procedure instantiations.
>>
>> The homepage of Theme-D is located at:
>> http://www.iki.fi/tohoyn/theme-d/
>>
>> - Tommi Höynälänmaa
>>
--
Amirouche ~ amz3 ~ http://www.hyperdev.fr
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: Announcement: Theme-D programming language
2016-07-24 8:56 ` Amirouche Boubekki
@ 2016-07-24 9:05 ` Nala Ginrut
0 siblings, 0 replies; 6+ messages in thread
From: Nala Ginrut @ 2016-07-24 9:05 UTC (permalink / raw)
To: Amirouche Boubekki
Cc: guile-user, guile-user, Tommi Höynälänmaa
Well, today it works for me. Dunno if there'e problem of my network
provider.
On Sun, 2016-07-24 at 10:56 +0200, Amirouche Boubekki wrote:
> On 2016-07-23 17:35, Nala Ginrut wrote:
> >
> > The link seem s broken for me. Could you take a look at it?
> >
>
> It works for me.
>
> >
> > Tommi Höynälänmaa <tommi.hoynalanmaa@gmail.com>于2016年7月23日周六
> > 19:29写道：
> >
> > >
> > > Some properties of Theme-D language are:
> > > * Static type system
> > > * A simple object system
> > > * Multi-methods dispatched runtime (and also compile-time)
> > > * Parametrized (type parameters) classes, types, and procedures
> > > * Signature types resembling Java interfaces but multiply
> > > dispatched.
> > > * A module system
> > > * Two kinds of variables: constants and mutable variables. The
> > > value
> > > of a
> > > constant cannot be changed after the constant is created.
> > >
> > > Changes in version 0.9.3 are:
> > > * Improved the explicit generic procedure dispatch.
> > > * Simplified the foreign class interface.
> > > * Corrected an error in the module system.
> > > * Correction to mutable variable declarations.
> > > * Corrected an error with method variable argument lists.
> > > * Corrected a bug with param-proc-instance.
> > > * Corrected the subtype checking algorithm for union types.
> > > * A declared value can be used as a value of a constant.
> > > * Type of a match-type expression may be <object> in some cases
> > > even
> > > though
> > > an else part is not present.
> > > * Implemented some list and string handling procedures into the
> > > standard
> > > library.
> > > * Better error messages for identical or noncovariant methods
> > > and
> > > erroneous
> > > parametrized procedure instantiations.
> > >
> > > The homepage of Theme-D is located at:
> > > http://www.iki.fi/tohoyn/theme-d/
> > >
> > > - Tommi Höynälänmaa
> > >
>
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: Announcement: Theme-D programming language
2016-07-23 11:29 Announcement: Theme-D programming language Tommi Höynälänmaa
2016-07-23 15:35 ` Nala Ginrut
@ 2016-07-24 21:24 ` Max
2016-07-25 6:20 ` Chaos Eternal
1 sibling, 1 reply; 6+ messages in thread
From: Max @ 2016-07-24 21:24 UTC (permalink / raw)
To: guile-user
Could you perhaps briefly summarize what this have to do with Guile?
23.07.2016 13:29, Tommi Höynälänmaa пишет:
> Some properties of Theme-D language are:
> * Static type system
> * A simple object system
> * Multi-methods dispatched runtime (and also compile-time)
> * Parametrized (type parameters) classes, types, and procedures
> * Signature types resembling Java interfaces but multiply dispatched.
> * A module system
> * Two kinds of variables: constants and mutable variables. The value of a
> constant cannot be changed after the constant is created.
>
> Changes in version 0.9.3 are:
> * Improved the explicit generic procedure dispatch.
> * Simplified the foreign class interface.
> * Corrected an error in the module system.
> * Correction to mutable variable declarations.
> * Corrected an error with method variable argument lists.
> * Corrected a bug with param-proc-instance.
> * Corrected the subtype checking algorithm for union types.
> * A declared value can be used as a value of a constant.
> * Type of a match-type expression may be <object> in some cases even though
> an else part is not present.
> * Implemented some list and string handling procedures into the standard
> library.
> * Better error messages for identical or noncovariant methods and erroneous
> parametrized procedure instantiations.
>
> The homepage of Theme-D is located at:
> http://www.iki.fi/tohoyn/theme-d/
>
> - Tommi Höynälänmaa
>
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: Announcement: Theme-D programming language
2016-07-24 21:24 ` Max
@ 2016-07-25 6:20 ` Chaos Eternal
0 siblings, 0 replies; 6+ messages in thread
From: Chaos Eternal @ 2016-07-25 6:20 UTC (permalink / raw)
To: Max, guile-user
Looks it is implemented using guile.
On Mon, Jul 25, 2016 at 5:24 AM Max <maxim.suraev@campus.tu-berlin.de>
wrote:
> Could you perhaps briefly summarize what this have to do with Guile?
>
> 23.07.2016 13:29, Tommi Höynälänmaa пишет:
> > Some properties of Theme-D language are:
> > * Static type system
> > * A simple object system
> > * Multi-methods dispatched runtime (and also compile-time)
> > * Parametrized (type parameters) classes, types, and procedures
> > * Signature types resembling Java interfaces but multiply dispatched.
> > * A module system
> > * Two kinds of variables: constants and mutable variables. The value of a
> > constant cannot be changed after the constant is created.
> >
> > Changes in version 0.9.3 are:
> > * Improved the explicit generic procedure dispatch.
> > * Simplified the foreign class interface.
> > * Corrected an error in the module system.
> > * Correction to mutable variable declarations.
> > * Corrected an error with method variable argument lists.
> > * Corrected a bug with param-proc-instance.
> > * Corrected the subtype checking algorithm for union types.
> > * A declared value can be used as a value of a constant.
> > * Type of a match-type expression may be <object> in some cases even
> though
> > an else part is not present.
> > * Implemented some list and string handling procedures into the standard
> > library.
> > * Better error messages for identical or noncovariant methods and
> erroneous
> > parametrized procedure instantiations.
> >
> > The homepage of Theme-D is located at:
> > http://www.iki.fi/tohoyn/theme-d/
> >
> > - Tommi Höynälänmaa
> >
>
>
>
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2016-07-25 6:20 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-07-23 11:29 Announcement: Theme-D programming language Tommi Höynälänmaa
2016-07-23 15:35 ` Nala Ginrut
2016-07-24 8:56 ` Amirouche Boubekki
2016-07-24 9:05 ` Nala Ginrut
2016-07-24 21:24 ` Max
2016-07-25 6:20 ` Chaos Eternal
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).