Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update README.md #24

Merged
merged 1 commit into from
Aug 16, 2022
Merged

Update README.md #24

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<img width="500" src="./assets/erg_logo_with_slogan.svg">
</div>

<br>[Erg](https://erg-lang.github.io/) is a statically typed language that is Python compatible.
<br>[Erg](https://erg-lang.github.io/) is a statically typed language that is Python-compatible.

<p align='center'>
<img alt="Build status" src="https://github.com/erg-lang/erg/actions/workflows/rust.yml/badge.svg">
Expand All @@ -14,7 +14,7 @@

## Erg can be recommended to a person that&colon;

* uses Python, but want Rust-like robustness and comfortable compiler support.
* uses Python, but wants Rust-like robustness and comfortable compiler support.
* and yet, doesn't need the verbose type specifications & memory management model like Rust.
* wants a simple and consistent language like ML.
* wants a practical general-purpose language with dependent/refinement types.
Expand All @@ -26,7 +26,7 @@

1. Robustness

Erg has a smart & powerful type system. For example, Erg can do null checking (Option type), division by zero and out-of-range addresses in arrays at compile time.
Erg has a smart & powerful type system. For example, Erg can do null checking (Option type), division by zero, and out-of-range addresses in arrays at compile time.

```python
rand = pyimport "random"
Expand Down Expand Up @@ -147,7 +147,7 @@
3│ l.push!(x)
^^^^^
AttributeError: Array object has no attribute `.push!`
hint: in order to update the internal state of an object, make it mutable by using `!` operator
hint: to update the internal state of an object, make it mutable by using `!` operator
hint: `Array` has `push`, see https://erg-lang.github.io/docs/prelude/Array/##push for more information
hint: `Array!` has `push!`, see https://erg-lang.github.io/docs/prelude/Array!/##push! for more information
```
Expand Down