क्या हास्केल किसी फ़ंक्शन को डेटा सदस्य को मैप करने का तरीका प्रदान करता है?

Question

मैं एक हास्केल रूकी हूं और मुझे अक्सर अपने सदस्य में से किसी एक को फ़ंक्शन लागू करने के लिए पैटर्न मिलान के साथ डेटा को विघटित करना पड़ता है और फिर उसे फिर से इकट्ठा करना पड़ता है।

मेरे पास है कहते हैं:

data Car = Car { gas :: Int, licensePlate :: String } 

और मैं इसे अपने गैस को आधा करने के लिए जब यह ड्राइव, और यह फिर से ईधन देना चाहते हैं, तो मैं कर रहा हूँ:

mapGas:: (Int -> Int) -> Car -> Car 
mapGas f (Car aGas aLicensePlate) = Car (f aGas) aLicensePlate 

drive:: Car -> Car 
drive = mapGas (flip div 2) 

refuel:: Int -> Car -> Car 
refuel = mapGas . (+) 

सिर्फ करने के लिए एक रास्ता है कि सहायक फंक्शन mapGas को परिभाषित किए बिना? चूंकि यह कई क्षेत्रों के बने होने पर डेटा के प्रत्येक सदस्य के लिए नक्शा फ़ंक्शन लिखने के बजाय परेशान हो सकता है। मैं जानता हूँ कि यह accessors साथ सदस्यों में से एक के लिए एक मूल्य निर्दिष्ट करना संभव है:

runOutOfFuel:: Car -> Car 
runOutOfFuel aCar = aCar { gas = 0 } 

यह accessors भी साथ एक समारोह मैप करने के लिए संभव है? यदि हां, तो कैसे?

Answer 1

केवल कोर पुस्तकालयों का उपयोग करना? नहीं, लेकिन व्यापक रूप से lens पैकेज के साथ, हां। आप आसानी से// सेट प्राप्त कर सकते हैं जो फ़ील्ड डेटा संरचनाओं में नेस्ट कर रहे हैं, संशोधित करने,

{-# LANGUAGE TemplateHaskell #-} 

import Control.Lens.TH 
import Control.Lens 

data Car = Car { _gas :: Int, _licensePlate :: String } 

makeLenses ''Car 

अब: यहाँ है कि आपके मामले में ऐसा दिखाई देता है।

runOutOfFuel:: Car -> Car 
runOutOfFuel = gas .~ 0 

drive:: Car -> Car 
drive = gas %~ (`div` 2) 

refuel:: Int -> Car -> Car 
refuel c = gas +~ c 

जादू है कि यहाँ makeLenses ''Car को gas और licensePlate कार्यों है कि इसी तरह (लेकिन अधिक शक्तिशाली) कर रहे हैं उत्पन्न करता है अपने mapGas (mapGas = (gas %~) वास्तव में,)। lens के साथ शुरू करना बहुत कठिन है, लेकिन मैं केवल examples अनुभाग पढ़ने की अनुशंसा करता हूं।

Answer 2

कोई भाषा सुविधा है जो यह करता है, लेकिन, हास्केल में कई चीजों के साथ, मूल भाषा पर्याप्त शक्तिशाली है कि इसे सरल और सुरुचिपूर्ण तरीके से कार्यान्वित किया जा सकता है।

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

लेंस के लिए एक परिचय है जो मुझे here पसंद है। उदाहरणों का उपयोग करने के लिए, आपको lens पैकेज की आवश्यकता होगी। (Or this one if you're using Stack)