ocaml

3열

1답변

나는 파일에서 대수 문을 읽고 ocamllex/ocamlyacc를 사용하여 AST로 구문 분석 한 다음 그것을 줄인 다음 인쇄하는 간단한 ocaml 프로그램을 작성하고 있습니다. 내가 표현을 줄이는 부분은 약간 ... 추한 것 같습니다. 내가 그것을 단순화 할 수있는 방법이 있습니까? (* ocaml doesn't seem to be able to take

2열

3답변

OCaml에서 알려진 인수 목록에 함수를 적용 할 때 경고를 피하는 방법은 무엇입니까?

어떻게 변환 할 수있는 몇 가지 값 a, b, c 등 a'에, b', 등등 c', x'=f(x)이? 값은 특정 이름에 바인딩되며 그 양은 컴파일 타임에 알려집니다. let [a';b'] = List.map f [a;b] in ... 을하지만 경고 산출 : 나는 다음과 같은 방식으로 목록에 함수를 적용하는 시도를 방지하기 Warning P: this pa

2열

3답변

ocamlc, 모듈 컴파일

ocaml에 응용 프로그램을 작성했습니다. 그것은 여러 모듈로 구성 : 백분율 (util.ml) 근무처 (work1.ml) - 개방 백분율 근무처 (work2.ml) - 개방 백분율, 너무 홈페이지 (main.ml) - 모든 항목을 엽니 다. ocamlc를 사용하여 컴파일 할 때 Work2 모듈에서 컴파일이 실패하고 Util에서 언 바운드 값에 대한 오류

25열

4답변

OCaml을위한 향상된 인터프리터 토플 루프가 있습니까?

파이썬에는 IPython이 있습니다. OCaml에는 비슷한 것이 있습니까? 난 아주 많이 다른 기능이 너무 좋은 것 있지만, 명령의 역사를 가지고 싶습니다. 나는 이멕스에서 명령 역사를 읽을 수는 있지만 이맥스는 사용하지 않는다는 것을 읽었습니다.

1열

1답변

OCaml의 구현 조언

나는 밖으로 난에 Set.Make(String) 펑 actualy 사용이 알고리즘을 구현하기 위해 OCaml의에서 다음 너 한테을 변환하는 데 문제가 은 하나가 다음 나에게 OCaml의에서 percise 코드 도움을 줄 수있는이 개 기능은 실제로 Algo for Live Variables[PDF] ..Help 크게 for all n, in[n] = out[

22열

9답변

왜 헤지 펀드와 금융 서비스가 종종 OCaml을 사용합니까?

많은 quants/hedgies에 대해 말하자면, 많은 사람들이 자작 언어 나 OCaml을 사용하여 많은 작업을하고있는 것 같습니다. 그들 중 많은 사람들이 왜 대답 할 수 없었는가? 그들은 대부분의 C++를 사용하려는 wouldnt가 왜 내가 확실히 이해할 수 있지만 왜 OCaml의 다른 스크립팅 언어에 비해 이러한 용도에 우수 등 파이썬, 루비 말?

3열

1답변

동적 간격 예약을 위해 이러한 ocaml 함수를 어떻게 최적화합니까?

나는 가중치가 적용된 interval scheduling problem using dynamic programming을 해결하는 프로그램을 가지고있다. (믿거 나 말거나, 숙제가 아니다.) 나는 그것의 윤곽을 잡았고, 나는 대부분의 시간을 P (...)로 채우고있다. 여기에 기능은 다음과 같습니다 let rec get_highest_nonconflictin

7열

1답변

OCaml의 모듈과 성능

일부 기능은 OCaml로의 구현 (예를 들어, 목록에서지도)하지만 당신은 OCaml의 라이브러리의지도를 사용할 수 있습니다 정말 쉬운 : 우리가 궁금해 할 수 그러나 List.map을하는 코드 더 효율적입니다. 별도의 컴파일 단위 (라이브러리) 모듈을 호출하면 가능한 최적화가 무효화 될 수 있습니다. 뉴스 그룹 fa.caml에서 라이브러리에서 함수를 호출

19열

4답변

OCaml에서 기존 유형 확장하기

저는 최근에 OCaml 프로그래밍을 해왔으며 언어를 배우고 기능 프로그래밍에 대해 더 잘 알고 있습니다. 이제 type bexp = And of bexp * bexp | Or of bexp * bexp | Xor of bexp * bexp | Not of bexp;; 의 내가 추가 할 가정 해 봅시다 : 최근에, 예를 들어, 나는 기존 형

27열

4답변

LLVM과 함께 사용할 함수형 프로그래밍 언어를 선택할 때 트레이드 오프는 무엇입니까?

C++이 함수형 프로그래밍 언어가 아니라고 가정 해 봅시다. 백엔드에 LLVM을 사용하는 컴파일러를 작성하고 기능적 프로그래밍 언어와 LLVM에 바인딩을 사용하여 작업을 수행하려면 Objective Caml과 Haskell이라는 두 가지 선택을해야합니다. 다른 사람들이 있다면 그 사람들에 대해서도 알고 싶습니다. 주관적인 의견을 요구하는 것이 아니므로 su