作者查詢 / CoNsTaR

總覽項目：發文 | 留言 | 暱稱

作者 CoNsTaR 在 PTT [ Programming ] 看板的留言(推文), 共273則

限定看板：Programming

看板排序：

首頁

尾頁

[問題] Julia函數可能有解也可能沒有的情況

[ Programming ]23 留言, 推噓總分: +3

作者: cybermeow - 發表於 2017/10/20 05:08(8年前)

4^F推CoNsTaR: 看了一下教學文件，可以用 typeof 來實現174.116.112.109 10/21 00:15

5^F→CoNsTaR: 嗎？174.116.112.109 10/21 00:15

6^F→CoNsTaR: 不過如果語言有支援的話，我會比較想用 r174.116.112.109 10/21 00:15

7^F→CoNsTaR: efinement types 來做174.116.112.109 10/21 00:15

12^F推CoNsTaR: 假設函數可能回傳A、B兩個型別174.116.112.109 10/21 01:59

13^F→CoNsTaR: 那有 refinement type 的話就可以把會讓174.116.112.109 10/21 01:59

14^F→CoNsTaR: 函數回傳 B 的參數 refine 掉174.116.112.109 10/21 01:59

15^F→CoNsTaR: 這樣就能保證函數只會回傳 A174.116.112.109 10/21 01:59

19^F推CoNsTaR: 是啊，支援 refinement type 的語言是在24.114.79.93 10/21 09:24

20^F→CoNsTaR: compile time 用 SMT solver 來求成員24.114.79.93 10/21 09:25

21^F→CoNsTaR: 的24.114.79.93 10/21 09:25

22^F→CoNsTaR: 不過我也覺得 refinement type 應該不是24.114.79.93 10/21 09:25

23^F→CoNsTaR: julia 的風格24.114.79.93 10/21 09:25

[問題] 用c++讀取csv檔

[ Programming ]35 留言, 推噓總分: +11

作者: ss900405tw - 發表於 2017/09/25 12:26(8年前)

14^F推CoNsTaR: 要 parse 東西用 Haskell 就對啦…38.99.136.114 09/25 22:32

30^F推CoNsTaR: 其實樓主從頭到尾都沒提過那是大資料啊 =69.165.246.144 10/27 02:38

31^F→CoNsTaR: =69.165.246.144 10/27 02:38

32^F→CoNsTaR: 一堆人不知道在嗨啥的69.165.246.144 10/27 02:38

[問題] 給字串找出第一個符合的glob

[ Programming ]20 留言, 推噓總分: +6

作者: danny0838 - 發表於 2017/09/22 22:48(8年前)

3^F推CoNsTaR: B 和 C 不會打架嗎？24.114.73.54 09/23 00:13

4^F推CoNsTaR: map 是用樹做的，你現在的問題是99.242.178.39 09/23 06:21

5^F→CoNsTaR: 你的鍵其實代表了另一組鍵，而且這組鍵99.242.178.39 09/23 06:21

6^F→CoNsTaR: (以下稱小鍵)99.242.178.39 09/23 06:21

7^F→CoNsTaR: 散落在樹的不同地方，所以你的鍵和小鍵99.242.178.39 09/23 06:21

8^F→CoNsTaR: 對樹來講其實是互不相干的99.242.178.39 09/23 06:21

9^F→CoNsTaR: 如果你能找到一種排序方式，讓一個鍵所99.242.178.39 09/23 06:21

10^F→CoNsTaR: 代表的所有小鍵大小連續，那你就能用這99.242.178.39 09/23 06:21

11^F→CoNsTaR: 種排序方式來建立樹，那時間複雜度就不99.242.178.39 09/23 06:21

12^F→CoNsTaR: 會和map差太多，不過缺點是我覺得某些情99.242.178.39 09/23 06:21

13^F→CoNsTaR: 況可能會找不到解99.242.178.39 09/23 06:21

14^F→CoNsTaR: 還有，其實你的問題可以去 prob solve99.242.178.39 09/23 06:21

15^F→CoNsTaR: 版問99.242.178.39 09/23 06:21

[問題] 如何寫抓股app?

[ Programming ]4 留言, 推噓總分: +1

作者: everydate - 發表於 2017/09/21 03:04(8年前)

1^F噓CoNsTaR: 作業自己做 = =99.242.178.39 09/21 06:18

Re: [問題]無法在Google試算表中抓取網頁資料

[ Programming ]5 留言, 推噓總分: -4

作者: kevichang - 發表於 2017/09/06 20:27(8年前)

3^F→CoNsTaR: 隱形文？99.242.178.39 09/07 05:56

[問題] change MSYS language

[ Programming ]3 留言, 推噓總分: 0

作者: gecer - 發表於 2017/08/24 08:01(8年前)

3^F→CoNsTaR: more simple www 有人這樣用嗎…99.242.178.39 09/07 05:55

Re: [問題] 想學語言應該如何開始？已刪文

[ Programming ]11 留言, 推噓總分: +3

作者: Neisseria - 發表於 2017/08/14 06:41(8年前)

3^F推CoNsTaR: 嗯，不過學語言不可能光靠看書就學得好99.242.178.39 08/16 07:26

4^F→CoNsTaR: 多和 native speaker 溝通，進步會比較99.242.178.39 08/16 07:26

5^F→CoNsTaR: 快99.242.178.39 08/16 07:26

[問題] 想學語言應該如何開始？

[ Programming ]22 留言, 推噓總分: +5

作者: andrea402192 - 發表於 2017/08/13 21:07(8年前)

9^F推CoNsTaR: 樓上十萬個為什麼99.242.178.39 08/14 06:04

[問題] C# 定義宣告疑問

[ Programming ]8 留言, 推噓總分: +2

作者: gecer - 發表於 2017/07/29 08:12(8年前)

4^F噓CoNsTaR: 洗文章？99.242.172.27 07/29 15:01

6^F噓CoNsTaR: 明顯就是洗文章24.114.49.175 08/01 22:44

Re: [請益] 新手不知道在哪個版請教

[ Programming ]12 留言, 推噓總分: 0

作者: chiij - 發表於 2017/07/17 18:52(8年前)

5^F→CoNsTaR: 沒有雞雞還要教人怎麼嚕管一樣99.242.172.27 07/18 01:06

6^F→CoNsTaR: 哎呀慢了 QQ99.242.172.27 07/18 01:07

首頁

尾頁