clojure-core-typed@googlegroups.com

4

replies

Combining HMap with another map type

started 2016-03-07 12:18:56 UTC

2016-03-08 12:04:01 UTC

k***@gmail.com

0

replies

Compile-time predicates and keyword hierarchies in core.typed

started 2016-03-07 07:42:22 UTC

2016-03-07 07:42:22 UTC

k***@gmail.com

0

replies

core.typed 0.3.22 - Implicit type checking via `eval`

started 2016-02-01 06:06:46 UTC

2016-02-01 06:06:46 UTC

A***@gmail.com

2

replies

TypedClojure examples in comparison to Scala and Java

started 2016-01-31 21:18:08 UTC

2016-01-31 21:57:07 UTC

j***@gmail.com

0

replies

core.typed 0.3.20 - Transitive dependencies, new "Getting Started" tutorial

started 2016-01-31 03:11:24 UTC

2016-01-31 03:11:24 UTC

A***@gmail.com

22

replies

cljc reader conditional troubles

started 2015-11-03 02:57:51 UTC

2016-01-30 04:41:38 UTC

A***@gmail.com

4

replies

How do I define a type-indexed map?

started 2016-01-13 03:57:16 UTC

2016-01-13 23:55:56 UTC

k***@gmail.com

4

replies

Error loading core.typed clojure/tools/analyzer

started 2015-06-23 06:08:23 UTC

2015-12-01 04:12:24 UTC

A***@gmail.com

4

replies

untyped-vars and form checking (clojure.core.typed/cf)

started 2015-11-25 16:06:41 UTC

2015-11-26 16:19:44 UTC

j***@gmail.com

0

replies

core.typed 0.3.15 - Dependency changes + bug fix

started 2015-11-05 12:44:32 UTC

2015-11-05 12:44:32 UTC

A***@gmail.com

1

reply

Annotating keyword parameters

started 2015-10-31 02:31:00 UTC

2015-10-31 02:33:27 UTC

A***@gmail.com

0

replies

Cannot resolve alias name

started 2015-10-29 08:35:45 UTC

2015-10-29 08:35:45 UTC

k***@gmail.com

0

replies

core.typed 0.3.{13-14} - New #lang feature, contract generation for imports

started 2015-10-27 07:27:38 UTC

2015-10-27 07:27:38 UTC

A***@gmail.com

3

replies

using annotated select-keys, merge etc.

started 2015-10-26 16:00:21 UTC

2015-10-26 20:48:10 UTC

A***@gmail.com

1

reply

Strange behavior with a mapping-function

started 2015-10-23 02:28:47 UTC

2015-10-23 06:52:20 UTC

A***@gmail.com

0

replies

core.typed 0.3.12 - cljc support

started 2015-10-20 05:52:54 UTC

2015-10-20 05:52:54 UTC

A***@gmail.com

3

replies

How does gradual typing solve the "annotate the world" problem?

started 2015-10-08 19:07:54 UTC

2015-10-09 00:28:40 UTC

A***@gmail.com

6

replies

Any response to the concerns raised in "Why we’re no longer using Core.typed"?

started 2015-10-05 14:05:20 UTC

2015-10-07 13:42:47 UTC

j***@gmail.com

1

reply

Proxying final classes should be possible after all

started 2015-10-07 01:04:32 UTC

2015-10-07 02:56:50 UTC

A***@gmail.com

1

reply

Won't gradual typing require integration with the Clojure compiler?

started 2015-10-07 02:16:46 UTC

2015-10-07 02:30:39 UTC

A***@gmail.com

1

reply

Annotating existing libraries with old Clojure versions

started 2015-09-24 00:54:24 UTC

2015-09-24 01:23:56 UTC

j***@signafire.com

3

replies

Usage with clojurescript

started 2015-09-20 07:54:36 UTC

2015-09-20 10:15:59 UTC

A***@gmail.com

1

reply

Library with annotations for clojure.tools.logging

started 2015-09-20 05:15:55 UTC

2015-09-20 05:18:23 UTC

A***@gmail.com

0

replies

Low hanging fruit screencasts

started 2015-09-19 08:08:59 UTC

2015-09-19 08:08:59 UTC

c***@gmail.com

2

replies

first on HVec

started 2015-09-14 09:12:30 UTC

2015-09-16 08:35:34 UTC

m***@gmail.com

2

replies

Bad call to path-type: nil

started 2015-09-14 08:52:29 UTC

2015-09-16 08:01:13 UTC

m***@gmail.com

1

reply

Can anyone help me understand this type error?

started 2015-09-16 04:50:01 UTC

2015-09-16 04:52:31 UTC

A***@gmail.com

2

replies

Using polymorphic records

started 2015-08-27 18:50:18 UTC

2015-09-12 21:28:55 UTC

j***@gmail.com

0

replies

Conditional reads

started 2015-09-10 00:56:32 UTC

2015-09-10 00:56:32 UTC

j***@gmail.com

5

replies

java.lang.ExceptionInInitializerError on lein typed check

started 2015-08-27 16:30:30 UTC

2015-08-31 11:09:15 UTC

f***@gmail.com