OK, let's have a look at this.
------------------------------------------------------------
<ID_AA_Carmack> Is there a formal lisp dialect with no undefined behavior?
<jb55> closest thing I could think of is Shen http://www.shenlanguage.orgThe first recommendation is shen, this stupid hipster bullshit written by an egotist who doesn't understand type systems or freedom.
<ID_AA_Carmack> That is one of the things I don't care for about scheme. Elegant simplicity, but not as rigorous as I would like.
<quadricode> Scheme pioneered rigor with its mathematical underpinnings, namely its single page of formal denotational semantics.Knights of the TOLD republic. Carmack is clueless.
some faggot hipster with a pixel art avatar chimes in:
<dysoco> I'd say take a look at Qi or Shen, maybe Arc. But I'm also interested in knowing if there's a secure Lisp dialect.some dumbasses who doesn't understand godels theorem or know what a language is chimes in:
<infogulch> are you asking for a language that is both consistent and complete?
<tom_forsyth> If there is, Godel says it's not very interesting.------------------------------------------------------------
<ID_AA_Carmack> I play around with Lisping on iPad while on plane flights; it usually leaves me considering what niche lisp could still usefully occupy.
<swanodette> one of the best optimizing compilers written in Scheme http://icfp06.cs.uchicago.edu/dybvig-talk.pdf , are high quality production compilers niche?
<cemeric> Gentle suggestion: maybe evaluating an entire language family based on iPad editors/impls isn't a good strategy?HAH HA HA HA HA FUCKING GIGATOLD.
<darinmorrison> I think there’s room for a fancy typed lisp based on ideas from generalized multicategories and polynomial functors/opetopesmath... I doubt anyone knows wtf you're talking about. This guys hair shows he ate much haskell in the 60s.
<adam_hill> Niche #1: Space flight! http://www.flownet.com/gat/jpl-lisp.html #lisp #spaceneat.
------------------------------------------------------------
<ID_AA_Carmack> Bit surprised at negativity about my lisp comments -- I am infatuated with the elegance of Scheme out of all proportion to its relevance.LOL he keeps trolling, ever time he gets his ass handed to him it just makes him more vicious!
<nega> as someone we respect, you make glib clickbait comment about what we know you're not an expert in, and your're surprised?you tell em buddy
<jrychter> well, there is a useful lisp, it’s called #clojure, and it’s growing. People use it for large systems, but quietly, no drama.<Johnathan_Blowhard> I think Lisp is in a separate enough neighborhood from most other languages that it invites that weird tribalism.What absolute rubbish.. he is just completely out of touch.
<ID_AA_Carmack> @nega "Niche" was positive--I want to find a way to use it. I stand by the env comment--functions depending on mutable global state is bad.so in the end he just expressed himself in a slightly unclear way and got jumped on.