dada-lang / dada

I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.
https://dada-lang.org
Apache License 2.0
444 stars 28 forks source link

More type noodling #216

Closed nikomatsakis closed 2 years ago

nikomatsakis commented 2 years ago

This lays out some of the interned structs we'll use to represent types in signatures (maybe...) and modifies the syntax to use {} instead of (), e.g., shared{a}, leaving room for tuple types like (T1, T2) (because e.g. one might write shared (String, String) or something.

netlify[bot] commented 2 years ago

Deploy Preview for dada-lang ready!

Name Link
Latest commit 8bd099d0263d6696c3a2620f0f4f7d5e396b82fd
Latest deploy log https://app.netlify.com/sites/dada-lang/deploys/6331667a2cd42200080091f2
Deploy Preview https://deploy-preview-216--dada-lang.netlify.app
Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site settings.

nikomatsakis commented 2 years ago

bors r+

bors[bot] commented 2 years ago

Build failed:

nikomatsakis commented 2 years ago

bors r+

bors[bot] commented 2 years ago

Build succeeded: