Eiffel - Programming language

Eiffel is a programming language created in 1986 by Bertrand Meyer.

#175on PLDB

40Years Old

913Repos

Download source code:

git clone https://github.com/EiffelSoftware/EiffelStudio

Homepage · Download · Source Code · Blog · Wikipedia · Twitter · Release Notes · Docs

Eiffel is an object-oriented programming language designed by Bertrand Meyer (an object-orientation proponent and author of Object-Oriented Software Construction) and Eiffel Software. Meyer conceived the language in 1985 with the goal of increasing the reliability of commercial software development; the first version becoming available in 1986. In 2005, Eiffel became an ISO-standardized language. Read more on Wikipedia...

Tags: programming language
Eiffel is developed on GitHub and has 49 stars
There are at least 913 Eiffel repos on GitHub
Early development of Eiffel happened in Eiffel Software
Eiffel is written in XML, C, Markdown, HTML, SVG, Bourne shell, Perl, Smarty, C++, SCSS, CSS, XSLT, C#, SQL, JavaScript, JSON, Make, Ini, XSD, M4, Lex, Python, CMake, Yacc, PHP, IDL, Assembly language, Bash, Cadence SKILL, Ada, Objective-C, sed, Pascal, YAML, CSV, ASP.NET, Diff, awk, MATLAB, Ring, Tex, Logos, Java, DTD, C shell, Nemerle, CoffeeScript, XHTML, Dockerfile, XML Metadata Interchange, R, Scheme, SAS
The Google BigQuery Public Dataset GitHub snapshot shows 653 users using Eiffel in 721 repos on GitHub
Explore Eiffel snippets on Rosetta Code
Eiffel on HOPL
Eiffel appears in the TIOBE Index
ANTLR grammar for Eiffel
CodeMirror package for syntax highlighting Eiffel
Pygments supports syntax highlighting for Eiffel
GitHub supports syntax highlighting for Eiffel
eiffel.org was registered in 2001
See also: (22 related languages) FreeBSD, Linux, Solaris, Ada, Simula, Z notation, C#, D, Java, Lisaac, Racket, Ruby, Sather, Scala, Algol, Pascal, Visual Studio, ISBN, Smalltalk, C, CIL, Java Bytecode
Read more about Eiffel on the web: 1.
1 PLDB concepts link to Eiffel: Flare

Example from hello-world:

indexing "Hello World in Eiffel , from http://roesler-ac.de/wolfram/hello.htm#Eiffel"

class HELLO

creation
	run

feature

	run is
		local
			io : BASIC_IO;
		do
			!!io;
			io.put_string("Hello World");
			io.put_newline
		end; -- run
end; -- class HELLO

Example from the Hello World Collection:

Example from Linguist:

note
	description: "Git checkout command."
	author: "Olivier Ligot"

class
	GIT_CHECKOUT_COMMAND

inherit
	GIT_COMMAND

create
	make,
	make_master

feature {NONE} -- Initialization

	make (a_branch: STRING)
			-- Checkout the branch `a_branch'.
		do
			initialize
			arguments.force_last (a_branch)
			branch := a_branch
		ensure
			branch_set: branch = a_branch
		end

	make_master
			-- Checkout the master branch.
		do
			make ("master")
		end

feature -- Access

	branch: STRING
			-- Branch to checkout

	name: STRING = "checkout"
			-- Git subcommand name

end

Example from Wikipedia:

class
    HELLO_WORLD
create
    make
feature
   make
      do
         print ("Hello, world!")
      end
end

Language features

Feature	Supported	Example	Token
Binary Literals	✓	-- 0[bB][01]+
Integers	✓	-- [0-9]+
Floats	✓	-- ([0-9]+\.[0-9])\|([0-9]\.[0-9]+)
Hexadecimals	✓	-- 0[xX][a-fA-F0-9]+
Octals	✓	-- 0[cC][0-7]+
Strings	✓	"Hello world"	"
Assignment	✓		:=
Case Insensitive Identifiers	✓
Line Comments	✓	-- A comment	--
Operator Overloading	✓
Multiple Inheritance	✓
Comments	✓
Pointers	✓
Semantic Indentation	X
MultiLine Comments	X