idris에는 한 번만 사용할 수있는 유형의 값인 UniqueType이라는 우주가 있습니다. 내가 아는 한, 고성능 코드를 작성하는 데 사용할 수 있습니다. 는하지만 값이 한 번만 사용할 수 있다는 사실은 일반적으로 너무 제한적이기 때문에, 그것을 소비하는 대신 값을 빌려 할 수있는 방법이있다 : data Borrowed : UniqueType -> Bor
포럼 post incidates는 STM 대신 고유성 유형을 사용합니다. 나는 그것이 무엇을 말하는지 이해하지 못한다. 고유성 유형은 STM이 여러 스레드가 동일한 변수를 업데이트하는 위치를 처리하려고하는 문제를 어떻게 처리 할 것입니까? 위키 피 디아의 기사를 uniqueness types과 linear types으로 보았습니다. 포럼 게시물의 의미가 아
그래서 Hacklang은 사용하기 전에 nullable 변수를 확인해야하는 새롭고 멋진 유형의 시스템이 출시되었습니다. 필자가 궁금해하는 것은 선형 형식과 같은 기능을 정적으로 구현할 수 있습니까? 일반적인 예는 파일을 읽기 전에 파일을 여는 것입니까? 의사 코드에서 : open()없이 지금 $file_handler = get_file_handler("my