मैं सीखने के अनुभव के रूप में एक सरल रूप से टाइप की गई कार्यात्मक प्रोग्रामिंग भाषा डिजाइन कर रहा हूं।
ऐसा प्रतीत होता है कि मैंने जिस प्रकार की प्रणाली को अब तक लागू किया है (थोड़े अतिरिक्त काम के साथ) चौराहे और संघ प्रकारों को शामिल कर सकता है, जैसे आप कर सकते हैं:
<Union String Integer><Union Integer Foo>- ऊपर के दो प्रकार के चौराहे एक मैदान होगा
Integer - दो प्रकारों का मिलन होगा
<Union String Integer Foo>
तथ्य यह है कि यह संभव है, निश्चित रूप से जरूरी नहीं है कि यह एक अच्छा डिजाइन विचार है। विशेष रूप से, मैं कुछ हद तक अप्रभावित और / या ओवरलैप्स को संभालने की कार्यान्वयन कठिनाइयों के बारे में चिंतित हूं।
प्रकार प्रणाली में इस तरह की सुविधाओं को शामिल करने के पेशेवरों / विपक्ष क्या हैं?