96 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	0fb996f289	feat: add Copy trait	2024-03-03 16:22:14 +09:00
GreasySlug	eba80469a6	clean: add and use const str	2024-02-26 23:04:26 +09:00
Shunsuke Shibayama	47818e431e	chore: remove clone method	2024-02-24 00:27:13 +09:00
Shunsuke Shibayama	48cdd2462d	feat: add Array.repeat	2024-02-12 01:38:52 +09:00
Shunsuke Shibayama	e5c8f177ba	feat: add HasScalarType	2024-02-09 18:37:33 +09:00
Shunsuke Shibayama	66352ddd3a	feat: add const Array::{insert, remove_at, remove_all}	2024-02-09 12:47:17 +09:00
Shunsuke Shibayama	c76de00847	feat: add Float!::{inc!, dec!}	2024-02-07 17:01:32 +09:00
Shunsuke Shibayama	58514c5890	chore: add Subroutine & GenericCallable is now a trait	2024-02-07 13:23:09 +09:00
Shunsuke Shibayama	96239b957c	fix: modulo operator bug	2024-02-04 18:11:30 +09:00
Shunsuke Shibayama	b58a542f8e	feat: add const Str::{isalpha, isascii, isdecimal}	2024-01-31 00:47:28 +09:00
Shunsuke Shibayama	d6e6914662	feat: add const Str::{endswith, find, join, startswith}	2024-01-30 12:37:07 +09:00
Shunsuke Shibayama	276583d8ef	feat: add const reversed/sum/Str::replace	2024-01-30 11:01:45 +09:00
Shunsuke Shibayama	d1fa616aea	feat: eval const call/lambda in refinement types ... rename: `Shape` -> `HasShape`	2024-01-29 18:10:26 +09:00
Shunsuke Shibayama	d59a4e82d3	feat: const abs/all/any/len/map	2024-01-29 13:29:39 +09:00
Shunsuke Shibayama	06a4a6e5fc	feat: add Predicate::General{Less, Greater, Not}Equal	2024-01-28 20:24:14 +09:00
Shunsuke Shibayama	4393649ffc	feat: add Predicate::{Call, GeneralEqual}	2024-01-28 18:33:00 +09:00
Shunsuke Shibayama	951c85a344	feat: add exception module	2024-01-04 21:41:24 +09:00
Shunsuke Shibayama	767d51d48b	feat: function downcasting ... FIXME: This downcast is unsound, function inputs, output should be checked at runtime	2023-12-31 09:03:40 +09:00
Shunsuke Shibayama	868609f95a	feat: add format, help!	2023-12-15 22:55:10 +09:00
Shunsuke Shibayama	4407999c19	feat: add SubrType::kw_var_params	2023-11-12 12:22:48 +09:00
Shunsuke Shibayama	ebf803dab0	feat: add Float.nearly_eq	2023-11-07 02:30:08 +09:00
Shunsuke Shibayama	01ffde469a	feat: Dict.as_record	2023-10-25 19:46:32 +09:00
Shunsuke Shibayama	e6cf329f97	fix: type alias bug	2023-10-16 18:34:19 +09:00
Shunsuke Shibayama	1a056b1b0e	fix!: let return/yield to be a private method	2023-10-15 13:51:09 +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	5e580422c3	fix: mutable array type bug	2023-10-11 21:29:53 +09:00
Shunsuke Shibayama	13a346e488	feat: add Dict.concat/diff, Dict!.merge!/remove!	2023-10-05 00:57:08 +09:00
Shunsuke Shibayama	57d3a23aed	feat: impl Hash for Array	2023-09-18 19:44:37 +09:00
Shunsuke Shibayama	a97b89c056	fix!: rename to_str -> __str__	2023-09-13 16:48:20 +09:00
Shunsuke Shibayama	68acaf00fb	feat: add ByteArray!	2023-09-11 21:55:46 +09:00
Shunsuke Shibayama	7729b73809	fix: dict iterators bug	2023-09-06 00:56:07 +09:00
Shunsuke Shibayama	74bca70017	feat: add Array.update_nth!	2023-08-28 15:33:58 +09:00
Shunsuke Shibayama	f2ad45878a	feat: add Hash trait	2023-08-20 17:33:42 +09:00
Shunsuke Shibayama	a0ce142f7b	chore: add record examples	2023-08-20 10:58:33 +09:00
Shunsuke Shibayama	5e71bd7fd0	feat: add Record.as_dict()	2023-08-20 02:02:53 +09:00
Shunsuke Shibayama	2966497ad6	feat: add Str methods	2023-08-20 00:07:08 +09:00
Shunsuke Shibayama	6ce41ef8bd	fix: record type subtyping	2023-08-19 23:30:34 +09:00
Shunsuke Shibayama	5affa5065f	fix: dynamic type checking bugs	2023-08-19 16:34:07 +09:00
Shunsuke Shibayama	927de74eee	chore: add Self substitution	2023-08-17 19:25:17 +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	4f93c393c0	fix: trait registering bugs	2023-08-12 23:31:44 +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	1ea2c74aaa	chore: add TyParam::proj_call	2023-07-30 13:05:39 +09:00
Shunsuke Shibayama	664f265716	WIP	2023-07-28 00:27:04 +09:00
Shunsuke Shibayama	9308a910ca	fix: #442	2023-07-24 09:32:31 +09:00
Shunsuke Shibayama	0152e368ab	feat: support Array, Str, Bytes slice	2023-07-15 12:29:07 +09:00