표준 ML 인쇄 제어 문자

Question

그래서 나는 이상한 작은 문제인 것처럼 보이는 것을 발견했습니다. 난 인쇄 할 수없는 문자를 인쇄하려고하는 그 이상한 작은 상자를 인쇄해야합니다 제어 문자를 인쇄 할 싶습니다.

내가하려고하면 잘 작동

print "\^C"; 

. 그러나 내가 할 때 :

print (Char.toString(#"\^C")); 

문자 그대로 "\^C"를 인쇄합니다. 이것은 나에게 의미가 없지만, 같은 것을 인쇄해서는 안되는가? Char.toString은 문자를 하나의 문자가있는 문자열로 변환하지 않고 '\', '^'및 'C'의 3 문자로 된 문자열로 변환합니다.

누군가 나에게이 행동을 설명해 주시겠습니까? 감사.

Answer 1

Char.toString은 문자의 인쇄 가능한 표현을 반환하기 때문입니다.

char에서 string으로 직접 변환하려면 str 기능을 사용해야합니다.