Jeremy Wall
2015-11-23 21:04:56 UTC
So I've been noodling around on improving the situation for urbit
development. I've long been of the opinion that a language that leaves the
tooling up to an IDE developer does themselves a big disservice. To that
end I'm thinking that urbit should provide "Tooling as a Service" out of
the box. Meaning that things like syntax checking, linting, formatting,
refactoring, and even autocomplete should all be available via API
endpoints for an urbit instance. Most of the pieces are there already.
To that end I'm going to see if I can get syntax checking as a service
working in urbit as a proof of concept. If anyone is interested in
following along or helping let me know.
--
Jeremy Wall
http://jeremy.marzhillstudios.com
***@marzhillstudios.com
development. I've long been of the opinion that a language that leaves the
tooling up to an IDE developer does themselves a big disservice. To that
end I'm thinking that urbit should provide "Tooling as a Service" out of
the box. Meaning that things like syntax checking, linting, formatting,
refactoring, and even autocomplete should all be available via API
endpoints for an urbit instance. Most of the pieces are there already.
To that end I'm going to see if I can get syntax checking as a service
working in urbit as a proof of concept. If anyone is interested in
following along or helping let me know.
--
Jeremy Wall
http://jeremy.marzhillstudios.com
***@marzhillstudios.com
--
You received this message because you are subscribed to the Google Groups "urbit" group.
To unsubscribe from this group and stop receiving emails from it, send an email to urbit-dev+***@googlegroups.com.
To post to this group, send email to urbit-***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
You received this message because you are subscribed to the Google Groups "urbit" group.
To unsubscribe from this group and stop receiving emails from it, send an email to urbit-dev+***@googlegroups.com.
To post to this group, send email to urbit-***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.