Re: [Haskell-cafe] If you'd design a Haskell-like language, what would you do different?
On 26 Dec 2011, at 16:11, AUGER Cédric wrote:
There is http://www.stixfonts.org/ For typesetting with Xe[La]TeX or Lua[La]TeX, use XITS (in the TeXLive package).
(And then we'll have to deal with folks trying to use the letter, because everyone knows the Roman alphabet is the only one that matters and of *course* Greek letters are symbol characters.... Pfeh.)
This is the big problem right now: how to enter these symbols efficiently.
Under Xorg, "XCompose" might be your friend! I have a whole bunch of them for Coq programing.
Having something like:
---------8<--------------------------------------------------------- # ~/.XCompose contents:
# the Compose file of the xorg distribution to have a lot # of useful symbols such as "☭" ^^ include "/usr/local/lib/X11/locale/en_US.UTF-8/Compose" # the Compose file that could be included in Haskell distributions include "/usr/local/share/haskell/Compose" # other personnal notations ------->8----------------------------------------------------------- # /usr/local/share/haskell/Compose contents:
# maybe to be downloaded via a Hackage cabal package? # of course "
<H>" should be replaced by a # user specified combo <H> <colon> <colon> : "∷" <H> <greater> <greater> <greater> : "⋙" <H> <less> <less> <less> : "⋘" <H> <less> <minus> <less> : "↢" U2919 <H> <greater> <minus> <greater> : "↣" U291A <H> <minus> <less> <less> : U291B <H> <greater> <greater> <minus> : U291C <H> <a> <l> <l> : "∀" <H> <e> <x> : "∃" <H> <a> <n> <d> : "∧" <H> <o> <r> : "∨" <H> <a> <b> <s> <t> : "λ" <H> <c> <o> <m> <p> : "∘" <H> <minus> <greater> : "→" --------8<---------------------------------------------------------- But if you are under Windows, or Mac OS, I cannot tell (as well as I cannot tell if you are under a POSIX system not running xorg, such as the tty1..ttyn consoles)
On OS X one can make ones owns key maps, like with the program on the link below, but it is very time consuming. Hans http://scripts.sil.org/cms/scripts/page.php?site_id=nrsi&id=ukelele
On Mon, Dec 26, 2011 at 12:20, Hans Aberg
On 26 Dec 2011, at 16:11, AUGER Cédric wrote:
But if you are under Windows, or Mac OS, I cannot tell (as well as I cannot tell if you are under a POSIX system not running xorg, such as the tty1..ttyn consoles)
On OS X one can make ones owns key maps, like with the program on the link below, but it is very time consuming.
System Preferences > Personal > Language & Text > Text > Use symbol and text substitution -- brandon s allbery allbery.b@gmail.com wandering unix systems administrator (available) (412) 475-9364 vm/sms
On 26 Dec 2011, at 23:03, Brandon Allbery wrote:
But if you are under Windows, or Mac OS, I cannot tell (as well as I cannot tell if you are under a POSIX system not running xorg, such as the tty1..ttyn consoles)
On OS X one can make ones owns key maps, like with the program on the link below, but it is very time consuming.
System Preferences > Personal > Language & Text > Text > Use symbol and text substitution
Cool. I have a vague memory of seeing it, but not paying much attention to it. One can turn it on in Xcode 4.2 by Edit -> Format -> Substitutions -> Show Substitutions and click Text Replacement or selecting it directly in the Substitutions menu. This popup windows allows one to apply it a text selection. (And similar in other programs, like Mail.) For example, I set one entry so that typing x |-> a becomes x ↦ a, the TeX \mapsto, in Unicode ↦ RIGHTWARDS ARROW FROM BAR U+21A6. It might be tedious to make a lot of entries, though, but something to start with. Hans
Quoth Hans Aberg, ...
For example, I set one entry so that typing x |-> a becomes x ↦ a, the TeX \mapsto, in Unicode ↦ RIGHTWARDS ARROW FROM BAR U+21A6.
It might be tedious to make a lot of entries, though, but something to start with.
Something to finish me with, too. I wouldn't be able to do much in a programming world that used glyphs like that. My vision isn't perfect, but I think it's within a fairly normal range, and it isn't good enough to decode a lot of hieroglyphics at normal font size at reading speed. The ASCII limit of 100 or so normal characters may be a barrier to expression, but it's a boost to comprehension. Donn
On 27 Dec 2011, at 01:02, Donn Cave wrote:
Quoth Hans Aberg, ...
For example, I set one entry so that typing x |-> a becomes x ↦ a, the TeX \mapsto, in Unicode ↦ RIGHTWARDS ARROW FROM BAR U+21A6.
It might be tedious to make a lot of entries, though, but something to start with.
Something to finish me with, too. I wouldn't be able to do much in a programming world that used glyphs like that.
The symbol I chose is the one normally used in math. You can see it here: https://en.wikipedia.org/wiki/Function_(mathematics)
My vision isn't perfect, but I think it's within a fairly normal range, and it isn't good enough to decode a lot of hieroglyphics at normal font size at reading speed.
Higher resolution displays might help, but larger ones are expected to come the next year.
The ASCII limit of 100 or so normal characters may be a barrier to expression, but it's a boost to comprehension.
Common combinations tend to evolve in symbols. The ASCII combinations are just makeshift. Hans
participants (3)
-
Brandon Allbery -
Donn Cave -
Hans Aberg