Ligatures in coding fonts generally, and in Racket / DrRacket specifically,
are a terrible idea. Even worse than `eval`.
1) In a Unicode-aware language like Racket, there's no way to visually
distinguish a presentational use of a ligature from a syntactic use. For
instance, these two strings would
The DC<%> layer, however, should support drawing text with ligatures.
Robby
On Saturday, January 2, 2016, Matthew Flatt wrote:
> The `text%` layer currently manipulates characters individually.
> Unfortunately, I think it would be a lot of work to change that layer
> so that kerning and ligatur
The `text%` layer currently manipulates characters individually.
Unfortunately, I think it would be a lot of work to change that layer
so that kerning and ligatures work in a `text%` editor --- but I
haven't actually tried it.
At Sat, 2 Jan 2016 16:18:39 -0800, Alexis King wrote:
> This is well-ti
This is well-timed, as I was wondering precisely the same thing myself just
yesterday. Atom recently gained support for ligatures, and I was trying out
Hasklig, since I normally use Source Code Pro as my monospace font. I tried it
out in DrRacket as well, and I was disappointed (though not surprise
How does your editor draw the text?
Robby
On Sat, Jan 2, 2016 at 6:13 PM, David Christiansen
wrote:
> Hello all,
>
> I'm using the font Pragmata Pro to display code samples in Slideshow. In
> particular, I've developed a sort of mini-IDE for Idris that can be
> embedded in a slide, using the `i
Hello all,
I'm using the font Pragmata Pro to display code samples in Slideshow. In
particular, I've developed a sort of mini-IDE for Idris that can be
embedded in a slide, using the `interactive' procedure to show it.
Pragmata Pro has some very nice ligatures for code punctuation. In
particular,
Greg Trzeciak wrote:
> I am also writing this post to show there is an interest in Javascript
Racket (and ClojureScript competitor).
Just wondering: is Whalesong the only option for Racket targeting JS, or
are there other options available or under development?
Dan
--
You received this messag
7 matches
Mail list logo