Салом, Хабр! Ман ба таваҷҷӯҳи шумо тарҷумаи навиштаи Стивен Волфрамро пешкаш мекунам
Шартҳои мутобиқати забони Волфрам
Имрӯз мо якҷоя бо забони барномасозӣ дар остонаи дастовардҳои бузург қарор дорем
Анбори Функсияҳои Волфрам чизест, ки бо табиати беназири забони Волфрам на танҳо ҳамчун забони барномасозӣ, балки ҳамчун забони барномасозӣ имконпазир аст.
Масалан, анбори функсияи Wolfram аллакай дорои
Ба ҳамин монанд бештар аз
Барои ворид шудан ба саҳифа, объекти дар боло зикршударо нусхабардорӣ кунед (функсияи BLOB), онро ба хати вуруд часбонед ва он гоҳ функсияро иҷро кунед - он аллакай дар забони Волфрам сохта шудааст ва аз рӯи нобаёнӣ аз он дастгирӣ карда мешавад.
Дар ин чо бояд кайд кард, ки хангоми коркард
Умедворам, ки бо дастгирии
Функсияҳои репозиторӣ метавонанд қисмҳои хурд ё калони кодро дар бар гиранд, ки бо забони Волфрам навишта шудаанд. Масалан, инҳо метавонанд зангҳо бошанд
Сохтори ниҳонӣ ва барномасозии анбори Функсияи Wolfram тавре тарҳрезӣ шудааст, ки ҳама метавонанд дар кори умумӣ бо роҳи соддатарин ва қулай барои онҳо саҳм гузоранд - дар асл, танҳо
Дар ин равиш тафсилот ва тафсилоти зиёде мавҷуданд, аммо ҳадафи мо оптимизатсия кардани анбори хусусиятҳои Wolfram ҳам барои таҷрибаи корбар ва таъмини он аст, ки хусусиятҳои нави корбар дар рушди забон саҳмгузор бошанд. Вақте ки мо ба воя мерасем, ман шубҳа надорам, ки мо бояд усулҳои нави коркард ва тасдиқи функсияҳоеро, ки дар анбор сохта шудаанд, ихтироъ кунем, на ҳадди аққал барои ташкили шумораи зиёди функсияҳо ва дарёфти он чизҳое, ки ба корбарон лозиманд. Бо вуҷуди ин, рӯҳбаландкунанда аст, ки роҳи интихобкардаи мо оғози хуб аст. Ман шахсан
Баланд бардоштани самаранокӣ ҳангоми кам кардани хароҷот
Ҳатто пеш аз пайдо шудани Интернет, роҳҳои мубодилаи коди забони Wolfram вуҷуд доштанд (аввалин лоиҳаи мутамаркази мо буд
Дар тӯли зиёда аз 30 сол, ширкати мо барои нигоҳ доштани якпорчагии сохтори забони Wolfram боғайратона кор мекард ва ин барои таъмини он муҳим аст, ки забони Волфрам на танҳо ба забони барномасозӣ, балки ба забони барномасозӣ табдил ёбад.
Дар сохтори амалисозии ҳар як функсия равандҳои гуногуни ҳисоббарорӣ ба амал меоянд. Дар ин ҷо бояд қайд кард, ки функсия барои корбар намуди равшан ва якхела ва хониши визуалӣ дошта бошад. Дар ин замина, функсияҳои дарунсохташудаи забони Волфрам бо зиёда аз 6000 мисолҳои пайдарпай оид ба тарзи дурусти барномарезии функсияҳо оварда шудаанд (инҳо
Эҷоди як анборе, ки воқеан хуб кор мекунад, як вазифаи ҷолиби мета-барномасозӣ аст. Масалан, зиёд будани маҳдудиятҳо дар барнома имкон намедиҳад, ки ягонагии зарурӣ ва универсалии алгоритм ба даст оварда шавад. Тавре ки шумораи нокифояи маҳдудиятҳои функсионалӣ, шумо наметавонед пайдарпайии дурусти иҷрои алгоритмро амалӣ кунед. Якчанд мисолҳои қаблии татбиқи созиши ин равишҳо, ки ширкати мо амалӣ кардааст, хеле устувор кор карданд - инҳоянд:
Ҳамаи мисолҳои дар боло овардашуда хусусияти бунёдӣ доранд - объектҳо ва функсияҳои дар лоиҳа ҷамъовардашуда дараҷаи хеле баланди сохтор ва тақсимоти равандҳо доранд. Албатта, тафсилоти сохтори намоишӣ ё шабакаи нейрон ё чизи дигар метавонад хеле фарқ кунад, аммо сохтори бунёдии ҳама гуна анбори ҷорӣ ҳамеша як хел боқӣ мемонад. Пас назари шумо, корбари мӯҳтарам, дар бораи эҷоди чунин як анборе, ки ба забони Волфрам васеъшавӣ илова мекунад, чӣ гуна аст? Забони Wolfram барои хеле чандир тарҳрезӣ шудааст, аз ин рӯ онро метавон бо ҳар роҳ васеъ ва тағир дод. Ин ҳолат барои қобилияти зуд эҷод кардани лоиҳаҳои гуногуни нармафзори калонҳаҷм дар забони Wolfram хеле муҳим аст. Дар ин ҷо бояд қайд кард, ки баробари зиёд шудани чандирии забон, арзиши лоиҳаҳое, ки бо чунин забон амалӣ мешаванд, ҳатман боло меравад. Ин аз он сабаб аст, ки корбар ҳар қадар аз чунин забон истифода кунад, ҳамон қадар функсияҳои бахшидашуда ба даст меорад, аммо набояд фаромӯш кард, ки ин равиш дар робита ба таъмини пайвастагии пайвастаи модулҳои барномавӣ паҳлӯҳои манфӣ низ дошта метавонад.
Мушкилоти умумӣ бо китобхонаҳо дар забонҳои барномасозии анъанавӣ вуҷуд дорад - агар шумо як китобхонаро истифода баред, масалан, код дуруст кор мекунад, аммо агар шумо кӯшиш кунед, ки китобхонаҳои сершуморро истифода баред, ҳеҷ кафолате нест, ки онҳо бо ҳамдигар дуруст кор мекунанд . Инчунин, дар забонҳои анъанавии барномасозӣ - бар хилофи забони мукаммали ҳисоббарорӣ - ҳеҷ роҳе барои кафолат додани мавҷудияти намояндагиҳои пайвастаи дарунсохт барои ҳама гуна функсияҳо ё намуди додаҳо, ғайр аз сохторҳои асосии онҳо вуҷуд надорад. Аммо, дар асл, мушкилот ҳатто бузургтар аз он аст, ки дар назари аввал ба назар мерасад: агар касе амудии васеъмиқёси функсионалӣ бунёд кунад, пас бидуни хароҷоти бузурги барномасозии мутамаркази лоиҳа, ки мо ба забони Волфрам мегузорем, имконнопазир аст. ба муттасил ноил гарданд. Бинобар ин муҳим аст, ки ҳамаи модулҳои нармафзор ҳамеша якҷоя дуруст кор кунанд.
Ҳамин тавр, идеяи паси анбори хусусиятҳои Wolfram ин пешгирӣ кардани мушкилоти дар боло зикршуда тавассути илова кардани васеъшавӣ ба забон дар қисмҳои нисбатан хурди код тавассути хусусиятҳои инфиродӣ, ки ҳамчун модулҳои мувофиқ таҳия кардан осонтар аст. Гуфта мешавад, хусусиятҳои барномасозӣ мавҷуданд, ки онҳоро бо истифода аз функсияҳои инфиродӣ қулай кардан мумкин нест (ва ширкати мо ният дорад дар ояндаи наздик як алгоритми барномасозии оптимизатсияро нашр кунад, то дар татбиқи бастаҳои бузурги нармафзор кӯмак расонад). Аммо, дар асоси функсияҳое, ки аллакай дар забони Волфрам сохта шудаанд, имкониятҳои зиёди барномасозӣ мавҷуданд, ки дар асоси функсияҳои инфиродӣ амалӣ карда мешаванд. Идеяи ин ҷо дар он аст, ки бо кӯшиши нисбатан ками барномасозӣ метавон як қатор функсияҳои нав ва хеле муфидро эҷод кард, ки мутобиқати кофии тарҳро таъмин кунанд, онҳо бо ҳамдигар хуб ҳамоҳанг карда мешаванд ва илова бар ин, онҳо дар оянда ба осонй ва васеъ истифода бурда мешавад.
Ин равиш, албатта, созиш аст. Агар бастаи калонтар амалӣ карда мешуд, метавон тасаввур кард, ки ҷаҳони нави функсияҳо хеле пурқувват ва муфид хоҳад буд. Агар зарурати ба даст овардани функсияҳои наве вуҷуд дошта бошад, ки ба ҳама чизи дигар мувофиқат кунад, аммо шумо намехоҳед, ки барои таҳияи лоиҳа саъю кӯшиши зиёд сарф кунед, ин, мутаассифона, метавонад боиси коҳиши доираи лоиҳаи шумо гардад. Идеяи паси анбори хусусиятҳои Wolfram таъмин кардани функсия ба як қисми муайянкунандаи лоиҳа мебошад; ин равиш функсияи пурқувватро илова мекунад ва ҳамзамон нигоҳ доштани мувофиқати хубро дар лоиҳаи барномасозӣ осонтар мекунад.
Барои илова кардани функсияҳои фармоишӣ ба анбори функсияҳо кӯмак кунед
Дастаи мо барои осон кардани саҳмгузорӣ ба корбарон ба хусусиятҳои анбори Wolfram хеле заҳмат кашидааст. Дар мизи корӣ (аллакай дар
Ду қадами асосие, ки шумо бояд иҷро кунед, вуҷуд дорад: якум, воқеан рамзи функсияи худро нависед ва дуюм, ҳуҷҷатҳоеро нависед, ки чӣ тавр функсияи шумо бояд кор кунад.
Тугмаи "Кушодани Намуна" -ро дар боло пахш кунед, то намунаи он чизеро, ки ба шумо лозим аст, бинед:
Аслан, шумо кӯшиш карда истодаед, ки чизе монанд ба функсияи дарунсохт дар забони Wolfram эҷод кунед. Ба истиснои он, ки он метавонад чизи мушаххастарро аз функсияи дарунсохт иҷро кунад. Дар айни замон, интизориҳо дар бораи пуррагӣ ва эътимоднокии он хеле пасттар хоҳанд буд.
Шумо бояд ба вазифаи худ номе диҳед, ки ба дастури номгузории функсияи забони Wolfram мувофиқат кунад. Илова бар ин, ба шумо лозим меояд, ки ҳуҷҷатҳоеро барои функсияи худ, ки ба функсияҳои дарунсохташудаи забон монанданд, таҳия кунед. Ман дар ин бора баъдтар муфассалтар гап мезанам. Дар айни замон, танҳо аҳамият диҳед, ки дар қатори тугмаҳо дар болои файли дафтарчаи таърифӣ тугма мавҷуд аст
Вақте ки шумо боварӣ доред, ки ҳама чиз дуруст пур карда шудааст ва шумо омодаед, тугмаи "Тафтиш" -ро клик кунед. Ин комилан муқаррарист, ки шумо то ҳол тамоми ҷузъиётро нафаҳмидаед. Ҳамин тавр, функсияи "Тафтиш" ба таври худкор кор мекунад ва бисёр санҷишҳои услуб ва мувофиқатро анҷом медиҳад. Аксар вақт он аз шумо фавран хоҳиш мекунад, ки ислоҳҳоро тасдиқ кунед ва қабул кунед (Масалан: “Ин сатр бояд бо ду нуқта тамом шавад” ва он шуморо водор мекунад, ки ду нуқта ворид кунед). Баъзан вай аз шумо хоҳиш мекунад, ки худатон чизе илова кунед ё тағир диҳед. Мо пайваста хусусиятҳои навро ба функсияи автоматии тугмаи Санҷиш илова хоҳем кард, аммо аслан ҳадафи он кафолат додани он аст, ки ҳама чизеро, ки шумо ба анбори хусусиятҳо пешниҳод мекунед, аллакай ба қадри имкон дастурҳои услубӣ риоя мекунанд.
Пас, пас аз иҷро кардани "Тафтиш" шумо метавонед "Пешнамоиш" -ро истифода баред. "Пешнамоиш" пешнамоиши саҳифаи ҳуҷҷатҳоеро, ки шумо барои вазифаи худ муайян кардаед, эҷод мекунад. Шумо инчунин метавонед пешнамоиши файлеро, ки дар компютери шумо сохта шудааст ё файле, ки дар анбори абр ҷойгир аст, эҷод кунед. Агар бо ягон сабабе, ки шумо аз он чизе, ки дар пешнамоиш мебинед, қаноатманд набошед, танҳо баргардед ва ислоҳи заруриро ворид кунед ва дубора тугмаи Пешнамоишро пахш кунед.
Акнун шумо омодаед, ки функсияи худро ба анбор тела диҳед. Тугмаи Ҷойгиркунӣ ба шумо чаҳор имкон медиҳад:
Чизи муҳим дар ин қадам ин аст, ки шумо метавонед функсияи худро ба анбори функсияи Wolfram пешниҳод кунед, то он барои ҳама дастрас бошад. Ҳамзамон, шумо инчунин метавонед вазифаи худро барои шумораи маҳдуди корбарон ҷойгир кунед. Масалан, шумо метавонед функсияеро эҷод кунед, ки дар компютери шумо ҷойгир карда шудааст, то он вақте ки шумо ин компютерро истифода мебаред, он дастрас бошад. Ё шумо метавонед онро дар саҳифаи худ ҷойгир кунед
Пас, биёед бигӯем, ки шумо воқеан мехоҳед функсияи худро ба пойгоҳи дониши функсионалии Wolfram пешниҳод кунед. Барои ин, шумо тугмаи "Ирсол" -ро ба анбор пахш мекунед. Пас, дар айни замон чӣ рӯй дода истодааст? Аризаи шумо фавран барои баррасӣ ва тасдиқ аз ҷониби гурӯҳи кураторони бахшидашудаи мо дар навбат гузошта мешавад.
Вақте ки дархости шумо тавассути раванди тасдиқ пеш меравад (ки одатан якчанд рӯзро мегирад), шумо дар бораи ҳолати он ва эҳтимолан пешниҳодҳо барои истифодаи оянда хабар мегиред. Аммо вақте ки хусусияти шумо тасдиқ карда мешавад, он фавран дар анбори Функсияҳои Wolfram нашр карда мешавад ва барои ҳама дастрас хоҳад буд. (Ва ин дар
Дар анбор чӣ бояд бошад?
Бояд қайд кард, ки ширкати мо дорои стандартҳои хеле баланд оид ба мукаммалӣ, эътимоднокӣ ва сифати умумӣ мебошад ва аз 6000+ функсияҳое, ки мо аллакай дар тӯли 30+ соли охир дар забони Волфрам сохтаем, ҳама ба талаботи дар боло зикршуда ҷавобгӯ мебошанд. Ҳадафи анбори Функсияҳои Wolfram ин истифода бурдани тамоми сохтор ва функсияҳое мебошад, ки аллакай дар забони Волфрам мавҷуд аст, то ҳарчи бештар функсияҳои сабуктар (яъне функсияҳои иҷрои баландтар) илова карда шаванд.
Албатта, функсияҳо дар анбори функсионалии Wolfram бояд ба принсипҳои тарҳрезии забони Wolfram мувофиқ бошанд - то онҳо тавонанд бо дигар функсияҳо ва интизориҳои корбарон дар бораи он, ки ин функсия дуруст кор кунад, пурра ҳамкорӣ кунад. Бо вуҷуди ин, функсияҳо набояд пуррагӣ ё эътимоднокии якхела бошанд.
Дар функсияҳои дарунсохташудаи забони Волфрам, мо кӯшиш мекунем, ки вазифаҳои барномасозиро то ҳадди имкон умумӣ созем. Гуфта мешавад, вақте ки дар анбори функсионалии Wolfram мавҷудияти функсияе, ки дар он танҳо як парвандаи хеле мушаххас, вале муфидро идора мекунад, ҳеҷ бадӣ нест. Масалан, функсия
Нуктаи дигаре, ки ба функсияҳои дарунсохт алоқаманд аст, ин аст, ки ширкати мо тамоми кӯшишҳоро ба харҷ медиҳад, то ҳама ҳолатҳои ғайриоддӣ, дуруст коркарди вуруди нодуруст ва ғайра. Дар анбори функсионалӣ мавҷудияти як функсияи махсусе комилан муқаррарӣ аст, ки ҳолатҳои асосии ҳалли масъаларо ҳал мекунад ва ҳамаи дигаронро сарфи назар мекунад.
Нуқтаи возеҳ дар он аст, ки беҳтар аст, ки функсияҳое дошта бошанд, ки бештар кор мекунанд ва онро беҳтар иҷро мекунанд, аммо оптимизатсия барои анбори функсионалӣ - бар хилофи функсияҳои дарунсохтаи забони Волфрам - бояд функсияҳои бештаре дошта бошанд, ки бо функсияҳои бештар ҷамъоварӣ карда шаванд. равандҳои татбиқи ҳар як функсияи мушаххас.
Акнун биёед мисоли санҷиши функсияҳоро дар репозиторий дида бароем. Табиист, ки интизориҳои мувофиқат барои чунин функсияҳо нисбат ба функсияҳои дарунсохташудаи забон хеле пасттаранд. Ин махсусан дар ҳолатҳое дуруст аст, ки функсияҳо аз захираҳои беруна, аз қабили APIҳо вобастаанд, муҳим аст, ки пайваста санҷишҳои пайгирона гузаронанд, ки он ба таври худкор дар доираи алгоритмҳои санҷиш рӯй медиҳад. Дар файли nb, шумо метавонед ба таври возеҳ таърифҳоро муайян кунед (дар қисмати Маълумоти иловагӣ) ва шумораи зиёди санҷишҳоро, ки бо сатрҳои воридотӣ ва баромад ё объектҳои аломатҳои пурраи намуд муайян карда шудаанд, муайян кунед.
Дар натиҷа, анбори функсионалӣ як қатор душвориҳои амалӣ хоҳад дошт. Баъзеҳо танҳо як сатри ягонаи код хоҳанд буд, дигарон метавонанд ҳазорҳо ё даҳҳо ҳазор сатрро дар бар гиранд, эҳтимол аз бисёр функсияҳои ёрирасон истифода мебаранд. Кай барои илова кардани функсияе лозим аст, ки барои муайян кардани рамзи хеле кам лозим аст? Асосан, агар барои функсия вуҷуд дошта бошад
Мақсади асосии анбори функсионалӣ (чунон ки аз номаш бармеояд) ворид кардани хусусиятҳои нав ба забон мебошад. Агар шумо хоҳед, ки маълумоти нав илова кунед ё
Дар асл ду роҳ вуҷуд дорад. Шумо метавонед як навъи объекти наверо ҷорӣ кунед, ки дар функсияҳои нав дар анбори функсия истифода мешавад. Ва дар ин ҳолат, шумо ҳамеша метавонед танҳо тасвири рамзии онро нависед ва онро ҳангоми ворид ё баровардани функсияҳо дар анбори функсия истифода баред.
Аммо агар шумо хоҳед, ки объектро муаррифӣ кунед ва сипас тавассути функсияҳои мавҷуда дар забони Волфрам муайян кунед, ки шумо мехоҳед бо он кор кунед? Забони Wolfram ҳамеша як механизми сабук барои ин дошт, ки ном дорад
Пас, дар коди функсия дар анбори функсионалӣ чӣ буда метавонад?
Оё тамоми коди анбори хусусиятҳои Wolfram бояд дар Wolfram навишта шавад? Албатта, код дар дохили API-и беруна набояд бо забони Волфрам навишта шавад, ки он ҳатто рамзи забонро эҷод намекунад. Дарвоқеъ, агар шумо қариб дар ҳама забон ё китобхонаи беруна функсия пайдо кунед, шумо метавонед як парпеч эҷод кунед, ки ба шумо имкон медиҳад, ки онро дар анбори функсияҳои Wolfram истифода баред. (Одатан, шумо бояд барои ин функсияҳои дарунсохтро истифода баред
Пас, ин кор чӣ маъно дорад? Аслан, ин ба шумо имкон медиҳад, ки тамоми системаи ҳамгирошудаи Wolfram Language ва тамоми маҷмӯи ягонаи имкониятҳои нармафзори онро истифода баред. Агар шумо татбиқи асосиро аз китобхона ё забони беруна ба даст оред, пас шумо метавонед сохтори ғании рамзии забони Wolfram-ро барои эҷоди як вазифаи мувофиқи сатҳи боло истифода баред, ки ба корбарон имкон медиҳад, ки ҳама гуна функсияҳои аллакай амалӣшударо ба осонӣ истифода баранд. Ҳадди ақал, ин бояд дар ҷаҳони идеалие имконпазир бошад, ки дар он ҳамаи блокҳои сохтмонии китобхонаҳои боркунӣ ва ғайра мавҷуданд ва дар ин ҳолат онҳо ба таври худкор аз ҷониби забони Волфрам коркард карда мешаванд. (Бояд қайд кард, ки дар амал метавонад мушкилот бо
Дар омади гап, вақте ки шумо бори аввал ба китобхонаҳои маъмулии беруна менигаред, онҳо аксар вақт хеле мураккаб ба назар мерасанд, ки танҳо дар чанд функсия фаро гирифта мешаванд, аммо дар бисёр мавридҳо, бештари мураккабӣ аз эҷоди инфрасохтори зарурӣ барои китобхона ва тамоми функсияҳо ба вуҷуд меояд. дастгирй кунад. Бо вуҷуди ин, ҳангоми истифодаи забони Wolfram, инфрасохтор одатан аллакай дар бастаҳо сохта шудааст ва аз ин рӯ зарурати ба таври муфассал нишон додани ҳамаи ин функсияҳои дастгирӣ вуҷуд надорад, балки танҳо функсияҳоро барои функсияҳои "болотарин" -и барномаҳо дар китобхона эҷод кунед. .
«Экосистема»-и базаи дониш
Агар шумо функсияҳоеро, ки мунтазам истифода мебаред, навишта бошед, онҳоро ба анбори Функсияҳои Wolfram пешниҳод кунед! Агар ягон чизи дигар аз ин (рушди забон) наояд, ҳатто дар он сурат истифодаи функсияҳо барои истифодаи шахсӣ барои шумо хеле қулайтар хоҳад буд. Бо вуҷуди ин, мантиқист, ки агар шумо ин функсияҳоро мунтазам истифода баред, шояд корбарони дигар низ онҳоро муфид пайдо кунанд.
Табиист, ки шумо метавонед дар вазъияте дучор шавед, ки шумо наметавонед - ё намехоҳед - вазифаҳои худро мубодила кунед ё дар сурати дастрасӣ ба захираҳои иттилоотии хусусӣ. Ҳатто дар чунин ҳолатҳо, шумо метавонед танҳо функсияҳоро дар ҳисоби абрии худ ҷойгир кунед,
Функсияҳое, ки шумо ба анбори функсияҳои Wolfram пешниҳод мекунед, набояд комил бошанд; онҳо бояд танҳо фоидаовар бошанд. Ин каме ба қисмати "Хатоҳо" дар ҳуҷҷатҳои классикии Unix монанд аст - дар "Қисмати таърифҳо" бахши "Эзоҳҳои муаллиф" мавҷуд аст, ки дар он шумо метавонед маҳдудиятҳо, мушкилот ва ғайраро тавсиф кунед, ки шумо аллакай дар бораи вазифаи худ медонед. Илова бар ин, вақте ки шумо хусусияти худро ба анбор пешниҳод мекунед, шумо метавонед қайдҳои пешниҳодиро илова кунед, ки аз ҷониби як гурӯҳи махсуси кураторҳо хонда мешаванд.
Пас аз интишори хусусият, саҳифаи он ҳамеша дар поён ду пайванд дорад: "
Баъзан шумо танҳо мехоҳед, ки функсияҳоро аз анбори функсионалии Wolfram, ба монанди функсияҳои дарунсохт, бидуни нигоҳ ба коди онҳо истифода баред. Аммо, агар шумо хоҳед, ки ба дохили он назар андозед, ҳамеша тугмаи Notepad дар боло мавҷуд аст. Онро клик кунед ва шумо нусхаи шахсии дафтари таърифи аслии худро, ки ба анбори хусусиятҳо пешниҳод шудааст, хоҳед гирифт. Баъзан шумо метавонед онро ҳамчун намуна барои ниёзҳои худ истифода баред. Ҳамзамон, шумо инчунин метавонед тағйироти шахсии ин функсияро таҳия кунед. Шумо метавонед ин вазифаҳоеро, ки аз анбори компютери худ ё дар ҳисоби нигаҳдории абрии aphid пайдо кардаед, ҷойгир кунед, эҳтимол шумо мехоҳед онҳоро ба пойгоҳи дониши функсионалӣ, шояд ҳамчун версияи мукаммал ва васеъшудаи функсияи аслӣ пешниҳод кунед.
Дар оянда, мо нақша дорем, ки форинги услуби Git-ро барои анбори хусусиятҳо дастгирӣ кунем, аммо ҳоло мо кӯшиш мекунем, ки онро оддӣ нигоҳ дорем ва мо ҳамеша танҳо як версияи қабулшудаи ҳар як хусусиятро дар забон дорем. Бештари вақт (агар таҳиягарон аз нигоҳ доштани хусусиятҳои таҳиякардаи худ даст накашанд ва ба пешниҳодҳои корбарон посух надиҳанд), муаллифи аслии хусусият навсозиҳои онро назорат мекунад ва версияҳои навро пешниҳод мекунад, ки баъдан баррасӣ карда мешаванд ва агар онҳо аз раванди барраси гузаранд. , ба забони руей нашр шудааст.
Биёед саволеро дида бароем, ки чӣ тавр "версияи" функсияҳои таҳияшуда кор мекунад. Дар айни замон, вақте ки шумо функсияро аз анбори функсия истифода мебаред, таърифи он ба таври доимӣ дар компютери шумо нигоҳ дошта мешавад (ё дар ҳисоби абрии шумо, агар шумо абрро истифода баред). Агар версияи нави хусусият дастрас бошад, дафъаи оянда шумо онро истифода мебаред, шумо паёме мегиред, ки шуморо аз ин огоҳ мекунад. Ва агар шумо хоҳед, ки функсияро ба версияи нав навсозӣ кунед, шумо метавонед онро бо истифода аз фармон иҷро кунед
Яке аз чизҳои зебои Repository Function Wolfram дар он аст, ки ҳама гуна барномаи Wolfram Language, дар ҳама ҷо метавонад аз он функсияҳоро истифода барад. Агар барнома дар блокнот пайдо шавад, аксар вақт формат кардани функсияҳои репозиторий ҳамчун функсияҳои ба осонӣ хондашаванда "объекти дуии функсия" (шояд бо маҷмӯи версияи мувофиқ) қулай аст.
Шумо ҳамеша метавонед бо истифода аз матн ба ҳама гуна функсия дар анбори функсия дастрасӣ пайдо кунед
Чӣ тавр он кор мекунад?
Дар дохили функсияҳои анбори Wolfram, ин имконпазир аст, ки маҳз ҳамин тавр истифода шавад
Тасаввур кунед
Дар дохили он шумо метавонед баъзе маълумотро бо истифода аз функсия дидан кунед
Таъсиси функсияи захиравӣ чӣ гуна кор мекунад? Соддатарин парвандаи сирф маҳаллӣ аст. Ин аст мисоле, ки функсияро мегирад (дар ин ҳолат танҳо як функсияи холис) ва онро ҳамчун функсияи захиравӣ барои сессияи барнома муайян мекунад:
Пас аз он ки шумо таърифро сохтед, шумо метавонед функсияи захираҳоро истифода баред:
Дар хотир доред, ки дар ин blob функсия нишонаи сиёҳ мавҷуд аст . Ин маънои онро дорад, ки функсияи BLOB ба функсияи захираҳои дохили хотира, ки барои сессияи ҷорӣ муайян шудааст, дахл дорад. Хусусияти захиравӣ, ки дар компютер ё ҳисоби абрии шумо ба таври доимӣ нигоҳ дошта мешавад, дорои аломати хокистарӣ мебошад . Ва тасвири норанҷӣ барои хусусияти манбаи расмӣ дар анбори Функсияи Wolfram мавҷуд аст .
Пас, вақте ки шумо менюи Васеъ дар дафтари таърифро истифода мебаред, чӣ мешавад? Аввалан, он тамоми таърифҳоро дар блокнот мегирад ва аз онҳо рамзӣ месозад
Ҷойгиркунии маҳаллии функсия аз анбори компютери шумо бо истифода аз фармон иҷро карда мешавад
Агар шумо тугмаи Ирсолро барои анбори функсия пахш кунед, дар зери он чӣ мешавад
Бо нобаёнӣ, пешниҳодҳо бо номи марбут ба ID Wolfram шумо анҷом дода мешаванд. Аммо агар шумо аз номи гурӯҳ ё созмони таҳиякунанда ариза пешниҳод кунед, шумо метавонед
Пас аз он ки шумо ягон функсияи худро ба пойгоҳи дониши функсионалӣ пешниҳод кардед, он барои баррасӣ дар навбат гузошта мешавад. Агар шумо дар ҷавоб шарҳҳо қабул кунед, онҳо одатан дар шакли файли матнӣ бо иловаи "ячейкаҳои шарҳ" илова карда мешаванд. Шумо ҳамеша метавонед ҳолати дархости худро тавассути боздид тафтиш кунед
Баъзе нозукиҳо дар кор
Дар назари аввал чунин ба назар мерасад, ки шумо метавонед як дафтари таърифиро гирифта, онро айнан ба як анбори функсионалӣ гузоред, аммо дар асл нозукиҳои зиёде мавҷуданд - ва коркарди онҳо иҷрои баъзе мета-барномасозии хеле мураккаб, коркарди коркарди рамзро талаб мекунад. ҳамчун рамзе, ки функсияро муайян мекунад ва худи Блокнот муайян карда мешавад. Аксарияти ин дар дохили он, паси парда рӯй медиҳад, аммо он метавонад баъзе оқибатҳое дошта бошад, ки агар шумо ба пойгоҳи дониши хусусиятҳо саҳм гузоштанӣ бошед, фаҳмиш лозим аст.
Нозукии аввалини фаврӣ: Вақте ки шумо Дафтарчаи таърифро пур мекунед, шумо метавонед танҳо бо истифода аз чунин ном ба вазифаи худ дар ҳама ҷо муроҷиат кунед. MyFunction, ки ба номи муқаррарии функсия дар забони Вулфрам монанд аст, аммо барои ҳуҷҷатҳои репозитории функсия ин иваз карда мешавад
Нозукии дуюм: вақте ки шумо аз Дафтарчаи Таърифи функсияи захиравӣ эҷод мекунед, ҳамаи вобастагиҳое, ки дар таърифи функсия иштирок мекунанд, бояд сабт ва ба таври возеҳ дохил карда шаванд. Аммо, барои кафолат додани он, ки таърифҳо модулӣ боқӣ монанд, шумо бояд ҳама чизро дар як беназир ҷойгир кунед
Одатан шумо ҳеҷ гоҳ осори кодеро, ки барои танзими ин фазои ном истифода мешавад, намебинед. Аммо агар шумо бо ягон сабаб дар дохили функсияи худ рамзи кам иҷрошуда занг занед, пас шумо хоҳед дид, ки ин рамз дар контексти дохилии функсия ҷойгир аст. Аммо, ҳангоми коркарди Definition Notepad, ҳадди аққал аломати ба худи функсия мувофиқ аст
Анбори функсия барои муайян кардани функсияҳои нав аст. Ва ин функсияҳо метавонанд имконоти дошта бошанд. Аксар вақт ин параметрҳо (масалан,
Аксари функсияҳо ҳар дафъае, ки онҳоро даъват мекунанд, танҳо кореро иҷро мекунанд, аммо баъзе функсияҳо бояд пеш аз он ки онҳо дар сеанси мушаххас кор кунанд, бояд оғоз карда шаванд - ва барои ҳалли ин мушкилот, дар қисмати Таъриф бахши "Оғозсозӣ" мавҷуд аст.
Функсияҳои анбор метавонанд дигар вазифаҳоеро истифода баранд, ки аллакай дар анбори функсионалӣ мавҷуданд; барои муқаррар кардани таърифҳо барои анбори функсия, ки ду (ё зиёда) функсияҳоеро, ки ба ҳамдигар истинод мекунанд, шумо бояд онҳоро дар сессияи барномаи худ ҷойгир кунед, то ки шумо тавонед. истинод ба монанди онҳо
Пешомадхои тараккиёт. Вақте ки анбор воқеан калон мешавад, чӣ бояд кард?
Имрӯз мо танҳо Анбори Хусусияти Wolfram-ро ба кор меандозем, аммо бо мурури замон мо интизорем, ки ҳаҷм ва функсияи он метавонад ба таври назаррас афзоиш ёбад ва бо афзоиши он мушкилоти гуногуне ба миён меоянд, ки мо аллакай интизор будем, метавонанд ба миён оянд.
Мушкилоти аввал ба номҳои функсия ва нотакрории онҳо дахл дорад. Анбори функсия тавре тарҳрезӣ шудааст, ки ба монанди функсияҳои дарунсохт дар забони Волфрам, шумо метавонед ба ягон функсияи додашуда танҳо бо нишон додани номи он муроҷиат кунед. Аммо ин ногузир маънои онро дорад, ки номҳои функсионалӣ бояд дар саросари репозиторий дар саросари ҷаҳон беназир бошанд, то масалан, танҳо як бошад.
Ин метавонад дар аввал як мушкили бузург ба назар расад, аммо бояд дарк кард, ки он аслан ҳамон мушкилотест, ки ба монанди доменҳои интернетӣ ё идораҳои васоити ахбори иҷтимоӣ. Ва ҳақиқат ин аст, ки система танҳо бояд бақайдгиранда дошта бошад - ва ин яке аз нақшҳое мебошад, ки ширкати мо барои пойгоҳи дониши функсионалии Wolfram иҷро мекунад. (Барои версияҳои хусусии анбор, бақайдгирандагони онҳо метавонанд маъмур бошанд.) Албатта, домени интернетиро бидуни доштани чизе дар он сабт кардан мумкин аст, аммо дар анбори функсионалӣ номи функсияро танҳо дар сурати мавҷуд будани таърифи воқеии функсия.
Қисми нақши мо дар идоракунии пойгоҳи дониши функсионалии Wolfram аз он иборат аст, ки номи интихобшуда барои функсия бо назардошти таърифи функсия мантиқӣ бошад ва он ба конвенсияҳои номгузории забони Волфрам мувофиқат кунад. Мо зиёда аз 30 сол таҷрибаи номгузории функсияҳои дарунсохт дар забони Вулфрам дорем ва гурӯҳи кураторони мо ин таҷрибаро ба анбори функсионалӣ низ меоранд. Албатта, ҳамеша истисноҳо вуҷуд доранд. Масалан, барои баъзе вазифаҳо доштани номи кӯтоҳ беҳтар ба назар мерасад, аммо беҳтар аст, ки бо номи дарозтар ва мушаххастар "ҳимоя кунед", зеро эҳтимоли кам дучор шудан ба касе, ки мехоҳад дар оянда номи як функсияро созад. .
(Дар ин ҷо бояд қайд кард, ки танҳо илова кардани баъзе тегҳои аъзо барои номуайян кардани функсияҳо таъсири пешбинишударо намедиҳад. Зеро агар шумо ҳамеша ба таъин кардани тег исрор накунед, ба шумо лозим меояд, ки теги пешфарзро барои ягон функсияи додашуда муайян кунед ва инчунин тегҳои муаллифро ҷудо кунед. , ки боз ҳам ҳамоҳангсозии глобалиро талаб мекунад.)
Бо афзоиши базаи дониши функсияҳои Волфрам, яке аз мушкилоте, ки эҳтимол ба миён меояд, кашфи функсияҳо мебошад, ки система барои онҳо
Барои функсияҳои дарунсохт дар забони Волфрам қабати ба истилоҳ муайянкунанда мавҷуд аст, ки аз ҷониби
Анбори функсияи Wolfram ҳамчун анбори функсияҳои доимӣ танзим карда шудааст, ки дар он ҳама гуна функсия дар он ҳамеша кор хоҳад кард. Албатта, версияҳои нави хусусиятҳо метавонанд дастрас шаванд ва мо интизорем, ки баъзе хусусиятҳо албатта бо мурури замон кӯҳна мешаванд. Функсияҳо, агар онҳо дар барномаҳо истифода шаванд, кор хоҳанд кард, аммо саҳифаҳои ҳуҷҷатгузории онҳо ба вазифаҳои нав ва пешрафтатар пайванд хоҳанд кард.
Анбори хусусиятҳои Wolfram барои кӯмак расонидан ба шумо дар кашф кардани хусусиятҳои нав ва омӯхтани роҳҳои нави истифодаи забони Волфрам пешбинӣ шудааст. Мо хеле хушбин ҳастем, ки баъзе чизҳое, ки дар анбори хусусиятҳо омӯхта шудаанд, оқибат ба қисмҳои дохилии забони Волфрам табдил меёбанд. Дар давоми даҳсолаи охир мо як маҷмӯи монанд доштем
Муҳимтар аз ҳама ин аст, ки функсия дар анбори функсионалӣ чизест, ки барои ҳар як корбар ҳоло дастрас аст. Мумкин аст, ки хусусияти забони модарӣ метавонад хеле беҳтар ва самараноктар бошад, аммо анбори хусусиятҳо ба корбарон имкон медиҳад, ки фавран ба ҳама хусусиятҳои нав дастрасӣ дошта бошанд. Ва муҳимтар аз ҳама, ин консепсия ба ҳама имкон медиҳад, ки ҳар гуна хусусиятҳои наверо, ки мехоҳанд, илова кунанд.
Қаблан дар таърихи забони вольфрам ин ақида мисли пештара кор намекард, аммо дар ин марҳила ба забон он қадар заҳмат ва фаҳмиши амиқи принсипҳои тарҳрезии забон вуҷуд дорад, ки ҳоло хеле ба назар мерасад. имкон дорад, ки як ҷомеаи бузурги корбарон хусусиятҳоеро илова кунанд, ки мутобиқати тарроҳиро нигоҳ доранд, то онҳоро барои доираи васеи корбарон муфид гардонанд.
Дар ҷомеаи корбарони забони Wolfram рӯҳияи бениҳоят истеъдод (?) вуҷуд дорад. (Албатта, ин ҷомеа бисёр одамони пешқадами R&D-ро дар соҳаҳои гуногун дар бар мегирад.) Ман умедворам, ки Анбори Функсияи Wolfram барои кушодан ва паҳн кардани ин рӯҳияи истеъдод як платформаи муассир фароҳам меорад. Танҳо якҷоя мо метавонем чизе эҷод кунем, ки майдони онро ба таври назаррас васеъ кардани парадигмаи ҳисоббарории забони Волфрам истифода барад.
Дар тӯли зиёда аз 30 сол, мо бо забони Волфрам роҳи дарозеро тай кардем. Акнун якҷоя, биёед боз ҳам бештар пеш равем. Ман ҳама корбарони мӯҳтарами забони Волфрамро дар саросари ҷаҳон ташвиқ мекунам, ки анбори функсионалӣ ҳамчун платформа барои ин ва инчунин лоиҳаи нави нармафзор, ба монанди Engine Free Wolfram for Developers истифода баранд.
Манбаъ: will.com