builtins.rs 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308
  1. use crate::ast::*;
  2. use crate::errors::MatzoError;
  3. use crate::interp::*;
  4. fn arity_error(func: &str, expected: usize, actual: &[ExprRef]) -> Result<Value, MatzoError> {
  5. let msg = format!(
  6. "`{}`: expected {} argument{}, got {}",
  7. func,
  8. expected,
  9. if expected == 1 { "" } else { "s" },
  10. actual.len()
  11. );
  12. if actual.is_empty() {
  13. Err(MatzoError::new(Span::empty(), msg))
  14. } else {
  15. let span = Span {
  16. start: actual[0].span.start,
  17. end: actual[actual.len() - 1].span.end,
  18. };
  19. Err(MatzoError::new(span, msg))
  20. }
  21. }
  22. /// The list of builtins provided at startup.
  23. pub fn builtins() -> Vec<BuiltinFunc> {
  24. vec![
  25. BuiltinFunc {
  26. name: "rep",
  27. callback: Box::new(
  28. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  29. if let [rep, expr] = exprs {
  30. let mut buf = String::new();
  31. let num = state.eval(*rep, env)?.as_num(&state.ast.borrow())?;
  32. for _ in 0..num {
  33. buf.push_str(
  34. state
  35. .eval(*expr, env)?
  36. .as_str(&state.ast.borrow(), expr.span)?,
  37. );
  38. }
  39. Ok(Value::Lit(Literal::Str(buf)))
  40. } else {
  41. arity_error("rep", 2, exprs)
  42. }
  43. },
  44. ),
  45. },
  46. BuiltinFunc {
  47. name: "str/upper",
  48. callback: Box::new(
  49. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  50. if let [expr] = exprs {
  51. let s = state.eval(*expr, env)?;
  52. Ok(Value::Lit(Literal::Str(
  53. s.as_str(&state.ast.borrow(), expr.span)?.to_uppercase(),
  54. )))
  55. } else {
  56. arity_error("str/upper", 1, exprs)
  57. }
  58. },
  59. ),
  60. },
  61. BuiltinFunc {
  62. name: "str/capitalize",
  63. callback: Box::new(
  64. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  65. if let [expr] = exprs {
  66. let s = state.eval(*expr, env)?;
  67. Ok(Value::Lit(Literal::Str(titlecase::titlecase(
  68. s.as_str(&state.ast.borrow(), expr.span)?,
  69. ))))
  70. } else {
  71. arity_error("str/capitalize", 1, exprs)
  72. }
  73. },
  74. ),
  75. },
  76. BuiltinFunc {
  77. name: "str/lower",
  78. callback: Box::new(
  79. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  80. if let [expr] = exprs {
  81. let s = state.eval(*expr, env)?;
  82. Ok(Value::Lit(Literal::Str(
  83. s.as_str(&state.ast.borrow(), expr.span)?.to_lowercase(),
  84. )))
  85. } else {
  86. arity_error("str/lower", 1, exprs)
  87. }
  88. },
  89. ),
  90. },
  91. BuiltinFunc {
  92. name: "wd",
  93. callback: Box::new(
  94. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  95. let mut buf = String::new();
  96. for expr in exprs {
  97. let s = state.eval(*expr, env)?;
  98. buf.push_str(s.as_str(&state.ast.borrow(), expr.span)?);
  99. }
  100. Ok(Value::Lit(Literal::Str(buf)))
  101. },
  102. ),
  103. },
  104. BuiltinFunc {
  105. name: "se",
  106. callback: Box::new(
  107. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  108. let mut buf = String::new();
  109. let mut capitalized = false;
  110. let mut last_char = '\0';
  111. for expr in exprs.iter() {
  112. let s = state.eval(*expr, env)?;
  113. let s = s.as_str(&state.ast.borrow(), expr.span)?;
  114. if !capitalized && !s.trim().is_empty() {
  115. capitalized = true;
  116. let mut chars = s.chars();
  117. for c in chars.next().unwrap().to_uppercase() {
  118. buf.push(c);
  119. }
  120. for c in chars {
  121. buf.push(c);
  122. }
  123. } else if last_char.is_alphanumeric()
  124. && s.chars().next().map_or(false, |c| c.is_alphanumeric())
  125. {
  126. buf.push(' ');
  127. buf.push_str(s.trim());
  128. } else {
  129. buf.push_str(s.trim());
  130. }
  131. if buf.len() > 0 {
  132. last_char = buf.chars().last().unwrap();
  133. }
  134. }
  135. Ok(Value::Lit(Literal::Str(buf)))
  136. },
  137. ),
  138. },
  139. BuiltinFunc {
  140. name: "add",
  141. callback: Box::new(
  142. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  143. if let [x, y] = exprs {
  144. let x = state.eval(*x, env)?.as_num(&state.ast.borrow())?;
  145. let y = state.eval(*y, env)?.as_num(&state.ast.borrow())?;
  146. Ok(Value::Lit(Literal::Num(x + y)))
  147. } else {
  148. arity_error("add", 2, exprs)
  149. }
  150. },
  151. ),
  152. },
  153. BuiltinFunc {
  154. name: "sub",
  155. callback: Box::new(
  156. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  157. if let [x, y] = exprs {
  158. let x = state.eval(*x, env)?.as_num(&state.ast.borrow())?;
  159. let y = state.eval(*y, env)?.as_num(&state.ast.borrow())?;
  160. Ok(Value::Lit(Literal::Num(x - y)))
  161. } else {
  162. arity_error("sub", 2, exprs)
  163. }
  164. },
  165. ),
  166. },
  167. BuiltinFunc {
  168. name: "mul",
  169. callback: Box::new(
  170. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  171. if let [x, y] = exprs {
  172. let x = state.eval(*x, env)?.as_num(&state.ast.borrow())?;
  173. let y = state.eval(*y, env)?.as_num(&state.ast.borrow())?;
  174. Ok(Value::Lit(Literal::Num(x * y)))
  175. } else {
  176. arity_error("mul", 2, exprs)
  177. }
  178. },
  179. ),
  180. },
  181. BuiltinFunc {
  182. name: "tuple/len",
  183. callback: Box::new(
  184. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  185. if let [expr] = exprs {
  186. let tup = state.eval(*expr, env)?;
  187. Ok(Value::Lit(Literal::Num(
  188. tup.as_tup(&state.ast.borrow(), expr.span)?.len() as i64,
  189. )))
  190. } else {
  191. arity_error("tuple/len", 1, exprs)
  192. }
  193. },
  194. ),
  195. },
  196. BuiltinFunc {
  197. name: "tuple/concat",
  198. callback: Box::new(
  199. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  200. if let [expr] = exprs {
  201. let val = state.eval(*expr, env)?;
  202. let tup = val.as_tup(&state.ast.borrow(), expr.span)?;
  203. let mut contents = Vec::new();
  204. for elem in tup {
  205. for th in state
  206. .hnf(elem)?
  207. .as_tup(&state.ast.borrow(), Span::empty())?
  208. {
  209. contents.push(th.clone());
  210. }
  211. }
  212. Ok(Value::Tup(contents))
  213. } else {
  214. arity_error("tuple/concat", 1, exprs)
  215. }
  216. },
  217. ),
  218. },
  219. BuiltinFunc {
  220. name: "tuple/index",
  221. callback: Box::new(
  222. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  223. if let [tup_e, idx] = exprs {
  224. let tup = state.eval(*tup_e, env)?;
  225. let idx = state.eval(*idx, env)?;
  226. state.hnf(
  227. &tup.as_tup(&state.ast.borrow(), tup_e.span)?
  228. [idx.as_num(&state.ast.borrow())? as usize],
  229. )
  230. } else {
  231. arity_error("tuple/index", 1, exprs)
  232. }
  233. },
  234. ),
  235. },
  236. BuiltinFunc {
  237. name: "tuple/replace",
  238. callback: Box::new(
  239. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  240. if let [tup, idx, new] = exprs {
  241. let tup_val = state.eval(*tup, env)?;
  242. let tup = tup_val.as_tup(&state.ast.borrow(), tup.span)?;
  243. let idx = state.eval(*idx, env)?.as_num(&state.ast.borrow())?;
  244. let mut modified = Vec::with_capacity(tup.len());
  245. for i in 0..idx {
  246. modified.push(tup[i as usize].clone());
  247. }
  248. modified.push(Thunk::Expr(*new, env.clone()));
  249. for i in (idx + 1)..(tup.len() as i64) {
  250. modified.push(tup[i as usize].clone());
  251. }
  252. Ok(Value::Tup(modified))
  253. } else {
  254. arity_error("tuple/replace", 3, exprs)
  255. }
  256. },
  257. ),
  258. },
  259. BuiltinFunc {
  260. name: "tuple/fold",
  261. callback: Box::new(
  262. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  263. if let [func, init, tup_e] = exprs {
  264. let func = state.eval(*func, env)?;
  265. let tup = state.eval(*tup_e, env)?;
  266. let mut result = Thunk::Expr(*init, env.clone());
  267. for t in tup.as_tup(&state.ast.borrow(), tup_e.span)? {
  268. result = Thunk::Value(state.eval_closure(
  269. func.as_closure(&state.ast.borrow())?,
  270. vec![result, t.clone()],
  271. )?);
  272. }
  273. state.hnf(&result)
  274. } else {
  275. arity_error("tuple/fold", 3, exprs)
  276. }
  277. },
  278. ),
  279. },
  280. BuiltinFunc {
  281. name: "tuple/map",
  282. callback: Box::new(
  283. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  284. if let [func, tup_e] = exprs {
  285. let func = state.eval(*func, env)?;
  286. let tup = state.eval(*tup_e, env)?;
  287. let mut new_tup = Vec::new();
  288. let closure = func.as_closure(&state.ast.borrow())?;
  289. for t in tup.as_tup(&state.ast.borrow(), tup_e.span)? {
  290. new_tup
  291. .push(Thunk::Value(state.eval_closure(closure, vec![t.clone()])?));
  292. }
  293. Ok(Value::Tup(new_tup))
  294. } else {
  295. arity_error("tuple/map", 2, exprs)
  296. }
  297. },
  298. ),
  299. },
  300. ]
  301. }