레코드가 필드를 대문자로 사용할 수 있습니까?

Question

purescript에서 {foo :: Foo} desugars에서 Record ("foo" :: Foo)으로, 내 이해가 간다. Record ("F" :: Foo)과 같은 것을 만들 수 있습니까? 레코드 액세스 구문에서 어떻게 보이겠습니까? thing.F은 구문 상 유효할까요?

Answer 1

두 유형에 정확히 그것을 할 수있는 방법을 필드입니다 인용 :

make :: Boolean -> MyRecord 
make = { "Usually impossible field name": _ } 

get :: MyRecord -> Boolean 
get = _."Usually impossible field name" 

update :: MyRecord -> Boolean -> MyRecord 
update = _ { "Usually impossible field name" = _ } 

이 방법을 사용하면 레코드 필드 이름을 지정할 수 있습니다 필드를 인용 :

type MyRecord = { "Usually impossible field name" :: Boolean } 

그리고 접근/패턴

대문자, 기호, 숫자 등을 사용하여 원하는 것을 선택하십시오.

JavaScript에서는 obj["property"]과 조금 비슷하지만 문자열 리터럴 만 사용할 수 있습니다 이름보다는 임의의 값.