19:27 08/02/29 ä¸åç¹ãµããã³ LtU 㧠"Data Types a la Carte" ãèªã¿ã¾ãããããã®éµã¨ãªãæã¯ãåã³ã³ã¹ãã©ã¯ã¿ã«å¯¾ããä¸åç¹æ¼ç®åãã ã¨æãã®ã ãã©ã ããããªãã§ä¿ºããèãããã¨ãªãã£ããã â¦ï¼ã¨ä¸æè°ã«æãããã楽ãããªã¢ã¤ãã¢ã§ãããã¦ãã // ä¸åç¹æ¼ç®å via ãã³ãã¬ã¼ããDã§ã // // Haskell ã§ãã"æ®éã®"ä¸åç¹é¢æ° fix f = f (fix f) ã¨åããããªãã® // = ã®ä»£ããã«ç¶æ¿ã«ãªã£ã¡ãã£ã¦ã¾ããã©ãã¾ãä¼¼ããããªãã®ã§ã class Fix!(alias F) : F!(Fix!(F)) {} ä¸åç¹æ¼ç®ã®å®è£ ã¯æ¬é¡ã§ã¯ãªãã®ã§ãYã³ã³ããã¼ã¿ã¿ãããªç¡é§ãªè¤éåã¯ããªãæ¹éã§ã ãã¦ãããã使ã£ã¦ class Pair(T) { T left; T right; } ï¼ååãåã®å¤ã®ãã¢ã
{{#tags}}- {{label}}
{{/tags}}