Groups
Groups
Sign in
Groups
Groups
Eiffel Users
Conversations
About
Send feedback
Help
Eiffel Users
Contact owners and managers
1–30 of 5779
Welcome to the Eiffel users mailing list where you can discuss topics on the Eiffel programming language and its various supporting tools.
Eiffel: What programming should be!
Mark all as read
Report group
0 selected
Finnian Reilly
, …
Finnian Reilly
9
5:21 AM
Zig as an Intermediate Language for EiffelStudio
Hi João that was precisely the video that inspired my discussion paper Zig as an Intermediate
unread,
Zig as an Intermediate Language for EiffelStudio
Hi João that was precisely the video that inspired my discussion paper Zig as an Intermediate
5:21 AM
Finnian Reilly
, …
Eric Bezault
22
Jun 2
Finding a billion-user project for Eiffel: How DbC catches the security flaws that Rust misses
Hi Friedrich, your VBA experience is one of the most compelling endorsements of DbC I have seen — not
unread,
Finding a billion-user project for Eiffel: How DbC catches the security flaws that Rust misses
Hi Friedrich, your VBA experience is one of the most compelling endorsements of DbC I have seen — not
Jun 2
Finnian Reilly
, …
Finnian Reilly
3
Jun 2
Why I Write on eiffel.org Blogs
Hi Alejandro you just register an account. It's free. Finnian How can I also publish in Eiffel.
unread,
Why I Write on eiffel.org Blogs
Hi Alejandro you just register an account. It's free. Finnian How can I also publish in Eiffel.
Jun 2
Jimmy Johnson
,
Eric Bezault
11
Jun 2
Convert library to SCOOP
What I had in mind is lock passing. This is one of the trickiest mechanism in SCOOP, as explained
unread,
Convert library to SCOOP
What I had in mind is lock passing. This is one of the trickiest mechanism in SCOOP, as explained
Jun 2
Jimmy Johnson
Jun 1
OPEN_ARGS and RESULT_TYPE ?
What are the OPEN_ARGS and RESULT_TYPE used in ROUTINE and descendants? jjj
unread,
OPEN_ARGS and RESULT_TYPE ?
What are the OPEN_ARGS and RESULT_TYPE used in ROUTINE and descendants? jjj
Jun 1
Finnian Reilly
May 31
The Case for an EiffelStudio F_code Runtime SDK
The Case for an EiffelStudio F_code Runtime SDK Why a 4.7 MB redistributable runtime is the missing
unread,
The Case for an EiffelStudio F_code Runtime SDK
The Case for an EiffelStudio F_code Runtime SDK Why a 4.7 MB redistributable runtime is the missing
May 31
Ian Joyner
, …
Ulrich Windl
7
May 31
Why people still don't understand OO
I think too many "OO tutorials" don't give you the full story, just some parts. But
unread,
Why people still don't understand OO
I think too many "OO tutorials" don't give you the full story, just some parts. But
May 31
Finnian Reilly
May 28
Re: CloudFlare outage: the lesson that will not be drawn
Bertrand Meyer wrote 23 November 2025: I might sound like a broken record, but the CloudFlare outage
unread,
Re: CloudFlare outage: the lesson that will not be drawn
Bertrand Meyer wrote 23 November 2025: I might sound like a broken record, but the CloudFlare outage
May 28
Ian Joyner
May 27
Article using Eiffel and DbC as example
Geoff has moved on from programming to monitoring the Australian electricity system. He still writes
unread,
Article using Eiffel and DbC as example
Geoff has moved on from programming to monitoring the Australian electricity system. He still writes
May 27
Jimmy Johnson
,
rfo amalasoft.com
2
May 26
EV_RICH_TEXT into EV_GRID
Hi Jimmy Though I have never done such a thing, I suspect there might be some challenges but it might
unread,
EV_RICH_TEXT into EV_GRID
Hi Jimmy Though I have never done such a thing, I suspect there might be some challenges but it might
May 26
Liberty Lover
,
Ian Joyner
5
May 20
Compare to Eiffel
“There is no such thing as AI. What we have is a math(s) function — a very expensive, sophisticated
unread,
Compare to Eiffel
“There is no such thing as AI. What we have is a math(s) function — a very expensive, sophisticated
May 20
Alejandro Garcia
May 14
Why wasn't EiffelBase2 merged into EiffelStudio?
Nadia Polikarpova and Julian Tschannen did work on EiffelBase2 https://github.com/nadia-polikarpova/
unread,
Why wasn't EiffelBase2 merged into EiffelStudio?
Nadia Polikarpova and Julian Tschannen did work on EiffelBase2 https://github.com/nadia-polikarpova/
May 14
Finnian Reilly
May 13
New feature in Eiffel-Loop scons build system: self-contained environment variables in ECF files
New feature in Eiffel-Loop scons build system Self-contained exported environment variables in ECF
unread,
New feature in Eiffel-Loop scons build system: self-contained environment variables in ECF files
New feature in Eiffel-Loop scons build system Self-contained exported environment variables in ECF
May 13
외계인 토리
May 12
Question about event driven design
Hello. I am a student learning object-oriented development through OOSC and Touch of Class. I have
unread,
Question about event driven design
Hello. I am a student learning object-oriented development through OOSC and Touch of Class. I have
May 12
Ulrich Windl
,
Ian Joyner
2
Apr 27
Eiffel crypto libraries?
On Burroughs/Unisys machines, I'd implement such stuff in ALGOL. There is probably a Hoare-
unread,
Eiffel crypto libraries?
On Burroughs/Unisys machines, I'd implement such stuff in ALGOL. There is probably a Hoare-
Apr 27
Alejandro Garcia
, …
john s wolter
8
Apr 27
What ever happened to the Matrix database?
Oh I've read about your P-Eiffel compiler. It sounded very interesting. Also if I remember
unread,
What ever happened to the Matrix database?
Oh I've read about your P-Eiffel compiler. It sounded very interesting. Also if I remember
Apr 27
Eric Bezault
,
Germán Arias
7
Apr 1
Gobo Eiffel 26.03 released
Hi Eric I bulid Gobo with Gcc and all works fine now Thanks Germán Enviar: miércoles 1 de abril de
unread,
Gobo Eiffel 26.03 released
Hi Eric I bulid Gobo with Gcc and all works fine now Thanks Germán Enviar: miércoles 1 de abril de
Apr 1
Anders Persson
Mar 31
Vernissage på Wrangelsborg 218!
Välkommen till vernissage: Ljusvågor och stjärnfält Varmt välkomna att inspireras och låta blicken
unread,
Vernissage på Wrangelsborg 218!
Välkommen till vernissage: Ljusvågor och stjärnfält Varmt välkomna att inspireras och låta blicken
Mar 31
"João M. Rocha"
,
Jocelyn Fiat
3
Mar 27
Eiffel 25.12: no macosx-arm64 target and missing class reference docs
I confirm that the binaries for "macosx-armv6" are targeting arm64 but it seems there are
unread,
Eiffel 25.12: no macosx-arm64 target and missing class reference docs
I confirm that the binaries for "macosx-armv6" are targeting arm64 but it seems there are
Mar 27
Liberty Lover
, …
john s wolter
57
Mar 14
Future Eiffel - In light of AI, what should or could the future hold for Eiffel?
Interesting enough to take a lookat the ideal It would be into the early stage of application
unread,
Future Eiffel - In light of AI, what should or could the future hold for Eiffel?
Interesting enough to take a lookat the ideal It would be into the early stage of application
Mar 14
Bertrand Meyer
, …
Ph Ka
7
Mar 5
Dependent types
Please find the link to the downloadable paper : https://www.worldscientific.com/doi/abs/10.1142/
unread,
Dependent types
Please find the link to the downloadable paper : https://www.worldscientific.com/doi/abs/10.1142/
Mar 5
Jimmy Johnson
Feb 18
EV_MODEL_WORLD_CELL.fit_to_screen
Looking for an EV_MODEL expert. I'm having trouble with scaling. The `fit_to_screen' feature
unread,
EV_MODEL_WORLD_CELL.fit_to_screen
Looking for an EV_MODEL expert. I'm having trouble with scaling. The `fit_to_screen' feature
Feb 18
javier...@gmail.com
2
Feb 16
MicroGPT in Eiffel
Forgot to add the link to the repo https://github.com/jvelilla/MicroGPT On Monday, February 16, 2026
unread,
MicroGPT in Eiffel
Forgot to add the link to the repo https://github.com/jvelilla/MicroGPT On Monday, February 16, 2026
Feb 16
Liberty Lover
Feb 12
Dupe UUID in ISE Eiffel libs?
● Found the root cause. Both ISE files share the exact same UUID: - curl_http_client.ecf: UUID =
unread,
Dupe UUID in ISE Eiffel libs?
● Found the root cause. Both ISE files share the exact same UUID: - curl_http_client.ecf: UUID =
Feb 12
Liberty Lover
, …
Ulrich Windl
17
Feb 10
AI FAIL
Hi! Not about Eiffel, but current: I've heard about a software used for medical care that
unread,
AI FAIL
Hi! Not about Eiffel, but current: I've heard about a software used for medical care that
Feb 10
Jimmy Johnson
, …
Ulrich Windl
4
Jan 30
Set system-wide font
Hi! I think such feature is called "inheritance" ;-) Ulrich 29.01.2026 17:31:05 Jimmy
unread,
Set system-wide font
Hi! I think such feature is called "inheritance" ;-) Ulrich 29.01.2026 17:31:05 Jimmy
Jan 30
Jimmy Johnson
Jan 29
SHA Hashers
I updated my Secure Hash Algorithms cluster. The SHA classes have no outside dependencies. (An
unread,
SHA Hashers
I updated my Secure Hash Algorithms cluster. The SHA classes have no outside dependencies. (An
Jan 29
Joao Rocha
,
Jocelyn Fiat
3
Jan 27
Quick note: small fixes for eiffel.com and eiffel.org
Much appreciated, Jocelyn. Thanks for the fast fix. João On 27 Jan 2026, at 12:50, 'Jocelyn Fiat
unread,
Quick note: small fixes for eiffel.com and eiffel.org
Much appreciated, Jocelyn. Thanks for the fast fix. João On 27 Jan 2026, at 12:50, 'Jocelyn Fiat
Jan 27
Finnian Reilly
,
Eric Bezault
3
Jan 27
Eiffel-Loop and Gobo: Contrasting Design Philosophies and Their Trade-offs
Hi Eric, on the face of it those are unfriendly remarks that you highlighted but I guess a lot
unread,
Eiffel-Loop and Gobo: Contrasting Design Philosophies and Their Trade-offs
Hi Eric, on the face of it those are unfriendly remarks that you highlighted but I guess a lot
Jan 27
Finnian Reilly
, …
Ulrich Windl
4
Jan 26
The Usefulness of Obsolete Libraries
There's a nice example of "obsoleting" an API by Google Maps: Adobe Lightroom had a map
unread,
The Usefulness of Obsolete Libraries
There's a nice example of "obsoleting" an API by Google Maps: Adobe Lightroom had a map
Jan 26