{"id":9707,"date":"2022-10-09T10:15:00","date_gmt":"2022-10-09T08:15:00","guid":{"rendered":"https:\/\/monodes.com\/predaelli\/?p=9707"},"modified":"2022-10-09T10:15:01","modified_gmt":"2022-10-09T08:15:01","slug":"eiffeldoc-any","status":"publish","type":"post","link":"https:\/\/monodes.com\/predaelli\/2022\/10\/09\/eiffeldoc-any\/","title":{"rendered":"Eiffeldoc: ANY"},"content":{"rendered":"

twin: ANY– Return a new object with the dynamic type of Current.<\/p>\n

copy (other: ANY) — Update current object using fields of object attached to other, so as to yield equal objects.<\/p><\/blockquote>\n

Too bad that those Eiffel features<\/a>, (function members) available in each and every object and variable are not<\/strong> available in Kotlin. <\/em><\/p>\n","protected":false},"excerpt":{"rendered":"

twin: ANY– Return a new object with the dynamic type of Current. copy (other: ANY) — Update current object using fields of object attached to other, so as to yield equal objects. Too bad that those Eiffel features, (function members) available in each and every object and variable are not available in Kotlin.<\/p>\n

Read more →<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"inline_featured_image":false,"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"activitypub_content_warning":"","activitypub_content_visibility":"","activitypub_max_image_attachments":4,"activitypub_interaction_policy_quote":"anyone","activitypub_status":"","footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[34,328,98],"tags":[],"class_list":["post-9707","post","type-post","status-publish","format-standard","hentry","category-eiffel","category-kotlin","category-liberty-eiffel"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/p6daft-2wz","jetpack-related-posts":[{"id":9687,"url":"https:\/\/monodes.com\/predaelli\/2022\/10\/01\/spacevim-has-eiffel-support\/","url_meta":{"origin":9707,"position":0},"title":"SpaceVim has Eiffel support!","author":"Paolo Redaelli","date":"2022-10-01","format":false,"excerpt":"SpaceVim, a community-driven vim distribution that seeks to provide layer feature, besides turning Vim into a nifty IDE for several languages (C\/C++, Rust, Kotlin, Go, Python, Java and JavaScript plus others), it offers among the available layers one for Eiffel! \u00a0","rel":"","context":"In "Eiffel"","block_context":{"text":"Eiffel","link":"https:\/\/monodes.com\/predaelli\/category\/eiffel\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":3969,"url":"https:\/\/monodes.com\/predaelli\/2018\/04\/01\/its-time-to-start-using-a-modern-programming-language-eiffel\/","url_meta":{"origin":9707,"position":1},"title":"It\u2019s time to start using a modern programming language: Eiffel","author":"Paolo Redaelli","date":"2018-04-01","format":false,"excerpt":"It\u2019s time to start using a modern programming language: Eiffel In fact as I read Why you should totally switch to Kotlin \u2013 Magnus Vinther \u2013 Medium I wonderded why they haven't switched to Eiffel, as it has had for decades most of the features they praised in Kotlin! Why\u2026","rel":"","context":"In "Eiffel"","block_context":{"text":"Eiffel","link":"https:\/\/monodes.com\/predaelli\/category\/eiffel\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":8612,"url":"https:\/\/monodes.com\/predaelli\/2022\/05\/30\/eiffel-rust-and-memory-management\/","url_meta":{"origin":9707,"position":2},"title":"Eiffel, Rust and memory management","author":"Paolo Redaelli","date":"2022-05-30","format":false,"excerpt":"It already passed one year almost two years since in \"Oh my lazyness!\" when I wrote I shall restart my efforts on Liberty EIffel and Monodes\u2026 \ud83d\ude41 I hope to integrate them in my current effort. While I haven't been able to integrate Eiffel in the endeavour that is keeping\u2026","rel":"","context":"In "Eiffel"","block_context":{"text":"Eiffel","link":"https:\/\/monodes.com\/predaelli\/category\/eiffel\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":1286,"url":"https:\/\/monodes.com\/predaelli\/2016\/04\/17\/eiffel-a-viable-candidate-as-a-language-for-the-gnome-platform\/","url_meta":{"origin":9707,"position":3},"title":"Eiffel: A viable candidate as a language for the Gnome platform ?","author":"Paolo Redaelli","date":"2016-04-17","format":false,"excerpt":"Eiffel: A viable candidate as a language for the Gnome platform ? It was 2004. Linux were labelled as a cancer by Ballmer, Android and iPhone didn't existed. Multi-core CPU were still high-end. It was a different world. From archive.org, before it got lost.... Twelve years ago. And it was\u2026","rel":"","context":"In "Eiffel"","block_context":{"text":"Eiffel","link":"https:\/\/monodes.com\/predaelli\/category\/eiffel\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":13499,"url":"https:\/\/monodes.com\/predaelli\/2025\/06\/02\/design-by-contract-dbc-v-test-driven-design-tdd-wolands-cat\/","url_meta":{"origin":9707,"position":4},"title":"Design-by-Contract (DbC) v Test-Driven Design (TDD) | Woland’s cat","author":"Paolo Redaelli","date":"2025-06-02","format":false,"excerpt":"Design-by-Contract (DbC) v Test-Driven Design (TDD) from\u00a0 Woland's cat shortly: DbC = contracts + tests Design-by-Contract (DbC) v Test-Driven Design\u00a0(TDD) Posted on 04\/03\/2021 by wolandscat A software contract in the Eiffel language Another bit of software engineering knowledge from my archive relates to two well-known formal quality methods used in\u2026","rel":"","context":"In "Eiffel"","block_context":{"text":"Eiffel","link":"https:\/\/monodes.com\/predaelli\/category\/eiffel\/"},"img":{"alt_text":"","src":"https:\/\/i0.wp.com\/monodes.com\/predaelli\/wp-content\/uploads\/sites\/4\/2025\/06\/eiffel_contract.png?resize=350%2C200&ssl=1","width":350,"height":200,"srcset":"https:\/\/i0.wp.com\/monodes.com\/predaelli\/wp-content\/uploads\/sites\/4\/2025\/06\/eiffel_contract.png?resize=350%2C200&ssl=1 1x, https:\/\/i0.wp.com\/monodes.com\/predaelli\/wp-content\/uploads\/sites\/4\/2025\/06\/eiffel_contract.png?resize=525%2C300&ssl=1 1.5x, https:\/\/i0.wp.com\/monodes.com\/predaelli\/wp-content\/uploads\/sites\/4\/2025\/06\/eiffel_contract.png?resize=700%2C400&ssl=1 2x"},"classes":[]},{"id":2137,"url":"https:\/\/monodes.com\/predaelli\/2017\/02\/02\/kotlin-programming-language\/","url_meta":{"origin":9707,"position":5},"title":"Kotlin Programming Language","author":"Paolo Redaelli","date":"2017-02-02","format":false,"excerpt":"Kotlin Programming Language Statically typed programming language for the JVM, Android and the browser 100% interoperable with Java\u2122 In bold the little difference between a successful language and a niche one.","rel":"","context":"In "Senza categoria"","block_context":{"text":"Senza categoria","link":"https:\/\/monodes.com\/predaelli\/category\/senza-categoria\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]}],"jetpack_likes_enabled":true,"_links":{"self":[{"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/posts\/9707","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/comments?post=9707"}],"version-history":[{"count":0,"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/posts\/9707\/revisions"}],"wp:attachment":[{"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/media?parent=9707"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/categories?post=9707"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/tags?post=9707"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}