Live data from Hacker News

Monocraft: A programming font based on the typeface used in Minecraft

github.com

31–40 of 89 posts

Re: Monocraft: A programming font based on the typeface used in Minecraft

#31
post #4

Not related to this awesome font, but is it just me who doesn't like fonts ligatures? I'd much rather see !=, than crossed =.

It’s not just you. The first time I turned them on it was like “whoa, neat!” But they grew tiresome fairly quickly.

Re: Monocraft: A programming font based on the typeface used in Minecraft

#33

Earlier quoted context omitted.

Ligatures are amazing, I don't understand why anyone would like ascii "compound versions" of a set of symbols when there are thousands if not many hundreds of thousands of great symbols that were used in older typographic settings that are available for usage.

I personally like font ligatures, but I'd much rather have true Unicode "synonyms". E.g why shouldn't `!=` and `≠` be synonymous tokens?

This would have to be at the language level, surely. Even comparing "case" is filled with weird complexity, comparing equality in this way seems fraught.

Re: Monocraft: A programming font based on the typeface used in Minecraft

#35

Earlier quoted context omitted.

I personally like font ligatures, but I'd much rather have true Unicode "synonyms". E.g why shouldn't `!=` and `≠` be synonymous tokens?

This would have to be at the language level, surely. Even comparing "case" is filled with weird complexity, comparing equality in this way seems fraught.

Absolutely, my ideal would be for the canonical form in the codebase to just be the abstract token. It would have one or more possible names stored in the codebase. Then each developer would be able to choose the names they'd prefer to see and type in their editors. (Decoupling the name of a code unit from the actual reference to/implementation of it is one of the things I'm really excited about in the Unison programming language.)

Re: Monocraft: A programming font based on the typeface used in Minecraft

#36
post #4

Not related to this awesome font, but is it just me who doesn't like fonts ligatures? I'd much rather see !=, than crossed =.

Yes, I hate ligatures. I want to know exactly what sequence of characters exist in a file, not transformed into another symbol.

Re: Monocraft: A programming font based on the typeface used in Minecraft

#37
post #31
post #4

Not related to this awesome font, but is it just me who doesn't like fonts ligatures? I'd much rather see !=, than crossed =.

It’s not just you. The first time I turned them on it was like “whoa, neat!” But they grew tiresome fairly quickly.

Agreed. I really love the ligatures, but not sure I'd like actually coding with them. Perhaps a quick way to enable/disable?

Re: Monocraft: A programming font based on the typeface used in Minecraft

#38

Earlier quoted context omitted.

This seems like a fairly comprehensive answer: http://www.faqs.org/faqs/fonts-faq/part2/ "First, the short answer in the USA: Typefaces are not copyrightable; bitmapped fonts are not copyrightable, but scalable fonts are copyrightable. Authorities for these conclusions follow."

An IP lawyer once explained to me that "fonts" are copyrightable because they are technically computer programs, and computer programs are copyrightable. I actually find it odd that "typefaces" are not copyrightable, but I think that's more of an historical quirk than some wise feature of the legal system.

> An IP lawyer once explained to me that "fonts" are copyrightable because they are technically computer programs, and computer programs are copyrightable.

Yes, and if you’re interested in learning more, the link above goes into considerably more detail than my excerpt on why scalable fonts/typefaces (typically used interchangeably, though technically a typeface is generally a family of fonts) are copyrightable in the US while bitmapped fonts/typefaces are not.

Re: Monocraft: A programming font based on the typeface used in Minecraft

#39
post #4

Not related to this awesome font, but is it just me who doesn't like fonts ligatures? I'd much rather see !=, than crossed =.

Ligatures are amazing, I don't understand why anyone would like ascii "compound versions" of a set of symbols when there are thousands if not many hundreds of thousands of great symbols that were used in older typographic settings that are available for usage.

Ligatures obscure the underlying text, which is a problem when you actually edit it. It is okay to have light ligatures where the original text is retained but refined in style but many fonts with ligatures do too much [1], like rendering `!==` as two lines and a slashed stroke in between (come on, who on earth did think this is a good idea???). I would rather have a Unicode symbol support and automatic symbol substitution instead.

[1] https://pbs.twimg.com/media/DKE2QBSUQAEv_dQ.jpg

Re: Monocraft: A programming font based on the typeface used in Minecraft

#40
post #4

Not related to this awesome font, but is it just me who doesn't like fonts ligatures? I'd much rather see !=, than crossed =.

Ligatures are amazing, I don't understand why anyone would like ascii "compound versions" of a set of symbols when there are thousands if not many hundreds of thousands of great symbols that were used in older typographic settings that are available for usage.

My view: Because languages are defined as those symbols, so why obfuscate it? It would be like collapsing the letters "ch" in english to a new symbol because it's a digraph.
Post reply on HN