Cara cepat untuk mengetik karakter lucu dari Scalaz?

13

Apakah ada cara mudah dan cepat untuk mengetik karakter lucu (seperti ⊛, ≟, ∘, ∨ dll) dari Scalaz? (Saya menggunakan Ubuntu 9.04)

quack quixote
sumber
4
Saya benar-benar tidak bisa mengerti mengapa perancang perpustakaan memilih untuk menggunakan simbol lucu seperti itu di tempat pertama. Adakah alasan yang sah?
2
Setuju, sampai kita melihat setidaknya dukungan keyboard
Ada banyak cara untuk mencetak karakter lucu, tetapi kebanyakan dari mereka adalah OS dan distro-spesifik. Saya pikir pertanyaan seperti itu sebaiknya ditanyakan pada pengguna super.
P Shved
1
@Pavel: Saya mengharapkan jawaban dari pencipta Scalaz sendiri. Itu sebabnya saya memposting pertanyaan di StackOverflow.
Lihatlah xmodmap.
Debilski

Jawaban:

12
  1. Gunakan alias ASCII yang disediakan oleh perpustakaan. Misalnya, |+|adalah alias untuk .
  2. Gunakan IntelliJ IDEA, dengan Template Langsung ini. Anda kemudian dapat menulis x mapmap<TAB>untuk mendapatkan x ∘∘. Instruksi pemasangan tercakup dalam pertanyaan terakhir ini . IntelliJ memiliki Edisi Komunitas gratis, dan ini pilihan pribadi serta rekomendasi saya untuk pengkodean Scala.
  3. Saya percaya pintasan di Gnome untuk memasukkan karakter Unicode adalah CTRL-SHIFT-U, Hex Code, Enter.
  4. Buat template untuk editor favorit Anda.

Mengapa menggunakan simbol-simbol ini?

  1. Kami mengandalkan pola Pimp-my-Library, tetapi alih-alih membungkus satu tipe tertentu, kami menyediakan fungsi tambahan yang berfungsi untuk semua jenis dengan instance kelas tipe yang sesuai. Menggunakan karakter non-standar meminimalkan bentrokan nama dengan metode yang disediakan oleh tipe aslinya.
  2. Beberapa operasi, seperti peta Functor, binding Monadic, dan Applicative Functor berlaku sangat umum digunakan dan mendasar. Scala membangun beberapa dari ini ke dalam langauge dengan pemahaman. Jadi kami memberi Anda pilihan untuk menggunakan versi Scalaz dengan kekacauan sintaksis minimum, hampir seolah-olah mereka adalah bagian dari bahasa itu sendiri.

Contoh:

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
retronym
sumber
Tidak tahu tentang Template Langsung. Terima kasih.
1
Bisakah Anda merekomendasikan font pemrograman yang mencakup semua karakter Unicode itu? - Secara pribadi, saya ingin menggunakan font yang memiliki karakter lebar variabel (saya tidak menyelaraskan kode saya di kolom lagi), tetapi sayangnya, IntelliJ IDEA hanya dapat menangani pergerakan kursor dengan baik untuk font dengan lebar tetap.
Madoc
ini agak di luar ruang lingkup, tetapi mengapa karakter khusus (atau bahkan | + |), apa yang salah dengan memberikan nama yang bermakna ke fungsi? Saya mencoba masuk ke scalaz, tetapi setiap kali saya melihat sebuah contoh some(7) ∘ {1 +}, tidak mungkin untuk memahami apa yang harus dilakukan. Anda bisa berpendapat bahwa ini untuk menyimpan penekanan tombol, tetapi jika Anda harus mengetikkan "mapmap <TAB>" untuk mendapatkan karakter yang tepat, mengapa tidak memanggil fungsi mapmap saja?
Mortimer
0

Coba ini -

Pastikan numlock dalam posisi OFF.
Tahan tombol ALT
Pada panel angka - tekan +dan kemudian nomor Unicode desimal karakter yang Anda inginkan.
Lepaskan kunci ALT

Ini adalah trik lama yang bekerja di DOS dengan kode ASCII (tanpa +) dan bekerja di windows di kotak edit yang mengambil Unicode. Seharusnya berfungsi pada beberapa linux saya pikir.

Anda mungkin juga ingin mencoba metode yang dijelaskan di sini .

shoosh
sumber
2
Ini bukan sesuatu yang saya sebut cepat. Dan saya tidak dapat mengingat nomor unicode dari begitu banyak karakter. Saya mencari sesuatu yang lebih cepat dan tidak terlalu menuntut.
0

Lebih mudah di Linux daripada di OS lain yang saya sadari.

Lihatlah tautan ini untuk latar belakang / perincian: https://help.ubuntu.com/community/ComposeKey

Pertama, Anda dapat menekan Ctrl + Shift + U diikuti dengan kode Unicode. Misalnya, Ctrl + Shift + U + 2203 = ∃. Itu mungkin tidak nyaman, tetapi Anda akan membutuhkannya untuk langkah selanjutnya.

Cara yang lebih baik adalah dengan menggunakan kunci penulisan, AKA Multi_key. Seperti dijelaskan dalam artikel di atas, Anda dapat membuat karakter dengan Multi_key + char1 + char2. Misalnya, Multi_key 'e adalah é.

Saya menemukan bahwa tombol Caps Lock membuat Multi_key yang bagus. Anda dapat mengaturnya dengan System Preferences -> Keyboard -> Layout -> Options.

Untuk membuat urutan kunci penulisan Anda sendiri. buat file ~ / .XCompose dan tambahkan entri seperti

: "∃"

(menggunakan trik Ctrl + Shift + U, atau hanya dengan menyalin / menempel)

Logout dan masuk lagi (atau, untuk pengujian, jalankan ssh -X localhost xterm).

cayhorstmann
sumber