Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

github.com/lamdu/lamdu-calculus

An extended typed Lambda Calculus
https://github.com/lamdu/lamdu-calculus

PureInfer error type is (T.TypeError # UVar), will allow Lamdu to elaborate on escaped skolems

21332a4c1576ad028bbb693b23e8943089256ef8 authored over 1 year ago by Yair Chuchem <[email protected]>
PureInfer error type is (T.TypeError # Pure)

3c22d4131acacd0e2a8ef244122ca5522130c7a0 authored over 1 year ago by Yair Chuchem <[email protected]>
Update deps

93a80fc9c4c36c38a6f055b01f449acc7bc55754 authored over 1 year ago by Yair Chuchem <[email protected]>
Use -fspecialise-aggressively option, speeds up benchmark

Also remove SPECIALISE pragmas which appear no longer necessary for PureInfer.
On my machine all...

2ac6bafd0657e8aa2728da2ffe8e149137a9782b authored over 2 years ago by Yair Chuchem <[email protected]>
Add missing dependencies for benchmark

cb7c07b739431921b74d31077af36c1069923acc authored over 2 years ago by Yair Chuchem <[email protected]>
hypertypes changes

b8bf43ce6925a2a575467705e5130cd1f8df35ce authored almost 3 years ago by Yair Chuchem <[email protected]>
stack.yaml: Update hypertypes and lts-19.1

6fe1f9d89d584eb173c10f851a819865824fb5ee authored almost 3 years ago by Eyal Lotem <[email protected]>
Support GHC 9.2

825b3622f6736aefd75e311cee540e0bee8b4fb0 authored almost 3 years ago by Yair Chuchem <[email protected]>
Remove unused code

2afa7db716b60f868e12d59abe4e7116e9c0c3a2 authored almost 3 years ago by Yair Chuchem <[email protected]>
Use -Wunused-packages, removes QuickCheck dep

8ea671ba66825f563420bc4b8804498ef7d4e14d authored almost 3 years ago by Yair Chuchem <[email protected]>
More informative error message for malformed terms

75da23ca591204a1531c0b4539fef963bee1a5d7 authored almost 3 years ago by Yair Chuchem <[email protected]>
remove redundant constraint

Also remove TODO,
It's not difficult to use HasQVarIds in constraints in two places that get the...

724c0423f5c8737acd1d0637b904c7b3216c980c authored about 3 years ago by Yair Chuchem <[email protected]>
hlint police

12f1ddc9b72cee18b87c7ed19a7661b8610f078c authored about 3 years ago by Yair Chuchem <[email protected]>
changes in cabal file (autogen)

(only in git because nix needed this in submodules)

d2a1717ca864e7497b6fe5e5849af8c8a2f94d66 authored about 3 years ago by Yair Chuchem <[email protected]>
Lens: Add qVarIds for types, rows, and QVars nominal constraint maps

4876da8f515670cefc18e58aa00a0839bf08ff9a authored about 3 years ago by Eyal Lotem <[email protected]>
Bump min-version for hypertypes in the correct place (package.yaml)

75d598331cf61a5a7afe420ad402a09664644da7 authored about 3 years ago by Eyal Lotem <[email protected]>
Bump min-version for hypertypes

8032285e9f3222f16eef4b922740d53534fb6f78 authored about 3 years ago by Eyal Lotem <[email protected]>
Add missing optic

465e72336178a94694b81a03273c2f1044b98148 authored over 3 years ago by Yair Chuchem <[email protected]>
Update deps

eb2521587a5b6c01b8fe16de3d8e5535f1edd639 authored over 3 years ago by Yair Chuchem <[email protected]>
Remove redundant imports

7f4189c69056366a7f36245bab0e155f8329728d authored over 3 years ago by Yair Chuchem <[email protected]>
Internal prelude to reduce import boilerplate and minor hlint police

dab422da28f0417635f60025914dcc40678078da authored over 3 years ago by Yair Chuchem <[email protected]>
hypertypes changes

a81ea0437c4e4fd869070b74c0250025908d3531 authored over 3 years ago by Yair Chuchem <[email protected]>
hlint police

c5bccfc26978223d3a9bc6ba07dacf59c3ff704c authored over 3 years ago by Yair Chuchem <[email protected]>
Upgrade to base16-bytestring >=1

fb1af1584ba8446359cb1fa435eefb8a024bc767 authored over 3 years ago by Eyal Lotem <[email protected]>
Simplify AST: get-field and inject create functions

The benchmarks show that inference is slightly slower as expressions now have additional nodes.
...

76bcf5649bf04d17d30536e1ff775361d5540df8 authored almost 4 years ago by Yair Chuchem <[email protected]>
Make fold more useful

cc3a78a7475f450a6a6b582a79d694db84a4711d authored almost 4 years ago by Yair Chuchem <[email protected]>
Oops actually pull fix from hypertypes

f1dda68d3744b33b540870e23a1e528d71bd2c9e authored almost 4 years ago by Yair Chuchem <[email protected]>
Add test for https://github.com/lamdu/lamdu/issues/114 and pull fix from hypertypes

An equivalent test was also added in hypertypes

15318e33f52bd5db6965a0ad46a955d09764288b authored almost 4 years ago by Yair Chuchem <[email protected]>
Add tests skeleton

8427df69d7c5874f57a4e3f25eadfd578303df9a authored almost 4 years ago by Yair Chuchem <[email protected]>
hlint police

aa0a8caa28f9df1242238116dc91ad92c3899d06 authored almost 4 years ago by Yair Chuchem <[email protected]>
use package.yaml rather than .cabal file

13d2d82ef74533063b57f91c1e63e9b38f0d6829 authored almost 4 years ago by Yair Chuchem <[email protected]>
fix benchmark after changes in hypertypes

4f896ce9846a28a0aa00b4c4a1dad631649fcb72 authored almost 4 years ago by Yair Chuchem <[email protected]>
new ghc warning

b22cbc997a907b5c84b0bf199f7098be38406818 authored about 4 years ago by Yair Chuchem <[email protected]>
hypertypes changes

2b790dfbe3c8706f099cc38cb1588e5341cea765 authored about 4 years ago by Yair Chuchem <[email protected]>
Remove redundant imports discovered with GHC 8.10.2

1f7b2b090b23dd422d3e1a1abcc016495125af8a authored over 4 years ago by Yair Chuchem <[email protected]>
Update for new hypertypes

* Fix rStructureMismatch for new hypertypes

d18945135657961614c58ac3a38028d54ab4ef1d authored almost 5 years ago by Eyal Lotem <[email protected]>
hypertypes update

012005ac54ee0ac462ff328db4a8c3cebc010d96 authored about 5 years ago by Yair Chuchem <[email protected]>
Lambdas have optional parameter types

d9cd541b5b2b2b8ff32e65995b627ca475a1393c authored about 5 years ago by Yair Chuchem <[email protected]>
instances

77bf6eb68e1a0f207971e98e591e567a80f1b51a authored about 5 years ago by Yair Chuchem <[email protected]>
add instance

b19d9dfd4a381cc946a9a97f985f56eff7eec896 authored about 5 years ago by Yair Chuchem <[email protected]>
remove redundant imports

df5ffb2b49b304ee5f05ca2e9fea4362f25ee85b authored about 5 years ago by Yair Chuchem <[email protected]>
hypertypes # operator change

d770cf442ff8449ac7d15cad030d1c4aff6b3264 authored about 5 years ago by Yair Chuchem <[email protected]>
hypertypes update

1c67a545b092e4c3a3c89303b8281cf8fc9851f4 authored about 5 years ago by Yair Chuchem <[email protected]>
remove some unnecessary HFunctor constraints

716e197b3e2cd816b3d1303d179b14eb9dcf163e authored about 5 years ago by Yair Chuchem <[email protected]>
use inferResult lens

1113821c0cb500e9c63fd5598023fb5049c19117 authored about 5 years ago by Yair Chuchem <[email protected]>
minor cleanups

d9584d0e5ffcd365c04a5153074d06a5a9e25e56 authored about 5 years ago by Yair Chuchem <[email protected]>
Infer results don't include the scope

The scope can however be re-built from initial scope and the lambdas and to-noms on the path to ...

a21de644940cbc227eb1df0af411583a8eeacc10 authored about 5 years ago by Yair Chuchem <[email protected]>
refine type signature

6ce431bb415e51c5697fa6191bee0fe35a3efdcb authored about 5 years ago by Yair Chuchem <[email protected]>
dependency update missing in previous commit

d1d9e5d92e0e140061e747ff972412af58ce4f30 authored about 5 years ago by Yair Chuchem <[email protected]>
PureInfer parameterized on env, allowing use of PureInfer () for simple unifications

12dc843974ae09a635d31dd4d20465c27a9f5d3d authored about 5 years ago by Eyal Lotem <[email protected]>
HContext instance for Types

b3b85fc4d360a4d9b09c4a80ac61a3b67343804f authored about 5 years ago by Yair Chuchem <[email protected]>
HContext instances

9675b82faa6cc99141399d61e47932dba53fb46c authored about 5 years ago by Yair Chuchem <[email protected]>
generalize some lens

851f789df770037464f9828c82d248a8d149fdc4 authored about 5 years ago by Yair Chuchem <[email protected]>
remove unused lens

081f57d37e66bf1367d4448563b0ce82cef94367 authored about 5 years ago by Yair Chuchem <[email protected]>
more renames in hypertypes

f9e7cf41e7c6010c4ca0a735dcbd14b44bdf8796 authored over 5 years ago by Yair Chuchem <[email protected]>
hypertypes changes

b133b9060c3bf4ed2fa9cdf69995a900df9a343d authored over 5 years ago by Yair Chuchem <[email protected]>
add temporary instance Recursive ((~) Term) while Term only contains Terms

(to make transition to hypertypes changes easier in Lamdu for now)

a85e8ec74390f22aab35785c31a5eb3e6d2ff6e5 authored over 5 years ago by Yair Chuchem <[email protected]>
hypertypes changes + removed (temporarily?) Arbitrary instances

63a3f1a7f637226aeaad115a09084020b4cf5ada authored over 5 years ago by Yair Chuchem <[email protected]>
Remove commented out code

28ba0e82e48f9faa4b831bc1a4ecf19c4f297c4f authored over 5 years ago by Yair Chuchem <[email protected]>
Use Pure rather than Ann ()

425423f3c79e83f5d6f3540769e404823e4f4d96 authored over 5 years ago by Yair Chuchem <[email protected]>
Remove unused lenses

7f30a20f014da78b861325cb8914f3b9343877ca authored over 5 years ago by Yair Chuchem <[email protected]>
use LambdaCase

154973d7694c1c2043da0011c87e6f0d13b5f9bc authored over 5 years ago by Yair Chuchem <[email protected]>
inline biTraverseBodyTags

4702469af58a8a0352ce96dae02d71ab6ab9a52f authored over 5 years ago by Yair Chuchem <[email protected]>
remove unused bodyTags traversal

b198093617f631f2004443b88b05fda062448c9f authored over 5 years ago by Yair Chuchem <[email protected]>
remove payloadsIndexedByPath which is no longer used in Lamdu

038fb331fc6ffb135765fdf5a0d2a1cd2a60b98e authored over 5 years ago by Yair Chuchem <[email protected]>
export witness types

1e5758b8a416279f7e9b6e5d8748feb606c37124 authored over 5 years ago by Yair Chuchem <[email protected]>
remove unneeded imports and simplify/remove kind signatures

8df059247132dc65186175839152b57337410073 authored over 5 years ago by Yair Chuchem <[email protected]>
hypertypes updates

93ebcd8771188be7d094dd8ffd45e853fba7d0d4 authored over 5 years ago by Yair Chuchem <[email protected]>
Upgrade syntax-tree -> hypertypes

835fae02bd9494e2808d5cd8366cebed757e32a0 authored over 5 years ago by Eyal Lotem <[email protected]>
remove unneeded subExprs function

f944e9b8272fbad11f2204fca75a3eed7512278c authored over 5 years ago by Yair Chuchem <[email protected]>
simplify couldEq

f9aec3122217288bc87413d3ab7242803169d503 authored over 5 years ago by Yair Chuchem <[email protected]>
ZipMatch instance for Term

GetField and Inject changed from functors to knots

f5da8fa2289ef69dae40f9673c8d01ec0fe8c422 authored over 5 years ago by Yair Chuchem <[email protected]>
Use KPlain rather than combinators to create Pure expressions

59028df2bb266770652eafce1fec21656a889ec0 authored over 5 years ago by Yair Chuchem <[email protected]>
syntax-tree changes

1efd6402b5fc8468cc046747ed07e23a8393451a authored over 5 years ago by Yair Chuchem <[email protected]>
more syntax-tree updates

98f011594fad4fa674ce90e3662cb9544fee1b14 authored over 5 years ago by Yair Chuchem <[email protected]>
update syntax-tree

6a16c02030f0d2a2e42a767c045074db32410a40 authored over 5 years ago by Yair Chuchem <[email protected]>
use generic-constraints!

8b8d5f476465c6aabff981ebe194d49f7ef219fa authored over 5 years ago by Yair Chuchem <[email protected]>
export witnesses

f0876c96d25197c35b4ecbeaa27fc6033fac6baf authored over 5 years ago by Yair Chuchem <[email protected]>
syntax-tree updates, benchmarks hit

mostly the PureInfer benchmarks are slower now.
should recheck what to SPECIALIZE etc

70e873e81a9a45e79348e33e7e45fb592c3d2e30 authored over 5 years ago by Yair Chuchem <[email protected]>
syntax-tree updates

9baa4588f52eadb9b2d5f7f831a84e860434da5f authored over 5 years ago by Yair Chuchem <[email protected]>
Remove unneeded temporary hack

7e44b3d1e36702651bcd9b6327e2995f78765832 authored over 5 years ago by Yair Chuchem <[email protected]>
syntax-tree update

07fc890bbe409f7a7e77b383cb38cb10fd9f15b7 authored over 5 years ago by Yair Chuchem <[email protected]>
syntax-tree updates

9dea44e87e18d541693ddb6a27c0618bb0c31218 authored over 5 years ago by Yair Chuchem <[email protected]>
IResult includes scope at all locations again

Lamdu uses the scope not just for completions in hole but also in
the implementation of the floa...

b8521a5b65cf1a37c903ae4335586d5ef16095e1 authored over 5 years ago by Yair Chuchem <[email protected]>
Blamable instance

51df0204e35012e648dc2ea209cce21ba4f1a813 authored over 5 years ago by Yair Chuchem <[email protected]>
syntax-tree update and specialize calls

8de30367744c4d55fcfb7d18c35b77ada088d118 authored over 5 years ago by Yair Chuchem <[email protected]>
syntax-tree changes

bcfd16115f36ac278c67bccff92f6d2daba1ce22 authored over 5 years ago by Yair Chuchem <[email protected]>
Sprinkle some SPECIALIZE pragmas derived from process in doc/Optimization.md

7096d4fc8b597ca6236d3da7b035d8be6766f84f authored over 5 years ago by Yair Chuchem <[email protected]>
maintain core-type-apps.py

f7b923d06bd861df59f8b16131ff4a71d45cb9c7 authored over 5 years ago by Yair Chuchem <[email protected]>
syntax-tree simplified

7b747ebc68228171d5b7b9e0bc88e3ce8e7953bb authored over 5 years ago by Yair Chuchem <[email protected]>
Core is more useful with type annotations.

Also, added kind signatures as suggested by isovector.
Still not clear why GHC doesn't reduce a ...

1095930cbea885691179bf064f5976350bff415c authored over 5 years ago by Yair Chuchem <[email protected]>
Add specialize to updateTermConstraints which doesn't seem to have effect due to type family hiding types

7341d1f8373e2bf6d412c72082b8ee40816aef12 authored over 5 years ago by Yair Chuchem <[email protected]>
Work in progress on specializes

5c46f0cbf0f05eb3ebc9bb7e8f06326c03957810 authored over 5 years ago by Yair Chuchem <[email protected]>
clean cabal file from optimization flags that don't seem to help

07fd01a1b60925913bc01929e9e95d1470ba33a8 authored over 5 years ago by Yair Chuchem <[email protected]>
Use zipMatch1_

59d9bc8cf59a8952268ce19705fcf9c337968734 authored over 5 years ago by Yair Chuchem <[email protected]>
hlint police

e0b05327204f11e23406d29365ceb2bdfdf5c87e authored over 5 years ago by Yair Chuchem <[email protected]>
syntax-tree changes

da0ed5a7e248f08701655c5271ce5df583e6772a authored over 5 years ago by Yair Chuchem <[email protected]>
More updates in syntax-tree (what infer infers is configurable)

61952de9668ee8967be3be97b1860c972db30f1b authored over 5 years ago by Yair Chuchem <[email protected]>
More big changes in syntax-tree (move from Children to KTraversable complete): Note that inference became slower!

Inference became slower, and difference between pure and ST implementations became smaller,
so t...

a9f6990a7e7ad34f7311897bd7abb97f42489dd9 authored over 5 years ago by Yair Chuchem <[email protected]>
Adapt to new syntax-tree

a98649a811f470734797b5d584da483544366cef authored over 5 years ago by Eyal Lotem <[email protected]>