ઉકેલાયેલ: યાદીના વડા

મુખ્ય પૃષ્ઠ » હાસ્કેલ » ઉકેલાયેલ: યાદીના વડા

હાસ્કેલ એ ઉચ્ચ-સ્તરની, સંપૂર્ણ કાર્યાત્મક પ્રોગ્રામિંગ ભાષા છે જે તેની સરળતા અને સુઘડતા માટે જાણીતી છે.. તેની સ્ટાન્ડર્ડ લાઇબ્રેરી લિસ્ટ સહિત ફંક્શન્સ અને ડેટા પ્રકારોનો સમૃદ્ધ વર્ગીકરણ પ્રદાન કરે છે, જે હાસ્કેલમાં ઘણા પ્રોગ્રામિંગ કાર્યો માટે મૂળભૂત છે. હાસ્કેલ પ્રોગ્રામિંગમાં સામાન્ય રીતે આવતી એક સમસ્યામાં સૂચિના હેડને ઍક્સેસ કરવાનો સમાવેશ થાય છે, એટલે કે, સૂચિમાં પ્રથમ તત્વ. જો યોગ્ય રીતે નિયંત્રિત ન કરવામાં આવે તો આ દેખીતી રીતે સીધી કામગીરી રનટાઇમ ભૂલો તરફ દોરી શકે છે. આ વ્યાપક માર્ગદર્શિકામાં, અમે સૂચિના હેડ સુધી પહોંચવાની સમસ્યાનો અભ્યાસ કરીશું, અસરકારક ઉકેલનું વર્ણન કરીશું અને તમને સંબંધિત કોડ દ્વારા પગલું-દર-પગલાં લઈશું.

અમે જે સમસ્યાને હલ કરવા માંગીએ છીએ તે એ છે કે હાસ્કેલમાં સૂચિના વડાને સુરક્ષિત રીતે કેવી રીતે મેળવવું. આ સમસ્યા ઊભી થાય છે કારણ કે હાસ્કેલનું માનક હેડ ફંક્શન આંશિક છે, જેનો અર્થ છે કે તે દરેક સંભવિત ઇનપુટ માટે વ્યાખ્યાયિત નથી. ખાસ કરીને, તે ખાલી યાદીઓ પર નિષ્ફળ જાય છે. અમારો ધ્યેય એક કાર્ય બનાવવાનું છે જે સંપૂર્ણ છે, એટલે કે તે ખાલી સૂચિઓ સહિત દરેક સંભવિત ઇનપુટને હેન્ડલ કરે છે.

safeHead :: [a] -> Maybe a
safeHead []     = Nothing
safeHead (x:xs) = Just x

જો સૂચિ ખાલી હોય તો આ સેફહેડ ફંક્શન કંઈ નહીં, અને જો સૂચિ ખાલી ન હોય તો ફક્ત x (x પ્રથમ આઇટમ હોવા સાથે) પરત કરશે. અહીં, કદાચ a એ એક પ્રકાર છે જે વૈકલ્પિક મૂલ્યનું પ્રતિનિધિત્વ કરે છે: દરેક કદાચ મૂલ્ય કાં તો કંઈ નથી અથવા ફક્ત પ્રકાર a નું મૂલ્ય ધરાવે છે.

કોડને સમજવું: સ્ટેપ-બાય-સ્ટેપ

અમે હાસ્કેલ અને કાર્યાત્મક પ્રોગ્રામિંગના મૂળભૂત સિદ્ધાંતોને અનુસરીને તમામ સંભવિત ઇનપુટ્સને હેન્ડલ કરવા માટે અમારું ફંક્શન સેફહેડ ડિઝાઇન કર્યું છે: બધી શક્યતાઓને સ્પષ્ટપણે હેન્ડલ કરવી, આડઅસરો ટાળવી અને કોડ વાંચવાની ક્ષમતાને મહત્તમ કરવી.

સૌપ્રથમ, આપણે ફંક્શનની ટાઈપ સિગ્નેચર, સેફહેડ :: [a] -> કદાચ a જાહેર કરીએ છીએ. આનો અર્થ એ છે કે ફંક્શન કોઈપણ પ્રકાર ([a]) ની સૂચિ લે છે અને કદાચ પ્રકાર પરત કરે છે. હાસ્કેલની મજબૂત ટાઇપ સિસ્ટમને ધ્યાનમાં રાખવી મહત્વપૂર્ણ છે, જ્યાં હાસ્કેલમાં દરેક અભિવ્યક્તિનો એક પ્રકાર હોય છે જે કમ્પાઇલ સમયે નક્કી થાય છે.

અમારા કાર્યનું અમલીકરણ પેટર્ન મેચિંગનો ઉપયોગ કરીને કરવામાં આવે છે, જે હાસ્કેલનું મુખ્ય લક્ષણ છે.

safeHead []     = Nothing
safeHead (x:xs) = Just x

અહીં, '[]' ખાલી સૂચિ સાથે મેળ ખાય છે, તેથી અમે કંઈ પરત કરીએ છીએ. '(x:xs)' હેડ 'x' અને પૂંછડી 'xs' સાથે બિન-ખાલી સૂચિ સાથે મેળ ખાય છે અને અમે 'માત્ર x' પરત કરીએ છીએ.

લાઇબ્રેરી સપોર્ટ અને અન્ય કાર્યો

મેબે ટાઈપ એ હાસ્કેલની સ્ટાન્ડર્ડ લાઈબ્રેરીનો એક ભાગ છે અને પ્રોગ્રામરોને અવ્યાખ્યાયિત મૂલ્યો સાથે વ્યવહાર કરવાની અથવા અમારા જેવા કેસો હેન્ડલ કરવાની મંજૂરી આપે છે જ્યાં ફંક્શનમાં તમામ સંભવિત ઇનપુટ્સ માટે સારી રીતે વ્યાખ્યાયિત વળતર મૂલ્ય ન હોઈ શકે. દરમિયાન, વધારાની સૂચિ પ્રક્રિયા કામગીરીને સુરક્ષિત રીતે હેન્ડલ કરવા માટે સેફહેડ ફંક્શન કુદરતી રીતે વિસ્તૃત કરી શકાય છે.

ઉદાહરણ તરીકે, સેફટેઇલ ફંક્શનને નીચે પ્રમાણે વ્યાખ્યાયિત કરી શકાય છે:

safeTail :: [a] -> Maybe [a]
safeTail []     = Nothing
safeTail (x:xs) = Just xs

અમારા સેફહેડ ફંક્શનની જેમ, સેફટેલ ખાલી સૂચિ માટે કંઈ નહીં અને અન્યથા ફક્ત xs (સૂચિ બાદ તેના પ્રથમ ઘટક) પરત કરશે. હાસ્કેલમાં સલામત સૂચિ ઍક્સેસના ખ્યાલને આવરી લીધા પછી, ચાલો ગિયર બદલીએ અને ફેશનના ક્ષેત્રમાં જઈએ જ્યાં પસંદગીઓ અને સંયોજનો કાર્યાત્મક પ્રોગ્રામિંગની જેમ જ જટિલ અને સમૃદ્ધ હોઈ શકે છે.