quantified.uncertainty/squiggle
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3,385 Commits 74 Branches 5 Tags 16 MiB
7a220eae22
Commit Graph

470 Commits

Author SHA1 Message Date
Ozzie Gooen
5dd988ac13
Merge pull request #900 from quantified-uncertainty/reducer-typecheck-example 
Reducer real life type checking example to build a library
 2022-08-11 17:45:30 -07:00
Umur Ozkul
f21725d86c remove TODO 2022-08-10 12:09:06 +02:00
Umur Ozkul
2e8e71bbd0 project 
test

remove setResult

parse end of outerblock

test end of outer block

compiles

testing

bindings tested

todo chain bindings

topological sort
 2022-08-10 11:53:39 +02:00
Umur Ozkul
4c21aa902e the last property of a record can have a following comma 2022-07-30 22:14:16 +02:00
Umur Ozkul
c6eb69628d merge issue 904 2022-07-29 05:53:47 +02:00
Umur Ozkul
e1c53c9087 any type 
any will be depreciated after the implementation of binding type
variables
 2022-07-28 22:25:51 +02:00
Umur Ozkul
6733319403 switch replacement by type checking 2022-07-28 22:20:00 +02:00
Umur Ozkul
fc88b065f5 remove unused test file 2022-07-28 13:42:27 +02:00
Ozzie Gooen
47f1be0702 Story cleanup 2022-07-21 11:29:59 -07:00
Ozzie Gooen
acebaa517b Simple SampleSet.fromDist function 2022-07-21 10:31:53 -07:00
Ozzie Gooen
223ddf6a3e Fixed bug with namespaces 2022-07-21 08:54:41 -07:00
Ozzie Gooen
d3a12eb4e9 Fixed bug with namespaces 2022-07-21 08:31:46 -07:00
Ozzie Gooen
aa3d91d78f Merge branch 'develop' into add-reducer-to-function-registry 
* develop:
  Minor component fix to show Void statements
  Fixed typescript build
  Introduce void type
 2022-07-20 16:50:49 -07:00
Ozzie Gooen
4055d1e93c
Merge pull request #865 from quantified-uncertainty/reducer-void 
Reducer: void type
 2022-07-20 16:46:48 -07:00
Umur Ozkul
1c4557b638 Introduce void type 
yarn all:rescript

EvVoid

parsing void

void
 2022-07-20 17:01:42 +02:00
Ozzie Gooen
9173b103f5 Fixed major bug for module functions 2022-07-19 23:06:10 -07:00
Ozzie Gooen
90d3f89c0a Trying to fix things, but breaking a lot of tests. 2022-07-19 21:32:11 -07:00
Ozzie Gooen
f8d6db61c5 Moved list functions into FunctionRegistry 2022-07-19 10:35:31 -07:00
Ozzie Gooen
28036bfb36 Minor cleanup 2022-07-19 08:12:04 -07:00
Ozzie Gooen
ee244463fa Merged with develop 2022-07-18 22:27:59 -07:00
Ozzie Gooen
5891d23462
Merge pull request #845 from quantified-uncertainty/reducer-typecheck 
Reducer typecheck
 2022-07-18 22:25:40 -07:00
Ozzie Gooen
905d2fbb23 Removed now-uneeded Function Registry test file 2022-07-18 21:29:46 -07:00
Ozzie Gooen
e6b402c7d8
Merge pull request #860 from quantified-uncertainty/sampleN 
`mapSamplesN`
 2022-07-18 21:17:38 -07:00
Sam Nolan
ffaf349e0a Basic mapSampleN support 2022-07-19 11:33:11 +10:00
Ozzie Gooen
30f721eeb6 Simple conversion away from using modules 2022-07-18 16:10:19 -07:00
Umur Ozkul
4535041876 less test clutter 2022-07-18 22:52:19 +02:00
Ozzie Gooen
beb22274d6 Immediate fix for merge conflict 2022-07-18 09:32:23 -07:00
Umur Ozkul
15d63a6a96 type modifiers -> type contracts 2022-07-18 18:31:09 +02:00
Umur Ozkul
c1429e0907 simplified modules 2022-07-18 18:16:49 +02:00
Umur Ozkul
06134a6524 Merge branch 'reducer-parsermodules' into reducer-typecheck 2022-07-18 18:08:44 +02:00
Umur Ozkul
479f60df01 before math library 
no module (tested)

fix parser and Math library
 2022-07-18 18:04:47 +02:00
Umur Ozkul
abee4db340 Merge branch 'develop' into reducer-typecheck 2022-07-18 15:18:10 +02:00
Umur Ozkul
6966c8d3e5 ternary validation 2022-07-18 15:17:41 +02:00
Umur Ozkul
8fb75d57fc type check 2022-07-18 15:15:36 +02:00
Ozzie Gooen
08a7b8586b Simple tests for function library 2022-07-16 22:01:26 -07:00
Ozzie Gooen
c5447b8d7a All autogenerated FunctionLibrary tests pass 2022-07-16 20:32:37 -07:00
Ozzie Gooen
395477ed12 Initial testing of FunctionRegistry Library 2022-07-16 19:50:18 -07:00
Ozzie Gooen
5e8b46b7df Cleaning up Function Registry to Reducer interface 2022-07-16 19:06:48 -07:00
Ozzie Gooen
d88fb95767 Simple reformatting, got RequiresNamespace to work 2022-07-16 18:11:38 -07:00
Umur Ozkul
b65aeaf0d2 spell check 2022-07-16 17:09:39 +02:00
Umur Ozkul
4522b46900 basic type compiler 2022-07-16 16:13:39 +02:00
Ozzie Gooen
9d5aaf43a8 Simple tests for fake FunctionRegistry output types 2022-07-15 19:18:36 -07:00
Ozzie Gooen
8839f1d9c7 Added FunctionRegistry test and got simple polymorphism working 2022-07-14 22:14:23 -07:00
Ozzie Gooen
78e9e48626 Moved env to GenericDist, and used it 2022-07-13 09:37:39 -07:00
Quinn Dougherty
e9968288fd Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-07-11 15:34:50 -04:00
Quinn Dougherty
20114d9a84 Made new test call polymorphic constructor #ToFloat 2022-07-11 14:23:58 -04:00
Quinn Dougherty
d682f28faf Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-07-11 14:20:00 -04:00
Umur Ozkul
532a878911 define function returning result 2022-07-11 17:46:50 +02:00
Umur Ozkul
d25e052b61 rename to Reducer_Module_test 2022-07-11 17:04:21 +02:00
Ozzie Gooen
6e968c492b
Merge pull request #786 from quantified-uncertainty/reducer-modules 
Module.defineFFI
 2022-07-05 21:26:20 -04:00
Umur Ozkul
b3ac8848d2 comment 2022-07-05 15:27:56 +02:00
Umur Ozkul
e0b2632028 format 2022-07-05 06:20:57 +02:00
Umur Ozkul
746ca695af fix test 2022-07-05 06:17:26 +02:00
Umur Ozkul
742fc10e0d comment 2022-07-05 05:54:56 +02:00
Umur Ozkul
6edacc78e4 foo test 2022-07-05 05:16:00 +02:00
Quinn Dougherty
7889332052 polymorphic variants to neatly constrain types 2022-07-04 11:24:30 -04:00
Umur Ozkul
38cc93bdec Module.defineFFI 2022-07-02 14:53:33 +02:00
Quinn Dougherty
9dcac8dd48 fixed \-1\ I had forgotten; added basic mean tests 2022-06-30 12:20:50 -04:00
Quinn Dougherty
acb0d3b9ee removed \TwoScalars\ material 2022-06-26 12:28:04 -04:00
Quinn Dougherty
3e67180fe1 Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-06-24 08:48:07 -04:00
Umur Ozkul
e192fe5790 PR comments 2022-06-24 12:15:38 +02:00
Umur Ozkul
07d5c6d8b3 Iev -> IEv Just more readable prefix 2022-06-23 20:38:07 +02:00
Umur Ozkul
24a9c52789 Merge branch 'develop' into reducer-typescript-wall 2022-06-23 20:07:05 +02:00
Quinn Dougherty
b74b83a2cb Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-06-23 11:34:03 -04:00
Sam Nolan
7138645c57 Merge remote-tracking branch 'refs/remotes/origin/develop' into develop 2022-06-23 04:02:01 +00:00
Sam Nolan
2b8545ad04 Fix 1 + distribution having reverse ordered points 
Fixes #595
 2022-06-23 03:40:40 +00:00
Umur Ozkul
e23f8b011b Merge branch 'develop' into reducer-typescript-wall 
packages/squiggle-lang/src/rescript/ReducerInterface/ReducerInterface_GenericDistribution.res
packages/squiggle-lang/src/rescript/SquiggleLibrary/SquiggleLibrary_Math.res
 2022-06-23 04:29:13 +02:00
Quinn Dougherty
13ba7d1a5e Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-06-22 22:06:16 -04:00
Umur Ozkul
95d3bf6eaa merge Reducer 2022-06-23 04:03:50 +02:00
Umur Ozkul
ac9a468aa6 Reducer InternalExpressionValue created 
this will allow complicated changes to execution without changing the typescript interface
 2022-06-23 02:25:54 +02:00
Quinn Dougherty
40f4db5eb1 fixed all tests by switching to integer. it does not make sense. 2022-06-22 17:51:14 -04:00
Quinn Dougherty
507d8e9f98 regenerated yarn.lock; moved fc.float to fc.double in symbolic_test.ts 2022-06-21 16:14:45 -04:00
Quinn Dougherty
444596aac4 some of the problems solved 2022-06-21 15:43:17 -04:00
Quinn Dougherty
d80ea676c5 fixed tests after pair; error'd out mixed case 2022-06-21 12:23:58 -04:00
NunoSempere
93f5b4ba2a feat: Fix remaining scoring errors with Quinn 
Value::0.3 to 0.9
 2022-06-20 16:39:48 -04:00
NunoSempere
4b1c226173 fix: PointSetDist_Scoring.WithScalarAnswer.scoreWithPrior 
Done in pair coding with Quinn.
Value::[0.3 to 0.9]
 2022-06-20 16:14:41 -04:00
Quinn Dougherty
f5366540f7 Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-06-20 08:50:59 -04:00
Ozzie Gooen
7ceae18611 Normalize after trunctae 2022-06-14 16:54:59 -07:00
Umur Ozkul
e661665385 Merge branch 'develop' into reducer-modules 2022-06-13 18:56:37 +02:00
Umur Ozkul
28938adf53 always merge stdlib 2022-06-13 18:54:48 +02:00
Ozzie Gooen
a690cd15fd
Merge pull request #638 from quantified-uncertainty/Documentation-auto-generation 
First attempt at a complete API definition
 2022-06-11 13:37:27 -07:00
Ozzie Gooen
79b71c39a0 Ran formatter and fixed tests 2022-06-11 08:47:52 -07:00
Umur Ozkul
0704c8d9f5 module tests pass 2022-06-11 15:15:25 +02:00
Ozzie Gooen
6dc8b711bb Lots of simple cleanup to api docs 2022-06-10 17:35:48 -07:00
Umur Ozkul
69bab17331 Math module tests defined (failing) 
rename modules

define module

Math module

test helper fixed for defaults and test defined
 2022-06-10 16:35:39 +02:00
Umur Ozkul
02c06b638e module access to expression 2022-06-09 14:57:25 +02:00
Umur Ozkul
5f6feb26ba Module parse tested 2022-06-09 14:39:06 +02:00
Ozzie Gooen
b675b33dfe Refactored reducerInterface files 2022-06-06 14:42:49 -07:00
Umur Ozkul
6b25e82f58 typeExpression 
type statements

type paranthesis

type paranthesis

comments

TODO

typeExpression

type statements

type paranthesis

type paranthesis

comments

TODO

peggy construct functions

typeExpression

type statements

type paranthesis

type paranthesis

comments

TODO

peggy construct functions

apply

typeExpression

type statements

type paranthesis

type paranthesis

comments

TODO

peggy construct functions

apply

all types are expressions

typeExpression

type statements

type paranthesis

type paranthesis

comments

TODO

peggy construct functions

apply

all types are expressions

modifiers

typeExpression

type statements

type paranthesis

type paranthesis

comments

TODO

peggy construct functions

apply

all types are expressions

modifiers

0 arg constructors and $ (low priority type modifier)

remove GeneratedParser.js

peggy test helpers

test type parsing

type of test defined

act of binding refactored

recognize all binding functions | "$_setBindings_$" | "$_setTypeOfBindings_$" | "$_setTypeAliasBindings_$"

doBindStatement

bindings default statemetn

doBindExpression

clone type references and type aliases

doSetBindingsInNamespace

member_of, min, max

typeOr

type function

type with expression
 2022-06-02 14:20:55 +02:00
Umur Ozkul
00d7304b4b format 2022-05-29 17:56:37 +02:00
Umur Ozkul
ac3fa859c0 Replace $$_block__$$ with {} 
More redable language tests
 2022-05-29 17:55:01 +02:00
Umur Ozkul
ce5f12360a fixed #597 2022-05-28 15:52:35 +02:00
Quinn Dougherty
cbaf4c150d one CR comment; chasing kldivergence on mixeds bug 
Value: [1e-10 to 1e-3]
 2022-05-25 13:10:31 -04:00
Quinn Dougherty
249f58d3d8 Slightly baffled why klDivergence : mixed x mixed -> float is busted. 
Value: [1e-4 to 3e-2]

hypothesis: I need to reintroduce `combineAlongSupportOfSecondArgument`
 2022-05-25 10:39:30 -04:00
Quinn Dougherty
f2460a5e12 It compiles 
Value: [1e-3 to 4e-1]
 2022-05-25 08:22:57 -04:00
Umur Ozkul
5caad73586 Merge branch 'develop' into reducer-dev 2022-05-23 20:40:56 +02:00
Ozzie Gooen
faf4718f4d Merged with develop 2022-05-23 13:49:39 -04:00
Ozzie Gooen
054e379593 Fixed test 2022-05-23 13:47:54 -04:00
Umur Ozkul
a386eee570 remove unit evaluation test 
We provide no implementation
 2022-05-23 18:18:30 +02:00
Umur Ozkul
08c73ac22f Merge branch 'Umur-reducer-dev' into reducer-dev 
packages/squiggle-lang/__tests__/Reducer/Reducer_Peggy/Reducer_Peggy_Parse_test.res
packages/squiggle-lang/src/rescript/Reducer/Reducer_Peggy/Reducer_Peggy_GeneratedParser.js
packages/squiggle-lang/src/rescript/Reducer/Reducer_Peggy/Reducer_Peggy_GeneratedParser.peggy
 2022-05-23 18:07:50 +02:00