なんEプログラミング部 (59)

1 エッヂの名無し 2024/09/23(月) 22:47:05.540 ID:XN9Ocy.ve

今日はHaskellを学んでいこうと思います🥺

2 エッヂの名無し 2024/09/23(月) 22:47:50.380 ID:XN9Ocy.ve

Haskellを書くとHaskellを書いたことになります🥺

3 エッヂの名無し 2024/09/23(月) 22:48:21.291 ID:4mU/wGXEm

Idrisをやれ😡

4 エッヂの名無し 2024/09/23(月) 22:49:33.563 ID:XN9Ocy.ve

>>3
あれって実用的な証明を書こうとするとコンパイル時間が激増する問題がなかったか
2で改善されたの🥺

5 エッヂの名無し 2024/09/23(月) 22:49:37.279 ID:Xs38IiA4w

Rustしか勝たん😝

6 エッヂの名無し 2024/09/23(月) 22:49:43.156 ID:eAuAzwwCh

すごいエッチだね

7 エッヂの名無し 2024/09/23(月) 22:50:38.142 ID:p0Q3rzN0o

プログラムで何やるんか？

8 エッヂの名無し 2024/09/23(月) 22:50:44.588 ID:XN9Ocy.ve

>>5
Rustaceanはみんなモナドほしいってゆってるよ？🥺

>>6
昔読んでたね🥺

9 エッヂの名無し 2024/09/23(月) 22:51:08.276 ID:XN9Ocy.ve

>>7
プログラミングを教えて彼女を作りたいです🥺

10 エッヂの名無し 2024/09/23(月) 22:51:36.637 ID:p0Q3rzN0o

>>9
ワイに教えて
30男

11 エッヂの名無し 2024/09/23(月) 22:52:23.130 ID:p0Q3rzN0o

>>9
何を言語できる？

12 エッヂの名無し 2024/09/23(月) 22:53:19.566 ID:qRi9dJNuu

Python勉強中や🥺

13 エッヂの名無し 2024/09/23(月) 22:53:34.392 ID:p0Q3rzN0o

>>12
勉強して何をする？

14 エッヂの名無し 2024/09/23(月) 22:53:42.232 ID:XN9Ocy.ve

>>10
うーん🥺

>>11
意味論分かるからどんな言語でも仕様を見れば読み解ける自信はある
やっぱウソAPLとかJは書けません🥺

15 エッヂの名無し 2024/09/23(月) 22:53:47.772 ID:3Shb.uXiV

カリー化ええよな
haskelかじってからpythonやると言語仕様の秀逸さを思い知らされるわ

16 エッヂの名無し 2024/09/23(月) 22:54:27.538 ID:p0Q3rzN0o

>>14
教えてよ教えてよ

17 エッヂの名無し 2024/09/23(月) 22:54:54.881 ID:p0Q3rzN0o

プログラム勉強するやつは何をする？
金稼ぎできる？

18 エッヂの名無し 2024/09/23(月) 22:55:05.776 ID:XN9Ocy.ve

>>12
最初に覚えた言語なので嫌いになれない
おバカな飼い犬を見る気持ちで接している🥺

19 エッヂの名無し 2024/09/23(月) 22:55:24.004 ID:eAuAzwwCh

今時はDockerでローカル環境構築するらしいな
あんなのweb屋さんだけが使うもんやと思ってた

20 エッヂの名無し 2024/09/23(月) 22:56:22.691 ID:p0Q3rzN0o

>>19
web屋さんって何？何を売ってる？

21 エッヂの名無し 2024/09/23(月) 22:57:04.578 ID:3Shb.uXiV

プログラミングやってるニキネキら、エッヂの今年８月〜９月のログ採取してるやつおる？
採取してたらスレッドid集だけでも分けてもらえへんやろか
エッヂの過去ログが落ちてしもうて、急いでロガー作ったんやが欠損期間ができてしもうてな

22 エッヂの名無し 2024/09/23(月) 22:57:46.269 ID:XN9Ocy.ve

>>15
まぁここ20年のメジャー言語の進化はLispかHaskellから盗んだのが大半だからね🥺
これからもどんどん研究成果を盗んで欲しい

>>19
昔は環境構築できないのは自分が初心者で技能が足りないからと思っていたけどいつまで経っても慣れないね🥺

23 エッヂの名無し 2024/09/23(月) 22:57:56.783 ID:p0Q3rzN0o

プログラム勉強するやつは何を目指す？

24 エッヂの名無し 2024/09/23(月) 22:59:26.137 ID:3Shb.uXiV

>>17
本職が数理統計やからプログラミングは計算手段でありオーバーヘッドの軽減手段や

25 エッヂの名無し 2024/09/23(月) 22:59:40.590 ID:p0Q3rzN0o

何がDockerだよ
わけわからんくせに蔓延りやがってクソが

26 エッヂの名無し 2024/09/23(月) 23:01:06.349 ID:XN9Ocy.ve

Dockerを捨てNixを使うのです
環境構築にも純粋関数性を持ち込んでいこう🥺

27 エッヂの名無し 2024/09/23(月) 23:02:41.653 ID:Xs38IiA4w

>>24
めっちゃお金持ちそう

28 エッヂの名無し 2024/09/23(月) 23:03:17.561 ID:ytOxMpTMI

今のAIってプログラミングどれくらい出来るの？🥺

29 エッヂの名無し 2024/09/23(月) 23:03:31.736 ID:z.jeVhQn7

未経験やがIT行ける？ちな27歳

30 エッヂの名無し 2024/09/23(月) 23:04:31.813 ID:3Shb.uXiV

>>27
額面700弱やで
ハッタショガイジで身体ボロやし週4勤務で使ってもらっとる

31 エッヂの名無し 2024/09/23(月) 23:05:37.332 ID:XUj/JII.O

Rust基礎は学んだけど使うとこないんだよな

32 エッヂの名無し 2024/09/23(月) 23:05:49.859 ID:FB.XD70az

プログラム書いてないけど去年の年収は2200万位やったわ

33 エッヂの名無し 2024/09/23(月) 23:06:09.160 ID:0NhTigd3O

>>29
開発ならギリ
それ以外ならわりと余裕

34 エッヂの名無し 2024/09/23(月) 23:06:19.482 ID:XN9Ocy.ve

>>31
みんなCLIツール書いてるイメージがある🥺

35 エッヂの名無し 2024/09/23(月) 23:07:34.833 ID:6BQLOPLwS

>>30
ええ…
やっぱ雇われ技術者は夢ないんかなあ

36 エッヂの名無し 2024/09/23(月) 23:07:42.445 ID:z.jeVhQn7

>>33
ほんまか？
奴隷にされるって聞いたんやが

37 エッヂの名無し 2024/09/23(月) 23:08:01.484 ID:aFEzlAtXn

プログラミングするならLinuxだよね

38 エッヂの名無し 2024/09/23(月) 23:08:06.721 ID:3Shb.uXiV

>>28
暇かけたら書けるやつの作業時間を大幅に短縮してくれる感じや

39 エッヂの名無し 2024/09/23(月) 23:08:19.343 ID:0NhTigd3O

>>36
奴隷にはされる

40 エッヂの名無し 2024/09/23(月) 23:08:55.986 ID:XN9Ocy.ve

>>37
OSSのビルド通る率が違うからね🥺

41 エッヂの名無し 2024/09/23(月) 23:09:36.157 ID:XUj/JII.O

>>34
まああとは最先端ネットワークプロトコルとかOSとか書いてる人はあるかな？くらいよな

42 エッヂの名無し 2024/09/23(月) 23:10:10.359 ID:Yo7YiPQi/

フロントエンドつまんなくね
なんかLinuxカチャカチャやってる方がおもろいんやが

43 エッヂの名無し 2024/09/23(月) 23:10:15.884 ID:XUj/JII.O

Linuxのメンテナ足りてないらしいな
どうやって参加するんやろ
要件とかあんのかな

44 エッヂの名無し 2024/09/23(月) 23:10:16.722 ID:3Shb.uXiV

>>35
実行機能が壊れてるから雇われでしか働けへんのや
フリーで仕事してた時期もあったけど、仕事終わっても脳がフリーズして請求書出せないのが降り積もって
未回収が100万円超えたあたりでメンタル折れてな

45 エッヂの名無し 2024/09/23(月) 23:11:48.316 ID:XN9Ocy.ve

>>42
JSON色付け係と揶揄されるけど色が付くと楽しいと思える人とそうでない人の違いは大きい気がしている🥺

46 エッヂの名無し 2024/09/23(月) 23:12:37.339 ID:zCv1bSS1c

黒い画面でカラフルな文字色でてくるのカッコいいよな

47 エッヂの名無し 2024/09/23(月) 23:13:55.550 ID:aFEzlAtXn

ワイ底辺プログラマ、どうやったらお金稼げるかわからない

48 エッヂの名無し 2024/09/23(月) 23:14:16.824 ID:Yo7YiPQi/

そんな事よりワイのかっこいいmacbook air見て🤗
https://i.imgur.com/n3y1uzl.jpeg
https://i.imgur.com/lb8SqY7.jpeg

49 エッヂの名無し 2024/09/23(月) 23:14:28.269 ID:3Shb.uXiV

vimのカラースキームはhybridでええか？

50 エッヂの名無し 2024/09/23(月) 23:14:31.723 ID:cypCejahd

コーディング力ってどうやって身につけるんや？
ワイ行き詰まったらエラーでググるかchatGPTに丸投げや

51 エッヂの名無し 2024/09/23(月) 23:14:39.290 ID:6BQLOPLwS

>>44
プロやな──────。

52 エッヂの名無し 2024/09/23(月) 23:14:42.895 ID:XN9Ocy.ve

ワイは初心者の頃はPythonとProcessing交互に書いてたから自分の書いたプログラムで画面ビガビガすると楽しい派や
その後HaskellとかDB設計やOSの内部構造を多少勉強したらアルゴリズムやデータ構造の楽しさも多少は分かったけど🥺

53 エッヂの名無し 2024/09/23(月) 23:15:28.856 ID:ZuR/xjFJz

ホームページ作ってるけどthree.jsの未来はどうや？

54 エッヂの名無し 2024/09/23(月) 23:15:33.035 ID:XN9Ocy.ve

>>49
icebergだよね🥺

55 エッヂの名無し 2024/09/23(月) 23:16:08.297 ID:zCv1bSS1c

>>48
ええやん
ターミナルの背景色は黒にするんやで

56 エッヂの名無し 2024/09/23(月) 23:16:46.706 ID:XUj/JII.O

Macだとwarpっていうターミナルツールが便利でよく使ってる

57 エッヂの名無し 2024/09/23(月) 23:17:07.042 ID:hzM6ElJXo

いまだに調べながらやないとろくに書けないから転職面接でコーディング求められたら詰むんやろなとか思いながら社畜やってるわ

58 エッヂの名無し 2024/09/23(月) 23:19:08.468 ID:C8O1OWq10

typescriptは型でパズルするゲームって先輩に冗談半分言われてはえーって思いながらやってたらだんだん意味がわかってきた

59 エッヂの名無し 2024/09/23(月) 23:19:09.146 ID:3Shb.uXiV

>>57
おう100本ノックやるか