FP가했던 것처럼, 결국 우리의 모든 프로그램은 구조화되어 있습니다. 즉, 우리가 그것들을 얼마나 순수하거나 기능적으로 만드는지는 중요하지 않습니다. 그것들은 항상 어셈블리로 변환되므로 실제로 후드 뒤에서 실행되는 것은 명령, 상태 및 루프입니다. 우리는 FP를 모방하고 있습니다.
하드웨어 멍청한 놈으로서, 제 질문은 : 실제로 기능적인 스타일로 물건을 계산하는 컴퓨터 아키텍처를 사용하지 않는 이유는 무엇입니까? 예를 들어, 컴퓨터는 "concat", "map"및 "reduce"와 같은 기본 "기능성 칩"으로 구성 될 수 있으며, 프로그램은 원하는 결과를 계산하기 위해 해당 칩간에 데이터를 이동시키는 방법을 컴퓨터에 알려줍니다. 연결 언어와 같은
이것은 실제로 의미가 없지만 내가 생각하는 것을 설명 할 수 있습니다.
5
링크를 손에 넣지 않아도 Haskell 칩이 만들어졌고 전문가 시스템에는 특수한 리스프 하드웨어도있었습니다. 하드웨어보다 맵 / 리 듀스 패러다임에 더 가깝다고 생각합니다. FP의 유일한 성능 이점은 병렬 처리로의 확장 성입니다. 다른 모든 방법으로 fp는 추상화 수준이 높기 때문에 지침에 포함되지 않으므로 성능이 떨어집니다. 금속 수준에서는 성능이 뛰어나고 추상화 수준에서도 수학적으로 모든 것이 필수적입니다. 두 단계를 거치지 않고 2 * 3 + 5를 계산합니다. 모든 것이 필수입니다
—
Jimmy Hoffa
또한 VHDL을 통해 정적 하드웨어에 필수적인 로컬 효과 를 갖는 고차 및 아핀 재귀를 가진 이름 별 호출 Lambda 미적분 의 컴파일러 인 Verity에 관심이있을 수 있습니다 .
—
Dan D.
@Dokkat :
—
메이슨 휠러
if we could make a specialized chip for Filter, for example, it would need just a single clock for a Filter operation. 필터가 "작동"하지 않기 때문에 실제로는 아닙니다. 임의의 외부 연산을 목록에 적용하는 고차 함수입니다. 당신은 줄일 수 없습니다 것을 하나의 클럭 사이클에.
@Dokkat 그것은 입력 함수로서 걸리기 때문에 고차 함수입니다. 어리석은 특이성은 "단일 조작으로"수행 할 수있는 예를 만드는 것입니다. 특정 술어 함수는 일정하므로 실제로 실제 필터는 아닙니다. 입력 함수에 걸리는 클록주기 수를 제어 할 수 없으므로 임의의 술어 함수를 사용하는 필터를 단일 클록 주기로 줄일 수 없습니다.
—
질긴 검볼