3 ms·
Some of these ideas are implemented in fonts like Fira Code https://github.com/tonsky/FiraCode/ https://github.com/tonsky/FiraCode/ and Hasklig https://github.c
by r0muald 11y ago
Some of these ideas are implemented in fonts like Fira Code https://github.com/tonsky/FiraCode/ https://github.com/tonsky/FiraCode/ and Hasklig https://github.com/i-tu/Hasklig https://github.com/i-tu/Hasklig e.g. typing => gives ⇒
Both should be well known to HN readers.
- mej10 11y agoPragmataPro has ligatures -- it is a great typeface for Haskell and Agda (in general as well, but especially those!) http://www.fsd.it/fonts/pragmatapro.htm http://www.fsd.it/fonts/pragmatapro.htm It isn't free, but it is very well designed and appeals to my sense of aesthetic. Well worth the money.
- WorldMaker 11y agoApologies for the side rant, but wow, that seems way too condensed for my tastes. One of my few complaints with FiraCode is a feel like its too condensed (and compensate by upping it a point over what I tend to keep Consolas at). It's kind of surprising to me that in this day and age of 4k monitors with crazy large dpi that Condensed is still a selling point for code fonts. As cool as a matrix green screen full of inscrutable characters looks in film, we've got modern tools to organize and navigate source files and can actually afford whitespace these days. We no longer have to optimize for volumes of code per screen and most of us are no longer paid by line of code, we can work smarter than that.
- OniBait 11y agoNo need to apologize, I had the same reaction. Would be nice to have a version of Consolas with ligatures though.