Re: Using core.typed to guide runtime behavior?

I haven't tried anything like this. The most obvious pitfall is core.typed currently loads lazily and collects type annotations only after check-ns. There's a bunch of tools for manipulating types in the checker. Thanks, Ambrose On Thu, Apr 24, 2014 at 11:18 PM, James MacAulay wrote: > I'm in

Re: Proposing a new Clojure documentation system (in Clojure)

(Author of core.typed) Typed Clojure's function syntax generally won't get in your way if you're trying to jot down a type signature. It can handle multiple arities, polymorphism, keyword arguments, rest arguments and more. The whole point of Typed Clojure is to model how programmers use Clojure.

Re: Find source/location of anonymous function by name

Have you tried naming the anonymous functions that might be culprits? (fn trace-me [..] ...) Thanks, Ambrose On Sun, May 11, 2014 at 1:33 AM, Pascal Germroth wrote: > Hi, > > Say I'm getting an "ArityException Wrong number of args (2) passed to: > myparser/fn--106751" exception. > Unfortunatel

Re: [ANN] core.async (and more) video tutorials

Nice work! I've really enjoyed your past videos. Ambrose On Thu, May 22, 2014 at 6:32 AM, Timothy Baldridge wrote: > From time to time I get asked to do more writing on core.async, and I've > come to the realization that try as I might, I'm not a writer. However I > recently started a set of vi

Re: clojure.lang.Atom cannot be cast to a java.lang.Num

You're adding two atoms together here: (reset! index (+ index offset)) Thanks, Ambrose On Tue, May 27, 2014 at 3:43 PM, Dylan Gleason wrote: > I am trying to read a TCP request via an instance of DataInputStream and > am running into this error with the following code: > > (defn receive > [s

Re: Clojure on iOS devices - Swift as a host?

Does Swift have any static types to harvest? :) On Thu, Jun 5, 2014 at 1:50 AM, David Nolen wrote: > I wouldn't pass judgement on Swift too soon. Eval works just fine in the > REPL and it appears the language supports hot code loads out of the box. > Swift also has real support for final fields

Re: Could use an error message here? (using `get` on an atom containing a map)

Seems unlikely: http://dev.clojure.org/jira/browse/CLJ-1107?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=34820#comment-34820 I would write my own get variant, or use something like Dynalint . Thanks, Ambrose On Sun,

Re: fn and let are special forms or macros?

Hi Mark, Here's a brief doc on special forms: http://clojure-doc.org/articles/language/macros.html#special-forms-in-detail Thanks, Ambrose On Wed, Jun 18, 2014 at 12:13 PM, Mark P wrote: > Thanks Tassilo for the explanation - much appreciated! > > I have been searching the web and searching c

Re: Leiningen 2.4.2 upgrade causing problems

Someone was having the same issue, solved by upgrading Eastwood plugin to 0.1.2. Hope that helps. Thanks, Ambrose On Wed, Jun 18, 2014 at 11:05 AM, Sean Corfield wrote: > "works for me"... > > Leiningen 2.4.2; Java build 1.8.0_05-b13; OS X 10.8.5 - lein help new > works fine outside of a proj

Re: Leiningen 2.4.2 upgrade causing problems

Rather upgrading *from* 0.1.2 fixes. Thanks, Ambrose On Wed, Jun 18, 2014 at 5:08 PM, Ambrose Bonnaire-Sergeant < abonnaireserge...@gmail.com> wrote: > Someone was having the same issue, solved by upgrading Eastwood plugin to > 0.1.2. > > Hope that helps. > > Thanks

Re: Efficiently typing an argument of implementation in deftype

Just a thought, could implementing IKeywordInvoke and using keywords for field lookups speed up compilation? Thanks, Ambrose On Fri, Sep 20, 2013 at 10:01 PM, Dmitry Groshev wrote: > In this mail I'm talking about Clojure 1.4, however, I believe that the > issue persists in later versions, too.

Fwd: jvm.tools.analyzer 0.5.1

Hi, jvm.tools.analyzer 0.5.1 has breaking changes from 0.4.5. The arguments for analyze-ns have been changed. Also, analyze-file is added and source file information is added to the AST. See the changelog for more details. Dependency info Changel

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

Excellent work! To hear CinC is a long term project is music to my ears! Ambrose On Mon, Sep 23, 2013 at 4:59 AM, Nicola Mometto wrote: > > For the past 3 months I've been working as part of my GSoC project, > on a port of the clojure compiler and analyzer to clojure. > > Tomorrow the GSoC wil

Re: Efficiently typing an argument of implementation in deftype

(:b y))] (->Pair new-a new-b Thanks, Ambrose On Tue, Sep 24, 2013 at 4:54 PM, Dmitry Groshev wrote: > Interesting, can you please explain somewhat more? > > > On Saturday, September 21, 2013 3:19:16 AM UTC+4, Ambrose > Bonnaire-Sergeant wrote: > >> Just

Re: Efficiently typing an argument of implementation in deftype

defrecord uses IKeywordLookup's getLookupThunk, but I can't figure out how to implement it. Thanks, Ambrose On Tue, Sep 24, 2013 at 5:16 PM, Ambrose Bonnaire-Sergeant < abonnaireserge...@gmail.com> wrote: > I mean something like what defrecord does: > > (defprotoc

[GSoC] core.typed

Hi, Google Summer of Code has ended and it has been a particularly productive one for core.typed. In that time I: 1. released core.typed 0.2 which I consider useful for production systems. 2. resolved 30 Jira tickets

Re: [GSoC] core.typed

Oh, and a big thanks to David Nolen for mentoring me, now twice in a row! I will certainly be mentoring next year. Ambrose On Wed, Sep 25, 2013 at 6:32 PM, Ambrose Bonnaire-Sergeant < abonnaireserge...@gmail.com> wrote: > Hi, > > Google Summer of Code has ended and it has been

Crowdfunding for full-time core.typed development

Hi, I have started a crowdfunding campaign to support full-time work on Typed Clojure. Please share! http://www.indiegogo.com/projects/typed-clojure Thanks, Ambrose -- -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send em

Re: Could not find artifact org.clojure:clojure:pom:1.2.0-master-SNAPSHOT in central

Hi, Use `lein deps :tree` to figure out what the clojure 1.2.0-master-SNAPSHOT release is transitively depending on. You can then exclude the dependency like this for the problematic "lib": [lib "0.1" :exclusions [org.clojure/clojure]] Thanks, Ambrose On Sat, Sep 28, 2013 at 11:21 AM, wrote:

Re: Doubt about "Destructuring rest sequences as map key/value pairs"

The or syntax should be {lastname "Meneses"} Thanks, Ambrose On Sun, Sep 29, 2013 at 8:54 AM, Daniel Meneses Báez wrote: > I think that the second and third lines in the following example should > yield the same output... > > *user=> (defn my-name [& {:keys [name lastname] :or {:lastname > "Men

Re: Doubt about "Destructuring rest sequences as map key/value pairs"

No problem. On Mon, Sep 30, 2013 at 9:11 AM, Daniel Meneses wrote: > thanks !! > > > On Saturday, September 28, 2013 9:57:13 PM UTC-3, Ambrose > Bonnaire-Sergeant wrote: > >> The or syntax should be {lastname "Meneses"} >> >> Thanks, >> Ambr

Re: Stretch Goal 1: CinC development

When I think Clojure 2.0, I think of CinC. We need to support this project. If you've ever been jealous of the amazing compiler optimisations in Chez Scheme, or the metaprogramming facilities in Racket, CinC is a crucial step in that direction for Clojure. I'm very glad to have the opportunity to

[ANN] jvm.tools.analyzer 0.5.2

Hi, jvm.tools.analyzer 0.5.2 includes a small bug fix. Readme Changelog Thanks, Ambrose -- -- You received this message because you are subscribed to the Google Groups "Cloj

Re: [ann] class-diagram 0.1.0: utility to generate class inheritance diagrams

Very nice, thanks Stuart. Ambrose On Tue, Oct 1, 2013 at 8:31 PM, Stuart Sierra wrote: > *class-diagram:* a little utility to generate Java class inheritance > diagrams from the REPL. > > Version 0.1.0, first release > > Source, README, and examples: > https://github.com/stuartsierra/class-diag

Re: [ANN] 美味しいClojure

Me! :) Ambrose On Thu, Oct 3, 2013 at 3:07 PM, Alan Busby wrote: > Hi Dave, > > Regarding Clojure events in Tokyo, I'm only aware of Tokyo.clj at the > moment and it's held in Japanese. It sounds like we have a few expats here > in Tokyo using Clojure though, so it might be worth putting somet

Re: [ANN] 美味しいClojure

certainly be > interested in giving a talk too, or putting together some sort of > workshop or something if that appealed. And I'd love to hear more about > core.typed from Ambrose! > > Best, > Dave > > (2013/10/03 16:43), Ambrose Bonnaire-Sergeant wrote: > >

Re: type checking clojure.set with core.typed

Hi Stu, Please try lein-typed "0.3.1". It should fix the build issue. Thanks, Ambrose On Tue, Oct 1, 2013 at 8:42 AM, Ben Mabey wrote: > Heh, based on that my guess is that no one has used lein-typed in CI > builds. :) I've submitted a PR to Ambrose to exit with a non-zero code > when type

Re: reflection warning with threading macro

I think the most reliable way to use type hinting is to attach the metadata to a local binding. Thanks, Ambrose On Wed, Oct 16, 2013 at 1:51 AM, Brian Craft wrote: > This gives me a reflection warning: > > (.write out ^String (-> slist meta :hex)) > > This does not: > > (.write out ^String (:h

[ANN] core.typed 0.2.14

Hi, Pleased to announce core.typed 0.2.14. There are breaking changes in this release. See the Changelogfor the full list of changes. See the Readme for dependency info.

Re: Does apply function works correctly?

Hi Ru, You are invoking a literal symbol. You want: (apply not= '(256 256)) ie. without the ' in front of not=. Thanks, Ambrose On Sat, Oct 26, 2013 at 5:01 PM, ru wrote: > Dear Clojure users and team! > > What does it mean: > > Last login: Sat Oct 26 12:41:48 on ttys001 > Ruslan-Sorokins

Re: [ANN] clojure.math.combinatorics 0.0.6

Thanks Mark and Alex! Ambrose On Fri, Nov 1, 2013 at 12:20 PM, Mark Engelberg wrote: > I'm pleased to announce the latest version of clojure.math.combinatorics. > https://github.com/clojure/math.combinatorics > > clojure.math.combinatorics is a library of functions to generate > permutations, s

Last day for Typed Clojure crowdfunding

Hi, With less than 20 hours left in the crowdfunding campaign for Typed Clojure, don't miss out if you meant to donate! http://www.indiegogo.com/projects/typed-clojure/x/4545030 Thanks to your donations, I have already transferred Nicola Mometto US$5000 to help continue his fantastic work on too

[ANN] strict-typed-ops 0.1.0

Hi, Announcing a new library which adds Scala-style *static* strictness to collection operations. The first version is a proof-of-concept: please read the contributing guidelines if you want to contribute. The README

Re: [ANN] tools.reader 0.8.0 released

Cool, nice work Nicola and Alex! Ambrose On Thu, Nov 21, 2013 at 2:16 PM, Nicola Mometto wrote: > > https://github.com/clojure/tools.reader > > Changelog: > https://github.com/clojure/tools.reader/blob/master/CHANGELOG.md > > Leiningen dependency information: [org.clojure/tools.reader "0.8.0"]

Re: println / for unexpected behaviour

Hi Edward, I believe the return value of your expression is (nil nil nil nil ...), but the printlns are forced just after the ( is printed. Thanks, Ambrose On Mon, Nov 25, 2013 at 9:14 PM, wrote: > Some (println) weirdness (board is a vector to vectors): > > (println (board 0)) > (println (bo

Re: Breaking out of doseq

Hi Jonathon, I'm not sure I fully understand what you're after, but I suspect reduce + reduced would be helpful. (reduce (fn [a c] (reduced 'foo)) [] [1 2 3]) ;=> 'foo As far as I'm aware you can't exit a doseq early. (Actually I guess you could use a mutable reference as the argument to :while,

Re: Breaking out of doseq

reduced wraps a value in such a way that it stops the current reduce and returns a value. You might want `some` in this case. (let [matched (some matches? regexes)] ...) http://clojure.github.io/clojure/clojure.core-api.html#clojure.core/some Also filter + first has a similar effect. Thanks,

Re: [ANN] Clara 0.3.0: Rete in ClojureScript

Congrats! Ambrose On Fri, Nov 29, 2013 at 11:49 PM, Ryan Brush wrote: > Clara 0.3.0, a forward-chaining rules engine in pure Clojure, has been > released. The headliner is ClojureScript support, although a handful of > fixes and optimizations were included as well. > > Some discussion of the

Re: ANNOUNCE: Cognitect is sponsoring "CinC" contrib libraries

Wow! Congrats! Ambrose On Fri, Dec 6, 2013 at 4:42 AM, Nicola Mometto wrote: > > I'm happy to announce that after Ambrose BS commissioned me to continue > working on my "CinC" libraries as part of his typed-clojure campaign > (http://www.indiegogo.com/projects/typed-clojure), Cognitect > (http

Re: require and :require

By coincidence they are both equivalent and expand to exactly the same code. The latter is preferred, and it's debatable if the former should even be legal. Thanks, Ambrose On Fri, Dec 6, 2013 at 5:07 PM, BillZhang wrote: > hi all, > What's the difference between these two snippets? > > 1. >

Re: Excluding an Automatically-Imported Java Class

Interesting, I had no idea clojure.lang.Compiler was automatically imported. You probably want ns-unmap . (ns rdoc.core ...) (ns-unmap *ns* 'Compiler) (import 'com.google.javascript.jscomp.Compiler) Thanks, Ambrose On Sun, Dec 8, 2013

[ANN] jvm.tools.analyzer 0.6.0 - *Breaking changes*

Hi, [org.clojure/jvm.tools.analyzer"0.6.0"] To avoid any problems with the new analyzer contrib libraries, the namespaces in jvm.tools.analyzer have been renamed. See the CHANGELOG

Re: ANN - [vinyasa 0.1.0] - Give your clojure workflow more flow

Thanks for sharing! Ambrose On Wed, Jan 1, 2014 at 12:56 PM, zcaudate wrote: > I've done a write up of my workflow here: > > http://z.caudate.me/give-your-clojure-workflow-more-flow/ > > -- > -- > You received this message because you are subscribed to the Google > Groups "Clojure" group. > To

Re: [ANN] tools.analyzer(.jvm) 0.1.0-alpha1

Congrats! FWIW I won't be porting core.typed while tools.analyzer is still in alpha but I'll definitely be pointing people your way. Thanks, Ambrose On Sat, Jan 11, 2014 at 9:23 AM, Nicola Mometto wrote: > > Today I released the first version of the tools.analyzer[1] and > tools.analyzer.jvm[2

[ANN] dynalint 0.1.0

Hi, For those who like analysing their programs I present Dynalint, a simplistic "linter". It's essentially a bunch of manually curated runtime warnings and errors for the core Clojure library. https://github.com/frenchy64/dynalint Please read the README for instructions and caveats. Here's the

Re: [ANN] dynalint 0.1.0

t; This looks great! I'll give it a try. > > Eric > > http://lispcast.com > > > On Saturday, January 11, 2014 8:46:40 AM UTC-6, Ambrose Bonnaire-Sergeant > wrote: >> >> Hi, >> >> For those who like analysing their programs I present Dynalint, a >

Re: core.typed

Hi, There is some conflict with ClojureScript, some others have also observed this. Is there some library that is upgrading the Clojurescript version to one different to what core.typed depends on? Thanks, Ambrose On Tue, Jan 28, 2014 at 5:38 PM, t x wrote: > ## Background > > I'm using [o

Re: core.typed

ot;0.0-2138"] > > I looked at the project.clj of core.typed, and got: > > https://github.com/clojure/core.typed/blob/master/project.clj#L13 > > Is the dependency on "[org.clojure/clojurescript "0.0-1859"]" correct? > (it seems rather outdated). > > Th

Re: core.typed

ore.typed/blob/master/project.clj#L13 >> >> Is the dependency on "[org.clojure/clojurescript "0.0-1859"]" correct? >> (it seems rather outdated). >> >> Thanks! >> >> On Tue, Jan 28, 2014 at 4:59 AM, Ambrose Bonnaire-Sergeant >>

Re: Improving the bean function with caching

Is there any way to invalidate this cache? Thanks, Ambrose On Thu, Jan 30, 2014 at 9:35 PM, pron wrote: > The bean function is a very useful Java interop feature that provides a > read-only view of a Java Bean as a Clojure map. > As it stands, the function performs introspection on the bean's

dynalint, lein-dynalint 0.1.2 - Warn on (zipmap (keys m) (vals m))

Hi, If you're interested in refactoring out instances of (zipmap (keys m) (vals m)), then dynalint 0.1.2 may help. [com.ambrosebs/dynalint "0.1.2"] I've added a simplistic case that warns if a clojure.lang.APersistentMap$KeysSeq or ValsSeq is passed to zipmap. user=> (require '[dynalint.lint :

Re: dynalint, lein-dynalint 0.1.2 - Warn on (zipmap (keys m) (vals m))

ing in emacs via nRepl, without the line number, > it's really hard to track down these errors. Is there any way that dynalint > could (optionally) output more info about where the infraction takes place? > > Ambrose Bonnaire-Sergeant > February 1, 2014 6:38 AM > Hi, >

Re: dynalint, lein-dynalint 0.1.2 - Warn on (zipmap (keys m) (vals m))

, Sam Ritchie wrote: > Let me see how I can work that into the flow. Thanks! > > Ambrose Bonnaire-Sergeant > February 1, 2014 6:58 AM > Hi Sam, > > Are you familiar of dynalint.lint/print-warning? > > That's really the best idea I've come up with. > >

Re: dynalint, lein-dynalint 0.1.2 - Warn on (zipmap (keys m) (vals m))

t 10:22 PM, Sam Ritchie wrote: > Thanks for the help! This is great. > > Ambrose Bonnaire-Sergeant > February 1, 2014 7:16 AM > I just realised it's undocumented. > > (print-warning) prints the latest warning. > > (print-warning id) prints the dynalint warning

Re: order of returned values from keys and vals

zipmap could also potentially use transients (which would be a nice addition). keys/vals are also lazy, so I would be surprised if there was any performance difference with walking the seq "twice". Thanks, Ambrose On Sun, Feb 2, 2014 at 11:35 AM, Justin Smith wrote: > Realistically, how many s

Re: order of returned values from keys and vals

Thanks Michał, voted. Ambrose On Sun, Feb 2, 2014 at 12:13 PM, Michał Marczyk wrote: > On 2 February 2014 04:54, Ambrose Bonnaire-Sergeant < > abonnaireserge...@gmail.com> wrote: > >> zipmap could also potentially use transients (which would be a nice >> addition). &

Re: order of returned values from keys and vals

uch > equivalent to (map key entry-seq) and (map val entry-seq). The logic > producing entry-seq lives in the individual map types and is indeed lazy. > > Cheers, > Michał > > >> >> On Saturday, February 1, 2014 7:54:32 PM UTC-8, Ambrose Bonnaire-Sergeant >> wro

Re: GSoC 2014: org applications now open

* core.typed: Extensions and Documentation, Ambrose Bonnaire-Sergeant > * Clojure Compiler port to Clojure (CinC), Bronsa > * Implementation of core.matrix-compatible multidimensional array in > Clojure, Dmitry Groshev > * Algebraic Expressions, Maik Schünemann > * ClojureScript optimiz

Re: [ANN] analyze 0.3.0 - Hygienic transformation

12, 2013 at 1:46 PM, Michael Wood > wrote: > >>> > >>> On 12 February 2013 12:28, AtKaaZ wrote: > >>> > what would this do: > >>> > > >>> > (let [a 1, a 2] a) > >>> > becomes: > >>> > (let [a 1, a

Re: [ANN] analyze 0.3.0 - Hygienic transformation

y refers to a local or to a function in a namespace other > than clojure.core. Expect some false positives." > > So there is a place for an AST based one (more similar to findbugs I guess) > > On Wednesday, February 13, 2013 9:21:52 AM UTC+2, Ambrose > Bonnaire-Sergeant wrote

Re: Google Summer of Code 2013

Interesting idea, but the specifics of the project are not clear to me. Could you flesh out what you're trying to achieve in particular? Would you build on top of core.logic and core.typed? Thanks, Ambrose On Thu, Feb 21, 2013 at 12:13 AM, Maik Schünemann wrote: > given the current position of

Re: Google Summer of Code 2013

I've added two projects related to core.typed. FYI: I am technically qualified to participate as a student in GSoC 2013, but I may participate as a mentor instead. I'm hoping to find out in the next few weeks. http://dev.clojure.org/display/community/Project+Ideas#ProjectIdeas-TypeSystems On Thu

Re: Redefinition of datatypes

tact me off-list if you have additional questions. > > Thanks, > -S > > > > > On Friday, February 22, 2013 2:26:31 AM UTC-5, Ambrose Bonnaire-Sergeant > wrote: >> >> Hi, >> >> I don't understand why this `assert` fails when the namesp

Re: [GSoC 2013] CinC

> > Next up would be figuring out how to bootstrap a little better. It would > also be nice to pull in the work that's been done recently on the reader in > clojure and datastructures in clojure. > > > On Sat, Mar 2, 2013 at 12:50 AM, Ambrose Bonnaire-Sergeant < > ab

Re: [GSoC 2013] CinC

ont-end. I'm fairly > confident that's at least a summer's work. :) > > --Aaron > > > On Sat, Mar 2, 2013 at 11:05 AM, Ambrose Bonnaire-Sergeant < > abonnaireserge...@gmail.com> wrote: > >> Is there enough to do here for a few months work? I'

Re: Querying hierarchies in core.logic

Hi, There's a brief transcript of a conversation with Tassilo under the ns. He also wrote a nice blog post on the technique http://tsdh.wordpress.com/2012/01/06/using-clojures-core-logic-with-custom-data-structures/ Thanks, Ambrose On Mon, Mar 11, 2013 at 12:21 PM, JvJ wrote: > I understand t

Re: Redefinition of datatypes

core.typed dependencies are all in Central now. Here's a reproducible example of this failure. http://build.clojure.org/job/core.typed/3/console Thanks, Ambrose On Sun, Feb 24, 2013 at 12:50 AM, Chas Emerick wrote: > On Feb 23, 2013, at 11:35 AM, Stuart Sierra wrote: > > Furthermore, accordin

Re: [ANN] jvm.tools.analyzer / clr.tools.analyzer

How useful is a fully macroexpanded AST to Codeq? There are line numbers associated with the AST nodes, and column numbers if you're using Clojure 1.5.0+. Ambrose On Thu, Mar 14, 2013 at 12:48 AM, Rich Morin wrote: > On Mar 13, 2013, at 09:21, Ambrose Bonnaire-Sergeant wrote: > &

Re: ANN: core.logic 0.8.0

This is epic, and a long time coming! Thanks for the hard work David and congrats to the other contributors, especially Nada and Jonas! Thanks, Ambrose On Mon, Mar 18, 2013 at 3:50 AM, David Nolen wrote: > I'm happy to announce the release of core.logic 0.8.0. There are far too > changes, bug f

Re: Clojure - CLR - JS - Visual Studio Extension

Hi David, Excellent work so far! I'll have a dig around and see what I find. Thanks, Ambrose On Fri, Mar 22, 2013 at 10:53 AM, dmiller wrote: > Last update on this here: > > > The port of core.logic to ClojureCLR that resides here: > https://github.com/**dmiller/clr.core.logic

Re: Clojure - CLR - JS - Visual Studio Extension

brose Bonnaire-Sergeant < abonnaireserge...@gmail.com> wrote: > Hi David, > > Excellent work so far! > > I'll have a dig around and see what I find. > > Thanks, > Ambrose > > > On Fri, Mar 22, 2013 at 10:53 AM, dmiller wrote: > >> Last update o

Re: Redefinition of datatypes

Now that ClojureWest has finished, I'll gently bump this thread :) Thanks, Ambrose On Wed, Mar 13, 2013 at 12:51 PM, Ambrose Bonnaire-Sergeant < abonnaireserge...@gmail.com> wrote: > core.typed dependencies are all in Central now. > > Here's a reproducible example

Re: Clojure - CLR - JS - Visual Studio Extension

sday, March 21, 2013 10:42:52 PM UTC-5, Ambrose Bonnaire-Sergeant > wrote: > >> I'm using Mono on Ubuntu, and I have these errors/failures (including >> project.clj at the bottom): >> >> https://gist.github.com/**frenchy64/5218783<https:/

Re: Redefinition of datatypes

On Sat, Mar 23, 2013 at 7:32 AM, Hugo Duncan wrote: > Ambrose Bonnaire-Sergeant writes: > > > Now that ClojureWest has finished, I'll gently bump this thread :) > > > > Thanks, > > Ambrose > > Ambrose, > > I had a quick look at this. I tried ru

Re: Redefinition of datatypes

ler.analyze(Compiler.java:6361) > > -S > > > > On Friday, March 22, 2013 9:08:00 PM UTC-4, Ambrose Bonnaire-Sergeant > wrote: >> >> On Sat, Mar 23, 2013 at 7:32 AM, Hugo Duncan wrote: >> >> Ambrose Bonnaire-Sergeant writes: >>> >>> &

Re: Redefinition of datatypes

I think I figured out how to disable compilation. Seems to work. (just failing unit tests now) http://build.clojure.org/job/core.typed/17/console Thanks! Ambrose On Mon, Mar 25, 2013 at 9:30 AM, Ambrose Bonnaire-Sergeant < abonnaireserge...@gmail.com> wrote: > Hi Stuart, > &

[ANN] core.typed 0.1.9, jvm.tools.analyzer 0.3.2

Hi, I have pushed two minor releases, with minor breaking changes. core.typed There's a new release of core.typed , the first with the contrib infrastructure. Check the changelog for the set of changes. The most important change is the group id has changed

Re: Clojure is in GSoC 2013!

Yay! On Tue, Apr 9, 2013 at 3:33 AM, Daniel Solano Gómez wrote: > Hello, all, > > I am happy to report that Clojure has been accepted as a mentoring > organization for Google Summer of Code 2013. Now is the time for > sudents to start researching their projects and reaching out to members. > At

Re: [GSOC 2013] core.match refactoring

Hi Patrick, I'm sure David will respond on the list. Racket's pattern matching facilities are very impressive: http://docs.racket-lang.org/reference/match.html FWIW the Typed Racket implementation has lots of cool examples using pattern matching. I can be more specific if you want. Thanks, Ambr

Re: Thanks!

Awesome, congrats! Is there a copy available? Thanks, Ambrose On Wed, Apr 24, 2013 at 12:17 AM, JvJ wrote: > I just submitted my master's thesis, written in Clojure, and I'd just like > to say the community here has been really helpful. > > Thanks to David Nolen and Amb

Re: Do functions never get inlined by jvm?

jvm.tools.analyzer is a nice tool for exploration in this area. I don't personally know all the subtleties here, but after some playing I managed to emit an unboxing function. I could tell from the AST. https://gist.github.com/frenchy64/5459989 Thanks, Ambrose On Thu, Apr 25, 2013 at 9:44 PM,

Re: [GSOC 2013] Program analysis suite, based on Rich Hickey's Codeq

Hi Navgeet, I'm not sure if rewriting jvm.tools.analyzer is a good idea, given that there is CinC project for this year's GSoC. Perhaps you could contribute to the CinC analyzer, and then follow with integration with Codeq? Thanks, Ambrose On Wed, May 1, 2013 at 1:45 AM, Navgeet Agrawal wrote:

Re: [GSOC 2013] Program analysis suite, based on Rich Hickey's Codeq

Hi Navgeet, Yes CinC is a big job. Ah, I read the proposal more closely. I think you're on the right track. You should only need one more AST node for unexpanded macros, or maybe even just extra metadata on the :invoke :op. As a quick and dirty approach I like it. Thanks, Ambrose On Wed, May 1

Re: [GSOC 2013] Program analysis suite, based on Rich Hickey's Codeq

to (plus 1 2) might count as a call to clojure.core/+. Have you considered these issues? Will you have a tolerance for false positives? Thanks, Ambrose On Wed, May 1, 2013 at 3:47 PM, Ambrose Bonnaire-Sergeant < abonnaireserge...@gmail.com> wrote: > Hi Navgeet, > > Yes CinC is a b

Re: [GSOC 2013] Program analysis suite, based on Rich Hickey's Codeq

What about calls to `let`, `defn`, `loop`, `cond` and `fn`, which are all macros? Thanks, Ambrose On Wed, May 1, 2013 at 4:34 PM, Navgeet Agrawal wrote: > If I understand correctly, a macro invocation of the form `(expand '(+ 1 > 2)) => (plus 1 2)` will be analyzed as invoking the macro 'expand

Re: Bug in reader or repl? reading keyword :#abc

According to the reader page, # isn't a valid character in a symbol/keyword. http://clojure.org/reader Thanks, Ambrose On Wed, May 1, 2013 at 10:22 PM, Dave Sann wrote: > I came across the following... > > ;; => ok; > (let [v :abc] nil) > > ;; => ok; > (let [v :abc] >nil) > > ;; => ok; >

[ANN] core.typed 0.1.14

Hi, Announcing a new release of core.typed, with a bunch of improvements and fixes. Leiningen: [org.clojure/core.typed "0.1.14"] Highlights: - support optional & mandatory function keyword arguments - def-alias takes a docstring, and adds appropriate :doc metadata to the alias var. - accumulates

Re: [ANN] core.typed 0.1.14

Thanks! I'll be open sourcing a hobby project in the next few days that shows off these features. Ambrose On Sat, May 11, 2013 at 10:12 PM, Max Penet wrote: > Hi, > > Some nice improvements here, thanks! > > - Max > > On Saturday, May 11, 2013 3:53:02 PM UTC+2,

[ANN] core.typed 0.1.15

Hi, A brief but highly visible release of core.typed: types and forms in error messages are abbreviated where possible. See the changelog and check-ns docstring for details. In a nutshell: fire.main=> (check-ns 'fire.simulate) ... Type Error (fire.simulate:72) Expected type: Grid Actual: (Compl

Re: Strange Loop 2011 - St. Louis - Sept 18-20

I'm on the wrong side of the world, will these be recorded? Looks exciting On Wed, Mar 16, 2011 at 4:49 AM, Nick Zbinden wrote: > Man that look awesome not a single thing I would wanne miss. > > On Mar 15, 9:16 pm, Alex Miller wrote: > > I just put up a blog entry with some updated info on Stra

Re: Throwing an Exception with get

This is slower but is a bit clearer. (defn get-with-exception [map key] (if (contains? map key) (get map key) (throw (Exception. "oops" Curious, why do you want to do this? Are you working with Java interop? Ambrose On Sun, Mar 20, 2011 at 5:50 PM, Andreas Kostler < andreas.koestl

Re: Throwing an Exception with get

gt; Now, I want to distinguish between a value that doesn't match and a > non-existing key. > Hence, > (select rel [[:bogus "b"]]) should not return an empty set but somehow > signal that the key does not exist. > In relational terms, the key is not an attribute of the

Re: Open Source Projects for Beg/ Intermediate

On Sun, Apr 17, 2011 at 9:37 PM, Carin Meier wrote: > > > Other areas that I have an interest in right now is the Semantic Web. > There is a vast amount of data out there out on dbPedia. Tapping into > it and integrating to other sites/ services (like twitter) would be > quite exciting. > > Check

Re: newbie question

Hi, lein run looks for a -main function in your source file. This is a convention borrowed from java (and other languages). The null pointer exception is probably lein or clojure looking for -main. > echo '(defn -main [] (println "no exception)' >> src/foo/core.clj > lein run -m foo.core hello a

Re: ANN: Clojure Atlas (preview!)

Oh wow, this looks exciting! Subbed. Ambrose On Wed, Apr 20, 2011 at 12:19 AM, Chas Emerick wrote: > Today, I’m opening up a “preview” site for Clojure Atlas [1], a new side > project of mine that I’m particularly excited about. > > Clojure Atlas is an experiment in visualizing a programming lan

Re: Shebang support for cljr

Hi David, Jark can do this http://icylisper.in/jark/scripting.html (Jark also uses cljr under the hood coincidentally) Ambrose On Thu, Apr 21, 2011 at 1:16 AM, David Jacobs < develo...@allthingsprogress.com> wrote: > What's the status on this? One of th

Re: Shebang support for cljr

On Thu, Apr 21, 2011 at 1:28 AM, Mike Meyer wrote: > On Wed, 20 Apr 2011 10:16:05 -0700 (PDT) > David Jacobs wrote: > > > What's the status on this? One of the reasons I don't use Clojure > everyday, > > much as I like it, is that I want it to integrate seamlessly with Unix > for > > scripting.

Re: Meta-circular STM for teaching purposes

This is great, thanks for sharing! Ambrose On Thu, Apr 21, 2011 at 10:57 PM, Tom Van Cutsem wrote: > The following might be of interest to Clojurians: > > https://github.com/tvcutsem/stm-in-clojure is a meta-circular > implementation of STM in Clojure. It was created purely for educational > pu

Re: Aw: defnk pre- and post-conditions

On Tue, Apr 26, 2011 at 8:26 PM, Hugo Duncan wrote: > > Inspired by a discussion [1] on supporting shFlags in stevedore, I drafted > a defnkw [2] that allows for the following syntax: > > (defnkw foo > "My foo" > [positional1 … positionalN >& [[kw1 description1 default1] > [kw2 descrip

Re: Logos -> core.logic

This is really exciting! Well done! Looking forward to playing around with this in its new home. Ambrose On Thu, Apr 28, 2011 at 11:59 PM, David Nolen wrote: > Logos has been accepted into Clojure contrib: > https://github.com/clojure/core.logic. > > There's a considerable amount of work still

<    1   2   3   4   5   6   >