배열을 기반으로하지 않는 컴퓨터 아키텍처

기능 프로그래밍을위한 Monads에 관한 Wadler의 원본 논문 (Haskell)

오랜 역사를 가진 또 다른 질문은 프로그램을 어레이 업데이트를 기반으로하는 것이 바람직한 지 여부입니다. 배열을 기반으로 알고리즘과 아키텍처를 개발하는 데 많은 노력을 기울 였으므로이 토론을 피하고 대답이 '예'라고 가정합니다.

다른 가능한 아키텍처에 대한 인용이나 힌트는 없습니다. Lisp에 적합한 아키텍처에 대해 들었습니다. 누군가 내가이 주제를 시작하는 방법 / 방법에 대한 설명과 지침을 알려주십시오. 다른 아키텍처를 간단히 설명해 주시면 감사하겠습니다.

— 별표
소스

아마도 지금보다 나무를 더 효율적으로 만들기 위해 일종의 하드웨어 지원을 추가 할 수 있습니다. 특히 캐시 위치에 관한 것입니다.

— 코드 InChaos

어떤 의미에서, 여러 코어를 가진 컴퓨터는 순수한 언어에 더 적합합니다.

— PyRulez

@CodesInChaos 위키에는 Graph Reduction machine에 대한 스텀프 (stump)와 1963 종이에 기반한 SECD 머신에 대한 링크가 있습니다. 그것이 확실하지 않습니다.

— 별표

있다 Symbolics라는 리스프 머신 , 또한 리스프 기계

또 다른 참고로, 이는 또한 데이터 흐름 프로그래밍을위한 커스텀 하드웨어가 존재한다는 제안 일 수도 있습니다. 이 글 은 70 년대와 커스텀 하드웨어에서 개발 된 개념이 80 년대에 추구되었다고 말합니다.

— 에릭 아이 트
소스

목록은 실제로 추가 기능이있는 배열 일뿐입니다.

— Robert Harvey

@RobertHarvey 개념 상 매우 다릅니다. 하나는 인덱스 작업을 제공하고 다른 하나는 순차적 작업을 제공합니다. 오직 하나만이 다음 (및 이전)을 알고 있어야합니다. 즉 나는 시퀀스의 일부입니다. 실제로 배열은 내용을 순차적으로 저장할 필요가 없습니다. 단지 편리합니다. 배열은 인덱스를 제공하기 만하면됩니다 (이 인덱스는 개념적으로 무엇이든 가능합니다).이 인덱스는 O (1)에서 요소를 가져오고 업데이트하는 데 사용될 수 있습니다.

— 별표