วิธีที่รวดเร็วในการพิมพ์ตัวละครตลกจาก Scalaz?

มีวิธีที่ง่ายและรวดเร็วในการพิมพ์ตัวละครตลก (เช่น⊛, ≟, ∘, ∨ ฯลฯ ) จาก Scalaz หรือไม่? (ฉันใช้ Ubuntu 9.04)

1. ใช้นามแฝง ASCII ที่จัดเตรียมโดยไลบรารี ยกตัวอย่างเช่นเป็นนามแฝงสำหรับ|+|⊹
2. ใช้ IntelliJ IDEA พร้อมด้วยเทมเพลตสดเหล่านี้ จากนั้นคุณสามารถเขียนที่จะได้รับx mapmap<TAB> x ∘∘คำแนะนำในการติดตั้งครอบคลุมในคำถามล่าสุดนี้ IntelliJ มี Community Edition ฟรีและเป็นทางเลือกส่วนตัวและคำแนะนำสำหรับการเข้ารหัสของ Scala
3. ฉันเชื่อว่าทางลัดใน Gnome เพื่อป้อนอักขระ Unicode คือ CTRL-SHIFT-U, Hex Code, Enter
4. สร้างเทมเพลตสำหรับโปรแกรมแก้ไขที่คุณชื่นชอบ

ทำไมต้องใช้สัญลักษณ์เหล่านี้เลย

1. เราพึ่งพารูปแบบ Pimp-my-Library แต่แทนที่จะห่อหนึ่งประเภทเฉพาะเรามีฟังก์ชั่นพิเศษที่ทำงานสำหรับประเภทใด ๆ กับอินสแตนซ์คลาสประเภทที่เหมาะสม การใช้ตัวอักษรที่ไม่ได้มาตรฐานลดการปะทะกันของชื่อด้วยวิธีการที่ได้รับจากประเภทดั้งเดิม
2. การดำเนินการบางอย่างเช่นแผนที่ Functor, Monadic bind และการใช้งาน Funative Apply ใช้กันทั่วไปและเป็นพื้นฐาน Scala สร้างสิ่งเหล่านี้บางส่วนไว้ในฐานข้อมูลเพื่อความเข้าใจ ดังนั้นเราจึงให้คุณเลือกใช้เวอร์ชัน 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

ลองนี้ -

ตรวจสอบให้แน่ใจว่า numlock นั้นปิดการ
กดปุ่ม ALT
บนแป้นตัวเลข - กด+จากนั้นหมายเลข Unicode ทศนิยมของตัวละครที่คุณต้องการ
ปล่อยปุ่ม ALT

นี่เป็นเคล็ดลับเก่าที่ทำงานใน DOS ด้วยรหัส ASCII (โดยไม่ต้อง+) และทำงานใน windows ในกล่องแก้ไขที่ใช้ Unicode ควรทำงานกับ linuxes บางอย่างที่ฉันคิด

นอกจากนี้คุณยังอาจต้องการลองใช้วิธีการที่อธิบายไว้ที่นี่

มันง่ายกว่าใน Linux มากกว่าในระบบปฏิบัติการอื่น ๆ ที่ฉันรับรู้

ตรวจสอบลิงค์นี้สำหรับพื้นหลัง / รายละเอียด: https://help.ubuntu.com/community/ComposeKey

ก่อนอื่นคุณสามารถกด Ctrl + Shift + U แล้วตามด้วยรหัส Unicode ตัวอย่างเช่น 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)