{"id":8077,"date":"2022-12-12T05:00:00","date_gmt":"2022-12-12T03:00:00","guid":{"rendered":"http:\/\/www.glc.us.es\/~jalonso\/exercitium\/?p=8077"},"modified":"2023-04-20T16:55:29","modified_gmt":"2023-04-20T14:55:29","slug":"12-dic-22a","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/12-dic-22a\/","title":{"rendered":"El tipo de las expresiones aritm\u00e9ticas"},"content":{"rendered":"<h3>1. El tipo de las expresiones aritm\u00e9ticas en Haskell<\/h3>\n<p>El tipo de las expresiones aritm\u00e9ticas formadas por<\/p>\n<ul>\n<li>literales (p.e. Lit 7),<\/li>\n<li>sumas (p.e. Suma (Lit 7) (Suma (Lit 3) (Lit 5)))<\/li>\n<li>opuestos (p.e. Op (Suma (Op (Lit 7)) (Suma (Lit 3) (Lit 5))))<\/li>\n<li>expresiones condicionales (p.e. (SiCero (Lit 3) (Lit 4) (Lit 5))<\/li>\n<\/ul>\n<p>se define como se muestra a continuaci\u00f3n.<\/p>\n<pre lang=\"haskell\">\ndata Expr = Lit Int\n          | Suma Expr Expr\n          | Op Expr\n          | SiCero Expr Expr Expr\n  deriving (Eq, Show)\n<\/pre>\n<h3>2. El tipo de las expresiones aritm\u00e9ticas en Python<\/h3>\n<p>El tipo de las expresiones aritm\u00e9ticas formadas por<\/p>\n<ul>\n<li>literales (p.e. Lit 7),<\/li>\n<li>sumas (p.e. Suma (Lit 7) (Suma (Lit 3) (Lit 5)))<\/li>\n<li>opuestos (p.e. Op (Suma (Op (Lit 7)) (Suma (Lit 3) (Lit 5))))<\/li>\n<li>expresiones condicionales (p.e. (SiCero (Lit 3) (Lit 4) (Lit 5))<\/li>\n<\/ul>\n<p>se define como se muestra a continuaci\u00f3n.<\/p>\n<pre lang=\"python\">\nfrom dataclasses import dataclass\n\n\n@dataclass\nclass Expr:\n    pass\n\n@dataclass\nclass Lit(Expr):\n    x: int\n\n@dataclass\nclass Suma(Expr):\n    x: Expr\n    y: Expr\n\n@dataclass\nclass Op(Expr):\n    x: Expr\n\n@dataclass\nclass SiCero(Expr):\n    x: Expr\n    y: Expr\n    z: Expr\n<\/pre>\n","protected":false},"excerpt":{"rendered":"<p>1. El tipo de las expresiones aritm\u00e9ticas en Haskell El tipo de las expresiones aritm\u00e9ticas formadas por literales (p.e. Lit 7), sumas (p.e. Suma (Lit 7) (Suma (Lit 3) (Lit 5))) opuestos (p.e. Op (Suma (Op (Lit 7)) (Suma (Lit 3) (Lit 5)))) expresiones condicionales (p.e. (SiCero (Lit 3) (Lit 4) (Lit 5)) se define&#8230;<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[581],"tags":[582],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/posts\/8077"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/comments?post=8077"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/posts\/8077\/revisions"}],"predecessor-version":[{"id":8078,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/posts\/8077\/revisions\/8078"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/media?parent=8077"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/categories?post=8077"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/tags?post=8077"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}