«language-design» 태그된 질문

간단한 정적으로 유형화 된 함수형 프로그래밍 언어를 학습 경험으로 설계하고 있습니다. 지금까지 구현 한 유형 시스템은 약간의 추가 작업으로 교차 및 조합 유형을 통합 할 수 있습니다. <Union String Integer> <Union Integer Foo> 위의 두 유형의 교차점은 평범 할 것입니다. Integer 두 유형의 결합은 <Union String Integer Foo> 물론 이것이 …

22 type-theory  functional-programming  type-inference  language-design 

계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

우리는 Haskell이나 Idris와 같이 가비지 수집없이 시스템 프로그래밍을 목표로하고 런타임이없는 (또는 적어도 C와 Rust "런타임"을 넘지 않는) 형식적이고 순수한 기능적 프로그래밍 언어를 원한다고 가정 해 봅시다. 베어 메탈에서 어느 정도 실행될 수있는 것. 수동 메모리 관리 또는 런타임 가비지 수집이 필요없는 정적 메모리 안전 옵션에는 어떤 것이 있으며, Haskell 또는 …

13 pl.programming-languages  language-design