Advertisement

is there any language which is imperative and declarative?

Started by September 19, 2003 09:52 PM
4 comments, last by RolandofGilead 21 years, 5 months ago
see title, otherwise I''ll have to write one
A language, by definition, cannot be both imperative and declarative. A declarative language specifies What Must Be Done (result) but not What To Do (procedure); an imperative language does precisely the opposite. Perhaps you''re thinking of a language that is fundamentally imperative, but that strongly enforces assertions about the result of an operation; for that, check out "Design By Contract", and the language Eiffel.


How appropriate. You fight like a cow.
Advertisement
I think Ocam''l is a functional language with side effects. So I think it combines a bit of both... please correct me if I''m wrong.

Worth a look anyway before you create your own new language

Alex



AiGameDev.com

Join us in Vienna for the nucl.ai Conference 2015, on July 20-22... Don't miss it!

quote:
Original post by Sneftel
A language, by definition, cannot be both imperative and declarative. A declarative language specifies What Must Be Done (result) but not What To Do (procedure); an imperative language does precisely the opposite. Perhaps you''re thinking of a language that is fundamentally imperative, but that strongly enforces assertions about the result of an operation; for that, check out "Design By Contract", and the language Eiffel.


How appropriate. You fight like a cow.

I don''t understand your explanation
Could you please refrase it?
Nope. But perhaps you would like to explore other resources.


How appropriate. You fight like a cow.
Re: is there any language which is imperative and declarative?

What about Trilogy? (see, for instance, http://wombat.doc.ic.ac.uk/foldoc/foldoc.cgi?Trilogy)


This topic is closed to new replies.

Advertisement