tweag/nickel
1
1
Fork 0
mirror of https://github.com/tweag/nickel.git synced 2024-10-05 07:37:09 +03:00
Code Issues Projects Releases Wiki Activity

Update doc/manual/typing.md

Browse Source 
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
This commit is contained in:
Yann Hamdaoui 2021-12-30 15:08:17 +01:00 committed by GitHub
parent 99fc9473e8
commit c282837f28
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/manual/typing.md
View File

@ -412,7 +412,7 @@ function (it is actually part of the standard library as `lists.filter`) while
being likely to be called from dynamically typed configuration files. In this
situation, the call site escapes the typechecker. Thus, without an additional
mechanism, static typing would only ensure that the implementation of `filter`
doesn't violate the typing rules, but wouldn't prevent a ill-formed call from
doesn't violate the typing rules, but wouldn't prevent an ill-formed call from
dynamically typed code. At first sight, we haven't solved at all the main issue
of delayed dynamic type errors that static typing was supposed to solve in the
first place! Remember, the typical problem is the caller passing an value of the