frege

1열

1답변

나는 Frege을 시도해 왔으며, 내가하고 싶은 첫 번째 일은 자바 인터페이스를 구현하는 것이다. 어떻게 완료 되나요? package mypkg; import frege.repl.FregeRepl; import frege.runtime.Concurrent; import org.osgi.framework.BundleActivator; import o

2열

1답변

어떤 프로젝트가 Haskell에서 Frege로 성공적으로 이식 되었습니까?

하스켈 코드를 Frege로 포팅하는 법을 배우고 싶습니다. 이미 이식되어 좋은 모범이되는 프로젝트가 있습니까?

1열

1답변

java에서 frege 함수로 정수 목록을 전달하는 가장 쉬운 방법은 무엇입니까?

내가 프레게 모듈이 가정 module Util where total :: [Int] -> Int total xs = fold (+) 0 xs "총"자바로 작성된 경우, 내가 Util.total(Arrays.asList(1,2,3)); 자바에서 프레게의 구현을 호출하는 가장 좋은 방법은 무엇입니까 통해 호출 할 수 있습니다?

1열

1답변

Frege에서 여러 패턴을 정의하는 방법은 무엇입니까?

여러 패턴을 사용하는 Frege의 함수를 정의하는 데 문제가 있습니다. 기본적으로 튜플 목록을 반복하여 매핑을 정의합니다. 나는 다음과 같은 오류 얻을 foo :: a -> [(a, b)] -> b foo _ [] = [] --nothing found foo bar (baz, zab):foobar | bar == baz = zab | otherwis

2열

1답변

froid에서 새로운 ViewPager를 만드는 방법

froid을 사용하여 Android 응용 프로그램을 작성했지만 ViewPager를 만드는 방법에 대한 설명서를 찾을 수없는 것 같습니다. 어떻게 맞춤 설정을하나요?

1열

1답변

Frege의 정규식 리터럴

Frege에서 정규식 리터럴을 지정하는 데 사용되는 무덤 악센트 부호의 유니 코드 코드는 무엇입니까?

2열

1답변

유형으로 다형성하지

나는 다음과 같은 데이터 유형에 대한 펑터 인스턴스를 만들려고 노력 해요 : data Event t a = Event { runEvent :: t -> ([a], Event t a) } instance Functor (Event t) where fmap :: (a -> b) -> Event t a -> Event t b fmap f e

2열

1답변

기본 변경 가능 필드에 대한 경고

이 경고는 무엇을 의미합니까? 이 경고를 피할 수있는 방법이 있습니까? 나는 컴파일러 코드 here에서 메시지를 이해하려고했지만 나는 할 수 없었다. 당신, 프로그래머, 그것은 자바 값이 프로그램의 수명 기간 동안 변경 될 수 있습니다 단순히 상기시켜 frege> native sysin "java.lang.System.in" :: MutableIO Inpu

2열

1답변

순수하게 안드로이드 애플 리케이션을 작성

나는 잠시 동안 이것을보고 있었지만 주로 Java에서 frege를 호출하는 데 초점을 맞춘 오래된 솔루션 인 것으로 보인다. 순전히 Frege에서 완전한 앱/활동을 작성하는 방법이 있습니까? 그렇지 않다면, 왜?

1열

1답변

java -cp 옵션에서 "빌드 :"은 무엇을 의미합니까?

나는 프레게에 대한 학습이 명령 줄 보았다 : $ java -Xss1m -cp build:fregec.jar examples.SimpleIO 내가 전에 build: 것을 본 적이 있습니다. 그게 무슨 뜻 이죠? 더 많은 상황 : https://github.com/Frege/frege/issues/289 가 나는 this official article에