जसलिया

Question

में हास्केल के किसी भी प्रकार का एनालॉग बनाना, मैं जूलिया में हास्केल से Data.Either प्रकार का एनालॉग बनाना चाहता हूं। v0.5 में निम्न काम करता है:

immutable Either{T, S} 
    left :: Nullable{T} 
    right :: Nullable{S} 
end 

either{T, S}(::Type{T}, ::Type{S}, value::T) = Either(Nullable{T}(value), Nullable{S}()) 
either{T, S}(::Type{T}, ::Type{S}, value::S) = Either(Nullable{T}(), Nullable{S}(value)) 

a = either(Int64, String, 1) 
b = either(Int64, String, "a") 

println(a) 
println(b) 

मेरा प्रश्न है: यह संभव है निम्नलिखित निर्माण काम करने के लिए:

a = Either{Int64, String}(1) 
b = Either{Int64, String}("a") 

(इस तरह से एक अतिरिक्त निर्माता समारोह की आवश्यकता नहीं है)।

ऐसा लगता है कि वस्तु बनाने के लिए पर्याप्त जानकारी होनी चाहिए, लेकिन अब तक मैं संकलक को किसी भी प्रकार के संस्करणों को स्वीकार करने के लिए राजी नहीं कर सकता; जैसे

ERROR: LoadError: MethodError: no method matching Either{T,S}(::Nullable{Int64}, ::Nullable{String}) 

Answer 1

में लिखने

immutable Either{T, S} 
    left :: Nullable{T} 
    right :: Nullable{S} 

    Either(value::T) = Either(Nullable{T}(value), Nullable{S}()) 
    Either(value::S) = Either(Nullable{T}(), Nullable{S}(value)) 
end 

परिणाम ऐसा लगता है कि मैं भूल गया था कि डिफ़ॉल्ट निर्माता new साथ कहा जाता है। इस प्रकार काम करता है:

immutable Either{T, S} 
    left :: Nullable{T} 
    right :: Nullable{S} 

    Either(value::T) = new(Nullable{T}(value), Nullable{S}()) 
    Either(value::S) = new(Nullable{T}(), Nullable{S}(value)) 
end 

a = Either{Int64, String}(1) 
b = Either{Int64, String}("a") 

println(a) 
println(b) 

इसके अलावा, के बाद से डिफ़ॉल्ट निर्माता संपर्क में नहीं है, तो आप नहीं एक वस्तु को दो गैर-शून्य मान के साथ बना सकते हैं, तो अपरिवर्तनीय स्वचालित रूप से लागू की जाती है।