ZuriHac: អនុវត្តកម្មវិធីមុខងារ

នៅក្នុងខែមិថុនានៃឆ្នាំនេះនៅក្នុងទីក្រុងតូចមួយនៃប្រទេសស្វីស Rapperswil ព្រឹត្តិការណ៍មួយត្រូវបានគេហៅថា ហ្សូរីហាក. លើកនេះវាបាននាំអ្នកស្រលាញ់ Haskell ជាងប្រាំរយនាក់មកជាមួយគ្នា តាំងពីអ្នកចាប់ផ្តើមដំបូង រហូតដល់អ្នកបង្កើតភាសា។ ទោះបីជាអ្នករៀបចំហៅព្រឹត្តិការណ៍នេះថា hackathon ក៏ដោយ វាមិនមែនជាសន្និសីទ ឬ hackathon ក្នុងន័យបុរាណនោះទេ។ ទ្រង់ទ្រាយរបស់វាខុសពីអ្នកសរសេរកម្មវិធីប្រពៃណី។ យើងបានរៀនអំពី ZuriHac ដោយសំណាងបានចូលរួមក្នុងវា ហើយឥឡូវនេះយើងចាត់ទុកវាជាកាតព្វកិច្ចរបស់យើងក្នុងការប្រាប់អំពីការរកឃើញមិនធម្មតា!

насО

អត្ថបទនេះត្រូវបានរៀបចំដោយនិស្សិតឆ្នាំទី 3 ពីរនាក់នៃកម្មវិធី "គណិតវិទ្យាអនុវត្ត និងព័ត៌មានវិទ្យា" នៅសាកលវិទ្យាល័យស្រាវជ្រាវជាតិឧត្តមសិក្សាសេដ្ឋកិច្ច - សាំងពេទឺប៊ឺគៈ Vasily Alferov និង Elizaveta Vasilenko ។ ចំណង់ចំណូលចិត្តសម្រាប់កម្មវិធីមុខងារសម្រាប់ពួកយើងទាំងពីរបានចាប់ផ្តើមជាមួយនឹងការបង្រៀនជាបន្តបន្ទាប់ដោយ D. N. Moskvin នៅក្នុងឆ្នាំទី 2 នៃសាកលវិទ្យាល័យ។ បច្ចុប្បន្ន Vasily កំពុងចូលរួមក្នុងកម្មវិធី Google Summer of Code ដែលក្នុងនោះគាត់កំពុងអនុវត្តក្រាហ្វពិជគណិតនៅ Haskell ក្រោមការណែនាំពីក្រុមគម្រោង សារាយ។. Elizaveta បានអនុវត្តជំនាញសរសេរកម្មវិធីមុខងារដែលទទួលបាននៅក្នុងវគ្គសិក្សាដែលឧទ្ទិសដល់ការអនុវត្តក្បួនដោះស្រាយប្រឆាំងនឹងការបង្រួបបង្រួមជាមួយនឹងការអនុវត្តជាបន្តបន្ទាប់នៅក្នុងទ្រឹស្ដីប្រភេទ។

ទម្រង់ព្រឹត្តិការណ៍

ទស្សនិកជនគោលដៅគឺជាម្ចាស់គម្រោងប្រភពបើកចំហ អ្នកសរសេរកម្មវិធីដែលចង់ចូលរួមក្នុងការអភិវឌ្ឍន៍របស់ពួកគេ អ្នកស្រាវជ្រាវកម្មវិធីដែលមានមុខងារ និងមនុស្សដែលចូលចិត្តតែ Haskell ។ នៅឆ្នាំនេះ អ្នកអភិវឌ្ឍន៍ពីគម្រោង Haskell ប្រភពបើកចំហជាង 50 មកពីជុំវិញពិភពលោកបានប្រមូលផ្តុំគ្នានៅទីកន្លែង - HSR Hochschule für Technik Rapperswil - ដើម្បីនិយាយអំពីផលិតផលរបស់ពួកគេ និងធ្វើឱ្យមនុស្សថ្មីៗចាប់អារម្មណ៍លើការអភិវឌ្ឍន៍របស់ពួកគេ។

រូបថតពី Twitter ហ្សូរីហាក

គ្រោងការណ៍នេះគឺសាមញ្ញណាស់៖ អ្នកត្រូវសរសេរសំណើមួយចំនួនអំពីគម្រោងរបស់អ្នកជាមុន ហើយផ្ញើវាទៅអ្នករៀបចំដែលនឹងបង្ហោះព័ត៌មានអំពីគម្រោងរបស់អ្នកនៅលើទំព័រព្រឹត្តិការណ៍។ លើសពីនេះទៀតនៅថ្ងៃដំបូងអ្នកនិពន្ធនៃគម្រោងមានរយៈពេលសាមសិបវិនាទីដើម្បីប្រាប់យ៉ាងខ្លីពីដំណាក់កាលដែលពួកគេកំពុងធ្វើនិងអ្វីដែលត្រូវធ្វើ។ បន្ទាប់មកអ្នកដែលចាប់អារម្មណ៍រកមើលអ្នកនិពន្ធហើយសួរលម្អិតអំពីភារកិច្ច។

យើងមិនទាន់មានគម្រោងបើកផ្ទាល់ខ្លួននៅឡើយទេ ប៉ុន្តែយើងពិតជាចង់រួមចំណែកដល់គម្រោងដែលមានស្រាប់ ដូច្នេះយើងបានចុះឈ្មោះជាអ្នកចូលរួមជាប្រចាំ។ ក្នុងរយៈពេលបីថ្ងៃ យើងបានធ្វើការជាមួយក្រុមអ្នកអភិវឌ្ឍន៍ពីរក្រុម។ វាបង្ហាញថាការសិក្សារួមគ្នានៃកូដ និងការប្រាស្រ័យទាក់ទងផ្ទាល់ធ្វើឱ្យអន្តរកម្មរវាងអ្នកនិពន្ធគម្រោង និងអ្នករួមចំណែកមានផលិតភាពខ្លាំង - នៅ ZuriHac យើងអាចយល់អំពីផ្នែកដែលថ្មីសម្រាប់យើង ហើយអាចជួយក្រុមពីរផ្សេងគ្នាទាំងស្រុង ដោយបំពេញកិច្ចការមួយក្នុងមួយៗ។ នៃគម្រោង។

បន្ថែមពីលើការអនុវត្តដ៏មានតម្លៃ ការបង្រៀន និងថ្នាក់មេជាច្រើនក៏ត្រូវបានផ្តល់ឱ្យនៅ ZuriHac ផងដែរ។ ជាពិសេសយើងចងចាំការបង្រៀនពីរ។ ដំបូងបង្អស់ពួកគេ Andrey Mokhov មកពីសាកលវិទ្យាល័យ Newcastle និយាយអំពីមុខងារអនុវត្តជ្រើសរើស - ថ្នាក់នៃប្រភេទដែលគួរតែក្លាយជាកម្រិតមធ្យមរវាងមុខងារអនុវត្ត និង monads ។ នៅក្នុងការបង្រៀនមួយផ្សេងទៀត ស្ថាបនិកម្នាក់នៃ Haskell គឺលោក Simon Peyton Jones បាននិយាយអំពីរបៀបដែលការសន្និដ្ឋានប្រភេទដំណើរការនៅក្នុងកម្មវិធីចងក្រង GHC ។

ការបង្រៀនដោយ Simon Peyton Jones ។ រូបថតពី Twitter ហ្សូរីហាក

ថ្នាក់មេដែលបានធ្វើឡើងក្នុងអំឡុងពេល hackathon ត្រូវបានបែងចែកជា 3 ប្រភេទអាស្រ័យលើកម្រិតនៃការបណ្តុះបណ្តាលរបស់អ្នកចូលរួម។ ភារកិច្ចដែលផ្តល់ជូនដល់អ្នកចូលរួមដែលបានចូលរួមក្នុងការអភិវឌ្ឍន៍គម្រោងក៏ត្រូវបានសម្គាល់ដោយកម្រិតនៃការលំបាកផងដែរ។ សហគមន៍តូច ប៉ុន្តែមានភាពរួសរាយរាក់ទាក់នៃអ្នកសរសេរកម្មវិធីដែលមានមុខងារ ស្វាគមន៍អ្នកថ្មីមកក្នុងជួររបស់ខ្លួន។ ដើម្បីយល់ពីការបង្រៀនរបស់ Andrei Mokhov និង Simon Peyton Jones វគ្គសិក្សាកម្មវិធីមុខងារដែលយើងបានធ្វើនៅសាកលវិទ្យាល័យគឺមានប្រយោជន៍ណាស់។

ការចុះឈ្មោះសម្រាប់ព្រឹត្តិការណ៍នេះគឺឥតគិតថ្លៃសម្រាប់ទាំងអ្នកចូលរួមទៀងទាត់ និងអ្នកនិពន្ធគម្រោង។ យើងបានដាក់ពាក្យសុំចូលរួមនៅដើមខែមិថុនា បន្ទាប់ពីនោះយើងត្រូវបានគេផ្ទេរយ៉ាងលឿនពីបញ្ជីរង់ចាំទៅបញ្ជីអ្នកចូលរួមដែលបានបញ្ជាក់។

ហើយឥឡូវនេះយើងនឹងនិយាយអំពីគម្រោងក្នុងការអភិវឌ្ឍន៍ដែលយើងបានចូលរួម។

ផេនដុក

ផេនដុក គឺជាកម្មវិធីបំប្លែងជាសកលនៃឯកសារអត្ថបទ តាមការពិត ពីទម្រង់ណាមួយទៅណាមួយ។ ឧទាហរណ៍ ពី docx ទៅ pdf ឬពី Markdown ទៅ MediaWiki ។ អ្នកនិពន្ធរបស់វាឈ្មោះ John MacFarlane គឺជាសាស្រ្តាចារ្យផ្នែកទស្សនវិជ្ជានៅសាកលវិទ្យាល័យកាលីហ្វ័រញ៉ា ប៊ឺកឡេ។ ជាទូទៅ Pandoc មានភាពល្បីល្បាញខ្លាំង ហើយមិត្តភ័ក្តិមួយចំនួនរបស់យើងមានការភ្ញាក់ផ្អើលនៅពេលដែលពួកគេដឹងថា Pandoc ត្រូវបានសរសេរនៅក្នុង Haskell ។

បញ្ជីទម្រង់ឯកសារដែលគាំទ្រដោយ 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!"]]

អ្នកអានដែលបានធ្វើការជាមួយ Haskell យ៉ាងហោចណាស់បន្តិចអាចសន្មតរួចហើយពីឧទាហរណ៍តូចមួយនេះថា Pandoc ត្រូវបានសរសេរនៅក្នុង Haskell: លទ្ធផលនៃពាក្យបញ្ជានេះគឺជាការតំណាងខ្សែអក្សរនៃរចនាសម្ព័ន្ធខាងក្នុងរបស់ Pandoc ដែលបានបង្កើតឡើងតាមរបៀបដែលវាត្រូវបានធ្វើជាធម្មតា។ នៅក្នុង Haskell ឧទាហរណ៍នៅក្នុងបណ្ណាល័យស្តង់ដារ។

ដូច្នេះនៅទីនេះ អ្នកអាចមើលឃើញថាការតំណាងខាងក្នុងគឺជារចនាសម្ព័ន្ធដែលកើតឡើងដដែលៗ ដែលនៅក្នុងថ្នាំងខាងក្នុងនីមួយៗមានបញ្ជី។ ឧទាហរណ៍ នៅកម្រិតកំពូលមានបញ្ជីនៃធាតុមួយ - បឋមកថាកម្រិតទីមួយដែលមានគុណលក្ខណៈ "hello-world",[],[] ។ លាក់​នៅ​ក្នុង​បឋមកថា​នេះ​គឺ​ជា​បញ្ជី​នៃ​ខ្សែអក្សរ “ជំរាបសួរ” បន្ត​ដោយ​ដកឃ្លា និង​ខ្សែអក្សរ “ពិភពលោក!”។

ដូចដែលអ្នកអាចឃើញការបង្ហាញខាងក្នុងគឺមិនខុសគ្នាច្រើនពី HTML ទេ។ វាគឺជាមែកធាងដែលថ្នាំងខាងក្នុងនីមួយៗផ្តល់ព័ត៌មានមួយចំនួនអំពីការធ្វើទ្រង់ទ្រាយនៃកូនចៅរបស់វា ហើយស្លឹកមានខ្លឹមសារជាក់ស្តែងនៃឯកសារ។

ប្រសិនបើយើងចុះដល់កម្រិតអនុវត្ត នោះប្រភេទទិន្នន័យសម្រាប់ឯកសារទាំងមូលត្រូវបានកំណត់ដូចនេះ៖

data Pandoc = Pandoc Meta [Block]

នៅទីនេះ Block គឺជាចំណុចកំពូលខាងក្នុងដែលបានរៀបរាប់ខាងលើ ហើយ Meta គឺជាព័ត៌មានអំពីឯកសារ ដូចជាចំណងជើង កាលបរិច្ឆេទបង្កើត អ្នកនិពន្ធ - វាខុសគ្នាសម្រាប់ទម្រង់ផ្សេងៗគ្នា ហើយ Pandoc ព្យាយាមប្រសិនបើអាចធ្វើទៅបាន ដើម្បីរក្សាព័ត៌មានបែបនេះនៅពេលបកប្រែពីទម្រង់ទៅជា ទម្រង់។

អ្នកសាងសង់ស្ទើរតែទាំងអស់នៃប្រភេទប្លុក - ឧទាហរណ៍ បឋមកថា ឬកថាខណ្ឌ (កថាខណ្ឌ) - យកគុណលក្ខណៈ និងបញ្ជីនៃចំណុចកំពូលកម្រិតទាបជាអាគុយម៉ង់ - បន្ទាត់ជាក្បួន។ ឧទាហរណ៍ Space ឬ Str គឺជាអ្នកបង្កើតប្រភេទ Inline ហើយស្លាក HTML ក៏ប្រែទៅជា Inline ពិសេសរបស់វាផងដែរ។ យើងមើលមិនឃើញចំណុចណាមួយក្នុងការផ្តល់និយមន័យពេញលេញនៃប្រភេទទាំងនេះទេ ប៉ុន្តែសូមចំណាំថាវាអាចត្រូវបានរកឃើញនៅទីនេះ នៅទីនេះ.

គួរឱ្យចាប់អារម្មណ៍ប្រភេទ Pandoc គឺជាម៉ូណូអ៊ីត។ នេះ​មាន​ន័យ​ថា​មាន​ឯកសារ​ទទេ​មួយ​ចំនួន ហើយ​ឯកសារ​នោះ​អាច​ដាក់​ជា​ជង់​ជាមួយ​គ្នា។ វាងាយស្រួលប្រើនៅពេលសរសេរ Readers - អ្នកអាចបំបែកឯកសារទៅជាផ្នែកៗដោយប្រើតក្កវិជ្ជាតាមអំពើចិត្ត ញែកនីមួយៗដាច់ដោយឡែកពីគ្នា ហើយបន្ទាប់មកដាក់អ្វីៗទាំងអស់រួមគ្នាជាឯកសារតែមួយ។ ក្នុង​ករណី​នេះ ទិន្នន័យ​ព័ត៌មាន​នឹង​ត្រូវ​ប្រមូល​ពី​គ្រប់​ផ្នែក​នៃ​ឯកសារ​ក្នុង​ពេល​តែ​មួយ។

នៅពេលបំប្លែង និយាយថា ពី LaTeX ទៅជា HTML ដំបូងម៉ូឌុលពិសេសមួយហៅថា LaTeXReader បំប្លែងឯកសារបញ្ចូលទៅជា AST បន្ទាប់មកម៉ូឌុលមួយទៀតហៅថា HTMLWriter បំប្លែង AST ទៅជា HTML ។ សូមអរគុណចំពោះស្ថាបត្យកម្មនេះ មិនចាំបាច់សរសេរចំនួនការបំប្លែងចំនួនបួនជ្រុងទេ - វាគ្រប់គ្រាន់ក្នុងការសរសេរ Reader និង Writer សម្រាប់ទម្រង់ថ្មីនីមួយៗ ហើយការបំប្លែងគូដែលអាចធ្វើបានទាំងអស់នឹងត្រូវបានគាំទ្រដោយស្វ័យប្រវត្តិ។

វាច្បាស់ណាស់ថាស្ថាបត្យកម្មបែបនេះក៏មានគុណវិបត្តិរបស់វាដែរ ដែលត្រូវបានព្យាករណ៍ជាយូរមកហើយដោយអ្នកជំនាញក្នុងវិស័យស្ថាបត្យកម្មកម្មវិធី។ សារៈសំខាន់បំផុតគឺការចំណាយលើការកែប្រែមែកធាងវាក្យសម្ព័ន្ធ។ ប្រសិនបើការផ្លាស់ប្តូរមានភាពធ្ងន់ធ្ងរគ្រប់គ្រាន់ អ្នកនឹងត្រូវផ្លាស់ប្តូរកូដនៅក្នុង Readers និង Writers ទាំងអស់។ ជាឧទាហរណ៍ បញ្ហាប្រឈមមួយក្នុងចំណោមបញ្ហាប្រឈមដែលអ្នកអភិវឌ្ឍន៍ Pandoc កំពុងគាំទ្រទម្រង់តារាងស្មុគស្មាញ។ ឥឡូវនេះ Pandoc អាចបង្កើតតែតារាងសាមញ្ញបំផុត ដែលមានបឋមកថា ជួរឈរ និងតម្លៃនៅក្នុងក្រឡានីមួយៗ។ ឧទាហរណ៍ គុណលក្ខណៈ colspan ក្នុង HTML នឹងត្រូវបានមិនអើពើ។ ហេតុផលមួយក្នុងចំណោមហេតុផលសម្រាប់ឥរិយាបថនេះគឺកង្វះគ្រោងការណ៍បង្រួបបង្រួមសម្រាប់តំណាងឱ្យតារាងក្នុងទម្រង់ទាំងអស់ ឬយ៉ាងហោចណាស់ជាច្រើន - អាស្រ័យហេតុនេះ វាមិនច្បាស់ក្នុងទម្រង់ណាដែលតារាងគួររក្សាទុកក្នុងតំណាងផ្ទៃក្នុង។ ប៉ុន្តែសូម្បីតែបន្ទាប់ពីជ្រើសរើសទិដ្ឋភាពជាក់លាក់មួយក៏ដោយ អ្នកនឹងត្រូវផ្លាស់ប្តូរអ្នកអាន និងអ្នកសរសេរទាំងអស់ដែលគាំទ្រការធ្វើការជាមួយតារាង។

ភាសា Haskell ត្រូវ​បាន​ជ្រើសរើស​មិន​ត្រឹម​តែ​ដោយ​សារ​តែ​ការ​ស្រឡាញ់​ដ៏​អស្ចារ្យ​របស់​អ្នក​និពន្ធ​សម្រាប់​ការ​សរសេរ​កម្មវិធី​មុខងារ​។ Haskell ត្រូវបានគេស្គាល់ថាសម្រាប់សមត្ថភាពដំណើរការអត្ថបទយ៉ាងទូលំទូលាយរបស់វា។ ឧទាហរណ៍មួយគឺបណ្ណាល័យ សេក គឺជាបណ្ណាល័យដែលប្រើប្រាស់យ៉ាងសកម្មនូវគោលគំនិតនៃការសរសេរកម្មវិធីមុខងារ - monooids, monads, applicative and alternative function - ដើម្បីសរសេរការញែកតាមអំពើចិត្ត។ អំណាចពេញលេញនៃ Parsec អាចមើលឃើញនៅក្នុង ឧទាហរណ៍ ពី HaskellWiki ដែលជាកន្លែងញែកពេញលេញនៃភាសាសរសេរកម្មវិធីចាំបាច់សាមញ្ញត្រូវបានញែក។ ជាការពិតណាស់ Parsec ក៏ត្រូវបានប្រើប្រាស់យ៉ាងសកម្មនៅក្នុង Pandoc ផងដែរ។

ពិពណ៌នាដោយសង្ខេប monads ត្រូវបានប្រើសម្រាប់ការវិភាគតាមលំដាប់លំដោយ នៅពេលដែលរឿងមួយមកមុន ហើយបន្ទាប់មកមួយទៀត។ ឧទាហរណ៍ក្នុងឧទាហរណ៍នេះ៖

whileParser :: Parser Stmt
whileParser = whiteSpace >> statement

ដំបូងអ្នកត្រូវរាប់លំហ ហើយបន្ទាប់មកសេចក្តីថ្លែងការណ៍ - ដែលមានប្រភេទ Parser Stmt ផងដែរ។

អនុគមន៍​ជំនួស​ត្រូវ​បាន​ប្រើ​ដើម្បី​ត្រឡប់​វិញ​ប្រសិន​បើ​ការ​ញែក​បរាជ័យ។ ឧទាហរណ៍,

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

មាន​ន័យ​ថា អ្នក​ត្រូវ​ព្យាយាម​អាន​សេចក្តី​ថ្លែងការណ៍​ក្នុង​តង្កៀប ឬ​ព្យាយាម​អាន​សេចក្តី​ថ្លែងការណ៍​ជា​បន្តបន្ទាប់។

កម្មវិធីអនុគមន៍ត្រូវបានប្រើជាចម្បងជាផ្លូវកាត់សម្រាប់ monads ។ ឧទាហរណ៍ អនុញ្ញាតឱ្យអនុគមន៍ tok អានសញ្ញាសម្ងាត់មួយចំនួន (នេះគឺជាមុខងារពិតពី LaTeXReader)។ សូមក្រឡេកមើលការរួមបញ្ចូលគ្នានេះ។

const <$> tok <*> tok

វានឹងអានថូខឹនពីរជាប់គ្នា ហើយត្រឡប់លេខទីមួយវិញ។

សម្រាប់ថ្នាក់ទាំងអស់នេះ Haskell មានប្រតិបត្តិករនិមិត្តសញ្ញាដ៏ស្រស់ស្អាត ដែលធ្វើឱ្យកម្មវិធី Reader មើលទៅដូចសិល្បៈ ASCII ។ គ្រាន់តែសរសើរកូដដ៏អស្ចារ្យនេះ។

ភារកិច្ចរបស់យើងទាក់ទងនឹង LaTeXReader ។ ភារកិច្ចរបស់ Vasily គឺដើម្បីគាំទ្រពាក្យបញ្ជា mbox និង hbox ដែលមានប្រយោជន៍សម្រាប់ការសរសេរកញ្ចប់នៅក្នុង LaTeX ។ Elizabeth ទទួលខុសត្រូវចំពោះការគាំទ្រពាក្យបញ្ជា epigraph ដែលអនុញ្ញាតឱ្យអ្នកបង្កើត epigraphs នៅក្នុងឯកសារ LaTeX ។

Hatrace

ប្រព័ន្ធប្រតិបត្តិការដូច UNIX ជារឿយៗអនុវត្តការហៅតាមប្រព័ន្ធ។ វាមានប្រយោជន៍ក្នុងការបំបាត់កំហុស និងក្លែងធ្វើបរិស្ថានកម្មវិធី ដែលអនុញ្ញាតឱ្យអ្នកតាមដានការហៅប្រព័ន្ធដែលកម្មវិធីបង្កើត។ ឧទាហរណ៍ ឧបករណ៍ប្រើប្រាស់ strace មានប្រយោជន៍ច្រើនប្រើ ptrac ខាងក្នុង។

Hatrace គឺជាបណ្ណាល័យដែលផ្តល់នូវចំណុចប្រទាក់ដើម្បីតាមដាននៅក្នុង Haskell ។ ការពិតគឺថា ptrace ខ្លួនវាគឺទំនើបណាស់ ហើយវាពិបាកក្នុងការប្រើវាដោយផ្ទាល់ ជាពិសេសពីភាសាមុខងារ។

Hatrace ដំណើរការដូចជា strace នៅពេលចាប់ផ្តើម ហើយទទួលយកអាគុយម៉ង់ស្រដៀងគ្នា។ វា​ខុស​គ្នា​ពី​ដាន​ត្រង់​ថា​វា​ក៏​ជា​បណ្ណាល័យ​ដែល​ផ្តល់​នូវ​ចំណុច​ប្រទាក់​សាមញ្ញ​ជាង​គ្រាន់​តែ​ ptrace ។

ដោយមានជំនួយពីការស្អប់ខ្ពើម យើងបានចាប់បានកំហុសមិនល្អមួយនៅក្នុងកម្មវិធីចងក្រង GHC Haskell រួចហើយ - ត្រូវបានសម្លាប់នៅពេលខុស វាបង្កើតឯកសារវត្ថុមិនត្រឹមត្រូវ ហើយមិនចងក្រងពួកវាឡើងវិញនៅពេលចាប់ផ្តើមឡើងវិញ។ ការសរសេរស្គ្រីបដោយការហៅតាមប្រព័ន្ធបានធ្វើឱ្យវាអាចបង្កើតឡើងវិញនូវកំហុសដែលអាចទុកចិត្តបានក្នុងដំណើរការមួយ ខណៈការសម្លាប់ដោយចៃដន្យបានបង្កើតកំហុសឡើងវិញក្នុងរយៈពេលប្រហែលពីរម៉ោង។

យើងបានបន្ថែមចំណុចប្រទាក់ការហៅជាប្រព័ន្ធទៅបណ្ណាល័យ - Elizaveta បានបន្ថែម brk និង Vasily បានបន្ថែម mmap ។ ដោយផ្អែកលើលទ្ធផលនៃការងាររបស់យើង វាអាចប្រើអាគុយម៉ង់នៃការហៅតាមប្រព័ន្ធទាំងនេះបានយ៉ាងសាមញ្ញ និងត្រឹមត្រូវជាងមុន នៅពេលប្រើបណ្ណាល័យ។

ប្រភព: www.habr.com