31 lines
1.6 KiB
Typst
31 lines
1.6 KiB
Typst
#import "@preview/isc-hei-bthesis:0.8.1" : *
|
||
#import "@preview/acrostiche:0.7.0": acrfull
|
||
|
||
#page-title("Abstract")
|
||
|
||
#v(1fr)
|
||
|
||
Python's duck typing philosophy is often the source of errors, especially in data-oriented domains.
|
||
Midas is a new type system built on top of Python that intends to provide both strict static type checking and runtime assertions to ensure data integrity.
|
||
Midas includes its own type definition language for any domain-specific needs.
|
||
It also provides extensive type checking of Pandas DataFrame schemas and operations, such as aggregation methods.
|
||
Cast expressions are checked statically for literal values or generate runtime assertions that verify conformance if it cannot be judged at compile-time.
|
||
The whole system is built from scratch, except for the definition language parser which is adapted from another project.
|
||
The type system is first approached from a theoretical perspective, drawing from #acrfull("TaPL").
|
||
The implementation is then developed step by step, component by component.
|
||
|
||
/*
|
||
The abstract of a bachelor thesis should provide a concise summary of the entire work. It typically includes:
|
||
|
||
- The context and motivation for the research.
|
||
- The main objective or research question.
|
||
- A brief description of the methodology or approach used.
|
||
- The key results or findings.
|
||
- The main conclusion or implications of the work.
|
||
|
||
The abstract should be self-contained, clear, and usually does not exceed 250–300 words. It allows readers to quickly understand the purpose and outcomes of the thesis without reading the full document.
|
||
|
||
The abstract *must* be written in both French and English.
|
||
*/
|
||
|
||
#abstract-footer("en") |