1
purescript에서 {foo :: Foo}
desugars에서 Record ("foo" :: Foo)
으로, 내 이해가 간다. Record ("F" :: Foo)
과 같은 것을 만들 수 있습니까? 레코드 액세스 구문에서 어떻게 보이겠습니까? thing.F
은 구문 상 유효할까요?레코드가 필드를 대문자로 사용할 수 있습니까?
purescript에서 {foo :: Foo}
desugars에서 Record ("foo" :: Foo)
으로, 내 이해가 간다. Record ("F" :: Foo)
과 같은 것을 만들 수 있습니까? 레코드 액세스 구문에서 어떻게 보이겠습니까? thing.F
은 구문 상 유효할까요?레코드가 필드를 대문자로 사용할 수 있습니까?
두 유형에 정확히 그것을 할 수있는 방법을 필드입니다 인용 :
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"]
과 조금 비슷하지만 문자열 리터럴 만 사용할 수 있습니다 이름보다는 임의의 값.