suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
4,416 Commits 13 Branches 1 Tag 9.2 MiB
34d16fe1d8
Commit Graph

60 Commits

Author SHA1 Message Date
Ben Greenman
34d16fe1d8 ts-guide: change 1st sentence 2016-07-02 00:33:30 -04:00
AlexKnauth
a846514f28 make cast sound 2016-06-06 13:19:33 -04:00
Andrew Kent
010134d2b1 add intersection to TR docs 2016-05-20 15:38:32 -04:00
Asumu Takikawa
2763ecd0c5 Restore doc examples that broke in 6.2 
Closes issue #264
 2016-04-29 18:06:55 -04:00
Sam Tobin-Hochstadt
268543cbd0 Avoid no-declare when documenting extra TR libraries. 
Closes #345.
 2016-04-29 12:41:02 -04:00
Andrew Kent
f9c5a534d0 filter -> prop 
This pull request is largely a renaming effort to clean up the TR codebase. There are two primary things I wanted to change:

1. Replace all occurrences of "filter" with "prop" or "proposition"
   - The word "filter" is a meaningless opaque term at this point in the Typed Racket implementation. If anything, it just adds confusion to why things are the way the are. We should use "proposition" instead, since that's what they actually are.

2. Avoid using "Top" and "Bottom" in both the type and proposition realm.
   - Currently the top type is called Univ and the bottom type is called bottom, while the top proposition is called Top and the bottom proposition is called Bot. This is just unnecessarily confusing, doesn't really line up w/ the user-space names, and doesn't line up with the names we use in TR formalisms. Worse, all of the top types of primitive types---e.g. the type of all structs, StructTop--- use Top, so it is really easy to get confused about what name to use for these sorts of things.

With these issues in mind, I made the following changes to names:

Top -> TrueProp
Bot -> FalseProp
TypeFilter -> TypeProp
NotTypeFilter -> NotTypeProp
AndFilter -> AndProp
OrFilter -> OrProp
-filter t o -> -is-type o t
-not-filter t o -> -not-type o t
FilterSet -> PropSet
NoFilter -> #f
NoObject -> #f
-FS -> -PS
-top -> -tt
-bot -> -ff
implied-atomic? q p -> implies-atomic? p q
filter-rec-id -> prop-rec-id
-no-filter -> -no-propset
-top-filter -> -tt-propset
-bot-filter -> -ff-propset
-true-filter -> -true-propset
-false-filter -> -false-propset
PredicateFilter: -> PredicateProp:
add-unconditional-filter-all-args add-unconditional-prop-all-args
 2016-04-25 18:36:12 -04:00
Matthew Flatt
a906b1c172 fix documented library name 2016-04-08 19:11:06 -06:00
WarGrey Gyoudmon Ju
65441301c2 Add typed/images/logos and typed/images/icons without #:material support 2016-04-07 17:03:05 -04:00
Asumu Takikawa
1a11ac53e2 Add typed/racket/random, bump version 2016-04-07 15:03:57 -04:00
Sam Tobin-Hochstadt
1d367003e9 Add some additional clarification on unsafe-provide. 2016-01-09 22:31:17 -05:00
Matthew Flatt
67d989462b adjust doc extfvector example 
Make the example typeset in a Racket build that does not support
extflvectors.
 2016-01-09 09:11:03 -07:00
Sam Tobin-Hochstadt
1e761f2d8a Setof is immutable. 2016-01-02 14:00:32 -05:00
Sam Tobin-Hochstadt
a0d6ed954d Clarify docs for Setof. 2016-01-02 11:01:09 -05:00
Vincent St-Amour
91b78dd9d9 Fix doc example. 2016-01-01 14:46:15 -06:00
Vincent St-Amour
607649c742 Improve link to OC docs. 2016-01-01 11:45:00 -06:00
Alexis King
a3ca5aeefc Allow the types created for structs to be specified manually 
This allows the types generated by the struct form, as well as #:struct
clauses of require/typed, to be specified explicitly using a #:type-name
option. This allows the name of a struct and the type it is assigned to
be different.

Closes #261
 2015-12-30 13:12:05 -08:00
Asumu Takikawa
b4489012a7 Temporarily disable examples until #264 is fixed 2015-12-20 17:04:55 -05:00
Asumu Takikawa
8791bdcdfc Remove evaluation imports that aren't needed 2015-12-20 17:04:55 -05:00
Asumu Takikawa
f08f3d07d4 Convert TR docs to use scribble/example 2015-12-20 17:04:55 -05:00
Alex Knauth
fdbf052bdb Merge pull request #259 from AlexKnauth/define-new-subtype-docs 
Clarify define-new-subtype docs
 2015-12-10 16:00:04 -05:00
Asumu Takikawa
7f05dc6731 Update docs & tests for struct constructor options 2015-12-08 00:33:45 -05:00
Alex Knauth
d3b56d8a5c Clarify define-new-subtype docs 2015-12-03 17:15:38 -05:00
Sam Tobin-Hochstadt
f7123b8e57 Fix build dep. 2015-11-16 12:58:44 -05:00
Jordan Johnson
46836184f2 Document types exported by wrapper libs. 
This includes types for all wrapper libs that define types, except for
typed/pict, typed/racket/*, and typed/syntax/stx.
 2015-11-15 23:38:38 -08:00
Leif Andersen
4af7c9d10e Fix typo in the docs. 
p -> pt
(Thanks to Ben Chung for finding it.)
 2015-11-13 14:06:14 -05:00
Matthew Flatt
265453def2 remove redundant doc lists for typed/openssl 2015-11-12 15:57:12 -07:00
Vincent St-Amour
bcd5fe531d Document for/and and co as not working. 2015-11-11 13:30:24 -06:00
Sam Tobin-Hochstadt
4b9689e88a Revise docs for minor improvements in support. 
Closes #137.
 2015-11-10 16:40:22 -05:00
Matthew Butterick
e27a1e24df Clarification of for/ forms 
Make it explicit in the docs that  `for/vector`, `for/flvector`, `for/first`, `for/last`, and `for/and` aren't yet supported by the typechecker.
 2015-11-10 16:34:50 -05:00
WarGrey Gyoudmon Ju
dc73660242 Add typed/web-server/http.rkt, typed/web-server/configuration/responders.rkt 
Closes #153.
 2015-11-10 16:32:20 -05:00
Andrew Kent
60c37ab2bf conservatively label define-new-subtype as experimental for now 2015-10-27 19:32:29 -04:00
Asumu Takikawa
f1cb23062a Add examples for typed/racket/unsafe docs 2015-10-21 14:26:53 -04:00
Matthew Flatt
ca46d80189 fix use of code:contract 
Unlike `code:comment`, which wants a string or other content,
`code:contract` wants datums.
 2015-10-02 15:32:50 -06:00
Asumu Takikawa
2cbadeaccc Bump version for typed/racket/unsafe addition 
Also add history annotations to docs
 2015-09-30 15:37:02 -04:00
Asumu Takikawa
eb90cd4e8c Add a typed/racket/unsafe library. 
Comes with `unsafe-require/typed` and `unsafe-provide`.
These operations do not generate contracts but are not
exported by default by Typed Racket.
 2015-09-29 18:48:08 -04:00
Emmanuel Oga
0191afbe98 typo 2015-09-16 04:21:03 -07:00
Daniel Feltey
c6743b4423 Don't expose require-typed-signature 2015-09-13 04:09:48 -05:00
Daniel Feltey
cbb76b987c Fix tc/letrec-values contract and document require-typed-signature 2015-09-12 13:45:33 -05:00
Daniel Feltey
2ad3dc5f75 Add docs for typed units 2015-09-11 17:30:20 -05:00
Vincent St-Amour
bdbd18b839 Document AnyValues. 2015-09-07 20:41:05 -05:00
Asumu Takikawa
94ce4b203e Use tc-expr for top-interaction functions instead 
This restricts operations like `:print-type` to only
work on expressions. This seems like a reasonable
restriction and simplifies the implementation.
 2015-08-14 21:25:54 -04:00
Vincent St-Amour
6b70510ebe Fix doc typo. 2015-08-05 13:58:53 -05:00
AlexKnauth
a58c2e317f add define-new-subtype 
inspired by haskell newtypes
http://www.mail-archive.com/racket-users@googlegroups.com/msg27118.html
https://www.haskell.org/tutorial/moretypes.html
 2015-07-30 01:39:06 -04:00
Sam Tobin-Hochstadt
fc59d375a0 Add more entries to the list of typed libraries. 2015-07-29 14:28:23 -07:00
Alexis King
a096857a88 Disable the #{} reader macro if a dispatch macro already exists on #\{ 2015-05-14 14:35:30 -07:00
Alexis King
522e5fe45a Remove dependency on compatibility-lib in the docs 2015-04-03 18:42:12 -07:00
Alexis King
e70617bf26 Replace let+ example with match; add margin note about Rec 2015-04-03 18:42:12 -07:00
Alexis King
2b6d979481 Add a note about struct subtyping 2015-04-03 18:42:12 -07:00
Alexis King
ffe1285828 Improve the guide section on recursive types 2015-04-03 18:42:12 -07:00
Alexis King
e3e73a8286 Update the guide to remove usages of legacy forms 2015-04-03 18:42:12 -07:00