{"id":7698,"date":"2020-10-17T23:00:00","date_gmt":"2020-10-17T21:00:00","guid":{"rendered":"https:\/\/monodes.com\/predaelli\/?p=7698"},"modified":"2020-10-17T23:00:00","modified_gmt":"2020-10-17T21:00:00","slug":"halting-problem","status":"publish","type":"post","link":"https:\/\/monodes.com\/predaelli\/2020\/10\/17\/halting-problem\/","title":{"rendered":"halting problem"},"content":{"rendered":"

Type\u00a0instances<\/a><\/h1>\n

Source: halting problem<\/a><\/em><\/p>\n

\n

Since the start of the GTK4 development branch I’ve had to deal with creating fundamental types to replace ad hoc boxed types with inheritance three times; I thought about writing this stuff down, so the next time somebody thinks “I don’t want to use GObject but I want a type hierarchy” they’ll do something that doesn’t make people using language bindings cry.<\/p>\n<\/blockquote>\n

Emmanuele doesn’t know that he made me wish I restart my efforts of Eiffel …<\/p>\n","protected":false},"excerpt":{"rendered":"

Type\u00a0instances Source: halting problem Since the start of the GTK4 development branch I’ve had to deal with creating fundamental types to replace ad hoc boxed types with inheritance three times; I thought about writing this stuff down, so the next time somebody thinks “I don’t want to use GObject but I want a type hierarchy”…<\/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":[1],"tags":[],"class_list":["post-7698","post","type-post","status-publish","format-standard","hentry","category-senza-categoria"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/p6daft-20a","jetpack-related-posts":[{"id":2199,"url":"https:\/\/monodes.com\/predaelli\/2017\/02\/21\/halting-problem-on-vala\/","url_meta":{"origin":7698,"position":0},"title":"halting problem : On\u00a0Vala","author":"Paolo Redaelli","date":"2017-02-21","format":"link","excerpt":"Oh my 2 halting problem : On\u00a0Vala \u00a0","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":[]},{"id":4877,"url":"https:\/\/monodes.com\/predaelli\/2018\/11\/06\/the-forgotten-history-of-oop\/","url_meta":{"origin":7698,"position":1},"title":"The Forgotten History of OOP","author":"Paolo Redaelli","date":"2018-11-06","format":false,"excerpt":"The Forgotten History of OOP \u2013 JavaScript Scene \u2013 Medium Eric Elliott Make some magic. #JavaScript Nov 1 The Forgotten History of\u00a0OOP Smoke Art Cubes to Smoke\u200a\u2014\u200aMattysFlicks\u200a\u2014\u200a(CC BY\u00a02.0) Note: This is part of the \u201cComposing Software\u201d series on learning functional programming and compositional software techniques in JavaScript ES6+ from the\u2026","rel":"","context":"In "Documentations"","block_context":{"text":"Documentations","link":"https:\/\/monodes.com\/predaelli\/category\/documentations\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2496,"url":"https:\/\/monodes.com\/predaelli\/2017\/05\/22\/six-programming-paradigms-that-will-change-how-you-think-about-coding\/","url_meta":{"origin":7698,"position":2},"title":"Six programming paradigms that will change how you think about coding","author":"Paolo Redaelli","date":"2017-05-22","format":false,"excerpt":"Six programming paradigms that will change how you think about coding Yevgeniy Brikman writing speaking projects photos Six programming paradigms that will change how you think about coding Apr 09, 2014 Software Engineering 29 Comments 16 min read Every now and then, I stumble across a programming language that does\u2026","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":[]},{"id":15433,"url":"https:\/\/monodes.com\/predaelli\/2026\/04\/03\/are-passkeys-a-way-to-lose-your-freedom\/","url_meta":{"origin":7698,"position":3},"title":"Are Passkeys a way to lose your freedom?","author":"Paolo Redaelli","date":"2026-04-03","format":false,"excerpt":"I've encountered EmDash a project announcing as a full-stack TypeScript CMS based on Astro; the spiritual successor to WordPress. Of course I have been hooked by its promises: A full-stack TypeScript CMS built on Astro and Cloudflare. EmDash takes the ideas that made WordPress dominant -- extensibility, admin UX, a\u2026","rel":"","context":"In "Mood"","block_context":{"text":"Mood","link":"https:\/\/monodes.com\/predaelli\/category\/mood\/"},"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":7698,"position":4},"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":11388,"url":"https:\/\/monodes.com\/predaelli\/2024\/03\/01\/rocket-simple-fast-type-safe-web-framework-for-rust\/","url_meta":{"origin":7698,"position":5},"title":"Rocket – Simple, Fast, Type-Safe Web Framework for Rust","author":"Paolo Redaelli","date":"2024-03-01","format":"link","excerpt":"Rocket - Simple, Fast, Type-Safe Web Framework for Rust A web framework for Rust that makes it simple to write fast,type-safe, secure web applications with incredible usability, productivity and performance.","rel":"","context":"In "Rust"","block_context":{"text":"Rust","link":"https:\/\/monodes.com\/predaelli\/category\/rust\/"},"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\/7698","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=7698"}],"version-history":[{"count":0,"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/posts\/7698\/revisions"}],"wp:attachment":[{"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/media?parent=7698"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/categories?post=7698"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/tags?post=7698"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}