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

1222 Commits

Author SHA1 Message Date
Umur Ozkul
687576547c fix lambda toString 2022-08-27 20:36:15 +02:00
Umur Ozkul
dd363d1e45 lambda parameters 2022-08-27 20:35:37 +02:00
Umur Ozkul
e2491bda88 toString for each squiggleValue 2022-08-27 20:24:13 +02:00
Umur Ozkul
2fc325beb6 format 2022-08-27 20:23:49 +02:00
Umur Ozkul
eaa1f60555 ForTS_Dsitribution, proxies for DistributionOperation.Constructors 2022-08-27 20:12:36 +02:00
Umur Ozkul
934144fce8 fix toString 2022-08-27 19:39:13 +02:00
Umur Ozkul
7b4e38a983 consistent to string for every value 2022-08-27 19:34:08 +02:00
Umur Ozkul
efd4fd322c PR968 - start tutorials from 1 instead of 0 2022-08-27 18:36:18 +02:00
Umur Ozkul
a8efd66fa3 handle topology changes in the project 2022-08-26 02:01:27 +02:00
Umur Ozkul
0a8afc66a4 fix Topology test 2022-08-26 01:32:38 +02:00
Umur Ozkul
4e5e05530e Fix topology runOrderDiff 2022-08-26 00:45:13 +02:00
Umur Ozkul
ac63b57478 Merge branch 'develop' into epic-reducer-project 2022-08-26 00:09:50 +02:00
Umur Ozkul
d29b77ca61 fix #1007 
variables that start with true/false
 2022-08-25 22:19:29 +02:00
Umur Ozkul
2d59898b4f topology work in progress 2022-08-25 21:59:15 +02:00
Umur Ozkul
9a536d2a38 spell check 2022-08-25 20:56:27 +02:00
Vyacheslav Matyukhin
1f22d1f837
non-opaque results 2022-08-25 17:47:41 +04:00
Vyacheslav Matyukhin
7dd9a5bb77
string enum for SquiggleValue tags 2022-08-25 17:47:28 +04:00
Umur Ozkul
1dfc9fe820 RENeedToRun->Error 2022-08-25 10:43:51 +02:00
Umur Ozkul
441854ffec Merge branch 'develop' into reducer-project 2022-08-23 14:46:37 +02:00
Umur Ozkul
8de8cc3633 tutorial calling functions 2022-08-23 14:01:07 +02:00
Umur Ozkul
22e45d0e7b tutorial injecting user values 2022-08-23 13:39:19 +02:00
Umur Ozkul
5bc4395ff6 spelling 2022-08-23 13:25:02 +02:00
Umur Ozkul
d37f0fe117 tutorial includes final 2022-08-23 13:18:56 +02:00
Umur Ozkul
63cc9353b1 initial includes tutorial 2022-08-23 12:22:35 +02:00
Umur Ozkul
cd205f2eb9 test for parseInclude 2022-08-23 11:48:22 +02:00
Umur Ozkul
9cf3a93b70 fix parseInludes bug 2022-08-23 11:47:24 +02:00
Umur Ozkul
b7ae9804a5 format 2022-08-23 09:38:12 +02:00
Umur Ozkul
a394e93e06 tutorial intro to includes 2022-08-23 09:35:29 +02:00
Umur Ozkul
f23e26fbbf tutorial 1 depending 2022-08-23 09:20:18 +02:00
Ozzie Gooen
b8d7737aeb
Merge pull request #972 from quantified-uncertainty/pointset-mapy 
Pointset mapY
 2022-08-22 11:28:12 -07:00
Umur Ozkul
1250e66fb0 fix RT 2022-08-22 17:24:58 +02:00
Umur Ozkul
e6464dbe5c make ts compatible 
commit 94803421acd2e5cb3a0f88e10f9244d374fab20b
Author: Umur Ozkul <umur@hightechmind.io>
Date:   Mon Aug 22 08:48:33 2022 +0200

    note on old habbits

commit 2c47f80fce8fa6c12cb53b97f7150758eaa74b88
Author: Umur Ozkul <umur@hightechmind.io>
Date:   Mon Aug 22 08:18:16 2022 +0200

    getTag returns enum value

commit 733b9a820f1d01b618708896451a112d638ee811
Author: Umur Ozkul <umur@hightechmind.io>
Date:   Mon Aug 22 07:07:30 2022 +0200

    result

commit 64698f4a930182b3ccf122849824e4b6df251a9f
Author: Umur Ozkul <umur@hightechmind.io>
Date:   Mon Aug 22 06:48:30 2022 +0200

    return tags as ts enum

commit 8ac802428a7aaac5367f5e8a9aaa592b89e305eb
Author: Umur Ozkul <umur@hightechmind.io>
Date:   Mon Aug 22 06:16:26 2022 +0200

    export tags

commit 6c843e475a98ca1fcfa893d09d45ac9ad7c633ee
Author: Umur Ozkul <umur@hightechmind.io>
Date:   Mon Aug 22 06:11:00 2022 +0200

    distribution tag

commit 9a43ec30fcaf967a672475431243949748d00bc7
Author: Umur Ozkul <umur@hightechmind.io>
Date:   Mon Aug 22 05:46:24 2022 +0200

    opaque result

commit f89bdd47c41135135baac99b18faf1c418cc4142
Author: Umur Ozkul <umur@hightechmind.io>
Date:   Mon Aug 22 05:24:18 2022 +0200

    make ts compilable

    commit 6609bb3691b08405639e6f20da0fad309f2f232e
    Author: Umur Ozkul <umur@hightechmind.io>
    Date:   Mon Aug 22 05:21:34 2022 +0200

        compiles

    commit bace3eca63079de8f285069c65b219601e7310bf
    Author: Umur Ozkul <umur@hightechmind.io>
    Date:   Mon Aug 22 04:33:34 2022 +0200

        rescript compiles

    commit cd095f605c543902edec08fdcd407600296ec0cb
    Author: Umur Ozkul <umur@hightechmind.io>
    Date:   Mon Aug 22 02:40:31 2022 +0200

        squiggleValue

    commit 9b78b5d6c8b69287458fe392f142ceb3bca99407
    Author: Umur Ozkul <umur@hightechmind.io>
    Date:   Mon Aug 22 02:37:11 2022 +0200

        project

    commit 20c8693b1eb6492f1662bedbb26b469aac11f8ff
    Author: Umur Ozkul <umur@hightechmind.io>
    Date:   Mon Aug 22 00:59:44 2022 +0200

        compiles
 2022-08-22 08:50:59 +02:00
Ozzie Gooen
e1efefaf7d Added sampleN from Stdlib to allow for correct sampling of discrete distributions 2022-08-21 21:45:05 -07:00
Ozzie Gooen
7237f2709b First implementation of sampleSet mixed distribution 2022-08-20 20:32:41 -07:00
Ozzie Gooen
516f4fa39d Added truncate for SampleSet distribution 2022-08-20 17:10:08 -07:00
Ozzie Gooen
72b1d6af3e Formatted 2022-08-20 15:59:25 -07:00
Ozzie Gooen
a04761226d Improved error messages of function library 2022-08-20 15:50:30 -07:00
Umur Ozkul
c380ee2206 toStringResult for easy testing 2022-08-20 08:11:20 +02:00
Umur Ozkul
347c85324b opaque distribution type 2022-08-20 07:37:38 +02:00
Umur Ozkul
feb7627ad0 result fmap 2022-08-20 06:47:23 +02:00
Umur Ozkul
ddb6d7f958 remove opaque type violations 2022-08-19 23:20:45 +02:00
Umur Ozkul
7957b89bb4 remove opaque type violations 2022-08-19 23:19:30 +02:00
Umur Ozkul
05ce6d2872 Comment opaue type violations 2022-08-19 23:01:38 +02:00
Umur Ozkul
4bf5f33f25 result tag 2022-08-19 22:03:55 +02:00
Umur Ozkul
5c75da4736 TypescriptInterface functions 2022-08-19 21:58:06 +02:00
Umur Ozkul
d7ed875566 demolish external value 2022-08-19 21:12:04 +02:00
Umur Ozkul
f573c326d2 demolish ExternalValue 2022-08-19 21:01:02 +02:00
Umur Ozkul
decc12637f bind common type 2022-08-19 20:23:30 +02:00
Umur Ozkul
a9ce3ca40d fix errorValue 2022-08-19 20:11:43 +02:00
Umur Ozkul
3e3ae50498 fix getIncldues result 2022-08-19 20:09:26 +02:00
Umur Ozkul
14ceaa2667 missing genType 2022-08-19 19:54:20 +02:00
Umur Ozkul
3c1a49e44d index.ts 2022-08-19 18:44:32 +02:00
Umur Ozkul
610fa0227e opaque result 2022-08-19 18:28:03 +02:00
Umur Ozkul
bc7f1317da fix project test 2022-08-19 18:27:50 +02:00
Umur Ozkul
975b1ffda8 error value 2022-08-19 18:04:24 +02:00
Umur Ozkul
e9c55fe802 demolish FFI 2022-08-19 17:33:37 +02:00
Umur Ozkul
af4070a34f demolish external expression value 2022-08-19 17:30:29 +02:00
Umur Ozkul
f0ba68f64a project 2022-08-19 17:22:22 +02:00
Umur Ozkul
fdc7f06f08 result 2022-08-18 15:33:01 +02:00
Umur Ozkul
868f9f428a parametric types for typescript 2022-08-17 21:22:10 +02:00
Umur Ozkul
55c03ed520 missing gentype 2022-08-17 19:32:11 +02:00
Umur Ozkul
a8c7297621 TypeScript experiment 2022-08-17 18:57:34 +02:00
Umur Ozkul
3f92e7c3e1 Merge branch 'reducer-project' of github.com:quantified-uncertainty/squiggle into reducer-project 2022-08-16 19:02:05 +02:00
Umur Ozkul
32f3aeba13 tutorial TODO 2022-08-16 19:01:47 +02:00
Vyacheslav Matyukhin
c204156b75
fix gentype issues with "this" keyword 2022-08-16 20:58:47 +04:00
Umur Ozkul
454a545ef6 tutorial: initial 
Also missing public API function
 2022-08-16 17:07:15 +02:00
Vyacheslav Matyukhin
716ec61913
fix some gentype errors 2022-08-16 16:02:23 +04:00
Umur Ozkul
dc642774eb reformat 2022-08-16 02:49:16 +02:00
Umur Ozkul
b3a32b1231 more typescript friendly 2022-08-16 02:14:45 +02:00
Umur Ozkul
ee17bd9e57 more typescript friendly & remove an unnecessary call 2022-08-16 01:51:01 +02:00
Umur Ozkul
1b69ce3aa1 compatibility to change environment at runtime 
There will be changes in develop to change environment at runtime. This
fix provides compatibility. So that they can be merged easier.
 2022-08-15 15:18:14 +02:00
Umur Ozkul
66f2f18a00 fix merging develop 2022-08-15 14:45:45 +02:00
Umur Ozkul
58e1cf187d Merge branch 'develop' into reducer-project 2022-08-15 13:59:07 +02:00
Umur Ozkul
9075b74536 Edit comments 2022-08-14 17:40:52 +02:00
Umur Ozkul
0c1c5c9499 seperate Project Topology Module 2022-08-14 16:18:07 +02:00
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
Ozzie Gooen
63e2b1f8c9 Updated npm versions to 0.3.0 2022-08-09 11:55:49 -07:00
Ozzie Gooen
2aaa43008d Very simple implementation of pointset mapY 2022-08-08 10:31:05 -07:00
Forrest Wolf
90cd7f2a4a Fix example in squiggle-lang README 2022-08-04 15:00:05 -04:00
dependabot[bot]
bf90427bfa
⬆️ Bump fast-check from 3.1.0 to 3.1.1 
Bumps [fast-check](https://github.com/dubzzz/fast-check/tree/HEAD/packages/fast-check) from 3.1.0 to 3.1.1.
- [Release notes](https://github.com/dubzzz/fast-check/releases)
- [Changelog](https://github.com/dubzzz/fast-check/blob/main/packages/fast-check/CHANGELOG.md)
- [Commits](https://github.com/dubzzz/fast-check/commits/v3.1.1/packages/fast-check)

---
updated-dependencies:
- dependency-name: fast-check
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-08-01 15:13:32 +00:00
Vyacheslav Matyukhin
37aa63438f
Merge pull request #917 from quantified-uncertainty/issue-916 
Reducer lambda context, hiddenNameSpace
 2022-07-31 00:35:13 +04:00
Vyacheslav Matyukhin
5d744fe2d0
fix genType 2022-07-31 00:20:51 +04: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
17c3fe9dd8 hiddenNameSpace 2022-07-30 16:58:45 +02:00
Vyacheslav Matyukhin
52bee6a0e3
fix EvVoid ts conversion 2022-07-29 23:35:11 +04:00
Ozzie Gooen
209ecafb22
Updating to version 0.3.0 2022-07-29 10:25:27 -07:00
Umur Ozkul
c6eb69628d merge issue 904 2022-07-29 05:53:47 +02:00
Umur Ozkul
1a5f8dee72 Merge branch 'develop' into reducer-typecheck-example 2022-07-29 05:52:35 +02:00
Umur Ozkul
5576bf2ef3 fixes #904. E.O.default performance 2022-07-29 02:12:07 +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
Quinn Dougherty
33e5ebd6da yarn format compels me 2022-07-28 10:43:59 -04:00
Umur Ozkul
fc88b065f5 remove unused test file 2022-07-28 13:42:27 +02:00
Ozzie Gooen
fb0aa72aac
Merge pull request #882 from quantified-uncertainty/issue-872 
fixes #872
 2022-07-25 12:10:36 -07:00
Umur Ozkul
66e48dd834 fixes #872 2022-07-25 19:56:18 +02:00
Ozzie Gooen
4c756a1448
Merge pull request #879 from quantified-uncertainty/dependabot/npm_and_yarn/mathjs-11.0.1 
⬆️ Bump mathjs from 10.6.4 to 11.0.1
 2022-07-25 09:08:00 -07:00
dependabot[bot]
6f1f23108b
⬆️ Bump mathjs from 10.6.4 to 11.0.1 
Bumps [mathjs](https://github.com/josdejong/mathjs) from 10.6.4 to 11.0.1.
- [Release notes](https://github.com/josdejong/mathjs/releases)
- [Changelog](https://github.com/josdejong/mathjs/blob/develop/HISTORY.md)
- [Commits](https://github.com/josdejong/mathjs/compare/v10.6.4...v11.0.1)

---
updated-dependencies:
- dependency-name: mathjs
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-25 15:46:51 +00:00
Quinn
fbb6b03e5b
Merge pull request #878 from quantified-uncertainty/dependabot/npm_and_yarn/webpack-5.74.0 
⬆️ Bump webpack from 5.73.0 to 5.74.0
 2022-07-25 11:44:06 -04:00
dependabot[bot]
26a6f06c1a
⬆️ Bump webpack from 5.73.0 to 5.74.0 
Bumps [webpack](https://github.com/webpack/webpack) from 5.73.0 to 5.74.0.
- [Release notes](https://github.com/webpack/webpack/releases)
- [Commits](https://github.com/webpack/webpack/compare/v5.73.0...v5.74.0)

---
updated-dependencies:
- dependency-name: webpack
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-25 14:25:33 +00:00
dependabot[bot]
712f393df6
⬆️ Bump fast-check from 3.0.1 to 3.1.0 
Bumps [fast-check](https://github.com/dubzzz/fast-check/tree/HEAD/packages/fast-check) from 3.0.1 to 3.1.0.
- [Release notes](https://github.com/dubzzz/fast-check/releases)
- [Changelog](https://github.com/dubzzz/fast-check/blob/main/packages/fast-check/CHANGELOG.md)
- [Commits](https://github.com/dubzzz/fast-check/commits/v3.1.0/packages/fast-check)

---
updated-dependencies:
- dependency-name: fast-check
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-25 14:22:11 +00:00
Umur Ozkul
4a98cc210a fix compiler warnings 2022-07-22 17:49:53 +02:00
Ozzie Gooen
3165e1e499 Updated version 2022-07-21 13:57:11 -07:00
Ozzie Gooen
38ef109291 Merge branch 'develop' into add-reducer-to-function-registry 
* develop:
  Simple refactors to versioning
 2022-07-21 13:56:48 -07:00
Ozzie Gooen
e7d63a463c Merge branch 'develop' into add-reducer-to-function-registry 
* develop:
  Simple version number
  ⬆️ Bump terser from 4.8.0 to 4.8.1
 2022-07-21 13:55:04 -07:00
Ozzie Gooen
0d4141a899 Simple refactors to versioning 2022-07-21 13:51:14 -07:00
Ozzie Gooen
8dd7aff77f Simple version number 2022-07-21 13:48:51 -07: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
Ozzie Gooen
078534f7c8 Fixed typescript build 2022-07-20 08:27:57 -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
35cd9f37d1 Basic changes to API 2022-07-19 20:52:08 -07:00
Ozzie Gooen
100ec2c1a8 Adjusting documentation to reflect new functions 2022-07-19 16:18:28 -07:00
Ozzie Gooen
7316d27b54 Added SampleSet fns to FunctionRegistry 2022-07-19 15:52:28 -07:00
Ozzie Gooen
f8d6db61c5 Moved list functions into FunctionRegistry 2022-07-19 10:35:31 -07:00
Ozzie Gooen
835ce6b81f Added reducer to Function Registry 2022-07-19 08:42:08 -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
6f25fca814 Minor cleanup 2022-07-18 22:21:57 -07:00
Ozzie Gooen
173c17e13d Simple cleanup 2022-07-18 22:17:38 -07:00
Ozzie Gooen
dbfee988d2 Pulled out cache in Registry, to make more sense 2022-07-18 22:14:46 -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
7887256ca1 Reorder function declarations to compile 2022-07-19 11:45:07 +10:00
Sam Nolan
5bdc19f35f Refactor sampleN code and remove log 2022-07-19 11:38:43 +10: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
Umur Ozkul
6e1be862d2 reducer passed to external library 2022-07-18 18:51:05 +02:00
dependabot[bot]
074a084853
Merge pull request #859 from quantified-uncertainty/dependabot/npm_and_yarn/gentype-4.5.0 2022-07-18 16:39:43 +00: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
dependabot[bot]
925d2e65bb
⬆️ Bump gentype from 4.4.0 to 4.5.0 
Bumps [gentype](https://github.com/cristianoc/gentype) from 4.4.0 to 4.5.0.
- [Release notes](https://github.com/cristianoc/gentype/releases)
- [Changelog](https://github.com/rescript-association/genType/blob/master/Changes.md)
- [Commits](https://github.com/cristianoc/gentype/compare/v4.4.0...v4.5.0)

---
updated-dependencies:
- dependency-name: gentype
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-18 16:28:39 +00:00
Ozzie Gooen
72659050c3
Merge pull request #852 from quantified-uncertainty/dependabot/npm_and_yarn/ts-node-10.9.1 
⬆️ Bump ts-node from 10.8.2 to 10.9.1
 2022-07-18 09:17:53 -07: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
dependabot[bot]
dda6d652a6
⬆️ Bump ts-node from 10.8.2 to 10.9.1 
Bumps [ts-node](https://github.com/TypeStrong/ts-node) from 10.8.2 to 10.9.1.
- [Release notes](https://github.com/TypeStrong/ts-node/releases)
- [Commits](https://github.com/TypeStrong/ts-node/compare/v10.8.2...v10.9.1)

---
updated-dependencies:
- dependency-name: ts-node
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-18 15:51:07 +00:00
Ozzie Gooen
628b105535 PointSet -> Pointset 2022-07-18 08:24:11 -07: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