https://github.com/wenkokke/featherweight-generic-go-generator

Test suite for implementations of Featherweight Generic Go
https://github.com/wenkokke/featherweight-generic-go-generator

Last synced: 10 days ago
JSON representation

Test suite for implementations of Featherweight Generic Go

• Host: GitHub
• URL: https://github.com/wenkokke/featherweight-generic-go-generator
• Owner: wenkokke
• License: other
• Archived: true
• Created: 2019-10-09T22:55:02.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2020-08-18T19:17:44.000Z (over 4 years ago)
• Last Synced: 2024-11-10T15:16:03.756Z (10 days ago)
• Language: Haskell
• Homepage:
• Size: 136 KB
• Stars: 34
• Watchers: 3
• Forks: 4
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: ChangeLog.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# A Few Generic Go Programs

We use @claessen2105 to lazily enumerate all well-typed programs from a subset of FGG up to some size.

The subset is made up of those programs where:

+ the program has *at least* one method and one field;

+ the program has *at most* one empty interface and *at most* two empty structs;

+ each method has *at most* two arguments;

+ each struct has *at most* two fields;

+ each interface has *at most* two members and two parents; and

+ each method or type constructor has *at most* to type parameters.

Moreover, we disallow mutually recursive type definitions.

These measures are taken in an effort to truncate the space of possible programs.

---

Koen Claessen, Jonas Duregård, and Michał Pałka.

*Generating constrained random data with uniform distribution.*

Journal of Functional Programming, 2015.