microsoft/BosqueLanguage
The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.
TypeScriptNOASSERTION
Issues
- 9
Improve VSCode syntax highlighting
#19 opened by mrkmarron - 0
- 0
Module/Package structure and implementation
#22 opened by mrkmarron - 2
Implement synthesis blocks
#32 opened by mrkmarron - 0
Memoize (and singleton) pragmas
#37 opened by mrkmarron - 2
Question: Visibility
#67 opened by Andersmholmgren - 1
Affine/Unique/Owner type annotations
#28 opened by mrkmarron - 0
Implement lightweight reference analysis
#21 opened by mrkmarron - 0
Value and reference types
#29 opened by mrkmarron - 2
Default values for function arguments
#51 opened by spixi - 5
Predicate transformers/symbolic execution
#38 opened by mrkmarron - 1
- 8
Formalize Semantic Versioning
#33 opened by mrkmarron - 2
WASM compilation
#31 opened by mrkmarron - 3
- 7
Nice but edgy
#84 opened by twothe - 2
Type checking in JS
#55 opened by chriskuech - 6
Question: Threading / Async
#68 opened by Andersmholmgren - 2
Implement rec keyword and support
#27 opened by mrkmarron - 5
Variable threading
#34 opened by mrkmarron - 8
Quick return
#35 opened by mrkmarron - 4
Some Questions to the overview document
#62 opened by lochbrunner - 1
- 5
Thunk blocks
#36 opened by mrkmarron - 1
Implement statement expressions
#26 opened by mrkmarron - 2
return if statement request
#74 opened by MairwunNx - 0
Implement Match statement
#25 opened by mrkmarron - 0
- 3
- 1
Question Compiler
#43 opened by braegelno5 - 4
- 2
Issue on Language
#71 opened by zzdpk2 - 3
return expression in method
#76 opened by MairwunNx - 2
Language name questions
#80 opened by cyungmann - 2
Type and implementation separation?
#81 opened by fendy3002 - 4
passing nominal as structural argument
#83 opened by Andersmholmgren - 0
Implement structured assignment
#24 opened by mrkmarron - 2
Will there be a dotnet compiler?
#79 opened by dotChris90 - 3
Add a new issue and pr template
#86 opened by abhinavsagar - 2
How to declare a namespace
#85 opened by hearot - 2
Your example shows me error
#66 opened by TomasRoj - 2
- 3
- 3
Variable name '_result_' is not defined
#61 opened by hearot - 2
Unclear list processing examples
#54 opened by LiquidLemon - 1
Question: Is this not Erlang but with altered syntax & some nomenclature changes?
#56 opened by ramriot - 1
Add this language to learnxinyminutes.com
#52 opened by dumblob - 2
Question: How to submit CLA
#53 opened by RyanAFinney - 1
- 2
Error in README.md
#42 opened by rafdol