Idris是未来机器学习的一个潜在竞争者 - 未名空间MITBBS历史存档

国际科技财经博客移民网络热点娱乐民生时事公众号

Redian新闻

>未名空间

>Programming - 葵花宝典

Idris是未来机器学习的一个潜在竞争者

Idris是未来机器学习的一个潜在竞争者# Programming - 葵花宝典

b*t2017-03-17 07:03

1 楼

Given two vectors V1 and V2 of doubles. The former represents values along
the x-axis and the later the values of a function f at those points. Write
a function that takes V1 and V2 and const double x as inputs and returns the
interpolated value of f(x).

m*o2017-03-17 07:03

2 楼

长期写强类型语言影响，看到M x N 编译器无法自动检查矩阵形状是否匹配总觉得全身
不自在。Idris可以直接把矩阵形状编制成类型变量，比如类型Matrix Double 5 2代表
一个双精度浮点5行2列矩阵类型，那么矩阵乘法function就可以定义成如下，
mul : Num n => Matrix n a b -> Matrix n b c -> Matrix n a c
mul = ???
这样定义矩阵乘法对于我这种类型强迫症是一个极大的relief：编译阶段就可以自动检
测矩阵形状不匹配错误，并且程序可读性也会增加。大家怎么看？

s*r2017-03-17 07:03

3 楼

regression?

Write
the

【在 b**********t 的大作中提到】

: Given two vectors V1 and V2 of doubles. The former represents values along
: the x-axis and the later the values of a function f at those points. Write
: a function that takes V1 and V2 and const double x as inputs and returns the
: interpolated value of f(x).

g*t2017-03-17 07:03

4 楼

这个语言还不错啊，看得出来作者认真考虑和设计过。但文档里自己写了，没有
resource,不是production ready的。
另外这个和机器学习不是等价比较吧

b*t2017-03-17 07:03

5 楼

应该不是吧，这只是C++的题目啊。

【在 s*****r 的大作中提到】

: regression?
:
: Write
: the

g*t2017-03-17 07:03

6 楼

看了下作者简介。作者phd写这个题目到现在这个实现
也有10年时间积累，难怪我看着质量挺高的。
改天有空我玩玩

: 这个语言还不错啊，看得出来作者认真考虑和设计过。但文档里自己写了
，没有

: resource,不是production ready的。

: 另外这个和机器学习不是等价比较吧

【在 g****t 的大作中提到】

: 这个语言还不错啊，看得出来作者认真考虑和设计过。但文档里自己写了，没有
: resource,不是production ready的。
: 另外这个和机器学习不是等价比较吧

P*e2017-03-17 07:03

7 楼

人家说了让你interpolation了啊，算法可以简单一些吧，不知道是不是可以assue是线性

【在 b**********t 的大作中提到】

: 应该不是吧，这只是C++的题目啊。

m*o2017-03-17 07:03

8 楼

不是等价，但是如果有人愿意造轮子的话，肯定有竞争力，毕竟机器学习大量的操作都
牵涉到矩阵。

【在 g****t 的大作中提到】

: 这个语言还不错啊，看得出来作者认真考虑和设计过。但文档里自己写了，没有
: resource,不是production ready的。
: 另外这个和机器学习不是等价比较吧

s*r2017-03-17 07:03

9 楼

让你用C++写程序算结果啊

【在 b**********t 的大作中提到】

: 应该不是吧，这只是C++的题目啊。

L*82017-03-17 07:03

10 楼

eigen c++ 不好用么？

【在 m****o 的大作中提到】

: 长期写强类型语言影响，看到M x N 编译器无法自动检查矩阵形状是否匹配总觉得全身
: 不自在。Idris可以直接把矩阵形状编制成类型变量，比如类型Matrix Double 5 2代表
: 一个双精度浮点5行2列矩阵类型，那么矩阵乘法function就可以定义成如下，
: mul : Num n => Matrix n a b -> Matrix n b c -> Matrix n a c
: mul = ???
: 这样定义矩阵乘法对于我这种类型强迫症是一个极大的relief：编译阶段就可以自动检
: 测矩阵形状不匹配错误，并且程序可读性也会增加。大家怎么看？

b*t2017-03-17 07:03

11 楼

说的是，那具体用什么方法呢？

【在 s*****r 的大作中提到】

: 让你用C++写程序算结果啊

m*o2017-03-17 07:03

12 楼

支持dependent object type吗？

【在 L****8 的大作中提到】

: eigen c++ 不好用么？

r*g2017-03-17 07:03

13 楼

我的理解是在v1查找x,返回index，然后输出v2[index]? 那可以用binary search吗?

【在 b**********t 的大作中提到】

: 说的是，那具体用什么方法呢？

n*w2017-03-17 07:03

14 楼

目前是不是还没有任何主流语言支持这个type？

【在 m****o 的大作中提到】

: 支持dependent object type吗？

s*s2017-03-17 07:03

15 楼

use langurange polynominals to do the numerical interpolation. If you don't
have background in numerical analysis, then you don't need to prepare this.

Write
the

【在 b**********t 的大作中提到】

m*o2017-03-17 07:03

16 楼

Scala从dotty compiler开始将支持dependent object type，这也是dotty取名的由来
。Scala在一路向太阳系最复杂语言目标狂奔。

【在 n*w 的大作中提到】

: 目前是不是还没有任何主流语言支持这个type？

k*e2017-03-17 07:03

17 楼

did not expect interview will include basic numerical algorithms. learned 10
years ago ;<
then next question is LU decomposition?
this world is so crazy!

t

【在 s*******s 的大作中提到】

: use langurange polynominals to do the numerical interpolation. If you don't
: have background in numerical analysis, then you don't need to prepare this.
:
: Write
: the

g*t2017-03-17 07:03

18 楼

能介绍下你用这个Idris的tool chain是什么？Editor，库，什么的？
假设我想写一个AX=B的加自定义regulation的recursive最小二乘法。
我有时间的话，试试看回来跟大家汇报

【在 m****o 的大作中提到】

: Scala从dotty compiler开始将支持dependent object type，这也是dotty取名的由来
: 。Scala在一路向太阳系最复杂语言目标狂奔。

b*t2017-03-17 07:03

19 楼

拉格郎日？？我高中倒是学过，是凑一个n阶多项式的公式，使得多项式在n个给定点取
到n个给定值。

t

【在 s*******s 的大作中提到】

: use langurange polynominals to do the numerical interpolation. If you don't
: have background in numerical analysis, then you don't need to prepare this.
:
: Write
: the

m*o2017-03-17 07:03

20 楼

暂时还没这方面的轮子啊。editor方面和Haskell一样，直接上vim就可以了。你要是感
兴趣的话，Manning最近出了本书：
https://www.manning.com/books/type-driven-development-with-idris
大家可以一起学着玩一下。

【在 g****t 的大作中提到】

: 能介绍下你用这个Idris的tool chain是什么？Editor，库，什么的？
: 假设我想写一个AX=B的加自定义regulation的recursive最小二乘法。
: 我有时间的话，试试看回来跟大家汇报

a*x2017-03-17 07:03

21 楼

我猜用taylor expansion 吧

n*w2017-03-17 07:03

22 楼

支持这个的学术性研究性语言倒是有好几个。

【在 m****o 的大作中提到】

: Scala从dotty compiler开始将支持dependent object type，这也是dotty取名的由来
: 。Scala在一路向太阳系最复杂语言目标狂奔。

a*l2017-03-17 07:03

23 楼

"langurange" may be sexy for an interview to showoff your "mathematical
knowledge", but I quite often find its results funny. The simple linear
method always works and does not give funny results.

t

【在 s*******s 的大作中提到】

: use langurange polynominals to do the numerical interpolation. If you don't
: have background in numerical analysis, then you don't need to prepare this.
:
: Write
: the