Re: Teaching Clojure to students (how ?)

2013/10/6 bernardH > Hi all, > > I intend to (ab)use my authority as a teacher to enlighten unsuspecting > students > about Clojure. > I've been teaching Clojure for 3 years now in a university course focused on concurrent and parallel programming < http://soft.vub.ac.be/~tvcutsem/multicore/>. W

[ANN] Instaparse 1.2.3

Instaparse is an easy-to-use, feature-rich parser library. The big idea behind instaparse is to make it simple to convert grammars to parsers without needing to know the idiosyncrasies of LL1, LALR, and other esoteric grammar restrictions imposed by most

Re: Teaching Clojure to students (how ?)

"John D. Hume" writes: > I'd suggest that Clojure's "Hello, World!" should happen initially at the > repl, where leiningen definitely simplifies the UX. > > lein repl # from any cwd > (println "...") > > which launches nicely into demonstrating dynamic development. Except that the Clojur

Re: Teaching Clojure to students (how ?)

Guess you have programmed before. Besides which, if I am teaching any significant number of students, I will get the sys admins to do the installation; otherwise, you the first two weeks, you spend running around fixing peoples environment. This kind of nonsense is soul-destroying for new progra

Re: Teaching Clojure to students (how ?)

John Gabriele writes: > For new users who want to get their feet wet right on the first day, I'd > suggest this (after they make sure they've got Java installed): > > #. Download `lein`, drop it into your ~/bin, and `chmod +x` it if > necessary, > #. `lein version` (so it installs and thus cre

Re: Teaching Clojure to students (how ?)

On Oct 8, 2013, at 02:36, Phillip Lord wrote: > Except that the Clojure repl is not persistant; ... Although lein-exec allows re-use of Clojure scripts, it isn't much like a persistent REPL. So, this seems like an obvious opportunity for improvement. I'd love to have a convenient way to save an

Re: How to go about 'proving' why dynamically typed languages are better.

On 6 Oct 2013, at 04:35, zcaudate wrote: > I'm a little bit miffed over this current craze of `types` and `correctness` > of programs. It smells to me of the whole `object` craze of the last two > decades. This debate is as old as the hills (it certainly predates object-oriented programming).

Re: How to go about 'proving' why dynamically typed languages are better

There's a link to his presentation there actually: http://www.infoq.com/presentations/data-types-issues?utm_source=infoq&utm_medium=QCon_EarlyAccessVideos&utm_campaign=StrangeLoop2013 However is says this: *Thank you for attending Strange Loop 2013* This is a restricted presentation that can only

Re: How to go about 'proving' why dynamically typed languages are better.

Chris Zheng writes: > Hahaha, thanks Philip. Does it really take a doctorate to understand > classification of elephants? I have a doctorate in how yeast divide. Trust me, computers are easy in comparison to elephants. > I think the overall consensus is that having basic type checking is > good.

Re: How to go about 'proving' why dynamically typed languages are better

This demonstrates yet another problem with not simply *writing a blog post* or something on "The Trouble With Types". Not only do videos require enormous bandwidth (which mobile users often pay metered rates for, and most people not actually metered have caps with overage charges for exceeding them

Re: Teaching Clojure to students (how ?)

Rich Morin writes: > On Oct 8, 2013, at 02:36, Phillip Lord wrote: >> Except that the Clojure repl is not persistant; ... > > > Although lein-exec allows re-use of Clojure scripts, it isn't > much like a persistent REPL. So, this seems like an obvious > opportunity for improvement. > > I'd love t

Re: Teaching Clojure to students (how ?)

Hi Rich, On Tuesday, 8 October 2013 15:18:17 UTC+5:30, Rich Morin wrote: > > On Oct 8, 2013, at 02:36, Phillip Lord wrote: > > Except that the Clojure repl is not persistant; ... > > > Although lein-exec allows re-use of Clojure scripts, it isn't > much like a persistent REPL. So, this seems l

Re: How to go about 'proving' why dynamically typed languages are better

It will be at some point. Like most conferences taped by InfoQ, the videos will be released slowly over time. Those who attended this conference got a key that they can use to access the video. Timothy On Tue, Oct 8, 2013 at 4:32 AM, Leonardo Borges wrote: > There's a link to his presentation

Re: How to go about 'proving' why dynamically typed languages are better.

On Oct 8, 2013 5:35 AM, "Phillip Lord" > > > However… I find that I am writing a lot of statements like this: > > > > (cond (hash-map? v) > > …… > > > >(vector? v) > > …… > > > >(list? v) > >….. > > > > :else …..) > > zcaudate

Re: Teaching Clojure to students (how ?)

Hi Phil, 1. Select the text you want auto-indented and press SHIFT+TAB. 2. The documentation tab opens in a new tabset - to close tabsets you right-click on them and choose 'Close tabset'. 3. I haven't discovered a way to disable auto-brackets. 4. Yes, you can access it from the command pane, or

Re: How to go about 'proving' why dynamically typed languages are better.

> > > 1. Types are useful for structures that HOLD data (ints, strings, > > maps, arrays… ) because they provide ways defining standard > > operations to manipulate data that make sense in the context of > > that type of data. It is helpful to have a type checker check > > tha

[ANN] Public Early Access Program for Cursive, the IntelliJ-based Clojure IDE

Hi everyone, Following on from the discussion a while back about interest in a commercial Clojure IDE, I'm pleased to announce the public Early Access Program for Cursive (http://cursiveclojure.com). Cursive is based on the IntelliJ platform and is mostly written in Clojure. The website is still a

Re: How to go about 'proving' why dynamically typed languages are better.

Just bc it's dynamically typed doesn't mean you can't leverage types for dispatch. Remember, you can single dispatch on type (using protocols), or multi-dispatch using a function applied to the arguments (multimethods). --- Joseph Smith j...@uwcreations.com @solussd > On Oct 8, 2013, at 7:46

Re: How to go about 'proving' why dynamically typed languages are better.

On 08/10/13 13:49, Nando Breiter wrote: If you try and add 10 to "Hello" in a typed language, you get an error. If you try to do the same in a dynamic language, you get an error. Not necessarily... $ perl print 10 + "Hello", "\n" ^D 10 $ Rob -- -- You received this message because you

Re: How to go about 'proving' why dynamically typed languages are better.

2013/10/8 Robert Day > > On 08/10/13 13:49, Nando Breiter wrote: > >> >> >> >> If you try and add 10 to "Hello" in a typed language, you get an error. >> If you try to do the same in a dynamic language, you get an error. >> > > Not necessarily... > > $ perl > print 10 + "Hello", "\n" > > > ^D > 1

[ANN] Show the latest version of the library on your Github README page

Have you ever felt annoyed to update the README after you released a new version of your project? Have your users ever struggled to make the older version work because you forgot to update that README? Suffer no more, because Clojars has just the right medicine for you. >From now on, you can ap

Re: How to go about 'proving' why dynamically typed languages are better

The video will be available sometime in the next couple months. Usually we do keynotes early. No schedule yet (need to get working on that!). The slides are at: https://github.com/strangeloop/StrangeLoop2013/blob/master/slides/sessions/Odersky-TroubleWithTypes.pptx Alex On Tuesday, October 8,

Re: Teaching Clojure to students (how ?)

On Tue, Oct 8, 2013 at 11:41 AM, Phillip Lord wrote: > > > Guess you have programmed before. Besides which, if I am teaching any > significant number of students, I will get the sys admins to do the > installation; otherwise, you the first two weeks, you spend running > around fixing peoples envir

Re: How to go about 'proving' why dynamically typed languages are better.

I think there's a case to be made for a theoretical subjectivity. Mathematical purity is nice and elegant, sometimes useful, but 'useful' refers to utility. The ease or the cost of making some valuable change to code in the possibility-space of changes you might make, and the ramifications of tha

Re: [ANN] mod-lang-clojure for Vert.x 0.2.0 released

Hans-J.: I haven't yet had a chance to try out Stream's ring adapter, but I hope to do so soon. I think it should probably be published as a jar for embedded use, and as a Vert.x module that depends on that jar for use in a Vert.x container. Can you file against the ring adapter[1] asking for a

Re: How to go about 'proving' why dynamically typed languages are better.

"John D. Hume" writes: > On Oct 8, 2013 5:35 AM, "Phillip Lord" >> > I'm not sure a type checker will help in that instance. >> >> >> A type-checker wouldn't no, but a type system would; pretty much >> every language with a static type system has a type based dispatch >> somewhere. It would be ni

Re: How to go about 'proving' why dynamically typed languages are better.

Short comment in bad English: I found that TDD is the great equalizer btw "dynamic and static" languages. I don't have any trouble writing code in dynamic language wo/code completion, etc.. if I wrote "baby steps" using TDD. And then, the dynamic nature (less ceremony, etc...) starts to shine. I

Re: How to go about 'proving' why dynamically typed languages are better.

Nando Breiter writes: >> > 1. Types are useful for structures that HOLD data (ints, strings, >> > maps, arrays… ) because they provide ways defining standard >> > operations to manipulate data that make sense in the context of >> > that type of data. It is helpful to have a type c

Re: How to go about 'proving' why dynamically typed languages are better.

I am now allergic to integrated type systems mostly because of the lack of efficiency that they impose, at least in my world. If I can spare some time, I would like to immerse myself in Haskell to see if I can cope with its type system on a daily basis. Still I would think twice before switching

Re: How to go about 'proving' why dynamically typed languages are better.

On Tuesday, October 8, 2013 6:26:20 AM UTC-4, Paul Butcher wrote: > > The best explanation of these misunderstandings I've come across is "What > to Know Before Debating Type Systems": > > http://cdsmith.wordpress.com/2011/01/09/an-old-article-i-wrote/ > > In particular it asserts (correctly in

Re: [ANN] mod-lang-clojure for Vert.x 0.2.0 released

Hi Toby, thanks for the info. I was actually in contact with Stream Liu and he made an update to the project on https://github.com/stream1984/ring-vertx-adapter. It stills needs some polishing according to Stream (refering to the project page: "It is very common that run project of clojure wi

Re: How to go about 'proving' why dynamically typed languages are better.

Laurent PETIT writes: >> print 10 + "Hello", "\n" >> >> >> ^D >> 10 >> $ >> >> > Then don't use Perl :-p PHP does the same thing and it's really useful. We all think that the ability to build DSLs in Clojure is good; ultimately, what this means is that we think that good language behaviour is do

Re: Teaching Clojure to students (how ?)

On Oct 8, 2013, at 8:47 AM, Jernau wrote: > Hi Phil, It was I (Lee) who posted those reactions, but hi and thanks! > 1. Select the text you want auto-indented and press SHIFT+TAB. Nice. Is this (re)discoverable somehow from the interface? > 2. The documentation tab opens in a new tabset - to

Re: Teaching Clojure to students (how ?)

On Monday, October 7, 2013 8:12:05 PM UTC-7, John Gabriele wrote: > > For new users who want to get their feet wet right on the first day, I'd > suggest this (after they make sure they've got Java installed): > > #. Download `lein`, drop it into your ~/bin, and `chmod +x` it if > necessary, > #

Can I use transactions in go block?

Looks like it doesn't work. (go (dosync (ref-set aaa 1))) -- -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your

Re: Can I use transactions in go block?

Use the latest snapshot from github, I pushed a change last Friday that fixed this. Note though, wrote: > Looks like it doesn't work. > > (go > (dosync > (ref-set aaa 1))) > > -- > -- > You received this message because you are subscribed to the Google > Groups "Clojure" group. > To post to this

ANN Neocons 2.0.0-beta2 is released

Neocons [1] is a Clojure Neo4J Server client. Version 2.0 targets development milestones of Neo4J 2.0 and introduces new features. Release notes: http://blog.clojurewerkz.org/blog/2013/10/08/neocons-2-dot-0-0-beta2-is-released/ -- MK http://github.com/michaelklishin http://twitter.com/michaelkl

ANN Elastisch 1.3.0-beta4 is released

Elastisch [1] is a minimalistic Clojure client for ElasticSearch. 1.3.0-beta4 fixes a bug in date histogram in the native client. Release notes: http://blog.clojurewerkz.org/blog/2013/10/08/elastisch-1-dot-3-0-beta4-is-released/ 1. http://clojureelasticsearch.info -- MK http://github.com/mich

ANN Langohr 1.6.0-beta1

Langohr [1] is a Clojure client for RabbitMQ. 1.6.0-beta1 introduces automatic connection recovery improvements. Release notes: http://blog.clojurewerkz.org/blog/2013/10/08/langohr-1-dot-6-0-beta1-is-released/ 1. http://clojurerabbitmq.info -- MK http://github.com/michaelklishin http://twitter

Re: Can I use transactions in go block?

Thanks. On Tuesday, October 8, 2013 10:12:30 AM UTC-7, tbc++ wrote: > > Use the latest snapshot from github, I pushed a change last Friday that > fixed this. > > Note though, since it's not transaction safe (hence the ! in the name). But the example > you gave works fine with the latest code f

Re: How to go about 'proving' why dynamically typed languages are better.

js> Array(16).join("wat" - 1) + " Batman!" "NaNNaNNaNNaNNaNNaNNaNNaNNaNNaNNaNNaNNaNNaNNaN Batman!" js> On Tuesday, October 8, 2013 6:07:47 AM UTC-7, Laurent PETIT wrote: > > 2013/10/8 Robert Day > > >> >> On 08/10/13 13:49, Nando Breiter wrote: >> >>> >>> >>> >>> If you try and add 10 to "Hello"

Re: [ANN] mod-lang-clojure for Vert.x 0.2.0 released

Hi Guys; For me, the eventbus is the killer feature in Vertx. I think there will be many developers who would like to embed vertx into into their existing applications to enable 'realtime' communication with the browser via the eventbus. I would love to be able to do this as easily as possible.

Re: [ANN] Public Early Access Program for Cursive, the IntelliJ-based Clojure IDE

Congratulations! EAP looks promising - its already much better than La Clojure. I don't know if this is intentionally done so, or is it some problem with Windows or whatever, but local nREPL session doesn't display current namespace which is very helpful of course. I had to use *ns* occasional

Re: How to go about 'proving' why dynamically typed languages are better.

2013/10/8 Greg Bowyer > js> Array(16).join("wat" - 1) + " Batman!" > "NaNNaNNaNNaNNaNNaNNaNNaNNaNNaNNaNNaNNaNNaNNaN Batman!" > js> > > One of the many reasons we're using Clojurescript and not raw javascript :-) > On Tuesday, October 8, 2013 6:07:47 AM UTC-7, Laurent PETIT wrote: >> >> 2013/10/

Re: Teaching Clojure to students (how ?)

On Tue, Oct 8, 2013 at 12:30 PM, Lee Spector wrote: > > > 7. This is one downside to having an IDE that's written in Clojure. > > Maybe it's unavoidable, but I would have thought that one JVM instance > could be running the IDE and another the user's code, with different > versions of Clojure if

Re: How to go about 'proving' why dynamically typed languages are better.

On Tue, Oct 8, 2013 at 8:49 AM, Nando Breiter wrote: > > If you try and add 10 to "Hello" in a typed language, you get an error. > Interesting. I hadn't realized that the following's language was not typed: package foo.bar; public class Main { public static void main (String[] args) {

Re: Cut down uberjar size

You can use a regex to exclude files from uberjars, see the leiningen sample file and the :uberjar-exclusions key ;; Files with names matching any of these patterns will be excluded from jars. :jar-exclusions [#"(?:^|/).svn/"] ;; Same thing, but for uberjars. :uberjar-exclusions [#"META-INF/

Re: How to go about 'proving' why dynamically typed languages are better.

On Tuesday, October 8, 2013 10:19:07 PM UTC+3, Laurent PETIT wrote: > > > > > 2013/10/8 Greg Bowyer > > >> js> Array(16).join("wat" - 1) + " Batman!" >> "NaNNaNNaNNaNNaNNaNNaNNaNNaNNaNNaNNaNNaNNaNNaN Batman!" >> js> >> >> > One of the many reasons we're using Clojurescript and not raw javascri

Re: How to go about 'proving' why dynamically typed languages are better.

The string concatenation operator in java calls 'toString' on it's args. --- Joseph Smith j...@uwcreations.com @solussd On Oct 8, 2013, at 2:29 PM, Cedric Greevey wrote: > On Tue, Oct 8, 2013 at 8:49 AM, Nando Breiter wrote: > > If you try and add 10 to "Hello" in a typed language, you g

Re: [ANN] Public Early Access Program for Cursive, the IntelliJ-based Clojure IDE

Hi Vjeran, Thanks! I'm glad you're liking it. The namespace in the current REPL is displayed at the top of the window, in the REPL tab name. Cheers, Colin On 9 October 2013 07:52, wrote: > Congratulations! > > EAP looks promising - its already much better than La Clojure. I don't > know if th

Re: Teaching Clojure to students (how ?)

Right, there should be no problem doing this - pretty much all the editors/IDEs out there start an external process for the REPL server, and it should be able to use any Clojure version you like, independently of the version used by the IDE itself. On 9 October 2013 08:21, Cedric Greevey wrote:

Re: How to go about 'proving' why dynamically typed languages are better.

Hopefully, we all knew it :)) And you should add that auto boxing Is done on the literal, otherwise this magic would not work. Otherwise, Java would be the most brittled language. It probably is anyway :)) Luc P.. > The string concatenation operator in java calls 'toString' on it's args. > >

Re: How to go about 'proving' why dynamically typed languages are better.

>> "Holy wars are fun for a while (if I wanted to start one on this list, I'd >> go into the superiority of vim over emacs)," It wasn't me =) Don't get me wrong, I'm not ANTI-type. I'm ANTI-ANTI-untype… which is a much more partial position to take =) On 08/10/2013, at 11:46 PM, "John D. Hum

Re: How to go about 'proving' why dynamically typed languages are better.

I have another question re types…. I find it hard to express the absence of properties…. Like in Haskell… if you want to display something.. you have to derive Show for that object… which I think is allowing .toString to work Wouldn't it be more helpful to have a type Unshow which stops the obj

Re: GSoC Report: CinC, port of the clojure compiler in clojure

Mikera writes: > 2) This in turn means we are going to have to "recompile" if we want to > retain any sort of dynamic behaviour. The current system of independently > mutable vars won't work (for obvious reasons: changing a var could easily > violate the previous type inference assumptions)

Re: GSoC Report: CinC, port of the clojure compiler in clojure

I don't think that's what Mike was talking about. Say we have (defn x ^long [] 1), clojure will use the IFn$L and emit an "public long invokePrim()" method. When we do (defn y [] (let [a (x)] a) the compiler will call .invokePrim instead of invoke. If we redefine (defn x [] "") then y won't work

Re: How to go about 'proving' why dynamically typed languages are better.

Some things that I see most of the time when I read debates about dynamic vs static are: 1. Statically defined types don't solve everything, so they are not useful. Some help is better than no help even if the help doesn't solve all of your problems. Yes, you should wash your hands before di

Re: How to go about 'proving' why dynamically typed languages are better.

This is Clojure- we can have both, at the same time! clojure.core.typed --- Joseph Smith j...@uwcreations.com @solussd > On Oct 8, 2013, at 5:36 PM, Kendall Shaw wrote: > > Some things that I see most of the time when I read debates about dynamic vs > static are: > > 1. Statically defined t

Re: How to go about 'proving' why dynamically typed languages are better.

while i can see the strengths of both sides, the ideal solution is imho this: everything is statically typed. always. but you *never* have to write the type explicitly. you *can* do it, but it is always optional. i made good experiences with both scala and haskell (although i just wrote minor thi

Re: How to go about 'proving' why dynamically typed languages are better.

Yes the kind of app you are working on may make your mileage vary. But not only this criteria impacts how good you can fare with imposed data types. One tendency in software development is to normalize everything up to a point where two values are identical but because they have been typed differ

Re: GSoC Report: CinC, port of the clojure compiler in clojure

Yes Nicola, that's exactly the problem I was talking about. As far as I'm aware, the only way to make this maximally efficient at runtime on the JVM (and probably any other non-trivial runtime with typed method dispatch?) is to use some kind of recompilation strategy. invokedynamic is nice but

[ANN] Grenchman, for running Clojure code quickly

When we've polled Leiningen users in the past[1], the #1 pain point people always report is its startup time. While there have been a number of strategies suggested to reduce the annoyance of slow JVM startup time and project loading, keeping your JVMs around can lead to awkward workflows in some s

[ANN] clara-rules 0.2.0 released

Version 0.2.0 of Clara, a forward-chaining rules engine in Clojure, has been released. Thanks to Marshall Bockrath-Vandegrift, Chris Zheng and especially Yuval Lando for contributing code and ideas to the project. The main features of this release including using arbitrary maps as facts, opt

Re: [ANN] Grenchman, for running Clojure code quickly

Nice! I'd been vaguely thinking of redoing my nrepl client but I don't really use clojure these days. Glad to see you're a fan of ocaml too :) martin On Tue, Oct 8, 2013 at 7:49 PM, Phil Hagelberg wrote: > When we've polled Leiningen users in the past[1], the #1 pain point > people always report

Re: Teaching Clojure to students (how ?)

On Tuesday, October 8, 2013 12:52:38 PM UTC-4, Phil Hagelberg wrote: > > On Monday, October 7, 2013 8:12:05 PM UTC-7, John Gabriele wrote: >> >> For new users who want to get their feet wet right on the first day, I'd >> suggest this (after they make sure they've got Java installed): >> >> #. Dow

Regarding http://clojuredocs.org

Hello everyone , Latest version of Clojure is 1.5. But, http://clojuredocs.org only show docs for 1.2 and 1.3 versions. How about 1.4 and 1.5 documentation ? Thanks Binita -- -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group,

Re: Regarding http://clojuredocs.org

Those who created ClojureDocs.org made some progress towards rewriting the server side code in Clojure (it was originally developed in Ruby on Rails, IIRC), but have found it challenging to find enough time to finish that work. I recall a month or two ago someone mentioning that they would be inte

Re: Regarding http://clojuredocs.org

The official docs is at http://clojure.org/documentation, http://clojure.github.io/clojure/ On Wed, Oct 9, 2013 at 2:13 PM, binita wrote: > Hello everyone , > > Latest version of Clojure is 1.5. > But, http://clojuredocs.org only show docs for 1.2 and 1.3 versions. How > about 1.4 and 1.5 do

Re: [ANN] Public Early Access Program for Cursive, the IntelliJ-based Clojure IDE

Oh thanx, didn't see it up there. I guess there are million things you have in mind for this IDE, but speaking of REPL, I think that starting a REPL should not be a project level feature, but be exposed as one type of Run Configurations since its classpath (and maybe some other settings) can var

Re: Cut down uberjar size

Thanks, Maik, I'll try to tune my uberjar using this option! вторник, 8 октября 2013 г., 23:11:32 UTC+3 пользователь Maik Schünemann написал: > > You can use a regex to exclude files from uberjars, > see the leiningen sample file and the :uberjar-exclusions key > ;; Files with names matching a