6 ms·

Is any software of note built on top of either software? All i can think of are these forums which, while enormously culturally influential, seem unremarkable f

Is any software of note built on top of either software? All i can think of are these forums which, while enormously culturally influential, seem unremarkable from a technical perspective.

sidkshatriya 3y ago
Even though your question is a bit pointed, I think it is worth understanding what software is built upon Chez and Racket. The answers would be instructional to everyone. Here is some stuff, that I _do_ know -- there is probably a lot more usage in the wild: Racket is used extensively in education and research relating to Scheme and programming languages in general. Lots of work on gradual typing, programming language semantics comes out of the Racket community. Many colleges around the world use Racket. Scheme/Racket is very pared down language and lends itself to this kind of work -- the principles of whatever you are studying shine through quite easily in a way that it may not if you were using C, Rust, Python etc. in the problem domain. As noted elsewhere in the comments, Idris 2, an important dependently typed language outputs to Chez/Racket Chez. Previously it output C code which was then compiled. See: https://en.wikipedia.org/wiki/Racket_(programming_language)#Applications_and_practical_use https://en.wikipedia.org/wiki/Racket_(programming_language)#... In general, Chez is probably a great language to use as a "base". It lends itself to embedding and is performant. Lua and some Javascript implementations come to mind as comparables. In general, we might not know much about Chez being used a lot in the wild because it could be tucked deep into various proprietary company products.
- vincent-manis 3y ago
  I do not know why Cisco hired Kent Dybvig, the prime designer/implementer of Chez Scheme, or why they chose to host its repo. I suspect that answering this question would reveal significant production programs written using Chez Scheme.
Bogdanp 3y ago
I don’t know about “of note”, but here are a couple pieces of software I’ve built with Racket: * https://franz.defn.io/ https://franz.defn.io/ * https://remember.defn.io/ https://remember.defn.io/ * https://defn.io/2023/08/10/ann-franz-source-available/ https://defn.io/2023/08/10/ann-franz-source-available/ HN itself runs on Racket.
- mark_l_watson 3y ago
  Wonderful projects! I wish I could give you more than 1 upvote.
  - Bogdanp 3y ago
    Thank you!
  - jjtheblunt 3y ago
    You just make me realize, you effectively can. In the way those Dyson bladeless fans pull more air through. In your case, many folks know you (some from UIUC too like me) and know your upvote is worth reading, ending up upvoting too.
    - jjtheblunt 3y ago
      p.s. s/make/made/ courtesy of keyboard typo
- HwyarkGnuor 3y ago
  [dead]
- bmitc 3y ago
  > HN itself runs on Racket. Isn't it an ancient version of Racket, though?
  - velcrovan 3y ago
    But doesn’t it also work fine, whatever version it uses?
    - bmitc 3y ago
      My point, based on the assumption that indeed Arc runs on an old Racket version, is that it doesn't serve as a good example, in my mind, in terms of what you could build with Racket today. This is a quite common pattern in the Lisp and Scheme world where examples of real world usage are given, but they're effectively outdated.
tmtvl 3y ago
I believe mediKanren (<https://www.uab.edu/news/research/item/10382-a-high-speed-dr-house-for-medical-breakthroughs https://www.uab.edu/news/research/item/10382-a-high-speed-dr...>) runs on Racket.

Is any software of note built on top of either software? All i can think of are these forums which, while enormously culturally influential, seem unremarkable from a technical perspective.

sidkshatriya 3y ago

Even though your question is a bit pointed, I think it is worth understanding what software is built upon Chez and Racket. The answers would be instructional to everyone. Here is some stuff, that I _do_ know -- there is probably a lot more usage in the wild: Racket is used extensively in education and research relating to Scheme and programming languages in general. Lots of work on gradual typing, programming language semantics comes out of the Racket community. Many colleges around the world use Racket. Scheme/Racket is very pared down language and lends itself to this kind of work -- the principles of whatever you are studying shine through quite easily in a way that it may not if you were using C, Rust, Python etc. in the problem domain. As noted elsewhere in the comments, Idris 2, an important dependently typed language outputs to Chez/Racket Chez. Previously it output C code which was then compiled. See: https://en.wikipedia.org/wiki/Racket_(programming_language)#Applications_and_practical_use https://en.wikipedia.org/wiki/Racket_(programming_language)#... In general, Chez is probably a great language to use as a "base". It lends itself to embedding and is performant. Lua and some Javascript implementations come to mind as comparables. In general, we might not know much about Chez being used a lot in the wild because it could be tucked deep into various proprietary company products.

vincent-manis 3y ago
I do not know why Cisco hired Kent Dybvig, the prime designer/implementer of Chez Scheme, or why they chose to host its repo. I suspect that answering this question would reveal significant production programs written using Chez Scheme.

Bogdanp 3y ago

I don’t know about “of note”, but here are a couple pieces of software I’ve built with Racket: * https://franz.defn.io/ https://franz.defn.io/ * https://remember.defn.io/ https://remember.defn.io/ * https://defn.io/2023/08/10/ann-franz-source-available/ https://defn.io/2023/08/10/ann-franz-source-available/ HN itself runs on Racket.

mark_l_watson 3y ago
Wonderful projects! I wish I could give you more than 1 upvote.
- Bogdanp 3y ago
  Thank you!
- jjtheblunt 3y ago
  You just make me realize, you effectively can. In the way those Dyson bladeless fans pull more air through. In your case, many folks know you (some from UIUC too like me) and know your upvote is worth reading, ending up upvoting too.
  - jjtheblunt 3y ago
    p.s. s/make/made/ courtesy of keyboard typo
HwyarkGnuor 3y ago
[dead]
bmitc 3y ago
> HN itself runs on Racket. Isn't it an ancient version of Racket, though?
- velcrovan 3y ago
  But doesn’t it also work fine, whatever version it uses?
  - bmitc 3y ago
    My point, based on the assumption that indeed Arc runs on an old Racket version, is that it doesn't serve as a good example, in my mind, in terms of what you could build with Racket today. This is a quite common pattern in the Lisp and Scheme world where examples of real world usage are given, but they're effectively outdated.

tmtvl 3y ago

I believe mediKanren (<https://www.uab.edu/news/research/item/10382-a-high-speed-dr-house-for-medical-breakthroughs https://www.uab.edu/news/research/item/10382-a-high-speed-dr...>) runs on Racket.