少ない機能で安全なプログラミングがしたいんだがおすすめの言語ある？

1 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:47:51.374 ID:vQQBNL3D0.net

Haskell勉強したんだけど、難しすぎて実践的じゃない
Haskellみたく安全だけど、簡単に書ける言語ないの？

2 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:48:26.324 ID:VFljoGRU0.net

Go

3 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:48:41.767 ID:BhywEZ+60.net

俺はLispかなぁ

4 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:50:33.160 ID:Go/4S1Za0.net

シェル

5 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:51:10.152 ID:456rYv9Ta.net

マジレスするとパンチカード

6 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:52:19.136 ID:oM2ZNqoX0.net

プログラミングは目的じゃなくて手段だと思うよ
手段が目的になってる

7 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:52:58.984 ID:Ipi2h7DU0.net

Brainfuck

8 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:53:03.475 ID:9w5WxxH80.net

Piet

9 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:53:03.844 ID:vQQBNL3D0.net

>>2
シンプルすぎる感じする

10 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:53:30.467 ID:vQQBNL3D0.net

>>3
ゴミじゃん
型がないのが弱すぎる

11 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:54:02.764 ID:vQQBNL3D0.net

>>4
ゴミじゃん

12 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:54:44.244 ID:vQQBNL3D0.net

>>5
パンチカードで何すんの？

13 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:54:46.576 ID:qjYme9Sw0.net

whitespace

14 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:55:16.108 ID:kkcbB0Ll0.net

C

15 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:55:23.610 ID:vQQBNL3D0.net

>>6
それが楽しいんじゃん

16 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:55:25.495 ID:l2Vc73pv0.net

アセンブラ

17 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:55:38.441 ID:vQQBNL3D0.net

>>7
ゴミ
安全じゃないし

18 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:55:50.640 ID:r3XBolQUa.net

Haskell難しすぎるとか言うゴミがゴミ呼ばわりとは偉くなったもんだなぁおい

19 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:56:09.548 ID:vQQBNL3D0.net

>>8
ゴミじゃん

20 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:56:12.044 ID:456rYv9Ta.net

>>12
エリーゼのためにをプログラミングしようぜ！

21 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:56:38.862 ID:vQQBNL3D0.net

>>13
難解なやつやめて

22 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:57:05.349 ID:vQQBNL3D0.net

>>14
Cが嫌だからみんないろんな言語勉強すんだよ

23 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:57:17.013 ID:vQQBNL3D0.net

>>16
Cよりないわ

24 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:58:39.583 ID:Go/4S1Za0.net

何を求めてるか分からんわ

25 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:58:58.947 ID:vQQBNL3D0.net

>>18
Haskell難しすぎるだろ
使うとなるとモナド変換子組み合わせて頑張らないといけない

26 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 02:59:34.150 ID:vQQBNL3D0.net

>>20
イラネー
アキバでIC買ってこれば聞けるじゃん

27 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:00:15.186 ID:vQQBNL3D0.net

>>24
パグがおきないプログラミングだよ

28 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:02:07.155 ID:kkcbB0Ll0.net

>>27
パグは隣でスヤスヤと寝てるよ

29 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:03:59.618 ID:Go/4S1Za0.net

>>27
突っ込み待ちじゃあないよな？

強い静的型付きな言語なら安全だと言う理由は何よ

30 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:04:42.194 ID:PhYn4L0qM.net

この言語もC言語みたいに数学出来ないと面白くないやつ？

31 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:04:48.991 ID:DnAvL1qx0.net

scratchおすすめ

32 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:06:59.507 ID:vQQBNL3D0.net

>>29
強い静的型付け言語が安全だなんて言ってないが？

33 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:07:52.097 ID:vQQBNL3D0.net

>>30
C言語って数学使う？
メモリと遊ぶ言語だろ？

34 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:08:42.574 ID:vQQBNL3D0.net

>>31
raspiのやつ？
使ったことないわ

35 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:09:46.375 ID:Go/4S1Za0.net

>>32
そこまでは言ってなかったかすまん
でも型が欲しくてHaskellみたいなんがいいってんならそう思うだろ
伝える努力を怠ってるよお前
それで何が出来たら安全なんだ何を求めてるんだ？

36 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:10:03.001 ID:lcEAMndH0.net

何言っても全部否定してくる系のスレ

37 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:11:02.763 ID:BhywEZ+60.net

イッチはプログラマに向いてなさそうやな

38 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:14:29.696 ID:HCA3ArMw0.net

clojure の平均年収が頭一つ抜けてるの思い出した

39 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:14:40.462 ID:PhYn4L0qM.net

>>33
C言語って「俺の関数」自由に作れるんだろ？
それなら数学出来た方が面白いと思ったんだけど

40 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:15:22.570 ID:K9nndLQ00.net

F#

41 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:15:49.058 ID:vQQBNL3D0.net

>>35
今思い浮かぶので言うと
HaskellでいうところのMaybe
をApplicative Functorみたいに使えるのとかは便利だし必要だなと思う。
SwiftのOptionalはそのへんが微妙

42 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:15:50.636 ID:5iXr3/560.net

Go書こうぜ

43 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:16:09.438 ID:vQQBNL3D0.net

>>36
そうかもしれん

44 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:16:55.487 ID:HCA3ArMw0.net

Maybe もanyも許すな

45 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:16:55.811 ID:vQQBNL3D0.net

>>37
俺もそう思うわ
だから最近は数学勉強してる

46 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:19:42.351 ID:3/AUV4DJM.net

こういう奴はNGするに限る
口を開けば文句しか言わないからな

47 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:21:24.569 ID:vQQBNL3D0.net

>>38
Clojare触ったことないな

48 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:22:03.179 ID:vQQBNL3D0.net

>>39
あれは関数っていうか手続きだから
数学関係ない

49 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:22:43.844 ID:HCA3ArMw0.net

証明言語ってあったはず昔信者のLTを聞いた

50 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:23:53.010 ID:HCA3ArMw0.net

証明プログラミングだ
パターンマッチげあるのだけ覚えてる

51 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:24:15.049 ID:vQQBNL3D0.net

>>40
F#の何がいいの？

52 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:25:01.560 ID:vQQBNL3D0.net

>>42
そんなにGoいいの？
機能少なくて使いにくそうなイメージしかないんだが

53 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:25:20.903 ID:/NBBZbza0.net

VBA

54 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:26:14.726 ID:vQQBNL3D0.net

>>50
>>49
Coqなら触ったことあるよ
あれはめちゃくちゃ楽しい
夢あるよな

55 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:28:00.428 ID:3lHzvSci0.net

とにかく否定したい年頃なんだな

56 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:29:49.917 ID:vQQBNL3D0.net

>>53
何に使えんだよ
Excel？

57 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:30:09.317 ID:5iXr3/560.net

>>52
言語仕様が少ないゆえに書きやすいしとっつきやすい
そもそもの思想が継承とかややこしくなるものを省いて、強制フォーマットで誰が書いても似たコードになるようにだから

CLIとか細かいAPIサーバとか作るにはすごく使いやすいよ
もっと大規模なものを作ろうとしたら厳しいかな

58 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:32:37.490 ID:/NBBZbza0.net

>>56
Excel使う仕事なら便利

59 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:33:21.443 ID:PhYn4L0qM.net

Delphiってまだあんの？

60 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:34:53.483 ID:vQQBNL3D0.net

>>57
俺もそういう細かいことやるための言語をPythonからGoに乗り換えようかな

61 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:35:23.383 ID:HCA3ArMw0.net

Goにフォーマットが標準でついてるの最初は羨ましいと思ってたけど
prettierとかlinter使う上だと言語の特徴として考えるの微妙だと思う

62 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:38:26.963 ID:vQQBNL3D0.net

Goってフォーマットがついてんの？
なんだそれ
コンパイルの時に勝手にコードをフォーマットしてくれんの？

63 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:40:18.081 ID:5iXr3/560.net

>>61
人によってlinter違ったりするのは個人的にやなんだよな
チームとかでちゃんと共通化されてたらその通りだと思う

64 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:45:32.186 ID:5iXr3/560.net

>>62
標準フォーマッタがあってコーディング規約が言語レベルで決められてる
だからプロジェクトごとにフォーマッタ決めたりする必要がなくなる
大体はセーブしたら自動フォーマットって感じかな

65 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 03:47:35.237 ID:VnuZjBo40.net

Ｒがオススメ

66 ：以下、？ちゃんねるからVIPがお送りします：2019/05/12(日) 04:38:54.952 .net

そうなると、残されたのは ReasonML やな