Giter VIP home page Giter VIP logo

Comments (7)

knuesel avatar knuesel commented on May 28, 2024 3

I like Double colon: it describes what it is, it's always correct. On the other hand Type annotation and similar describe what it means in a specific context, so it's wrong in other contexts (for example in C++ :: is used to separate scopes). JuliaMono is a great monospace font, not just a Julia font!

from juliamono.

cormullion avatar cormullion commented on May 28, 2024 2

Perhaps Double colon would be better, being a little more explicit? "Type" is a little ambiguous in this context... 😄 And I suppose it's not technically a ligature either, being neither a single glyph nor part of the Typography panel's Ligature section... But Type annotation might be OK. Type assertion?

I'll welcome more opinions... :)

from juliamono.

cormullion avatar cormullion commented on May 28, 2024 1

Thanks @knuesel!

As an alternative to making it opt-in Stylistic Set, it can be added to the (usually opt-out, on by default) Contextual Alternates.

The advantage is that it doesn't need a name and is more likely to be available (or selectable) in various apps (on macOS: Atom (👍), VSCode (👍), Terminal (👍), Kitty (👍), iTerm (👍), Alacritty (👎).

from juliamono.

cormullion avatar cormullion commented on May 28, 2024

Making it an Alternative StylisticSet (which are opt-in) works quite well.

Screenshot 2020-08-03 at 12 51 25

Left: without - Right: with

Perhaps you can think of a better name for it too.

from juliamono.

simeonschaub avatar simeonschaub commented on May 28, 2024

Oh, very nice! Perhaps "Type Annotation Ligature" is a better name?

from juliamono.

cormullion avatar cormullion commented on May 28, 2024

Added in v0.005 as a contextual alternate - see if it works OK - I can remove it if not and think again...

from juliamono.

simeonschaub avatar simeonschaub commented on May 28, 2024

Works great, thanks so much!

from juliamono.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.