242 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	7cc5500f71	feat: add scipy type declaration	2023-12-09 17:11:58 +09:00
Shunsuke Shibayama	1aa61cd6a6	feat: add torch type declaration	2023-12-09 12:05:07 +09:00
Shunsuke Shibayama	fb0248fdf1	fix: external pylib bugs	2023-12-06 18:31:03 +09:00
Shunsuke Shibayama	20935796fd	feat: enhance pandas type declarations	2023-12-02 11:51:04 +09:00
Shunsuke Shibayama	2a9ef33c9c	feat: add hmac module type definition	2023-11-25 02:57:22 +09:00
Shunsuke Shibayama	21025096a3	fix: type-var instantiation bugs	2023-11-25 02:56:25 +09:00
Shunsuke Shibayama	98d0fb3f76	Create csv.d.er	2023-11-24 19:50:46 +09:00
Shunsuke Shibayama	439ba1d28e	feat: maketqdm.Tqdm! polymorphic	2023-11-18 17:06:22 +09:00
Shunsuke Shibayama	30a6f84e5f	feat: add erg_compiler/erg_parser type decls	2023-11-18 16:04:51 +09:00
Shunsuke Shibayama	cfd24ea6fc	feat: add jinja2 type declaration	2023-11-12 12:23:32 +09:00
Shunsuke Shibayama	ebf803dab0	feat: add Float.nearly_eq	2023-11-07 02:30:08 +09:00
Shunsuke Shibayama	678c02faf9	feat: support refinement class	2023-10-31 02:23:50 +09:00
Shunsuke Shibayama	356fa8bba1	fix: and/or short circuiting	2023-10-25 21:15:20 +09:00
Shunsuke Shibayama	01ffde469a	feat: Dict.as_record	2023-10-25 19:46:32 +09:00
Shunsuke Shibayama	33f6bac20d	chore: trait forward reference	2023-10-19 00:55:18 +09:00
Shunsuke Shibayama	0c6c5e363f	Update semver.er	2023-10-16 14:01:09 +09:00
Shunsuke Shibayama	0fea05a9b4	feat: add tomllib module	2023-10-16 13:31:05 +09:00
Shunsuke Shibayama	55f24ae5a6	Update semver.er	2023-10-16 11:40:02 +09:00
Shunsuke Shibayama	08770e84fc	feat: add unsound module	2023-10-15 11:51:27 +09:00
Shunsuke Shibayama	fc75151f2a	feat: add Frame type	2023-10-14 23:42:27 +09:00
Shunsuke Shibayama	0a24c0cb77	fix: dict update! bug	2023-10-14 21:38:12 +09:00
Shunsuke Shibayama	13a346e488	feat: add Dict.concat/diff, Dict!.merge!/remove!	2023-10-05 00:57:08 +09:00
Shunsuke Shibayama	f1d71e0dab	feat: add [x; _] literal	2023-10-02 20:49:21 +09:00
Shunsuke Shibayama	828441f9f9	Update _erg_type.py	2023-10-02 15:49:17 +09:00
Shunsuke Shibayama	f561eebc2f	chore: improve pattern match	2023-09-27 11:59:20 +09:00
Shunsuke Shibayama	25d143b04a	fix!(parser): handling of line breaks in enclosures	2023-09-23 23:50:28 +09:00
Shunsuke Shibayama	57d3a23aed	feat: impl Hash for Array	2023-09-18 19:44:37 +09:00
Shunsuke Shibayama	aacdca31b8	fix: Python 3.7~3.8 bugs	2023-09-13 11:09:30 +09:00
Shunsuke Shibayama	75c1ac733c	fix: Python 3.9 bugs	2023-09-13 03:00:03 +09:00
Shunsuke Shibayama	f157673c59	fix: dynamic container type check	2023-09-13 00:37:36 +09:00
Shunsuke Shibayama	68acaf00fb	feat: add ByteArray!	2023-09-11 21:55:46 +09:00
Shunsuke Shibayama	136d1b56f6	Update itertools.d.er	2023-09-11 12:32:07 +09:00
Shunsuke Shibayama	3fd66f1a32	feat: (partial) comprehension support	2023-09-11 02:24:03 +09:00
Shunsuke Shibayama	f8a7413953	feat: add tty/dectest/venv	2023-09-10 03:44:54 +09:00
Shunsuke Shibayama	5d39c17e1e	feat: add shlex/pickle/marshal	2023-09-10 03:23:42 +09:00
Shunsuke Shibayama	d8835fd169	fix: eliminate unwraps	2023-09-03 03:36:17 +09:00
Shunsuke Shibayama	74bca70017	feat: add Array.update_nth!	2023-08-28 15:33:58 +09:00
Shunsuke Shibayama	f6763fcfdf	feat: enhance sys/platform type definitions	2023-08-27 13:58:11 +09:00
Shunsuke Shibayama	9c1e32db06	Update sys.d.er	2023-08-27 13:23:23 +09:00
Shunsuke Shibayama	6ce41ef8bd	fix: record type subtyping	2023-08-19 23:30:34 +09:00
Shunsuke Shibayama	95595ef67c	fix: array type checking bug	2023-08-19 22:04:06 +09:00
Shunsuke Shibayama	5affa5065f	fix: dynamic type checking bugs	2023-08-19 16:34:07 +09:00
Shunsuke Shibayama	fa2a59ae83	feat: support json backend	2023-08-18 22:19:19 +09:00
Shunsuke Shibayama	4e50075774	Update shutil.d.er	2023-08-18 13:38:22 +09:00
Shunsuke Shibayama	9454896d5a	WIP	2023-08-17 16:43:26 +09:00
Shunsuke Shibayama	ea0089f7df	feat: add Type::NamedTuple	2023-08-17 02:00:44 +09:00
Shunsuke Shibayama	2e9fb48f2e	fix: in operator ... * remove `In` trait, `__in__`, `__notin__` function * desugar to `__contains__` * impl Collection for Array, Set, Tuple	2023-08-13 01:01:06 +09:00
Shunsuke Shibayama	3c88aee6be	Merge pull request #447 from erg-lang/shape ... Enhance compile-time verification capabilities	2023-08-10 08:11:40 +09:00
Shunsuke Shibayama	91d0ac3545	feat: add Array.get	2023-08-09 23:51:52 +09:00
Shunsuke Shibayama	3fb6354fb1	Update os type definition	2023-08-09 23:07:53 +09:00