samvv/bolt
1
0
Fork 0
Code Issues 24 Pull requests Projects Releases Packages Wiki Activity Actions

Design and implement a decent type checking algorithm #16

New issue
Closed
opened 2020-06-29 18:12:09 +02:00 by samvv · 2 comments
samvv commented 2020-06-29 18:12:09 +02:00 (Migrated from github.com)
Copy link

Ideally, we'd like to implement a type system that from the very start can easily be extended with custom rules. For this, we will probably need a specialized tool that can evaluate typing rules at compile-time. One such (experimental) tool is currently in the making by @samvv and hopefully will be integrated in time for the second milestone.

Ideally, we'd like to implement a type system that from the very start can easily be extended with custom rules. For this, we will probably need a specialized tool that can evaluate typing rules at compile-time. One such (experimental) tool is currently in the making by @samvv and hopefully will be integrated in time for the second milestone.
samvv commented 2020-11-15 10:15:10 +01:00 (Migrated from github.com)
Copy link

After doing some research, we're going a different route. The type system will be roughly based on the well-known Hindley-Milner type system, which enables us to implement typeclasses quite naturally.

After doing some research, we're going a different route. The type system will be roughly based on the well-known Hindley-Milner type system, which enables us to implement typeclasses quite naturally.
samvv commented 2021-04-21 14:18:07 +02:00 (Migrated from github.com)
Copy link

Already fixed in another repository.

Already fixed in another repository.
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
main
No results found.
Labels
Clear labels   
blocked

An issue that cannot be solved due to other issues being open

  
blocker

Issues that prevent a lot of other issues from being solved

  
bug

Something isn't working

  
c

All issues about converting Bolt sources to the C programming language

  
codegen

Issues relating to the transformation of an AST to a target language

  
dependencies

Pull requests that update a dependency file

  
discussion

This issue is just a suggestion for an idea that needs to be worked out

  
documentation

Improvements or additions to documentation

  
duplicate

This issue or pull request already exists

  
enhancement

New feature or request

  
good first issue

Good for newcomers

  
help wanted

Extra attention is needed

  
in progress

This issue is being worked on by someone

  
invalid

This doesn't seem right

  
javascript

All issues about converting Bolt sources to JavaScript

  
lexer/parser

All issues having something to do with reading tokens into an AST

  
llvm

All issues about converting Bolt sources to LLVM bytecode

  
macroexpander

Issues that have to do with the unfolding of user-defined syntax transformers

  
performance

All issues related with speeding up the compiler

  
priority:high

Issues that require immediate attention

  
priority:low

If possible, oher issues should be taken care of first

  
priority:normal

All issues that should be solved after the issues with high priority

  
question

Further information is requested

  
triage

This issue has yet to receive labels

  
typechecker

All issues having something to do with the type-checking algortithms

  
webassembly

All issues about converting Bolt sources to WebAssembly

  
wontfix

This will not be worked on

No labels
blocked
blocker
bug
c
codegen
dependencies
discussion
documentation
duplicate
enhancement
good first issue
help wanted
in progress
invalid
javascript
lexer/parser
llvm
macroexpander
performance
priority:high
priority:low
priority:normal
question
triage
typechecker
webassembly
wontfix
Milestone
Clear milestone
No items
No milestone
0.1.0
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: samvv/bolt#16
No description provided.
Delete branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?