Skip to content
  • Categories
  • Recent
  • Tags
  • Popular
  • World
  • Users
  • Groups
Skins
  • Light
  • Brite
  • Cerulean
  • Cosmo
  • Flatly
  • Journal
  • Litera
  • Lumen
  • Lux
  • Materia
  • Minty
  • Morph
  • Pulse
  • Sandstone
  • Simplex
  • Sketchy
  • Spacelab
  • United
  • Yeti
  • Zephyr
  • Dark
  • Cyborg
  • Darkly
  • Quartz
  • Slate
  • Solar
  • Superhero
  • Vapor

  • Default (Cyborg)
  • No Skin
Collapse
Brand Logo

CIRCLE WITH A DOT

  1. Home
  2. Uncategorized
  3. I haven't clicked the link yet, but I guess I should also reannounce Robert Smith's new #IDE for #commonLisp #typeTheory #staticTyping super-macro (#coalton) #dev named mine.

I haven't clicked the link yet, but I guess I should also reannounce Robert Smith's new #IDE for #commonLisp #typeTheory #staticTyping super-macro (#coalton) #dev named mine.

Scheduled Pinned Locked Moved Uncategorized
idecommonlisptypetheorystatictypingcoalton
5 Posts 4 Posters 0 Views
  • Oldest to Newest
  • Newest to Oldest
  • Most Votes
Reply
  • Reply as topic
Log in to reply
This topic has been deleted. Only users with topic management privileges can see it.
  • screwlisp@gamerplus.orgS This user is from outside of this forum
    screwlisp@gamerplus.orgS This user is from outside of this forum
    screwlisp@gamerplus.org
    wrote last edited by
    #1

    I haven't clicked the link yet, but I guess I should also reannounce Robert Smith's new #IDE for #commonLisp #typeTheory #staticTyping super-macro (#coalton) #dev named mine.

    Link Preview Image
    Introducing mine, a Coalton and Common Lisp IDE

    By Robert Smith mine is a brand new IDE for Coalton and Common Lisp, built from the ground up with one purpose: To make Coalton and Common Lisp easier and more accessible to the programming world. TL;DR? Go to mine's homepage with downloads for Windows/macOS/Linux. mine is a complete, single-download application that comes with everything needed to experience the interactive and incremental development programming workflow, including hot-reloading and on-the-fly debugging, that Lisp programmers often refer to as the differentiating feature of the ecosystem. After installing, one can immediately open a file, program some Coalton or Lisp, and beam code to the REPL. On the same token, it has many of the advanced features you’d expect in a professional IDE:

    favicon

    The Coalton Programming Language (coalton-lang.github.io)

    @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt (reverse-chronological earlier toots).

    EDIT:
    Simon Brooke's review was a major topic in the sunday-morning-in-europe #lispygopherclimate see
    https://gamerplus.org/@screwlisp/116469933987641020

    svetlyak40wt@fosstodon.orgS 1 Reply Last reply
    0
    • screwlisp@gamerplus.orgS screwlisp@gamerplus.org

      I haven't clicked the link yet, but I guess I should also reannounce Robert Smith's new #IDE for #commonLisp #typeTheory #staticTyping super-macro (#coalton) #dev named mine.

      Link Preview Image
      Introducing mine, a Coalton and Common Lisp IDE

      By Robert Smith mine is a brand new IDE for Coalton and Common Lisp, built from the ground up with one purpose: To make Coalton and Common Lisp easier and more accessible to the programming world. TL;DR? Go to mine's homepage with downloads for Windows/macOS/Linux. mine is a complete, single-download application that comes with everything needed to experience the interactive and incremental development programming workflow, including hot-reloading and on-the-fly debugging, that Lisp programmers often refer to as the differentiating feature of the ecosystem. After installing, one can immediately open a file, program some Coalton or Lisp, and beam code to the REPL. On the same token, it has many of the advanced features you’d expect in a professional IDE:

      favicon

      The Coalton Programming Language (coalton-lang.github.io)

      @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt (reverse-chronological earlier toots).

      EDIT:
      Simon Brooke's review was a major topic in the sunday-morning-in-europe #lispygopherclimate see
      https://gamerplus.org/@screwlisp/116469933987641020

      svetlyak40wt@fosstodon.orgS This user is from outside of this forum
      svetlyak40wt@fosstodon.orgS This user is from outside of this forum
      svetlyak40wt@fosstodon.org
      wrote last edited by
      #2

      @screwlisp @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt

      This new editor is looking very interesting. Especially it's built-in code critique feature. Will try it this week.

      tux0r@layer8.spaceT 1 Reply Last reply
      0
      • svetlyak40wt@fosstodon.orgS svetlyak40wt@fosstodon.org

        @screwlisp @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt

        This new editor is looking very interesting. Especially it's built-in code critique feature. Will try it this week.

        tux0r@layer8.spaceT This user is from outside of this forum
        tux0r@layer8.spaceT This user is from outside of this forum
        tux0r@layer8.space
        wrote last edited by
        #3

        @svetlyak40wt @screwlisp @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt Is there anything it can do that GNU Emacs with SLIME can't *if* I already live in Emacs?

        screwlisp@gamerplus.orgS 1 Reply Last reply
        0
        • tux0r@layer8.spaceT tux0r@layer8.space

          @svetlyak40wt @screwlisp @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt Is there anything it can do that GNU Emacs with SLIME can't *if* I already live in Emacs?

          screwlisp@gamerplus.orgS This user is from outside of this forum
          screwlisp@gamerplus.orgS This user is from outside of this forum
          screwlisp@gamerplus.org
          wrote last edited by
          #4

          @tux0r
          I think Robert Smith's point with mine is to be anti-Extending[MACroS].

          For those of us already fallen, I can imagine #emacs
          M-x slime-scratch
          (ql:quickload :coalton)
          (in-package :coalton-user)
          (coalton ...)
          E.g. I think coalton's default exponentiation stuff defaults to requiring the result be the same type as the arguments. I have sadly discovered it does not build with ecl so I didn't test it yet.

          @svetlyak40wt @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt

          zyd@yap.zyd.lolZ 1 Reply Last reply
          0
          • screwlisp@gamerplus.orgS screwlisp@gamerplus.org

            @tux0r
            I think Robert Smith's point with mine is to be anti-Extending[MACroS].

            For those of us already fallen, I can imagine #emacs
            M-x slime-scratch
            (ql:quickload :coalton)
            (in-package :coalton-user)
            (coalton ...)
            E.g. I think coalton's default exponentiation stuff defaults to requiring the result be the same type as the arguments. I have sadly discovered it does not build with ecl so I didn't test it yet.

            @svetlyak40wt @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt

            zyd@yap.zyd.lolZ This user is from outside of this forum
            zyd@yap.zyd.lolZ This user is from outside of this forum
            zyd@yap.zyd.lol
            wrote last edited by
            #5

            @screwlisp Yeah, for context: mine exists specifically to address the friction of learning Common Lisp (or Coalton). It's a single executable that bundles a compiler (SBCL), a Terminal and Quicklisp, all into one so any noob gets a double click->Lisping setup. It's for noobs, not those already Lisping and know Emacs. So it does things like CUA bindings, non-extensible etc. The idea is that folks can graduate to Emacs later on if they want (though I suspect if they start off with mine, they'll never learn Emacs but shrug).

            Though I've long been one of those that doesn't think learning Emacs (along with Quicklisp and ASDF) is asking too much, testing mine in the initial alpha group kind of convinced me that yeah, this probably should have existed a long time ago. Emacs and other associated setup can no longer be used as an excuse to not learn Lisp.

            @tux0r @svetlyak40wt @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt

            1 Reply Last reply
            1
            0
            • R relay@relay.infosec.exchange shared this topic
            Reply
            • Reply as topic
            Log in to reply
            • Oldest to Newest
            • Newest to Oldest
            • Most Votes


            • Login

            • Login or register to search.
            • First post
              Last post
            0
            • Categories
            • Recent
            • Tags
            • Popular
            • World
            • Users
            • Groups