OOP 창시자 Alan Kay, 개발, Lisp 및 OOP에 대해 설명

Alan Kay에 대해 들어본 적이 없다면 적어도 그의 유명한 인용문은 들어본 적이 있을 것입니다. 예를 들어, 1971년의 다음 인용문은 다음과 같습니다.

미래를 예측하는 가장 좋은 방법은 미래를 창조하는 것입니다.
미래를 예측하는 가장 좋은 방법은 미래를 창조하는 것입니다.

Alan은 컴퓨터 공학 분야에서 매우 다채로운 경력을 갖고 있습니다. 그는 받았다 교토상 и 튜링 상 객체지향 프로그래밍 패러다임에 대한 그의 연구에 감사드립니다. 그는 개인용 컴퓨터와 그래픽 인터페이스 분야의 선구자 중 한 사람이었습니다. 잡담 역사상 최초의 가장 영향력 있는 프로그래밍 언어 중 하나입니다.

우리는 헥스레테, 특히나 잡담, "OOP가 무엇인지", "Alan Kay가 실제로 무엇을 의미했는지"라는 질문이 끊임없이 제기됩니다. 이 게시물에는 현대 개발 상태, OOP 및 Lisp 언어에 대한 Alan의 흥미로운 인용문이 포함되어 있습니다.

소프트웨어 개발에 대하여

Alan Kay는 컴퓨터 혁명이 아직 도래하지 않았다고 믿습니다.실제 컴퓨터 혁명은 아직 일어나지 않았습니다) 그리고 소프트웨어 개발은 ​​무어의 법칙에 반비례하여 발전합니다. 하드웨어는 매년 향상되지만 소프트웨어는 불필요하게 비대해집니다.

문제는 약하고 확장성이 떨어지는 아이디어와 도구, 게으름, 지식 부족 등입니다.

이 상황은 잘 설명되어 있습니다 짧은 농담:

앤디가 준 것, 빌이 가져가는 것
앤디는 줬고, 빌은 받았어

인텔의 CEO 앤디 그로브와 마이크로소프트의 빌 게이츠 CEO.

현재 개발 상태를 개선하는 것이 연구 프로젝트의 목표였습니다. 프로그래밍의 재발명을 향한 단계(PDF). "필요한 코드의 양을 100, 1000, 10000배 이상 줄임"으로써 표현력에 있어서 "무어의 법칙"을 달성하는 것이 목표입니다.

그의 놀라운 보고서에서 프로그래밍 및 확장(비디오) 이 주제는 더 자세히 논의됩니다. Alan에 따르면, 소프트웨어 엔지니어링은 정체되어 하드웨어와 기타 과학, 엔지니어링 분야를 따라잡지 못하는 잊혀진 과학이 되어가고 있습니다. 대규모 프로젝트는 코드 덤프가 되었으며 아무도 100억 줄의 MS Vista 또는 MS Word 코드를 이해할 수 없습니다. 그러나 실제로는 그러한 프로젝트에는 훨씬 적은 양의 코드가 있어야 합니다.

Alan은 인터넷, TCP/IP 프로토콜, LISP 인터프리터, Nile(벡터 그래픽용 Math DSL) 및 OMeta(OO PEG)(PDF) 최소한의 코드로 우아한 소프트웨어의 예.

그는 인터넷(TCP/IP)을 올바르게 설계된 몇 안 되는 대규모 소프트웨어 프로젝트 중 하나로 부르며, 그 복잡성 수준은 복잡성 수준(복잡성 대 복잡성)과 균형을 이룹니다. 20줄 미만의 코드로 이 프로젝트는 수십억 개의 노드를 지원할 수 있는 살아 있고 역동적인 시스템으로 작동하며 1969년 XNUMX월 처음 출시된 이후 단 한 번도 오프라인 상태가 된 적이 없습니다. 우리는 인터넷을 사람들이 만든 일반적인 소프트웨어 프로젝트로 간주하는 것을 중단했습니다.

인터넷은 너무나 잘 발달되어 많은 사람들이 인터넷을 인간 노동의 산물이 아닌 태평양과 같은 천연자원처럼 취급합니다. 이렇게 안정적이고 명확하며 오류 없는 기술을 마지막으로 본 것이 언제였습니까? 이에 비해 웹은 넌센스입니다. 웹은 아마추어에 의해 만들어졌습니다.

객체 지향 프로그래밍 정보

내가 가장 먼저 관심을 보인 것은 그의 사람이었습니다. 머리 글자 OOP 비전. 그의 미생물학 경험은 중요한 역할을 했습니다.

나는 사물을 생물학적 세포, 그리고/또는 메시지를 통해서만 소통할 수 있는 네트워크상의 개별 컴퓨터와 같다고 생각했습니다.

수학 경험:

수학에서의 나의 경험은 각 객체가 여러 개의 대수를 가질 수 있고, 그것들을 패밀리로 결합할 수 있으며, 이것이 매우 유용할 수 있다는 것을 깨달았습니다.

LISPa의 후기 바인딩 및 강력한 메타 기능에 대한 아이디어:

두 번째 단계는 LISPa를 이해하고 그 이해를 사용하여 더 쉽고, 더 작고, 더 강력한 구조와 나중에 바인딩을 만드는 것입니다.

그리고 곧 Alan은 동적 언어가 소프트웨어 개발의 미래(PDF). 특히 그에게는 변화의 용이성이 중요합니다.

후기 바인딩을 사용하면 개발 프로세스 후반부에 나온 아이디어를 더 적은 노력으로 프로젝트에 통합할 수 있습니다(C, C++, Java 등과 같은 이전 바인딩 시스템과 비교).

그리고 즉석에서 변경하고 더 빠르게 반복할 수 있는 가능성은 다음과 같습니다.

핵심 아이디어 중 하나는 테스트 중에, 특히 변경이 진행되는 동안 시스템이 계속 작동해야 한다는 것입니다. 큰 변화라도 점진적으로 이루어져야 하며 XNUMX초도 채 걸리지 않아야 합니다.

에서 누락된 것 정적으로 유형이 지정된 언어:

대부분의 사람들처럼 초기 바인딩 언어를 사용하면 이미 작성한 내용에 자신을 가두게 됩니다. 더 이상 쉽게 재구성할 수 없습니다.

놀랍게도 OOP에 대한 그의 생각은 다음과 같이 제한되어 있었습니다.

나에게 OOP는 메시지, 로컬 보유 및 보호, 상태 숨기기 및 모든 것에 대한 지연 바인딩입니다. 이는 Smalltalk와 LISP에서 수행될 수 있습니다.

그리고 상속에 관한 것은 없습니다. 이것은 OOP가 아닙니다 오늘날 우리가 아는 것:

나는 오래 전에 이 주제에 대해 "객체"라는 용어를 사용했으면 좋았을 것입니다. 왜냐하면 그것이 많은 사람들이 작은 아이디어에 집중하게 하기 때문입니다.

현대의 정적인 유형의 OO 언어에는 부족하다는 큰 아이디어가 있습니다.

가장 큰 아이디어는 "메시지"입니다

그는 객체의 내부보다는 메시지, 느슨한 결합, 모듈 상호 작용에 초점을 맞추는 것이 중요하다고 믿습니다.

좋은 확장 가능한 시스템을 만드는 열쇠는 모듈 간의 통신 메커니즘을 작동하는 것이지 내부 속성과 동작을 작동시키는 것이 아닙니다.

그에게는 정적으로 입력된 언어가 있는 것 같습니다. 결함 있는:

나는 유형을 반대하지는 않지만 고통을 유발하지 않는 유형 시스템을 모릅니다. 그래서 나는 아직도 다이나믹 타이핑을 좋아한다.

오늘날 일부 인기 있는 언어는 Smalltalk의 메시지 전달 아이디어, 지연 바인딩 및 이해하지 못함: 전달 호출 в 오브젝티브-C, 방법_누락 в 루비 и noSuchMethod 구글에서 다트.

모든 것을 파괴하고 더 나은 것을 창조하세요

Alan은 컴퓨터 과학의 발전에 관한 흥미로운 이론을 가지고 있습니다.

제가 보기엔 컴퓨터 과학은 한 종류밖에 없고, 과학은 다리를 놓는 것과 같습니다. 누군가는 다리를 만들고, 누군가는 다리를 파괴하고 새로운 이론을 만들어냅니다. 그리고 우리는 계속해서 다리를 건설해야 합니다.

LISP 소개

앨런 케이는 리스프를 믿는다

역대 최고의 프로그래밍 언어

그리고 컴퓨터 과학을 전공하는 모든 졸업생은 다음과 같은 내용을 공부해야 합니다.

CS 학위를 취득하려는 대부분의 사람들은 Lisp의 중요성을 이해하지 못합니다. Lisp는 컴퓨터 과학에서 가장 중요한 아이디어입니다.

적절한 분위기와 맥락에 대해

그는 종종 그 독특한 분위기를 회상한다. 제록스 PARC и ARPA, "비전은 목표보다 더 중요합니다." 그리고 "프로젝트가 아닌 사람에게 자금을 지원합니다."

관점은 IQ 80점의 가치가 있습니다.

앨런 케이는 이렇게 말합니다.

ARPA/PARC 이야기는 비전, 적절한 자금 조달, 올바른 상황 및 프로세스의 조합이 어떻게 문명에 영향을 미칠 뿐만 아니라 사회에 막대한 가치를 창출하는 새로운 기술을 탄생시킬 수 있는지 보여줍니다.

그리고 이것은 사실입니다. PARC의 인상적인 발명품 목록을 살펴보세요., 그 중 다수는 우리 세계의 발전에 매우 중요한 역할을 했습니다. 예를 들어:

• 레이저 프린터
• 객체지향 프로그래밍/스몰토크
• 개인용 컴퓨터
• 이더넷/분산 컴퓨팅
• GUI/컴퓨터 마우스/WYSIWYG

그리고에 ARPA 창조하다 ARPANET, 인터넷의 조상이되었습니다.

PS Alan Kay가 Hacker News 커뮤니티의 질문에 답변합니다..

출처 : habr.com