Scalaz에서 재미있는 캐릭터를 입력하는 빠른 방법?

13

Scalaz에서 재미있는 문자 (예 : ⊛, ≟, ∘, ∨ 등)를 쉽고 빠르게 입력 할 수 있습니까? (우분투 9.04를 사용하고 있습니다)

ubuntu characters scala

— 키호테
소스

4

도서관 디자이너가 왜 그런 재미있는 기호를 사용하기로 선택한지 진지하게 이해할 수 없습니다. 유효한 이유가 있습니까?

2

키보드 지원이 적어도 나타날 때까지 동의 함

재미있는 캐릭터를 인쇄하는 방법은 많이 있지만 대부분 OS와 배포판에 따라 다릅니다. 그런 질문은 수퍼 유저에게 더 잘 문의해야한다고 생각합니다.

— P Shved

1

@Pavel : Scalaz 제작자 스스로의 답변을 기대합니다. 그래서 StackOverflow에 질문을 게시했습니다.

xmodmap을 살펴보십시오.

— Debilski

12

라이브러리에서 제공 한 ASCII 별명을 사용하십시오. 예를 들어 |+|의 별칭입니다 ⊹.
이 라이브 템플릿과 함께 IntelliJ IDEA를 사용하십시오. 그런 다음 쓸 수 있습니다 x mapmap<TAB>얻을 x ∘∘. 설치 지침은이 최근 질문 에서 다룹니다 . IntelliJ에는 무료 Community Edition이 있으며 스칼라 코딩에 대한 개인적 선택 및 권장 사항이 있습니다.
그놈에서 유니 코드 문자를 입력하는 단축키는 CTRL-SHIFT-U, 16 진수 코드, Enter입니다.
선호하는 편집기를위한 템플릿을 만듭니다.

왜이 기호들을 사용합니까?

Pimp-my-Library 패턴을 사용하지만 특정 유형을 래핑하는 대신 적합한 유형 클래스 인스턴스를 가진 모든 유형에 대해 작동하는 추가 기능을 제공합니다. 비표준 문자를 사용하면 원래 유형에서 제공하는 방법과 이름 충돌이 최소화됩니다.
Functor 맵, Monadic 바인드 및 Applicative Functor 적용과 같은 일부 작업은 실제로 일반적으로 사용되고 기본적입니다. 스칼라는이 중 일부를 이해를 돕기 위해 언어로 만듭니다. 따라서 Scalaz 버전을 최소한의 구문 혼란과 함께 사용할 수 있습니다. 마치 언어 자체의 일부인 것처럼 말입니다.

예:

some(7) ∘ {1 +} 
List(1, 2, 3) ∗ {x => List(7, x)} 
case class Person(age: Int, name: String)
some(10) ⊛ none[String] apply Person.apply

— 역음
소스

라이브 템플릿에 대해 몰랐습니다. 감사.

1

이러한 유니 코드 문자를 모두 포함하는 프로그래밍 글꼴을 권장 할 수 있습니까? -개인적으로 가변 너비 문자가있는 글꼴을 사용하고 싶습니다 (더 이상 열에 코드를 정렬하지 않습니다). 그러나 불행히도 IntelliJ IDEA는 고정 너비 글꼴의 커서 이동 만 처리 할 수 있습니다.

— Madoc

이것은 범위를 약간 벗어 났지만 특수 문자 (또는 | + |)가 왜 함수에 의미있는 이름을 부여하는 데 문제가 있습니까? 나는 scalaz에 들어 가려고 노력하고 있지만와 함께 예제를 볼 때마다 some(7) ∘ {1 +}그것이 무엇을 의미하는지 이해하는 것은 불가능합니다. 키 스트로크를 저장한다고 주장 할 수 있지만 올바른 문자를 얻기 위해 "mapmap <TAB>"을 입력해야하는 경우 함수 맵맵을 호출하는 것이 어떻습니까?

— Mortimer

0

이 시도 -

Numlock이 꺼져 있는지 확인하십시오
. Alt 키를 누른 채로
숫자 패드에서를 누른 +다음 원하는 문자의 10 진수 유니 코드 번호를 누르십시오 .
Alt 키를 놓습니다.

이것은 ASCII 코드를 사용하여 DOS +에서 작동하고 (유니 코드를 사용하는 편집 상자의 창에서 작동 하는 ) 오래된 트릭입니다 . 내가 생각하는 일부 Linux에서 작동해야합니다.

여기에 설명 된 방법을 시도 할 수도 있습니다 .

— shoosh
소스

2

이것은 내가 빨리 부르는 것이 아닙니다. 그리고 많은 문자의 유니 코드 번호를 기억할 수 없습니다. 더 빠르고 덜 까다로운 것을 찾고 있습니다.

0

Linux에서 내가 알고있는 다른 OS보다 쉽습니다.

배경 / 세부 사항은 다음 링크를 확인하십시오. https://help.ubuntu.com/community/ComposeKey

먼저 Ctrl + Shift + U를 누른 다음 유니 코드 코드를 사용할 수 있습니다. 예를 들어 Ctrl + Shift + U + 2203 = ∃입니다. 그렇게 편리하지는 않지만 다음 단계에는 필요합니다.

더 좋은 방법은 편지 쓰기 키인 AKA Multi_key를 사용하는 것입니다. 위 기사에서 설명한 것처럼 Multi_key + char1 + char2로 문자를 작성할 수 있습니다. 예를 들어, Multi_key 'e는 é입니다.

Caps Lock 키가 화려한 Multi_key를 만드는 것을 알았습니다. 시스템 환경 설정-> 키보드-> 레이아웃-> 옵션으로 설정할 수 있습니다.

자신 만의 작성 키 시퀀스를 만들려면 ~ / .XCompose 파일을 만들고 다음과 같은 항목을 추가하십시오.

: "∃"

(Ctrl + Shift + U 트릭 사용 또는 복사 / 붙여 넣기 만 사용)

로그 아웃했다가 다시 로그인하십시오 (또는 테스트를 위해 ssh -X localhost xterm을 실행하십시오).

— 카이 호스트 만
소스