3 ms·

I think every sentence in this post is more or less wrong. Also, we do not want to introduce non-ascii glyphs into programming languages - APL is about the only

I think every sentence in this post is more or less wrong. Also, we do not want to introduce non-ascii glyphs into programming languages - APL is about the only time this has been tried and (merits of the language aside) it was hardly a success.

kelnos 5y ago
Scala also used non-ASCII arrows in some places, though you could always use a two-ASCII-char version instead. I remember some IDEs had auto-replace rules to give you the "fancy" version, but I think that syntax is deprecated now.
nerdponx 5y ago
Am I missing something, like another page of text? This looks like a short exposition of the symbols and some examples of their use in math notation.
anandoza 5y ago
It seems pretty correct to me (excluding a few things I'm not familiar enough with to evaluate). Is it possible that you misinterpreted this as a post about << and >> in code rather than their usage in mathematics?
- zabzonk 5y ago
  Possibly so, but this is a site that tends to concentrate on programming rather than maths. Anyway, I stand by my opinions about introducing extra glyphs into programming languages.
Jtsummers 5y ago
Julia is a rather popular (though not the most popular) language which makes extensive use of Unicode symbols in the language. I had some fun with it at the start of this year building out a package for astrodynamics where, thanks to being able to use math symbols, the code was a near exact translation of the formulas in the textbooks I was using. Fortress is a much less popular language (perhaps, to be accurate, it should be described as a failed experiment) which was intended to permit the same thing. Offering an ASCII, Unicode, and prettified presentation of code. There are quite a few other languages which support Unicode characters, though most of those don't aim for the same symbol heavy presentation of mathematical code. However, the submitted article is not about programming languages so your post and this response are both off-topic.
- amelius 5y ago
  Speaking of symbols used in the language, I'm still waiting for https://en.wikipedia.org/wiki/Space-cadet_keyboard https://en.wikipedia.org/wiki/Space-cadet_keyboard to make a comeback.
drdeca 5y ago
Lean also makes heavy use of non-ascii characters (inserted into texts using a LaTeX-inspired backslash-and-then-name , in a number of editors). It also has ways to write the same things in ascii, but it is a fair bit less convenient to read.
mlajtos 5y ago
APL started on blackboard, where writing weird math symbols is easy. Since we have computerized tablets with pencils now, it seems like a good idea to explore weird symbols again. https://mlajtos.mu/posts/new-kind-of-paper https://mlajtos.mu/posts/new-kind-of-paper

kelnos 5y ago

Scala also used non-ASCII arrows in some places, though you could always use a two-ASCII-char version instead. I remember some IDEs had auto-replace rules to give you the "fancy" version, but I think that syntax is deprecated now.

nerdponx 5y ago

Am I missing something, like another page of text? This looks like a short exposition of the symbols and some examples of their use in math notation.

anandoza 5y ago

It seems pretty correct to me (excluding a few things I'm not familiar enough with to evaluate). Is it possible that you misinterpreted this as a post about << and >> in code rather than their usage in mathematics?

zabzonk 5y ago
Possibly so, but this is a site that tends to concentrate on programming rather than maths. Anyway, I stand by my opinions about introducing extra glyphs into programming languages.

Jtsummers 5y ago

Julia is a rather popular (though not the most popular) language which makes extensive use of Unicode symbols in the language. I had some fun with it at the start of this year building out a package for astrodynamics where, thanks to being able to use math symbols, the code was a near exact translation of the formulas in the textbooks I was using. Fortress is a much less popular language (perhaps, to be accurate, it should be described as a failed experiment) which was intended to permit the same thing. Offering an ASCII, Unicode, and prettified presentation of code. There are quite a few other languages which support Unicode characters, though most of those don't aim for the same symbol heavy presentation of mathematical code. However, the submitted article is not about programming languages so your post and this response are both off-topic.

amelius 5y ago
Speaking of symbols used in the language, I'm still waiting for https://en.wikipedia.org/wiki/Space-cadet_keyboard https://en.wikipedia.org/wiki/Space-cadet_keyboard to make a comeback.

drdeca 5y ago

Lean also makes heavy use of non-ascii characters (inserted into texts using a LaTeX-inspired backslash-and-then-name , in a number of editors). It also has ways to write the same things in ascii, but it is a fair bit less convenient to read.

mlajtos 5y ago

APL started on blackboard, where writing weird math symbols is easy. Since we have computerized tablets with pencils now, it seems like a good idea to explore weird symbols again. https://mlajtos.mu/posts/new-kind-of-paper https://mlajtos.mu/posts/new-kind-of-paper