ZuriHac: ഫങ്ഷണൽ പ്രോഗ്രാമിംഗ് പരിശീലിക്കുന്നു

ഈ വർഷം ജൂണിൽ, റാപ്പർസ്വിൽ എന്ന ചെറിയ സ്വിസ് പട്ടണത്തിൽ, ഒരു പരിപാടി വിളിച്ചു സൂരിഹാക്ക്. തുടക്കക്കാർ മുതൽ ഭാഷയുടെ സ്ഥാപകർ വരെയുള്ള അഞ്ഞൂറിലധികം ഹാസ്‌കെൽ പ്രേമികളെ ഇത്തവണ ഒരുമിച്ച് കൊണ്ടുവന്നു. സംഘാടകർ ഈ പരിപാടിയെ ഹാക്കത്തോൺ എന്ന് വിളിക്കുന്നുണ്ടെങ്കിലും, ഇത് ഒരു സമ്മേളനമോ ഹാക്കത്തോണോ അല്ല, ക്ലാസിക്കൽ അർത്ഥത്തിൽ. ഇതിൻ്റെ ഫോർമാറ്റ് പരമ്പരാഗത പ്രോഗ്രാമർമാരിൽ നിന്ന് വ്യത്യസ്തമാണ്. ഞങ്ങൾ സുരിഹാക്കിനെക്കുറിച്ച് ഭാഗ്യം കൊണ്ട് പഠിച്ചു, അതിൽ പങ്കെടുത്തു, ഇപ്പോൾ അസാധാരണമായ കണ്ടെത്തലിനെക്കുറിച്ച് പറയേണ്ടത് ഞങ്ങളുടെ കടമയാണെന്ന് ഞങ്ങൾ കരുതുന്നു!

ഞങ്ങളെ കുറിച്ച്

നാഷണൽ റിസർച്ച് യൂണിവേഴ്സിറ്റി ഹയർ സ്കൂൾ ഓഫ് ഇക്കണോമിക്സിലെ "അപ്ലൈഡ് മാത്തമാറ്റിക്സ് ആൻഡ് ഇൻഫോർമാറ്റിക്സ്" പ്രോഗ്രാമിലെ മൂന്നാം വർഷ വിദ്യാർത്ഥികളാണ് ഈ ലേഖനം തയ്യാറാക്കിയത് - സെൻ്റ് പീറ്റേഴ്സ്ബർഗിൽ: വാസിലി ആൽഫെറോവ്, എലിസവേറ്റ വാസിലെങ്കോ. ഞങ്ങൾ രണ്ടുപേർക്കും ഫംഗ്ഷണൽ പ്രോഗ്രാമിംഗിനായുള്ള അഭിനിവേശം ആരംഭിച്ചത് യൂണിവേഴ്സിറ്റിയുടെ രണ്ടാം വർഷത്തിൽ D. N. Moskvin നടത്തിയ പ്രഭാഷണ പരമ്പരകളിൽ നിന്നാണ്. വാസിലി നിലവിൽ ഗൂഗിൾ സമ്മർ ഓഫ് കോഡ് പ്രോഗ്രാമിൽ പങ്കെടുക്കുന്നു, അതിനുള്ളിൽ പ്രോജക്റ്റ് ടീമിൻ്റെ മാർഗനിർദേശപ്രകാരം അദ്ദേഹം ഹാസ്കെലിൽ ബീജഗണിത ഗ്രാഫുകൾ നടപ്പിലാക്കുന്നു. അൽഗാ. എലിസവേറ്റ നേടിയ ഫംഗ്ഷണൽ പ്രോഗ്രാമിംഗ് കഴിവുകൾ കോഴ്‌സ് വർക്കിൽ പ്രയോഗിച്ചു, ആൻ്റി-യൂണിഫിക്കേഷൻ അൽഗോരിതം നടപ്പിലാക്കുന്നതിനായി ടൈപ്പ് തിയറിയിൽ തുടർന്നുള്ള പ്രയോഗം.

ഇവൻ്റ് ഫോർമാറ്റ്

ഓപ്പൺ സോഴ്‌സ് പ്രോജക്‌റ്റുകളുടെ ഉടമകൾ, അവരുടെ വികസനത്തിൽ പങ്കെടുക്കാൻ ആഗ്രഹിക്കുന്ന പ്രോഗ്രാമർമാർ, ഫങ്ഷണൽ പ്രോഗ്രാമിംഗ് ഗവേഷകർ, ഹാസ്‌കെല്ലിനോട് താൽപ്പര്യമുള്ള ആളുകൾ എന്നിവരാണ് ടാർഗെറ്റ് പ്രേക്ഷകർ. ഈ വർഷം, ലോകമെമ്പാടുമുള്ള അമ്പതിലധികം ഓപ്പൺ സോഴ്‌സ് ഹാസ്‌കെൽ പ്രോജക്‌റ്റുകളിൽ നിന്നുള്ള ഡെവലപ്പർമാർ അവരുടെ ഉൽപ്പന്നങ്ങളെക്കുറിച്ച് സംസാരിക്കാനും പുതിയ ആളുകളെ അവരുടെ വികസനത്തിൽ താൽപ്പര്യം പ്രകടിപ്പിക്കാനും വേദിയിൽ - HSR Hochschule für Technik Rapperswil - ഒത്തുകൂടി.

ട്വിറ്ററിൽ നിന്നുള്ള ഫോട്ടോ സൂരിഹാക്ക്

സ്കീം വളരെ ലളിതമാണ്: നിങ്ങളുടെ പ്രോജക്റ്റിനെക്കുറിച്ച് കുറച്ച് നിർദ്ദേശങ്ങൾ നിങ്ങൾ മുൻകൂട്ടി എഴുതി സംഘാടകർക്ക് അയയ്ക്കേണ്ടതുണ്ട്, അവർ നിങ്ങളുടെ പ്രോജക്റ്റിനെക്കുറിച്ചുള്ള വിവരങ്ങൾ ഇവൻ്റ് പേജിൽ പോസ്റ്റുചെയ്യും. കൂടാതെ, ആദ്യ ദിവസം, പ്രോജക്റ്റുകളുടെ രചയിതാക്കൾക്ക് അവർ എന്താണ് ചെയ്യുന്നതെന്നും എന്താണ് ചെയ്യേണ്ടതെന്നും സ്റ്റേജിൽ നിന്ന് വളരെ ഹ്രസ്വമായി പറയാൻ മുപ്പത് സെക്കൻഡ് സമയമുണ്ട്. തുടർന്ന് താൽപ്പര്യമുള്ള ആളുകൾ രചയിതാക്കളെ തിരയുകയും ചുമതലകളെക്കുറിച്ച് വിശദമായി ചോദിക്കുകയും ചെയ്യുന്നു.

ഞങ്ങൾക്ക് ഇതുവരെ ഞങ്ങളുടെ സ്വന്തം ഓപ്പൺ പ്രോജക്റ്റുകൾ ഇല്ല, എന്നാൽ നിലവിലുള്ളവയിലേക്ക് സംഭാവന നൽകാൻ ഞങ്ങൾ ആഗ്രഹിക്കുന്നു, അതിനാൽ ഞങ്ങൾ സ്ഥിരമായി പങ്കെടുക്കുന്നവരായി രജിസ്റ്റർ ചെയ്തു. മൂന്ന് ദിവസങ്ങളിലായി ഞങ്ങൾ രണ്ട് ഗ്രൂപ്പുകളുടെ ഡെവലപ്പർമാരുമായി ചേർന്ന് പ്രവർത്തിച്ചു. കോഡിൻ്റെയും ലൈവ് കമ്മ്യൂണിക്കേഷൻ്റെയും സംയുക്ത പഠനം പ്രോജക്റ്റ് രചയിതാക്കളും സംഭാവകരും തമ്മിലുള്ള ആശയവിനിമയം വളരെ ഉൽപ്പാദനക്ഷമമാക്കുന്നു - ZuriHac-ൽ ഞങ്ങൾക്ക് പുതിയ മേഖലകൾ മനസിലാക്കാനും രണ്ട് വ്യത്യസ്ത ടീമുകളെ സഹായിക്കാനും കഴിഞ്ഞു, ഓരോന്നിലും ഓരോ ജോലി പൂർത്തിയാക്കി. പദ്ധതികളുടെ.

മൂല്യവത്തായ പരിശീലനത്തിന് പുറമേ, സുരിഹാക്കിൽ നിരവധി പ്രഭാഷണങ്ങളും മാസ്റ്റർ ക്ലാസുകളും നൽകി. രണ്ട് പ്രഭാഷണങ്ങൾ ഞങ്ങൾ പ്രത്യേകം ഓർക്കുന്നു. അവയിൽ ആദ്യത്തേത്, ന്യൂകാസിൽ സർവകലാശാലയിൽ നിന്നുള്ള ആൻഡ്രി മൊഖോവ് സെലക്ടീവ് ആപ്ലിക്കേറ്റീവ് ഫംഗ്ഷനുകളെക്കുറിച്ച് സംസാരിച്ചു - ആപ്ലിക്കേറ്റീവ് ഫംഗ്‌ഷനുകൾക്കും മൊണാഡുകൾക്കുമിടയിൽ ഇൻ്റർമീഡിയറ്റായി മാറേണ്ട ഒരു തരം തരം. മറ്റൊരു പ്രഭാഷണത്തിൽ, ഹാസ്കലിൻ്റെ സ്ഥാപകരിലൊരാളായ സൈമൺ പെയ്റ്റൺ ജോൺസ്, GHC കമ്പൈലറിൽ ടൈപ്പ് അനുമാനം എങ്ങനെ പ്രവർത്തിക്കുന്നു എന്നതിനെക്കുറിച്ച് സംസാരിച്ചു.

സൈമൺ പെയ്റ്റൺ ജോൺസിൻ്റെ പ്രഭാഷണം. ട്വിറ്ററിൽ നിന്നുള്ള ഫോട്ടോ സൂരിഹാക്ക്

ഹാക്കത്തണിൽ നടന്ന മാസ്റ്റർ ക്ലാസുകൾ പങ്കെടുക്കുന്നവരുടെ പരിശീലന നിലവാരമനുസരിച്ച് മൂന്ന് വിഭാഗങ്ങളായി തിരിച്ചിട്ടുണ്ട്. പ്രോജക്ടുകളുടെ വികസനത്തിൽ പങ്കാളികളായവർക്ക് വാഗ്ദാനം ചെയ്യുന്ന ചുമതലകളും ബുദ്ധിമുട്ടുള്ള ഒരു തലത്തിൽ അടയാളപ്പെടുത്തി. പ്രവർത്തനക്ഷമമായ പ്രോഗ്രാമർമാരുടെ ചെറുതും എന്നാൽ സൗഹാർദ്ദപരവുമായ കമ്മ്യൂണിറ്റി അതിൻ്റെ റാങ്കിലേക്ക് പുതുമുഖങ്ങളെ സന്തോഷത്തോടെ സ്വാഗതം ചെയ്യുന്നു. ആന്ദ്രേ മൊഖോവിൻ്റെയും സൈമൺ പെയ്റ്റൺ ജോൺസിൻ്റെയും പ്രഭാഷണങ്ങൾ മനസ്സിലാക്കാൻ, സർവകലാശാലയിൽ ഞങ്ങൾ എടുത്ത ഫങ്ഷണൽ പ്രോഗ്രാമിംഗ് കോഴ്‌സ് വളരെ ഉപയോഗപ്രദമായിരുന്നു.

സ്ഥിരമായി പങ്കെടുക്കുന്നവർക്കും പ്രോജക്ട് രചയിതാക്കൾക്കും ഇവൻ്റിനുള്ള രജിസ്ട്രേഷൻ സൗജന്യമാണ്. ജൂൺ ആദ്യം ഞങ്ങൾ പങ്കാളിത്തത്തിനായി അപേക്ഷകൾ സമർപ്പിച്ചു, അതിനുശേഷം വെയ്റ്റിംഗ് ലിസ്റ്റിൽ നിന്ന് സ്ഥിരീകരിച്ച പങ്കാളികളുടെ ലിസ്റ്റിലേക്ക് ഞങ്ങളെ വേഗത്തിൽ മാറ്റി.

ഞങ്ങൾ പങ്കെടുത്ത വികസനത്തിലെ പദ്ധതികളെക്കുറിച്ച് ഇപ്പോൾ നമ്മൾ സംസാരിക്കും.

പണ്ടോക്

പണ്ടോക് ടെക്സ്റ്റ് ഡോക്യുമെൻ്റുകളുടെ ഒരു സാർവത്രിക കൺവെർട്ടർ ആണ്, വാസ്തവത്തിൽ, ഏത് ഫോർമാറ്റിൽ നിന്നും ഏത് ഫോർമാറ്റിലേക്കും. ഉദാഹരണത്തിന്, docx-ൽ നിന്ന് pdf-ലേക്ക്, അല്ലെങ്കിൽ Markdown-ൽ നിന്ന് MediaWiki-യിലേക്ക്. അതിൻ്റെ രചയിതാവ്, ജോൺ മക്ഫാർലെയ്ൻ, ബെർക്ക്‌ലിയിലെ കാലിഫോർണിയ സർവകലാശാലയിലെ തത്വശാസ്ത്ര പ്രൊഫസറാണ്. പൊതുവേ, പാൻഡോക്ക് വളരെ പ്രശസ്തമാണ്, കൂടാതെ പാൻഡോക്ക് ഹാസ്കെലിൽ എഴുതിയതാണെന്ന് അറിഞ്ഞപ്പോൾ ഞങ്ങളുടെ ചില സുഹൃത്തുക്കൾ ആശ്ചര്യപ്പെട്ടു.

Pandoc പിന്തുണയ്ക്കുന്ന ഡോക്യുമെൻ്റ് ഫോർമാറ്റുകളുടെ ലിസ്റ്റ്. സൈറ്റിൽ ഒരു മുഴുവൻ ഗ്രാഫും ഉണ്ട്, എന്നാൽ ഈ ചിത്രം ലേഖനത്തിന് അനുയോജ്യമല്ല.

തീർച്ചയായും, ഓരോ ജോഡി ഫോർമാറ്റുകൾക്കും നേരിട്ടുള്ള പരിവർത്തനം Pandoc നടപ്പിലാക്കുന്നില്ല. അത്തരം വൈവിധ്യമാർന്ന പരിവർത്തനങ്ങളെ പിന്തുണയ്ക്കുന്നതിന്, ഒരു സാധാരണ വാസ്തുവിദ്യാ പരിഹാരം ഉപയോഗിക്കുന്നു: ആദ്യം, മുഴുവൻ പ്രമാണവും ഒരു പ്രത്യേക ആന്തരിക ഇൻ്റർമീഡിയറ്റ് പ്രാതിനിധ്യത്തിലേക്ക് വിവർത്തനം ചെയ്യപ്പെടുന്നു, തുടർന്ന് ഈ ആന്തരിക പ്രാതിനിധ്യത്തിൽ നിന്ന് മറ്റൊരു ഫോർമാറ്റിലുള്ള ഒരു പ്രമാണം സൃഷ്ടിക്കപ്പെടുന്നു. ഡെവലപ്പർമാർ ആന്തരിക പ്രാതിനിധ്യത്തെ "AST" എന്ന് വിളിക്കുന്നു, അത് അബ്‌സ്‌ട്രാക്റ്റ് സിൻ്റാക്സ് ട്രീയെ സൂചിപ്പിക്കുന്നു, അല്ലെങ്കിൽ അമൂർത്തമായ വാക്യഘടന. നിങ്ങൾക്ക് ഇൻ്റർമീഡിയറ്റ് പ്രാതിനിധ്യം വളരെ ലളിതമായി കാണാൻ കഴിയും: നിങ്ങൾ ചെയ്യേണ്ടത് ഔട്ട്പുട്ട് ഫോർമാറ്റ് "നേറ്റീവ്" ആയി സജ്ജമാക്കുക എന്നതാണ്.

$ cat example.html
<h1>Hello, World!</h1>

$ pandoc -f html -t native example.html
[Header 1 ("hello-world",[],[]) [Str "Hello,",Space,Str "World!"]]

ഹാസ്കെലിനൊപ്പം അൽപമെങ്കിലും പ്രവർത്തിച്ചിട്ടുള്ള വായനക്കാർക്ക് ഈ ചെറിയ ഉദാഹരണത്തിൽ നിന്ന് പണ്ടോക്ക് ഹാസ്കെലിൽ എഴുതിയിട്ടുണ്ടെന്ന് ഊഹിക്കാൻ കഴിയും: ഈ കമാൻഡിൻ്റെ ഔട്ട്പുട്ട് പാണ്ടോക്കിൻ്റെ ആന്തരിക ഘടനകളുടെ ഒരു സ്ട്രിംഗ് പ്രാതിനിധ്യമാണ്, ഇത് സാധാരണയായി എങ്ങനെ ചെയ്യപ്പെടുന്നു എന്നതിന് സമാനമാണ്. ഉദാഹരണത്തിന്, ഹാസ്കെലിൽ, സാധാരണ ലൈബ്രറിയിൽ.

അതിനാൽ, ആന്തരിക പ്രാതിനിധ്യം ഒരു ആവർത്തന ഘടനയാണെന്ന് ഇവിടെ നിങ്ങൾക്ക് കാണാൻ കഴിയും, ഓരോ ആന്തരിക നോഡിലും ഒരു ലിസ്റ്റ് ഉണ്ട്. ഉദാഹരണത്തിന്, മുകളിലെ തലത്തിൽ ഒരു ഘടകത്തിൻ്റെ ഒരു ലിസ്റ്റ് ഉണ്ട് - "ഹലോ-വേൾഡ്",[],[] ആട്രിബ്യൂട്ടുകളുള്ള ആദ്യ ലെവൽ ഹെഡർ. ഈ ഹെഡറിനുള്ളിൽ "ഹലോ" എന്ന സ്‌ട്രിംഗിൻ്റെ ഒരു ലിസ്‌റ്റ് മറച്ചിരിക്കുന്നു, തുടർന്ന് ഒരു സ്‌പെയ്‌സും "വേൾഡ്!" എന്ന സ്ട്രിംഗും ഉണ്ട്.

നിങ്ങൾക്ക് കാണാനാകുന്നതുപോലെ, ആന്തരിക പ്രാതിനിധ്യം HTML-ൽ നിന്ന് വളരെ വ്യത്യസ്തമല്ല. ഓരോ ആന്തരിക നോഡും അതിൻ്റെ പിൻഗാമികളുടെ ഫോർമാറ്റിംഗിനെക്കുറിച്ചുള്ള ചില വിവരങ്ങൾ നൽകുന്ന ഒരു വൃക്ഷമാണിത്, കൂടാതെ ഇലകളിൽ പ്രമാണത്തിൻ്റെ യഥാർത്ഥ ഉള്ളടക്കം അടങ്ങിയിരിക്കുന്നു.

ഞങ്ങൾ നടപ്പിലാക്കൽ തലത്തിലേക്ക് പോകുകയാണെങ്കിൽ, മുഴുവൻ ഡോക്യുമെൻ്റിനുമുള്ള ഡാറ്റ തരം ഇതുപോലെ നിർവചിച്ചിരിക്കുന്നു:

data Pandoc = Pandoc Meta [Block]

ഇവിടെ ബ്ലോക്ക് എന്നത് മുകളിൽ സൂചിപ്പിച്ച ആന്തരിക ശീർഷകങ്ങളാണ്, ശീർഷകം, സൃഷ്‌ടിച്ച തീയതി, രചയിതാക്കൾ തുടങ്ങിയ പ്രമാണത്തെക്കുറിച്ചുള്ള മെറ്റൈൻഫോർമേഷനാണ് മെറ്റ - ഇത് വ്യത്യസ്ത ഫോർമാറ്റുകൾക്ക് വ്യത്യസ്തമാണ്, കൂടാതെ ഫോർമാറ്റിൽ നിന്ന് വിവർത്തനം ചെയ്യുമ്പോൾ അത്തരം വിവരങ്ങൾ സംരക്ഷിക്കാൻ Pandoc ശ്രമിക്കുന്നു. ഫോർമാറ്റ്.

ബ്ലോക്ക് തരത്തിൻ്റെ മിക്കവാറും എല്ലാ കൺസ്ട്രക്റ്ററുകളും - ഉദാഹരണത്തിന്, ഹെഡർ അല്ലെങ്കിൽ പാരാ (ഖണ്ഡിക) - ആട്രിബ്യൂട്ടുകളും ലോവർ ലെവൽ വെർട്ടിസുകളുടെ ഒരു ലിസ്റ്റും ആർഗ്യുമെൻ്റുകളായി എടുക്കുക - ഇൻലൈൻ, ചട്ടം പോലെ. ഉദാഹരണത്തിന്, Space അല്ലെങ്കിൽ Str എന്നത് ഇൻലൈൻ തരത്തിൻ്റെ കൺസ്ട്രക്റ്ററുകളാണ്, കൂടാതെ HTML ടാഗും അതിൻ്റേതായ പ്രത്യേക ഇൻലൈനായി മാറുന്നു. ഈ തരങ്ങളുടെ പൂർണ്ണമായ നിർവചനം നൽകുന്നതിൽ ഞങ്ങൾ ഒരു അർത്ഥവും കാണുന്നില്ല, എന്നാൽ അത് ഇവിടെ കണ്ടെത്താനാകുമെന്ന കാര്യം ശ്രദ്ധിക്കുക ഇവിടെ.

രസകരമെന്നു പറയട്ടെ, പാൻഡോക് തരം ഒരു മോണോയ്ഡാണ്. ഇതിനർത്ഥം ചില ശൂന്യമായ പ്രമാണങ്ങൾ ഉണ്ടെന്നും പ്രമാണങ്ങൾ ഒരുമിച്ച് അടുക്കിവെക്കാമെന്നുമാണ്. റീഡറുകൾ എഴുതുമ്പോൾ ഇത് ഉപയോഗിക്കാൻ സൗകര്യപ്രദമാണ് - നിങ്ങൾക്ക് അനിയന്ത്രിതമായ ലോജിക് ഉപയോഗിച്ച് ഒരു പ്രമാണത്തെ ഭാഗങ്ങളായി വിഭജിക്കാം, ഓരോന്നും പ്രത്യേകം പാഴ്സ് ചെയ്യുക, തുടർന്ന് എല്ലാം ഒരുമിച്ച് ഒരു ഡോക്യുമെൻ്റിൽ ഉൾപ്പെടുത്തുക. ഈ സാഹചര്യത്തിൽ, പ്രമാണത്തിൻ്റെ എല്ലാ ഭാഗങ്ങളിൽ നിന്നും ഒരേസമയം മെറ്റൈൻഫർമേഷൻ ശേഖരിക്കും.

LaTeX-ൽ നിന്ന് HTML-ലേക്ക് പരിവർത്തനം ചെയ്യുമ്പോൾ, പറയുക, ആദ്യം LaTeXReader എന്ന പ്രത്യേക മൊഡ്യൂൾ ഇൻപുട്ട് ഡോക്യുമെൻ്റിനെ AST ആയി പരിവർത്തനം ചെയ്യുന്നു, തുടർന്ന് HTMLWriter എന്ന മറ്റൊരു മൊഡ്യൂൾ AST-യെ HTML ആയി പരിവർത്തനം ചെയ്യുന്നു. ഈ വാസ്തുവിദ്യയ്ക്ക് നന്ദി, ഒരു ക്വാഡ്രാറ്റിക് നമ്പർ പരിവർത്തനങ്ങൾ എഴുതേണ്ട ആവശ്യമില്ല - ഓരോ പുതിയ ഫോർമാറ്റിനും റീഡറും റൈറ്ററും എഴുതാൻ ഇത് മതിയാകും, കൂടാതെ സാധ്യമായ എല്ലാ ജോഡി പരിവർത്തനങ്ങളും യാന്ത്രികമായി പിന്തുണയ്ക്കും.

സോഫ്‌റ്റ്‌വെയർ ആർക്കിടെക്‌ചർ മേഖലയിലെ വിദഗ്ധർ വളരെക്കാലമായി പ്രവചിച്ച അത്തരം ഒരു വാസ്തുവിദ്യയ്ക്കും അതിൻ്റെ പോരായ്മകളുണ്ടെന്ന് വ്യക്തമാണ്. സിൻ്റാക്സ് ട്രീയിൽ മാറ്റങ്ങൾ വരുത്തുന്നതിനുള്ള ചെലവാണ് ഏറ്റവും പ്രധാനം. മാറ്റം വേണ്ടത്ര ഗൗരവമുള്ളതാണെങ്കിൽ, എല്ലാ വായനക്കാരിലും എഴുത്തുകാരിലും നിങ്ങൾ കോഡ് മാറ്റേണ്ടിവരും. ഉദാഹരണത്തിന്, Pandoc ഡവലപ്പർമാർ നേരിടുന്ന വെല്ലുവിളികളിലൊന്ന് സങ്കീർണ്ണമായ പട്ടിക ഫോർമാറ്റുകളെ പിന്തുണയ്ക്കുന്നു. ഓരോ സെല്ലിലും ഒരു തലക്കെട്ടും കോളങ്ങളും മൂല്യവും ഉള്ള വളരെ ലളിതമായ പട്ടികകൾ മാത്രമേ ഇപ്പോൾ Pandoc സൃഷ്ടിക്കാൻ കഴിയൂ. ഉദാഹരണത്തിന്, HTML-ലെ കോൾസ്പാൻ ആട്രിബ്യൂട്ട് അവഗണിക്കപ്പെടും. എല്ലാ അല്ലെങ്കിൽ കുറഞ്ഞത് നിരവധി ഫോർമാറ്റുകളിലും പട്ടികകളെ പ്രതിനിധീകരിക്കുന്നതിനുള്ള ഒരു ഏകീകൃത സ്കീമിൻ്റെ അഭാവമാണ് ഈ സ്വഭാവത്തിൻ്റെ ഒരു കാരണം - അതനുസരിച്ച്, ആന്തരിക പ്രാതിനിധ്യത്തിൽ പട്ടികകൾ ഏത് രൂപത്തിലാണ് സൂക്ഷിക്കേണ്ടതെന്ന് വ്യക്തമല്ല. എന്നാൽ ഒരു നിർദ്ദിഷ്‌ട കാഴ്‌ച തിരഞ്ഞെടുത്തതിനുശേഷവും, ടേബിളുകൾക്കൊപ്പം പ്രവർത്തിക്കാൻ പിന്തുണയ്‌ക്കുന്ന എല്ലാ വായനക്കാരെയും എഴുത്തുകാരെയും നിങ്ങൾ മാറ്റേണ്ടതുണ്ട്.

ഹാസ്‌കെൽ ഭാഷ തിരഞ്ഞെടുത്തത് രചയിതാക്കളുടെ പ്രവർത്തനപരമായ പ്രോഗ്രാമിംഗോടുള്ള വലിയ സ്നേഹം മാത്രമല്ല. ഹാസ്കെൽ അതിൻ്റെ വിപുലമായ ടെക്സ്റ്റ് പ്രോസസ്സിംഗ് കഴിവുകൾക്ക് പേരുകേട്ടതാണ്. ഒരു ഉദാഹരണം ലൈബ്രറിയാണ് പാർസെക് അനിയന്ത്രിതമായ പാഴ്‌സറുകൾ എഴുതാൻ ഫങ്ഷണൽ പ്രോഗ്രാമിംഗ് ആശയങ്ങൾ സജീവമായി ഉപയോഗിക്കുന്ന ഒരു ലൈബ്രറിയാണ് - മോണോയിഡുകൾ, മൊണാഡുകൾ, ആപ്ലിക്കേറ്റീവ്, ബദൽ ഫംഗ്‌ടറുകൾ. പാർസെക്കിൻ്റെ മുഴുവൻ ശക്തിയും ഇതിൽ കാണാം ഉദാഹരണം HaskellWiki-യിൽ നിന്ന്, ഒരു ലളിതമായ നിർബന്ധിത പ്രോഗ്രാമിംഗ് ഭാഷയുടെ പൂർണ്ണമായ പാഴ്‌സർ പാഴ്‌സ് ചെയ്യപ്പെടുന്നു. തീർച്ചയായും, പാണ്ടോക്കിലും പാർസെക് സജീവമായി ഉപയോഗിക്കുന്നു.

സംക്ഷിപ്തമായി വിവരിച്ചാൽ, ഒരു കാര്യം ആദ്യം വരുമ്പോൾ, മറ്റൊന്ന് വരുമ്പോൾ, തുടർച്ചയായ പാഴ്‌സിംഗിനായി മൊണാഡുകൾ ഉപയോഗിക്കുന്നു. ഉദാഹരണത്തിന്, ഈ ഉദാഹരണത്തിൽ:

whileParser :: Parser Stmt
whileParser = whiteSpace >> statement

ആദ്യം നിങ്ങൾ സ്പെയ്സ് കണക്കാക്കേണ്ടതുണ്ട്, തുടർന്ന് പ്രസ്താവന - അതിൽ പാർസർ Stmt തരവും ഉണ്ട്.

പാഴ്‌സിംഗ് പരാജയപ്പെട്ടാൽ റോൾബാക്ക് ചെയ്യാൻ ഇതര ഫംഗ്‌ടറുകൾ ഉപയോഗിക്കുന്നു. ഉദാഹരണത്തിന്,

statement :: Parser Stmt
statement = parens statement <|> sequenceOfStmt

ഒന്നുകിൽ നിങ്ങൾ പ്രസ്താവന ബ്രാക്കറ്റിൽ വായിക്കാൻ ശ്രമിക്കേണ്ടതുണ്ട്, അല്ലെങ്കിൽ നിരവധി പ്രസ്താവനകൾ തുടർച്ചയായി വായിക്കാൻ ശ്രമിക്കുക എന്നാണ് അർത്ഥമാക്കുന്നത്.

മൊണാഡുകളുടെ കുറുക്കുവഴികൾ എന്ന നിലയിലാണ് പ്രായോഗിക ഫംഗ്‌ടറുകൾ ഉപയോഗിക്കുന്നത്. ഉദാഹരണത്തിന്, ടോക്ക് ഫംഗ്‌ഷൻ ചില ടോക്കൺ വായിക്കട്ടെ (ഇത് LaTeXReader-ൽ നിന്നുള്ള ഒരു യഥാർത്ഥ ഫംഗ്‌ഷനാണ്). ഈ കോമ്പിനേഷൻ നോക്കാം

const <$> tok <*> tok

ഇത് തുടർച്ചയായി രണ്ട് ടോക്കണുകൾ വായിക്കുകയും ആദ്യത്തേത് തിരികെ നൽകുകയും ചെയ്യും.

ഈ ക്ലാസുകൾക്കെല്ലാം, ഹാസ്കലിന് മനോഹരമായ പ്രതീകാത്മക ഓപ്പറേറ്റർമാർ ഉണ്ട്, ഇത് റീഡർ പ്രോഗ്രാമിംഗിനെ ASCII ആർട്ട് പോലെയാക്കുന്നു. ഈ അത്ഭുതകരമായ കോഡിനെ അഭിനന്ദിക്കുക.

ഞങ്ങളുടെ ജോലികൾ LaTeXReader-മായി ബന്ധപ്പെട്ടതാണ്. LaTeX-ൽ പാക്കേജുകൾ എഴുതാൻ ഉപയോഗപ്രദമായ mbox, hbox കമാൻഡുകൾ പിന്തുണയ്ക്കുക എന്നതായിരുന്നു വാസിലിയുടെ ചുമതല. LaTeX പ്രമാണങ്ങളിൽ എപ്പിഗ്രാഫുകൾ സൃഷ്ടിക്കാൻ നിങ്ങളെ അനുവദിക്കുന്ന എപ്പിഗ്രാഫ് കമാൻഡിനെ പിന്തുണയ്ക്കുന്നതിനുള്ള ഉത്തരവാദിത്തം എലിസബത്തിനായിരുന്നു.

ഹട്രേസ്

UNIX പോലുള്ള ഓപ്പറേറ്റിംഗ് സിസ്റ്റങ്ങൾ പലപ്പോഴും ptrace സിസ്റ്റം കോൾ നടപ്പിലാക്കുന്നു. പ്രോഗ്രാം എൻവയോൺമെൻ്റുകൾ ഡീബഗ്ഗ് ചെയ്യുന്നതിനും സിമുലേറ്റ് ചെയ്യുന്നതിനും ഇത് ഉപയോഗപ്രദമാണ്, ഇത് പ്രോഗ്രാം ചെയ്യുന്ന സിസ്റ്റം കോളുകൾ കണ്ടെത്തുന്നതിന് നിങ്ങളെ അനുവദിക്കുന്നു. ഉദാഹരണത്തിന്, വളരെ ഉപയോഗപ്രദമായ സ്‌ട്രേസ് യൂട്ടിലിറ്റി ആന്തരികമായി ptrace ഉപയോഗിക്കുന്നു.

ഹാസ്‌കെലിൽ കണ്ടെത്തുന്നതിന് ഒരു ഇൻ്റർഫേസ് നൽകുന്ന ഒരു ലൈബ്രറിയാണ് ഹാട്രേസ്. വസ്തുത, ptrace തന്നെ വളരെ സങ്കീർണ്ണമാണ്, അത് നേരിട്ട് ഉപയോഗിക്കുന്നത് വളരെ ബുദ്ധിമുട്ടാണ്, പ്രത്യേകിച്ച് ഫംഗ്ഷണൽ ഭാഷകളിൽ നിന്ന്.

ഹാട്രേസ് സ്റ്റാർട്ടപ്പിൽ സ്‌ട്രേസ് പോലെ പ്രവർത്തിക്കുകയും സമാന ആർഗ്യുമെൻ്റുകൾ അംഗീകരിക്കുകയും ചെയ്യുന്നു. ഇത് സ്‌ട്രേസിൽ നിന്ന് വ്യത്യസ്തമാണ്, കാരണം ഇത് കേവലം പിട്രേസിനേക്കാൾ ലളിതമായ ഇൻ്റർഫേസ് നൽകുന്ന ഒരു ലൈബ്രറി കൂടിയാണ്.

ഹാട്രേസിൻ്റെ സഹായത്തോടെ, GHC ഹാസ്‌കെൽ കംപൈലറിൽ ഞങ്ങൾ ഇതിനകം ഒരു അസുഖകരമായ ബഗ് പിടികൂടിയിട്ടുണ്ട് - തെറ്റായ നിമിഷത്തിൽ കൊല്ലപ്പെടുമ്പോൾ, അത് തെറ്റായ ഒബ്‌ജക്റ്റ് ഫയലുകൾ സൃഷ്ടിക്കുന്നു, പുനരാരംഭിക്കുമ്പോൾ അവ വീണ്ടും കംപൈൽ ചെയ്യുന്നില്ല. സിസ്റ്റം കോളുകൾ വഴിയുള്ള സ്‌ക്രിപ്‌റ്റിംഗ് ഒരു റണ്ണിൽ പിശക് വിശ്വസനീയമായി പുനർനിർമ്മിക്കുന്നത് സാധ്യമാക്കി, അതേസമയം ക്രമരഹിതമായ കൊലകൾ ഏകദേശം രണ്ട് മണിക്കൂറിനുള്ളിൽ പിശക് പുനർനിർമ്മിച്ചു.

ഞങ്ങൾ ലൈബ്രറിയിലേക്ക് സിസ്റ്റം കോൾ ഇൻ്റർഫേസുകൾ ചേർത്തു - എലിസവേറ്റ brk ചേർത്തു, കൂടാതെ വാസിലി mmap ചേർത്തു. ഞങ്ങളുടെ ജോലിയുടെ ഫലങ്ങളെ അടിസ്ഥാനമാക്കി, ലൈബ്രറി ഉപയോഗിക്കുമ്പോൾ ഈ സിസ്റ്റം കോളുകളുടെ ആർഗ്യുമെൻ്റുകൾ കൂടുതൽ ലളിതമായും കൃത്യമായും ഉപയോഗിക്കുന്നത് സാധ്യമാണ്.

അവലംബം: www.habr.com