This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
- # aleph (2)
- # bangalore-clj (1)
- # beginners (9)
- # boot (18)
- # clara (3)
- # cljs-dev (21)
- # cljsjs (2)
- # clojure (137)
- # clojure-spec (2)
- # clojurescript (65)
- # clr (1)
- # copenhagen-clojurians (11)
- # core-async (20)
- # datascript (3)
- # lein-figwheel (1)
- # leiningen (4)
- # luminus (4)
- # lumo (1)
- # off-topic (38)
- # onyx (1)
- # parinfer (4)
- # pedestal (9)
- # protorepl (8)
- # re-frame (4)
- # reagent (92)
- # ring-swagger (2)
- # rum (1)
- # unrepl (40)
- # vim (16)
- # yada (1)
what's missing is a unified model of computation that encompasses both Turing a-machines and o-machines (aka interactive computing). ie one that anwers once and for all "what is oo?"
(not to mention io. funny how many really smart people claim that monads make io functional.)
@dpsutton : do you have a talk title for the seattle clojure/west gradual typing racket talk? I want to watch it and see the issues they run into
watching Inglourious Basterds. Confused. Is is supposed to be a farce? Mike Meyers?
Hey, i've just written an article about startup mindset and how I successfully could use it. Take a look and tell me what you think 😉 https://medium.com/@flaviohfreitas/how-did-i-use-the-startup-mindset-to-successfully-sell-everything-before-moving-abroad-2a5def65ab3f
can't you get nominal types just by "wrapping" the Int or String or whatever primitive type ?
but in this case, you'd have to deconstruct the ProductName to get the underlying string before being able to run concat on it
on one hand, this makes it more clumbersome, but on the other hand, you precisely want to make it so that you can add "meter" with "meter", but you can't add "meter" to an Int
to be clear: I view it as a feature that you can't concat ProdutName with String, and that you can'ta dd Meter to Int // (without explicitly defining it)
Yes, something like a type alias would work @qqq, as long as you don't do it like C where a
typedef int PersonID is still 100% a int. A type alias should be a completely different type that at least requires an explicit cast.
languages like OCaml / Haskell alreadc provide that; so it's 1 bullet down from tbaldridge's list of requirements
sure, many languages do one or more things from that list, but none do all of them
I have yet to see a language (aside from Clojure) that embraces the whole "set of things that must exist, but there can be more, and auto convert to other sets/subsets of this group"
really? for every bullet point, there exists some language that implements it? the first bullet that looks really hard
yes, although spec has codified that "maps can have extra stuff in them" idea, the paradigm has existed in clojure for years. It kindof just falls out of the whole data-first nature of Clojure.
i'm increasingly startnig to want https://github.com/papers-we-love/papers-we-love/blob/master/design/out-of-the-tar-pit.pdf for 'data first'
i.e. I want tables as a fundamental collectin type, and I want to define reactive tables in terms of other tables
for whatever reason, I find clojure's nested free form data hard to use beyond a certain level, and I really want the rigidity of relations and tables
So the problem with the tarpit model though is that reaction based programming can be really hard to understadn