Databases
StackOverflow2013
Postsdbo
PO
 

Note that there are some explanatory texts on larger screens.

plurals
  1. PO
    primarykey
    data
    text
    <p>It's an interesting question.</p> <p>You are certainly right about Scala having an amazing type system, and about Clojure being phenomenal for meta-programming and extension of the language (although that is about more than just macros....).</p> <p>A few reasons I can think of:</p> <ol> <li>Clojure is a dynamically typed language while Scala is a statically typed language. Having powerful type inference isn't so much use in a language where you can assume relatively little about the types of your inputs.</li> <li>Clojure already has a very interesting project to add typing as a library (<a href="https://github.com/frenchy64/typed-clojure" rel="nofollow noreferrer">Typed Clojure</a>) which looks very promising - however it's very different in approach to Scala as it is designed for a dynamic language from the start (inspired more by <a href="http://docs.racket-lang.org/ts-guide/" rel="nofollow noreferrer">Typed Racket</a>, I believe).</li> <li>Clojure philosophy actually discourages certain OOP concepts (particularly implementation inheritance, mutable objects, and data encapsulation). A type system that supports these things (as Scala does) wouldn't be a good fit for Clojure idioms - at best they would be ignored, but they could easily encourage a style of development that would cause people to run into severe problems later.</li> <li>Clojure already provides tools that solve many of the problems you would typically solve with types in other languages - e.g. the use of protocols for polymorphism.</li> <li>There's a strong focus in the Clojure community on simplicity (in the sense of the excellent video <a href="http://www.infoq.com/presentations/Simple-Made-Easy/" rel="nofollow noreferrer">"Simple Made Easy"</a> - see particularly the slide at 39:30). While Scala's type system is certainly amazing, I think it's a stretch to describe it as "Simple"</li> <li>Putting in a Scala-style type system would probably require a complete rewrite of the Clojure compiler and make it substantially more complex. Nobody seems to have signed up so far to take on that particular challenge... and there's a risk that even if someone were willing and able to do this then the changes could be rejected for the various cultural / technical reasons covered above.</li> </ol> <p>In the absence of a major change to Clojure itself (which I think would be unlikely) then one interesting possibility would be to create a DSL within Clojure that provided Scala-style type inference for a specific domain and compiled this DSL direct to optimised Java bytecode. I could see that being a useful approach for specific problem domains (large scale numerical data crunching with big matrices, for example).</p>
    singulars
    1. This table or related slice is empty.
    1. POWhy is Scala's Type system not a Library in Clojure
      singulars
      1. PTQuestion
    1. PTAnswer
    1. USmikera
    1. USmikera
    plurals
    1. This table or related slice is empty.
    1. This table or related slice is empty.
    1. This table or related slice is empty.
    1. This table or related slice is empty.
    1. VO
      singulars
      1. PO
      1. This table or related slice is empty.
      1. VTUpMod
    2. VO
      singulars
      1. PO
      1. This table or related slice is empty.
      1. VTApproveEditSuggestion
    3. VO
      singulars
      1. PO
      1. This table or related slice is empty.
      1. VTUpMod
    1. COdo you mind if I change bulleted list into numbered list so it's easier to reference your points?
      singulars
      1. PO
      1. This table or related slice is empty.
    2. CONo particular objection, though they are of type "unordered list". Assume order at your peril :-)
      singulars
      1. PO
      1. USmikera
 

Querying!

 
Guidance
A row detail

Detail views are divided into sections. All the information in the data section comes from columns in the selected row. The other sections display data from other, related rows.

Related data can be related in a to-one or a to-many fashion. Captions of data related in a to-many fashion link to a list view showing a filtered view of the table.

Try moving around until you find a non-empty to-many entry and click on the label to get to one. You can move back to the root by clicking on the database name in the header.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload