haskel vs. pascal
34 отговора
1278 прегледа
Че то 80x86 си е глезотия, и инструкции за деление си има...
* != ***
Lady and gentlemans,
Zashto triabva da se obijdame?
Vseki ezik e cenen. Mnogo e dobre da se znae Assembler i da se razbira ot hardware. Sushto tolkova interesno e OOP, C/C++, ... kakto i Prolog, Lisp, Haskell ...
Az ne biah chuval do sega za ezika Haskell,
no ot internet mi napravi vpechatlenie, che tozi ezik e "imenuvan" v chest na Haskell Curry. Samia Curry e mnogo izvesten s negovata Combinator Theory. Uchil e pri David Hilbert, i e rabotil v Princeton zaedno s von Neumann, Goedel, Church i Einstein (po edno i susto vreme sa bili v Princeton).
Tazi Combinator Theory e mnogo interesna: samo s tri operatora I, K, S se modelira lambda-calculus na Church i znachi vsichko e ekvivalentno na Turing Machine. Oshte poveche, Curry e pokazal kak samo s edin operator, X, moje da se definirat I, K, S, t.e. teoretichno e vuzmozen program language, daje computer, samo s edna edinstvena instrukcia X, v ezika L = { '(', ')', 'X'}.
Tova ne e li interesno?
About Curry (Кари): [линк]
Tova ne beshe reklama na samia ezik Haskell, zashtoto ne go poznavam :)
"За да имаме право на собствено мнение трябва да уважаваме по-различното чуждо - то показва нашите пропуски", K. G.
Zashto triabva da se obijdame?
Vseki ezik e cenen. Mnogo e dobre da se znae Assembler i da se razbira ot hardware. Sushto tolkova interesno e OOP, C/C++, ... kakto i Prolog, Lisp, Haskell ...
Az ne biah chuval do sega za ezika Haskell,
no ot internet mi napravi vpechatlenie, che tozi ezik e "imenuvan" v chest na Haskell Curry. Samia Curry e mnogo izvesten s negovata Combinator Theory. Uchil e pri David Hilbert, i e rabotil v Princeton zaedno s von Neumann, Goedel, Church i Einstein (po edno i susto vreme sa bili v Princeton).
Tazi Combinator Theory e mnogo interesna: samo s tri operatora I, K, S se modelira lambda-calculus na Church i znachi vsichko e ekvivalentno na Turing Machine. Oshte poveche, Curry e pokazal kak samo s edin operator, X, moje da se definirat I, K, S, t.e. teoretichno e vuzmozen program language, daje computer, samo s edna edinstvena instrukcia X, v ezika L = { '(', ')', 'X'}.
Tova ne e li interesno?
About Curry (Кари): [линк]
Tova ne beshe reklama na samia ezik Haskell, zashtoto ne go poznavam :)
"За да имаме право на собствено мнение трябва да уважаваме по-различното чуждо - то показва нашите пропуски", K. G.
Re: pravialno! ASSEMBER!
tocno tova imam v predvid!
izvan ramkite na segata obace, naistina misla ce obucenieto naistina trebav da zapocva s edna sedmica BASIC za 8mica! posle 1sedmica nekakav ASSEMBLER!
posle moje i JAVA i PROLOG i tam neznam si kvo!
primerno edin docen tot MEI-to tvardese ce v uciliste po informatika trebvalo da se uci PROLOG!?
izvan ramkite na segata obace, naistina misla ce obucenieto naistina trebav da zapocva s edna sedmica BASIC za 8mica! posle 1sedmica nekakav ASSEMBLER!
posle moje i JAVA i PROLOG i tam neznam si kvo!
primerno edin docen tot MEI-to tvardese ce v uciliste po informatika trebvalo da se uci PROLOG!?
Re: * != ***
Да, прав си. Все пак да не губим добрия тон.
(Това, което казах не беше адресирано специално към теб, а * != *** е за да се знае, че сме различни индивиди)
Понеже така и така вземам думата само да кажа, че аз употребих "Combinator Theory", което да не се бърка с по-познатата "комбинаторна теория" или "комбинаторика".
Това, което е направил Кари се нарича понякога "комбинаторна алгебра", което е "екстенсионална апликативна система". Той се е опитвал да построи "комбинаторна логика" и да използва своята система като основа на математиката, което е било модерно занимание по негово време. Само че е внимавал какво говори, понеже първоначалното ламбда-смятане на Чърч се оказва противоречива теория (показано от Клини и Росер) та се налага по-късно Чърч да я преразгледа.
Това може да няма нищо общо с езика "haskell", за който чувам сега за пръв път, но се разговорих понеже мен ме интересува.
(Това, което казах не беше адресирано специално към теб, а * != *** е за да се знае, че сме различни индивиди)
Понеже така и така вземам думата само да кажа, че аз употребих "Combinator Theory", което да не се бърка с по-познатата "комбинаторна теория" или "комбинаторика".
Това, което е направил Кари се нарича понякога "комбинаторна алгебра", което е "екстенсионална апликативна система". Той се е опитвал да построи "комбинаторна логика" и да използва своята система като основа на математиката, което е било модерно занимание по негово време. Само че е внимавал какво говори, понеже първоначалното ламбда-смятане на Чърч се оказва противоречива теория (показано от Клини и Росер) та се налага по-късно Чърч да я преразгледа.
Това може да няма нищо общо с езика "haskell", за който чувам сега за пръв път, но се разговорих понеже мен ме интересува.
Re: * != ***
Prav si za * != *** osven ako ne sum shizofrenno razdvoena lichnost :)))
I az ne biah chuval za choveka Haskell. Navremeto dosta hora sa probvali da formalizirat poniatieto izchislenie i izchilimost - Turing, Church, Kleene i t.n. no nakraia se okazalo che na vsichki methodite sa ekvivalentni t.e. porajdat edin i sust klas funkcii. Taka se e rodil i tezisa na Church-Turing, koito v osnovni linii glasi che vsiaka efektivno izchislima funkcia e izchislima s mashina na Turing.
I az ne biah chuval za choveka Haskell. Navremeto dosta hora sa probvali da formalizirat poniatieto izchislenie i izchilimost - Turing, Church, Kleene i t.n. no nakraia se okazalo che na vsichki methodite sa ekvivalentni t.e. porajdat edin i sust klas funkcii. Taka se e rodil i tezisa na Church-Turing, koito v osnovni linii glasi che vsiaka efektivno izchislima funkcia e izchislima s mashina na Turing.
BTW, what is haskell?
Да, съвършенно си прав.
А вместо само да говорим празни приказки, ... няма ли някой да обясни що за език е "haskell", и дали не срами името на Haskell Curry. Някой пробвал ли е това нещо - на официалната му страница пише че има компилатори free.
Къде се загуби автора на темата, prog, за да каже къде е далаверата? Да не се е обидил от няколкото гаднички постинга?
*
PS.
Самия Кари е бил вътре в същата интрига със Turing и компания, но не е толкова известен. Все пак неговите комбинатори I, K и S са класика и са част от всяка книга по lambda calculus; например има го в книгата на Баретрегт ([линк]).
Аз четох една архивна книга по логика писана от Кари и преведена на руски, ... но не беше кой знае какво. Имаше интересни неща, но малко в стани от класиката.
А вместо само да говорим празни приказки, ... няма ли някой да обясни що за език е "haskell", и дали не срами името на Haskell Curry. Някой пробвал ли е това нещо - на официалната му страница пише че има компилатори free.
Къде се загуби автора на темата, prog, за да каже къде е далаверата? Да не се е обидил от няколкото гаднички постинга?
*
PS.
Самия Кари е бил вътре в същата интрига със Turing и компания, но не е толкова известен. Все пак неговите комбинатори I, K и S са класика и са част от всяка книга по lambda calculus; например има го в книгата на Баретрегт ([линк]).
Аз четох една архивна книга по логика писана от Кари и преведена на руски, ... но не беше кой знае какво. Имаше интересни неща, но малко в стани от класиката.